Nghiên cứu logic hình thức

Đề án "Nghiên cứu phát triển mô-đun IoT gateway và ứng dụng máy nấu ăn thông minh" được thực hiện với mục tiêu nhằm xây dựng một mô hình Robot nấu ăn thông minh có thể thực hiện các dạng thao tác cố định non-realtime và được điều khiển realtime thông qua môđun IoT gateway tự thiết kế. Mời các bạn cùng tham khảo!

83p canhphuongthanh0201 01-02-2024 16 5   Download

Sáng kiến kinh nghiệm THCS "Rèn luyện kỹ năng lập luận có căn cứ cho học sinh thông qua dạy Hình học 7" được thực hiện với mục đích giúp học sinh có kỹ năng trình bày kiến thức một cách logic; Xây dựng cho học sinh phương pháp tự nghiên cứu, khắc sâu kiến thức cho học sinh thông qua từng bài học; Rèn cách trình bày lời giải một bài toán chứng minh Hình học cho học sinh. Mời các bạn cùng tham khảo sáng kiến!

13p kimphuong59 15-02-2023 14 7   Download

Mục tiêu của luận án "Quản lý thuế đối với các doanh nghiệp có vốn đầu tư nước ngoài tại Thành Phố Hồ Chí Minh" là nghiên cứu các vấn đề lý luận và thực tiễn nhằm đánh giá hiệu quả quản lý thuế đối với doanh nghiệp có vốn đầu tư nước ngoài ở cấp độ địa phương thông qua ứng dụng mô hình Mô hình chuỗi logic chương trình mở rộng (Expanded Program Logic Model Sequence – EPLMS) của OECD (2008).

212p matroicon2510 30-11-2022 18 9   Download

Đề tài "Một số nghiên cứu mở rộng của mô hình Input - Output trong giảng dạy học phần Các mô hình Toán Kinh tế" nhằm nghiên cứu lý thuyết cơ bản về mô hình Input – Output thuần túy và các dạng mở rộng của mô hình; nghiên cứu sự ứng dụng của mô hình trong một số vấn đề thực tế đặt ra trong kinh tế; nghiên cứu tính chất toán học của mô hình đồng thời nghiên cứu dạng mở rộng của mô hình bằng công cụ tính toán ngẫu nhiên (logic mờ).

46p tieuduongchi 24-10-2022 34 11   Download

Mục tiêu tổng quát của nghiên cứu là phân tích các thuộc tính lý thuyết để phát triển và ứng dụng các mô hình quan hệ giữa KTHĐ với vai trò KTNN và hệ thống QLTC, tài sản công qua nghiên cứu mục tiêu và phương thức tổ chức KTHĐ dựa trên mô hình Logic (3Es); đánh giá, phân tích thực trạng tổ chức KTHĐ và các nhân tố ảnh hưởng đến sự phát triển KTHĐ của KTNN; từ đó Tác giả luận án đề xuất các giải pháp phát triển KTHĐ nhằm nâng cao vai trò của KTNN trong QLTC, tài sản công.

198p tabicani 09-09-2021 50 21   Download

Mục đích nghiên cứu của Luận án nhằm đánh giá sát đúng thực trạng làm cơ sở đề xuất hệ thống giải pháp hữu hiệu nhằm quản lý hiệu quả dự án đầu tư phát triển đô thị theo hình thức PPP ở Việt Nam đến 2025, tầm nhìn 2030. Đồng thời, nghiên cứu đề xuất xây dựng và hướng dẫn sử dụng khung logic về quản lý hiệu quả dự án đầu tư phát triển đô thị theo hình thức PPP ở Việt Nam. Mời các bạn cùng tham khảo!

231p fishbell 05-07-2021 37 6   Download

Nội dung nghiên cứu của luận văn này là thiết kế mô hình mô phỏng cân bằng hệ con nêm ngược; kết quả thực nghiệm mô hình con nêm ngược tự cân bằng. Để nắm chi tiết hơn nội dung nghiên cứu, mời các bạn cùng tham khảo luận văn.

92p phamtutai123 31-05-2021 26 8   Download

