Định lý logic

Luận án "Nghiên cứu tích hợp tri thức trong Logic khả năng dựa trên kỹ thuật Đàm phán và Tranh luận" được hoàn thành với mục tiêu nhằm đề xuất phương pháp tích hợp các CSTTKN và CSTTKNBT thành một CSTT chung đại diện tốt nhất nhằm khắc phục được hiện tượng có tri thức được nằm trong nhiều CSTT (hay được nhiều tác tử hỗ trợ) nhưng vẫn không được tích hợp vì trọng số (hay định giá trị chân lý) của tri thức này thấp hoặc có tri thức gây ra mâu thuẫn nhưng vẫn được tích hợp chỉ vì trọng số của tri thức này cao.

172p khanhchi0912 12-04-2024 12 3   Download

Luận án Tiến sĩ Toán ứng dụng "Nghiên cứu một số mô hình truyền nhiễm phân thứ mờ và ứng dụng trong mạng cảm biến không dây" trình bày các nội dung chính sau: Mô hình lan truyền mã độc SIQR phân thứ với dữ liệu mờ; Mô hình lan truyền mã độc SE1E2IQR phân thứ dựa trên mạng với hàm lan truyền xác định bởi logic mờ; Bài toán ổn định hóa cho mô hình lan truyền mã độc SIRS phân thứ dựa trên mạng có điều khiển với hàm xử lý mã độc bão hòa.

160p vigojek 02-02-2024 10 4   Download

Đề án "Thuật toán định tuyến dựa trên logic mờ tích hợp máy học nhằm cải tiến thời gian sống của mạng cảm biến không dây" nhằm nghiên cứu các thuật toán cải thiện thời gian sống của các nút mạng trên WSN như: các thuật toán như giao thức phân cụm LEACH, LEACH-C, LEACH-CD, logic mờ. Nghiên cứu cách thực hiện tối ưu trong việc chọn cụm để kéo dài thời gian sống trong WSN; đề xuất thuật toán định tuyến hợp lý với logic mờ tích hợp máy học để tiết kiệm tối đa năng lượng tiêu thụ của các nút nhằm kéo dài thời gian sống của WSN;...

75p canhphuongthanh0201 01-02-2024 17 3   Download

Luận án Tiến sĩ Kinh tế "Nguồn nhân lực với sự phát triển bền vững của doanh nghiệp cảng biển khu vực thành phố Hải Phòng định hướng 2030" trình bày các nội dung chính sau: Xây dựng được bộ tiêu chí đánh giá sự phát triển bền vững của các doanh nghiệp cảng biển khu vực thành phố Hải Phòng; Đánh giá được tác động của nguồn nhân lực tới sự phát triển bền vững của doanh nghiệp cảng biển Hải Phòng bằng mô hình ra quyết định dựa trên thử nghiệm và đánh giá (DEMATEL) kết hợp với lý thuyết mờ (Fuzzy logic theory).

202p vishekhar 25-10-2023 18 10   Download

Mục tiêu của đề tài "Sử dụng hệ thống bài tập định tính vào chương "Chất rắn và chất lỏng - Sự chuyển thể" Vật lý 10 nâng cao nhằm bồi dưỡng tư duy logic cho học sinh trong dạy học Vật lý ở trường trung học phổ thông" là xây dựng được hệ thống BRĐT chương "Chất rắn và chất lỏng. Sự chuyển thể" Vật lý 10 chương trình nâng cao làm phương tiện bồi dưỡng tư duy logic cho học sinh; thiết kế các phương án dạy học với hệ thống BTĐT đã soạn sẵn nhằm bồi dưỡng tư duy logic cho HS.

147p besfriend08 13-06-2023 12 4   Download

Mục tiêu của luận án "Khai phá tập mục phổ biến mờ dựa trên cấu trúc cây và kỹ thuật xử lý song song" nhằm đề xuất các giải pháp khai phá tập mục phổ biến mờ trong cơ sở dữ liệu định lượng, khắc phục vấn đề “sắc nét” khi phân vùng dữ liệu mờ cho các thuộc tính có giá trị định lượng.

115p mitmit02 18-05-2023 11 4   Download

Mục tiêu của luận án "Khai phá tập mục phổ biến mờ dựa trên cấu trúc cây và kỹ thuật xử lý song song" nhằm đề xuất các giải pháp khai phá tập mục phổ biến mờ trong cơ sở dữ liệu định lượng, khắc phục vấn đề “sắc nét” khi phân vùng dữ liệu mờ cho các thuộc tính có giá trị định lượng.

27p mitmit02 18-05-2023 9 4   Download

Luận văn "Tìm hiểu ẩn dụ tiếng Việt từ góc độ ngôn ngữ học tri nhận" hệ thống hóa phương thức chuyển nghĩa ẩn dụ của tiếng Việt (Ẩn dụ từ vựng và ẩn dụ tu từ) từ các công trình đi trước; xác định ẩn dụ là một cơ chế tri nhận đi từ cụ thể đến trừu tượng, cho phép ta hiểu được logic của các khái niệm trừu tượng bằng logic của các khái niệm cụ thể; vận dụng cơ chế tri nhận và sự quy ước hóa của ẩn dụ để khảo sát phạm trù cảm xúc, đặc biệt là đi sâu tìm hiểu ẩn dụ tình yêu trong tiếng Việt và trong thơ tình Xuân Diệu.

