Tài liệu Thư viện số
Danh mục TaiLieu.VN
Kết quả 6553-6564 trong khoảng 13920
Bài giảng Đặc tả hình thức: Chương 12 - Nguyễn Thị Minh Tuyền
Nội dung chương 12 trình bày đến người học những vấn đề liên quan đến "Giới thiệu về ESC/Java2 Thủ thuật và cạm bẫy", cụ thể như: Đặc tả thừa kế, Aliasing, Object invariants, giả thuyết không nhất quán, Exposed references, old, viết đặc tả thế nào,...
29 p husc 31/01/2018 167 1
Bài giảng Đặc tả hình thức: Chương 13 - Nguyễn Thị Minh Tuyền
Chương 13 giúp người học hiểu về "Giới thiệu về ESC/Java2 Cảnh báo". Nội dung trình bày cụ thể gồm có: Các loại cảnh báo ESC/Java2, Cast warning, Null warning, ArrayStore Warning, ZeroDiv, index Warnings, class invariant warnings,...
41 p husc 31/01/2018 149 1
Bài giảng Đặc tả hình thức: Chương 14 - Nguyễn Thị Minh Tuyền
Cùng nắm kiến thức trong chương này thông qua việc tìm hiểu các nội dung sau: Từ khóa chính trong JML, các tính năng nâng cao, đặc tả các ngoại lệ, ngoại lệ được cho phép bởi đặc tả, đặt ra luật cho ngoại lệ, hành vi ngoại lệ,...
28 p husc 31/01/2018 194 1
Bài giảng Đặc tả hình thức: Chương 15 - Nguyễn Thị Minh Tuyền
Aliasing là nguồn gốc của mọi rắc rối phức tạp. Bài giảng Đặc tả hình thức: Chương 15 do Nguyễn Thị Minh Tuyền biên soạn sau đây sẽ giúp các bạn nắm rõ kiến thức về Aliasing, trường Ghost, các trường model,...Mời các bạn cùng tham khảo!
25 p husc 31/01/2018 177 1
Mô hình ước lượng chi phí xử lý truy vấn đối tượng trong cơ sở dữ liệu hướng đối tượng
Trong bài báo này, các tác giả nghiên cứu mô hình chi phí trên các khối dựng sẵn trong xử lý truy vấn với các yếu tố chi phí cơ sở, trong đó có sự xem xét bổ sung chi phí xử lý trên các lớp sưu tập gộp nhóm. Mời các bạn cùng tham khảo nội dung chi tiết.
11 p husc 31/01/2018 236 1
Trong bài báo này, các tác giả để xuất các giải pháp xây dựng phép toán ADN như một phép tích hợp có trọng số và sử dụng giải thuật di truyền để xác định toàn bộ trọng số tối ưu cho phép tích hợp này. Mời các bạn cùng tham khảo nội dung chi tiết.
11 p husc 31/01/2018 203 1
Thuật toán khai thác tập thường xuyên hiệu quả dựa trên kỹ thuật phân lớp dữ liệu
Trong bài báo này các tác giả đề xuất phương án giải quyết bài toán trên bằng cách phân hoạch dữ liệu thành N lớp, mỗi lớp được lưu trữ độc lập thành 1 file trên bộ nhớ ngoài và đề xuất thuật toán SPP-Mining để khai thác các tập thường xuyên với ngưỡng So tùy ý và được xử lý song song trên N máy.
12 p husc 31/01/2018 219 1
Định lượng ngữ nghĩa khoảng của đại số gia tử với việc bổ sung một gia tử đặc biệt
This paper introduces a new method of quantification of hedge algebras, which is different from the ordinary method by the fact that an artificial hedge h0 should be added to model the contextdependent semantics of terms. It is aimed to represent the change of the semantics of any term x of length k appeared in the context X(k+1) of terms with the length k+ 1, so the meaning of a term will be changed when its adjacent terms are changed.
13 p husc 31/01/2018 240 1
Phát triển giải thuật điều khiển đèn giao thông thông minh
This study presents an implementation of an intelligent traffic light control system for a crossroads based on combination of image processing and fuzzy controller. After certain seconds of red light, traffic densities are estimated from captured images. Based on this estimated result, a fuzzy controller determines the length of the next green light period in order to generate longer period for higher density road, vice versa.
11 p husc 31/01/2018 283 1
Phụ thuộc hàm đối tượng mờ trong cơ sở dữ liệu hướng đối tượng mờ
Bài báo này giới thiệu các phụ thuộc hàm đối tượng mờ cho phép biểu diễn các ràng buộc trên các thuộc tính của các kiểu đối tượng mờ có thể bao gồm cả kiểu của chính nó trong lược đồ CSDL mờ. Mời các bạn cùng tham khảo nội dung chi tiết.
12 p husc 31/01/2018 256 1
Thuật toán mới xác định độ trễ giải mã của ngôn ngữ chính quy
Bài báo đề xuất một giải thuật mới xác định độ trễ giải mã của ngôn ngữ chính quy được đón nhận với ôtômat hữu hạn A. Giải thuật có độ phức tạp O(n3) với n là số cung và trạng thái của A. Mời các bạn cùng tham khảo nội dung chi tiết.
13 p husc 31/01/2018 231 1
Xác định điều kiện để bảo toàn thông tin trong làm trơn phổ tín hiệu điện tim nhiễm nhiễu
Bài báo trình bày kết quả đạt được trong việc xác định các yếu tố ảnh hưởng đến chặn trên của xác suất xảy ra sự kiện sai số vượt quá ngưỡng cho phép. Trong các yếu tố đó, độ dài cắt mẫu là tham số duy nhất mà người sử dụng có thể điều chỉnh. Mời các bạn cùng tham khảo nội dung chi tiết.
12 p husc 31/01/2018 224 1
Đăng nhập
Bộ sưu tập nổi bật
17 11474
Tuyển tập tác phẩm văn học hay
15 6996
Bộ sưu tập tài liệu Toán học hay
24 7265