Đề tài nghiên cứu tích hợp mô hình phân tích thứ bậc AHP vào GIS để xây dựng bản đồ nhạy cảm trượt lở là hướng tiếp cận hiệu quả trong nghiên cứu tai biến tự nhiên; quá trình tính toán để thành lập các bản đồ MĐAH, phân vùng nguy cơ và mức độ nguy hiểm trượt lở dọc quốc lộ 6 trên địa bàn tỉnh Hòa Bình được thực hiện theo một hệ thống đánh giá logic và khoa học dựa trên công nghệ GIS.

100p capheviahe28 01-03-2021 36 5   Download

Nghiên cứu trình bày trong tài liệu trích dẫn đã đưa ra một thuật toán Map matching mới dựa trên mô hình Hidden Markov có khả tìm ra con đường thích hợp nhất. Thuật toán MM dựa trên luật logic mờ dùng cho phương tiện đường bộ được trình bày trong tài liệu . Ngoài ra, còn rất nhiều các nghiên cứu khác về MM đã được các nhà nghiên cứu trên thế giới thực hiện thành công như trong các tài liệu trích dẫn.

28p hanh_tv27 06-04-2019 31 4   Download

Nội dung chính của luận văn bao gồm: Chương 1 - Tổng quan về logic và tích hợp tri thức. Chương 2 - Mô hình tranh cãi, chương này trình bày về mô hình tranh cãi của GS. Phạm Minh Dũng cùng với các ngữ nghĩa của mô hình này. Chương 3 - Các mô hình tích hợp tri thức bằng tranh cãi. Chương 4 - Thực nghiệm và đánh giá, trong chương này tôi tiến hành cài đặt một chương trình tích hợp tri thức như trong mô hình đề xuất và đánh giá các kết quả đạt được. Phần kết luận, tóm lược những kết quả đã đạt được của luận văn và đưa ra định hướng nghiên cứu trong tương lai.

64p hanh_tv26 03-04-2019 43 6   Download

Mục đích của đề tài là xây dựng mô hình TNTN trên cơ sở lý thuyết Logic mờ; Xây dựng hệ thống TNTN trên cơ sở mô hình đề xuất và triển khai ứng dụng cho việc đánh giá kiến thức của sinh viên Khoa Công nghệ Thông tin, Trường Cao đẳng Công nghệ Thông tin – Đại học Đà Nẵng đối với môn học Lập trình Web; Góp phần vào hướng nghiên cứu mô hình thích nghi, đặc biệt là TNTN nhằm ứng dụng cho thực tiễn giáo dục tại Việt Nam.

26p bautroibinhyen24 20-04-2017 114 13   Download

Luận văn hướng đến các mục tiêu nghiên cứu: tái hiện bức tranh nền văn học Đàng Trong thế kỷ XVII-XVIII, nhận thức những biệt sắc, những dấu ấn chung, từ đó định vị vai trò của văn học Đàng Trong trong nền văn học dân tộc, hình dung về sự phát triển thực sự của nền văn học và cố gắng trong chừng mực có thể, tìm ra logic nội tại của sự phát triển ấy. Mời các bạn cùng tham khảo.

31p cogacoga 27-02-2017 68 4   Download

Luận án nghiên cứu và đánh giá các cơ chế quản lý hàng đợi tích hình hiện có để tìm ra ưu và khuyết điểm của từng cơ chế, nhằm phân lớp ứng dụng và đánh giá hiệu năng cho các cơ chế. Đồng thời, sử dụng logic mờ để cải tiến các cơ chế quản lý hàng đợi tích cực hiện có; các kết quả này là thực hiện động lực nghiên cứu đầu tiên, sẽ làm nền tảng lý thuyết và mô phỏng cho các cải tiến chính của luận án.

157p change03 06-05-2016 56 5   Download

Luận án hướng tới nghiên cứu và đánh giá các cơ chế quản lý hàng đợi tích hình hiện có để tìm ra ưu và khuyết điểm của từng cơ chế, nhằm phân lớp ứng dụng và đánh giá hiệu năng cho các cơ chế. Luận án sử dụng logic mờ để cải tiến các cơ chế quản lý hàng đợi tích cực hiện có; thực hiện động lực nghiên cứu đầu tiên và sẽ làm nền tảng lý thuyết và mô phỏng cho các cải tiến chính của luận án.

