Sinh bộ kiểm thử tối ưu cho các hàm tính toán số học trên hệ thống nhúng

Mã QR

Sinh bộ kiểm thử tối ưu cho các hàm tính toán số học trên hệ thống nhúng

127 tr. Nghiên cứu bài toán chính là xác định sai số làm tròn bằng phương pháp mới và từ đó cho phép sinh được các ca kiểm thử tối ưu theo nghĩa chúng sẽ tạo ra sai số lớn nhất giữa hàm dấu phẩy động và hàm dấu phẩy tĩnh. Xây dựng một công cụ phần mềm cho phép xác định sai số của hàm khi chạy với...

Mô tả đầy đủ

Đã lưu trong:

Chi tiết về thư mục
Những tác giả chính:	Trương, Anh Hoàng, Vũ, Quang Dũng, Nguyễn, Bảo Ngọc
Định dạng:	Bài viết
Ngôn ngữ:	Vietnamese
Được phát hành:	Đại học Quốc gia Hà Nội 2015
Những chủ đề:	Hàm tính toán Số học Electronic Resources
Truy cập trực tuyến:	https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57114
Các nhãn:	Thêm thẻ Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Thư viện lưu trữ:	Thư viện Trường Đại học Đà Lạt

Những quyển sách tương tự

Những câu chuyện lý thú về hàm số
Bỡi: Nguyễn, Bá Đô
Được phát hành: (2014)

Những câu chuyện lý thú về hàm số /
Bỡi: Nguyễn Bá Đô.
Được phát hành: (2014)

Những câu chuyện lý thú về hàm số
Bỡi: Nguyễn, Bá Đô
Được phát hành: (2014)

Nhập môn các phương pháp tối ưu /
Bỡi: Lê Dũng Mưu
Được phát hành: (1998)

Lịch sử hình thành và phát triển của khái niệm hàm số liên tục /
Bỡi: Trần Anh Dũng, ThS.

Hàm số và các vấn đề liên quan.
Bỡi: Lê, Thị Thái Huyền
Được phát hành: (2014)

Khảo sát hàm số và các bài toán liên quan
Bỡi: Phan, Huy Khải
Được phát hành: (2009)

Phương pháp hàm số trong khảo sát các dạng toán về dãy số.
Bỡi: Nguyễn, Thị Phương Thảo
Được phát hành: (2016)

Lý thuyết hàm số biến số phức
Bỡi: Trần Anh Bảo
Được phát hành: (1978)

Dùng tính chất đơn điệu của hàm số để giải toán
Bỡi: Lâm, Quang Thuận
Được phát hành: (2020)

Dưới vi phân của hàm lồi và một số ứng dụng trong tối ưu
Bỡi: Nông, Thị Mai
Được phát hành: (2018)

Đã được hội đồng thẩm định Bộ giáo dục giới thiệu làm sách dùng chung cho các trường Đại học sư phạm Hàm số biến số phức
Bỡi: Nguyễn, Văn Khuê
Được phát hành: (1990)

Tìm hiểu về đối ngẫu dùng hàm Lagrange trong tối ưu lồi
Bỡi: Vũ, Ngọc Huy
Được phát hành: (2013)

Tìm đạo hàm bằng định nghĩa /
Bỡi: Phạm Quốc Phong, NGƯT.

Hàm sinh bởi các ước số và một số bài toán liên quan
Bỡi: Vũ, Thị Kiều Trang
Được phát hành: (2018)

Phương trình hàm đa thức.
Bỡi: Trần, Thị Thu Hương
Được phát hành: (2015)

Hàm số thực và các ứng dụng vào giải toán sơ cấp
Bỡi: Phạm, Văn Hạnh
Được phát hành: (2014)

Ứng dụng đạo hàm để giải toán sơ cấp
Bỡi: Nguyễn Phụ Hy
Được phát hành: (2003)

Điều kiện tối ưu Fritz John và đối ngẫu Lagrange trong bài toán tối ưu nhiều mục tiêu với các hàm đa trị /
Bỡi: Ma Văn Sơn
Được phát hành: (1995)

Điều kiện tối ưu Fritz John và đối ngẫu Lagrange trong bài toán tối ưu nhiều mục tiêu với các hàm đa trị
Bỡi: Ma, Văn Sơn
Được phát hành: (2011)

Phương pháp dạy học đạo hàm của hàm số dựa trên mô hình toán học.
Bỡi: Hồ, Xuân Bình
Được phát hành: (2014)

Hàm số biến số phức
Bỡi: Trương, Văn Thương
Được phát hành: (2001)

Hàm số biến số phức
Bỡi: Trương, Văn Thương
Được phát hành: (2007)

Khảo sát hàm số và các bài toán liên quan
Bỡi: Đỗ, Quang Toan
Được phát hành: (2020)

Sự tương hợp của giá trị hàm mục tiêu và nghiệm trong các bài roán tối ưu ngẫu nhiên :
Bỡi: Nguyễn, Cao Phong
Được phát hành: (2011)

Hàm phức và toán tử Laplace /
Bỡi: Võ Đăng Thảo
Được phát hành: (2004)

Phương trình, bất phương trình hàm số mũ và hàm số lôgarit
Bỡi: Phylaoud, Inpanh
Được phát hành: (2014)

Tìm hiểu khả năng của học sinh lớp 12 về việc giải quyết bài toán xét tính đơn điệu của hàm số mũ thông qua một thực nghiệm sư phạm /
Bỡi: Nguyễn Hữu Lợi.

Phương trình hàm với một biến số
Bỡi: Nguyễn, Thị Kim Hoa
Được phát hành: (2013)

Chuyên đề luyện thi vào đại học (Khảo sát hàm số)
Bỡi: Trần, Văn Hạo
Được phát hành: (2016)

Tìm hiểu về đối ngẫu dùng hàm Lagrange trong tối ưu lồi : Luận văn Thạc sĩ Toán học /
Bỡi: Vũ Ngọc Huy.
Được phát hành: (2012)

Cơ sở lý thuyết hàm và giải tích hàm
Bỡi: Trần Phúc Cương
Được phát hành: (1971)

Giáo trình giải tích : Phép tính tích phân hàm một biến chuỗi số- dãy hàm- chuỗi hàm. Tập 2
Bỡi: Trần, Đức Long, et al.
Được phát hành: (2014)

Vài đạo hàm suy rộng và tối ưu hóa không trơn
Bỡi: Mai, Quốc Vũ
Được phát hành: (2011)

Tìm hiểu về đối ngẫu dùng hàm Lagrange trong tối ưu lồi : Tóm tắt luận văn Thạc sĩ Toán học /
Bỡi: Vũ Ngọc Huy.
Được phát hành: (2012)

Phương pháp tính xấp xỉ đạo hàm của hàm cho bởi xấp xỉ.
Bỡi: Võ, Thị Bích Liên
Được phát hành: (2014)

Phương trình hàm Cauchy cộng tính.
Bỡi: Nguyễn, Thị Thu Nhân
Được phát hành: (2016)

Hàm số biến số thực Cơ sở giải tích hiện đại
Bỡi: Nguyễn Định
Được phát hành: (2007)

Hàm số biến số thực Cơ sở giải tích hiện đại
Bỡi: Nguyễn Định
Được phát hành: (1999)

Giáo trình dùng cho sinh viên khoa Toán các trường Đại học Hàm số biến số phức
Bỡi: Trương, Văn Thương
Được phát hành: (2010)