Logic mô tả
-
Học phần "Tin học đại cương" cung cấp cho sinh viên những kiến thức cơ bản của tin học, rèn luyện phương pháp tư duy logic, trang bị cho sinh viên năng lực và công cụ tin học nhằm phục vụ tốt hơn cho việc học tập, nghiên cứu các môn học khác. Mời các bạn cùng tham khảo!
12p hoangvanlong24 30-07-2024 2 1 Download
-
Tóm tắt Luận án Tiến sĩ Kỹ thuật "Nghiên cứu giải pháp nâng cao chất lượng quá trình khởi động và làm việc của động cơ đồng bộ công suất lớn" trình bày các nội dung chính sau: Tổng quan về điều khiển kích từ động cơ đồng bộ công suất lớn; Mô tả toán học và đánh giá các thông số ảnh hưởng đến chế độ khởi động và làm việc của động cơ đồng bộ công suất lớn; Giải pháp nâng cao chất lượng quá trình khởi động và làm việc của động cơ đồng bộ công suất lớn.
31p gaupanda015 01-03-2024 9 3 Download
-
Luận án Tiến sĩ Kỹ thuật "Nghiên cứu giải pháp nâng cao chất lượng quá trình khởi động và làm việc của động cơ đồng bộ công suất lớn" trình bày các nội dung chính sau: Tổng quan về điều khiển kích từ động cơ đồng bộ công suất lớn; Mô tả toán học và đánh giá các thông số ảnh hưởng đến chế độ khởi động và làm việc của động cơ đồng bộ công suất lớn; Giải pháp nâng cao chất lượng quá trình khởi động và làm việc của động cơ đồng bộ công suất lớn.
181p vibentley 08-09-2022 9 4 Download
-
Đề tài "Nghiên cứu công nghệ FPGA và thiết kế modul thực hành FPGA để phục vụ công tác giảng dạy tại trường Cao đẳng Công nghiệp Hà Nội" có cấu trúc gồm 3 chương trình bày tổng quan về mạch logic lập trình được và công nghệ FPGA, ngôn ngữ mô tả phần cứng VHDL, thiết kế modul thực hành FPGA sử dụng FPGA XC2S100 của Xilinx.
93p bakerboys08 15-07-2022 27 5 Download
-
Mục tiêu của đề tài là xây dựng định nghĩa mô phỏng hai chiều và tương tự hai chiều trong LGMT mờ theo ngữ nghĩa Gódel phát biểu và chứng minh tính chất Hennessy–Milner và tính bảo toàn của mô phỏng hai chiều và tương tự hai chiều đã được xây dựng.
142p tamynhan0 04-07-2020 19 5 Download
-
Đề cương chi tiết học phần Logic học đại cương cung cấp các thông tin về môn học, điều kiện tiên quyết, mục tiêu của học phần, mô tả tóm tắt nội dung học phần, nhiệm vụ của sinh viên; các thang điểm và nội dung chi tiết học phần.
13p nguyenanhtuan_qb 08-07-2020 127 6 Download
-
Khai thác sự liên hệ giữa bài toán trong hình học phẳng với bài toán mở rộng trong không gian, để chúng ta có thể thấy được các tính chất, các cách chứng minh,… được mở rộng, được liên hệ với nhau một cách khá lôgic giúp cho việc dạy và học toán có hiệu quả hơn, kiểu tư duy này được áp dụng trong thực tế giảng dạy và học tập tùy theo yêu cầu của chương trình, của người học, người dạy mà ta lựa chọn bài tập phù hợp.
19p nanhankhuoctai4 01-06-2020 64 11 Download
-
phân tích lựa chọn phương pháp chẩn đoán phát hiện lỗi các hệ thống có ĐKĐT trên ô tô; nghiên cứu cơ sở khoa học của sử dụng logic mờ Takagi-Sugeno (T-S) trong mô tả các hệ thống có ĐKĐT trên ô tô; Xây dựng mô hình chẩn đoán phát hiện lỗi các hệ thống có điều khiển điện tử bằng mờ T-S.
27p cotithanh000 07-10-2019 71 7 Download
-
Mục tiêu nghiên cứu chính của khóa luận là: Giới thiệu khái quát về công ty, tác giả đã mô tả và phân tích thực trạng công tác kế toán doanh thu, chi phí và xác định kết quả kinh doanh tại Công ty cổ phần Vân Vũ, có số liệu minh họa cụ thể (năm 2016). Số liệu minh họa từ chứng từ vào các sổ sá ch kế toán tương đối hợp lý và logic.
105p queencongchua4 30-09-2019 55 7 Download
-
Chương 5: Phụ thuộc hàm. Phụ thuộc hàm là khái niệm được xây dựng để mô tả các ràng buộc logic trong CSDL. Trong chương này chúng ta sẽ tìm hiểu một số nội dung chính sau: Hệ tiên đề Amstrong, bao đóng - closure, tập phụ thuộc hàm tương đương, phụ thuộc hàm dư thừa. Mời các bạn tham khảo.
6p tangtuy19 21-07-2016 101 5 Download
-
Luận án xây dựng, mở rộng các định nghĩa, định lý, bổ đề về mô phỏng hai chiều trong lớp các logic mô tả đã đề cập ở trên và sử dụng nó để mô hình hóa tính không phân biệt được của các đối tượng làm cơ sở cho các thuật toán học khái niệm trong logic mô tả.
121p change03 06-05-2016 54 8 Download
-
Luận án xây dựng, mở rộng các định nghĩa, định lý, bổ đề về mô phỏng hai chiều trong lớp các logic mô tả đã đề cập ở trên và sử dụng nó để mô hình hóa tính không phân biệt được của các đối tượng làm cơ sở cho các thuật toán học khái niệm trong logic mô tả. Luận án xây dựng phương pháp làm mịn phân hoạch miền của các diễn dịch trong logic mô tả dựa trên mô phỏng hai chiều sử dụng các bộ chọn hợp lý và độ đo gia lượng thông tin.
31p change03 06-05-2016 53 6 Download
-
Bài giảng "Ngôn ngữ biểu diễn Ontology OWL" cung cấp cho người đọc các kiến thức: Các hạn chế của RDFS, logic mô tả, lớp, lớp kế thừa, lớp tách rời, thuộc tính, các thuộc tính của thuộc tính, thuộc tính phân biệt, thuộc tính con,... Mời các bạn cùng tham khảo.
9p doinhugiobay_04 27-11-2015 119 17 Download
-
Bài giảng "Cơ sở logic đặc tả của OWL" cung cấp cho người học các kiến thức: ALC, cú pháp ALC, mở rộng, cơ sở tri thức, ngữ nghĩa ALC, các khái niệm tương đương, suy luận với ALC, các kiểu suy luận,... Mời các bạn cùng tham khảo.
8p doinhugiobay_04 27-11-2015 62 7 Download
-
Bài giảng Kỹ thuật số - TS. Lê Chí Thông giới thiệu nhiều chủ đề về các nguyên tắc và thực hành thiết kế số, bao gồm: Hệ thống số; đại số Boole, các cổng logic, tối thiểu hóa mạch; hệ tổ hợp; bộ nhớ ROM, RAM và logic khả lập trình, hệ tuần tự: chốt, flip-flop, thanh ghi, bộ đếm, máy trạng thái; các họ vi mạch số; ngôn ngữ mô tả phần cứng. Giới thiệu chuyển đổi tương tự -số và tổ chức máy tính. Mời các bạn cùng tìm hiểu và tham khảo nội dung thông tin tài liệu.
17p huyenngoc0628 02-11-2015 108 5 Download
-
Tham khảo đề cương chi tiết học phần "Logic học" dưới đây để nắm bắt được mục tiêu, yêu cầu, nội dung tóm tắt, mô tả vắn tắt nội dung học phần Logic học. Mời các bạn cùng tham khảo nội dung tài liệu để nắm bắt nội dung chi tiết.
5p emyeuanh_bangcatrait 12-11-2015 118 5 Download
-
Bài giảng Thiết kế logic số (VLSI design) chương 2.5 trình bày về các phát biểu đồng thời trong ngôn ngữ VHDL. Phát biểu đồng thời dùng mô tả cho mạch dạng cấu trúc hoặc dataflow. Mời các bạn cùng tham khảo bài giảng để biết thêm các nội dung chi tiết.
18p namthangtinhlang_02 09-11-2015 139 14 Download
-
Bài giảng Điều khiển logic – Chương 1: Mạch tổ hợp và mạch trình tự trình bày các nội dung như: Mô hình toán học của mạch tổ hợp, phân tích mạch tổ hợp, tổng hợp mạch tổ hợp, một số mạch tổ hợp thường gặp trong hệ thống là, khái niệm về mạch trình tự (hay mạch dãy), phương pháp mô tả mạch trình tự,... Mời các bạn cùng tham khảo.
7p nganga_07 12-10-2015 169 22 Download
-
Đồ án: Điều khiển Logic trình bày về xây dựng cấu trúc điều khiển gồm mô tả và phân tích công nghệ, trình tự các bước xây dựng cấu trúc điều khiển; xây dựng sơ đồ nguyên lý; tính chọn các thiết bị; bảng bố trí thiết bị và bảng đấu dây. Mời bạn đọc cùng tham khảo.
21p fujijudo87 12-06-2014 279 34 Download
-
Đề tài: Phân tích thiết kế hệ thống thông tin - Quản lí bán quán café có kết cấu nội dung gồm 4 phần trình bày về mô tả bài toán nghiệp vụ, mô hình nghiệp vụ, mô hình khái niệm/logic, thiết kế mô hình logic. Mời các bạn cùng tham khảo.
13p kimphucpleiku 12-09-2014 2159 258 Download