32p change03 06-05-2016 68 6   Download

Đồ án tốt nghiệp Điện tự động công nghiệp: Nghiên cứu xây dựng mô hình tự động cắt ống tại nhà máy sản xuất thép nhằm nghiên cứu quy trình công nghệ của quá trình sản xuất thực tế, thiết kế lựa chọn các linh kiện, thiết bị thay thế cho mô hình, nghiên cứu phần mềm lập trình trên máy tính, thay đổi phương pháp lập trình để tìm ra phương án đơn giản, dễ sử dụng và hiệu quả nhất.

84p thin_12 16-07-2014 183 37   Download

Mục đích của đề tài: "Nghiên cứu điều khiển mờ - Mô phỏng hệ thống điều khiển mờ bằng MatlLab" trình bày các kiến thức cơ bản về logic mờ, ứng dụng vào trong kỹ thuật điều khiển. Xây dựng mô hình điều khiển mờ và mô phỏng hệ thống trên MatLab nhằm giúp sinh viên có tài liệu để tham khảo, dễ dàng tiếp cận ngành kỹ thuật mới này. Từ đó phát huy tính sáng tạo của sinh viên ứng dụng điều khiển mờ vào thực tiễn. Bố cục luận văn gồm Chương I: Dẫn nhập, chương II: Lý thuyết điều khiển mờ, chương III: Mô phỏng hệ thống điều khiển mờ bằng MatLab, chương IV: Kết luận.

69p minhminhminh32 28-03-2014 272 99   Download

Thuật giải di truyền, cũng như các thuật toán tiến hoa nói chung, hình thành dựa trên quan niệm cho rằng, quá trình tiến hóa tự nhiên là hoàn hảo nhất, hợp lý nhất, và tự nó đã mang tính tối ưu. Quan niệm này có thể được xem là một tiên đề đúng, không chứng minh được, nhưng phù hợp với thực tế khách quan. Quá trình tiến hóa thể hiện tính tối ưu ở chổ, thế hệ sau bao giờ cũng tốt hơn, phát triển hơn và hoàn thiện hơn thế hệ trước. Hiện nay, thuật toán di truyền cùng với logic mờ được ứng dụng rất rộng rãi trong các lĩnh vực tương đối phức tạp.

9p online_12 07-11-2013 136 16   Download

Đề tài: "Ứng dụng tư duy logic trong hoạt động quản lý hành chính nhà nước" nhằm mục đích nghiên cứu những cở sở lý luận, khoa học của một tư duy lôgic đúng đắn, những dạng sai phạm của tư duy hình thức có thể xảy ra trong quá trình quản lý hành chính nhà nước, nguyên nhân và phương hướng khắc phục.

177p lanlan38 02-04-2013 380 54   Download

Thuật ngữ “ngôn ngữ học ứng dụng” không có nghĩa biểu thị một sự ứng dụng đơn giản các thành tựu của khoa học về ngôn ngữ vào một lĩnh vực nào đó trong thực tiễn.Ngôn ngữ học ứng dụng là một hoạt động khoa học-thực tiễn đặc biệt có mục đích hoàn thiện các tiếp xúc ngôn ngữ trong xã hội. Việc ứng dụng ngôn ngữ học có thể mang tính lí thuyết và thực tiễn. Chẳng hạn, trong nhận thức luận và logic học, trong quá trình hình thành lí thuyết dân tộc, trong tâm lí học, sinh...

3p bibocumi21 21-12-2012 202 37   Download

Luận văn được chia thành 6 phần với các nội dung như sau:Chương I trình bày các nội dung lý thuyết về lĩnh vực tài chính. Các khái niệm liên quan tới tài chính, rủi ro tài chính, chứng khoán, phân tích dự báo trong đầu tư chứng khoán đã được giới thiệu ngắn gọn nhằm mang lại những kiến thức căn bản trong lĩnh vực tài chính.Chương II giới thiệu về khai phá dữ liệu, sau đó chúng tôi giới thiệu chi tiết về vấn đề phân lớp, mạng nơron, logic mờ....

82p sunflower_1 06-09-2012 189 66   Download