145p unforgottennight06 13-10-2022 22 7   Download

Đề tài khóa luận gồm có những nội dung nghiên cứu sau đây: Xây dựng hệ thống từ vựng phần các định luật bảo toàn trong cơ học, trình bày logic khoa học lý thuyết phần các định luật bảo toàn, phân dạng các bài toán bằng song ngữ. Mời các bạn cùng tham khảo.

56p cucngoainhan2 02-11-2021 41 9   Download

Mục tiêu của đề tài là nghiên cứu các lý thuyết về tập mờ phức, logic mờ phức và các độ đo dựa trên tập mờ phức; nghiên cứu và phát triển hệ suy diễn dựa trên tập mờ phức; nghiên cứu các kĩ thuật áp dụng để giảm luật, tối ưu hóa luật mờ trong hệ suy diễn mờ phức; nghiên cứu cách biểu diễn luật dựa trên đồ thị tri thức để giảm thời gian tính toán suy diễn đối với tập thử nghiệm và xử lý với các trường hợp bộ dữ liệu mới không có trong tập dữ liệu huấn luyện.

27p beloveinhouse01 15-08-2021 34 3   Download

Bài giảng Logic học đại cương: Chương 6 cung cấp cho người học những kiến thức như: Định nghĩa về phép chứng minh, phép bác bỏ. Cấu tạo của phép chứng minh và cấu tạo của phép bác bỏ. Các phương pháp chứng minh và các phương pháp bác bỏ. Các quy tắc cho luận đề, luận cứ, luận chứng của phép chứng minh và bác bỏ.

16p conbongungoc09 05-08-2021 92 12   Download

Mục đích nghiên cứu của Bài giảng Logic học đại cương: Chương 7 nhằm giúp sinh viên phát biểu được định nghĩa giả thuyết, các đặc trưng của giả thuyết, các loại giả thuyết và yêu cầu của một giả thuyết khoa học. Trình bày được quá trình xây dựng một giả thuyết. Biết cách xây dựng một giả thuyết, lựa chọn phương pháp xác nhận giả thuyết và biết cách bác bỏ một giả thuyết.

17p conbongungoc09 05-08-2021 46 12   Download

Mục tiêu nghiên cứu đề tài nhằm nghiên cứu cấu trúc hệ thống điện mặt trời nối lưới; đề xuất thuật toán xác định và duy trì điểm làm việc có công suất cực đại trên cơ sở logic mờ. Mời các bạn cùng tham khảo!

86p khunglongboiboi 17-07-2021 40 6   Download

Bài giảng Logic học: Chương 2 - Những quy luật cơ bản của tư duy cung cấp cho người học những kiến thức như: Quy luật đồng nhất; Quy luật phi mâu thuẫn (phủ định); Quy luật loại trừ (triệt tam); Quy luật lý do đầy đủ. Mời các bạn cùng tham khảo!

18p elysale 17-06-2021 44 5   Download

Mục đích nghiên cứu của Luận án này nhằm xác định mối quan hệ giữa Định hướng trọng dịch vụ (SDO) với các tiền tố (như văn hóa đổi mới của DN, năng lực lãnh đạo của DN và cam kết lãnh đạo của DN với SDO) và các hậu tố (như thành quả kinh doanh và thành quả đổi mới). Mời các bạn cùng tham khảo!

13p extraenglish 26-05-2021 13 4   Download

Học phần Kỹ thuật xung giúp sinh viên: Trình bày được một cách tường tận các khái niệm về kỹ thuật xung: Các thông số, các trạng thái của Transistor và OA; giải thích được các nguyên lý hoạt động của các mạch dao động sử dụng Transistor, OP-AMP, IC 555, các cổng logic và mạch Trigger Schmith; nhận định được các tín hiệu xung qua các mạch giới hạn xung, các mạch lọc và mạch vi phân, tích phân. Mời các bạn cùng tham khảo đề cương để biết thêm các nội dung chi tiết về môn học.

12p lovebychance01 17-04-2021 62 4   Download

Đề tài nghiên cứu nhằm xác định cơ sở lý luận, khung logic, phương pháp nghiên cứu phù hợp cho định hướng không gian QLTHTN khu vực ven biển Hải Phòng; xác định, phân tích các điều kiện tự nhiên, môi trường và các hoạt động dân sinh, kinh tế - xã hội gây nên mâu thuẫn, xu thế biến đổi tài nguyên khu vực ven biển Hải Phòng theo các giai đoạn phát triển,... Mời các bạn cùng tham khảo.

27p capheviahe27 23-02-2021 29 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

Tiểu luận trên cơ sở lý luận về kinh tế chuyển đổi, đặc thù của quan hệ sản xuất nông nghiệp học viên rút ra ý nghĩa và định hướng vận dụng của Việt Nam. Phương pháp nghiên cứu được sử dụng chủ yếu của đề tài là các phương pháp nghiên cứu của khoa học chuyên ngành kinh tế chính trị như trừu tượng hóa khoa học, logic kết hợp lịch sử, phân tích, thống kê.

33p congvudue 29-06-2020 424 49   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