intTypePromotion=1
ADSENSE

Logic mô tả

Xem 1-20 trên 227 kết quả Logic mô tả
  • Logic mô tả được xem là một phương pháp biểu diễn tri thức hiệu quả. Trong những ứng dụng cụ thể có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái niệm và các mối quan hệ. Lĩnh vực ứng dụng của logic mô tả cũng rất đa dạng, ngay từ ban đầu logic mô tả đã được xem như là những ngôn ngữ với mục đích biểu diễn tri thức và suy diễn, vì thế nó phù hợp cho nhiều ứng dụng. Các ứng dụng của logic mô tả có thể...

    pdf84p cancer23 24-08-2012 241 80   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ả.

    pdf121p change03 06-05-2016 32 6   Download

  • Bài viết này giới thiệu về các kỹ thuật kết hợp các quy tắc với các ontology và chương trình logic mô tả, nó gồm cơ sở tri thức L và một tập hữu hạn các quy tắc logic mô tả P. Mời các bạn cùng tham khảo nội dung chi tiết của tài liệu.

    pdf12p jangni9 15-05-2018 26 4   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.

    pdf31p change03 06-05-2016 32 3   Download

  • Bài viết Biểu diễn mô hình TimeER bằng logic mô tả ngoài việc giới thiệu một phương pháp biểu diễn của các tác giả trên, bổ sung vào đó, bài viết muốn đề xuất việc biểu diễn các thuộc tính đa trị trên các mô hình ER thời gian bằng logic mô tả.

    pdf10p maiyeumaiyeu26 23-12-2016 33 1   Download

  • Bài báo trình bày ngôn ngữ biểu diễn tri thức logic mô tả mờ (Fuzzy description logics), xây dựng luật mờ dựa trên ngôn ngữ f-SWRL, sử dụng bộ truy vấn Fuzzy description logics query trong plugin fuzzy OWL 2 và xây dựng một hệ thống ứng dụng trong tư vấn chọn nghề cho học sinh phổ thông.

    pdf9p tamynhan8 04-11-2020 0 0   Download

  • Xây dựng mô hình Mobile robot Như ở chương II, phương trình mô tả động học của Mobile robot có dạng... Trong đó, các thông số cơ bản của Mobile robot : + khoảng cách 2 bánh chủ động L= 200mm=7,8” + bán kính bánh chủ động r = 30mm = 1,18” Xây dựng trên Matlab Simulink ta có mô hình mobile robot như sau: Hình 4.18. Mô hình Mobile robot trên Simulink Khối gồm 2 đầu vào ωr (bánh phải) và ωl (bánh trái). Các khối Rr, Rl là các giá trị bán kính bánh xe robot....

    pdf9p vteo20 01-10-2010 304 164   Download

  • Giáo trình Thiết kế mạch logic số - Chương 2: Ngôn ngữ mô tả phần cứng VHDL giới thiệu về VHDL, cấu trúc của chương trình mô tả bằng VHDL, khai báo cấu hình, chương trình con và gói, đối tượng dữ liệu, kiểu dữ liệu, toán tử và biểu thức, phát biểu tuần tự, phát biểu đồng thời, kiểm tra thiết kế bằng VHDL,... Đây là tài liệu tham khảo dành cho sinh viên ngành Điện - điện tử.

    pdf78p thanglxkmhd 07-05-2014 398 132   Download

  • XÂY DỰNG THUẬT TOÁN KHỚP BẢN ĐỒ (MAP MATCHING) ỨNG DỤNG LOGIC MỜ ThS. ĐẶNG QUANG THẠCH Bộ môn Điều khiển học Khoa Điện - Điện tử Trường Đại học Giao thông Vận tải Tóm tắt: Trong các hệ thống giám sát, dẫn đường sử dụng hệ thống định vị toàn cầu GPS ta cần hiển thị vị trí của xe trên bản đồ số sao cho biểu tượng xe phải nằm trên tuyến đường nó đang chạy nhưng do sai số của phép định vị nên nhiều khi ta thấy xe không chạy trên đường mà có thể nằm giữa các tòa...

    pdf7p linhdan05016 27-01-2011 210 81   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.

    pdf9p doinhugiobay_04 27-11-2015 69 14   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.

    pdf8p doinhugiobay_04 27-11-2015 42 7   Download

  • Trong bài viết này, các tác giả thực hiện nghiên cứu xây dựng mô hình toán học của hệ thống điều tốc nhà máy thủy điện Srêpốk 3 trên cơ sở giữ nguyên các bản chất phi tuyến của hệ thống để mô hình mô tả sát với thực tiễn. Dựa trên cơ sở mô hình toán học và sự hiểu biết về bản chất hệ thống, kinh nghiệm vận hành, quản lý nhà máy, các tác giả đề xuất một phương án cải tiến thuật toán điều khiển hệ thống điều tốc nhà máy thủy điện Srêpốk 3 sử dụng logic mờ. Hiệu quả của thuật toán đề xuất được thử nghiệm bằng mô phỏng trên phần mềm Matlab/Simulink.

    pdf5p vidanh95 13-12-2018 44 2   Download

  • Dự đoán lượng mưa là cần thiết đối với đời sống chúng ta và quan trọng với nông nghiệp. Nhóm tác giả mở rộng sự kiện dự đoán lượng mưa bằng cách áp dụng các luật suy luận và logic mờ. Có năm biến đầu vào cho mô hình mờ: độ ẩm, nhiệt độ, tốc độ gió, khí áp và loại mây. Hầu hết biến đầu vào có ba hàm liên thuộc, nhưng đầu vào loại mây có mười hàm liên thuộc theo phân loại quốc tế của mây.

    pdf5p caplock2711 22-02-2019 25 0   Download

  • Trong bài báo này, các tác giả đề xuất một phương pháp phân tách ontology tự động dựa vào lát cắt tối thiểu và tiến hành thử nghiệm trên một phần của các TBox như Vedaall, tambis, ... trong hệ thống FaCT, và đưa ra một số kết quả đánh giá.

    pdf13p tamynhan8 04-11-2020 0 0   Download

  • Xây dựng mô hình động học cho robot tự hành - Các phương pháp định vị cho robot tự hành 2.1.Mô hình động học cho robot Động học là nghiên cứu cơ bản nhất để tìm hiểu quá trình hoạt động của một hệ thống cơ khí, trong lĩnh vực mobile robot, chúng ta cần phải tìm hiểu đặc tính cơ của robot để thiết kế sao cho phù hợp với các nhiệm vụ đặt ra, đồng thời việc tìm hiểu đặc tính cơ còn giúp ta xác định được phương pháp thiết kế phần mềm điều khiển sao cho...

    pdf7p vteo20 01-10-2010 435 207   Download

  • Trong quá trình thực hiện đề tài này, phần thiết kế cơ khí được mô hình hóa trên phần mềm thiết kế 3D là Audesk Inventor version 9.0. Đây là phần mềm thiết kế 3D hàng đầu giúp cho quá trình thiết kế chi tiết một cách nhanh chóng, dễ dàng. Hình 5.26.Thiết kế mô hình trên AutoDesk Inventor Khi lắp ráp tất cả các phần lại ta được mô hình thực tế : Hình 5.27.Mô hình thực tế của Mobile robot 5.5.Lập trình cho robot Sau khi đã hoàn thành phần cứng về cơ khí và điện tử, chương trình điều khiển robot...

    pdf5p vteo20 01-10-2010 301 184   Download

  • Nội dung của chương này bào gồm : - Sơ đồ khối của Mobile robot - Nghiên cứu xây dựng khối điện tử: + Mạch động lực điều khiển động cơ + Thiết kế mạch Vi điều khiển + Cảm biến siêu âm - Xây dựng mô hình cơ khí 5.1. Xây dựng sơ đồ khối hoạt động của robot Ở đây, ta sử dụng mô hình Mobile robot 3 bánh. Như trong phần mô phỏng, bài toán đặt ra là làm sao để nó di chuyển theo bề mặt tường và luôn cách tường một khoảng X đặt trước....

    pdf8p vteo20 01-10-2010 313 169   Download

  • Verilog là một trong hai ngôn ngữ mô tả phần cứng chính (gồm VHDL và Verilog HDL) được người thiết kế phần cứng sử dụng để mô tả, thiết kế các hệ thống số, ví dụ như máy tính hay linh kiện điện tử.Verilog dễ học và dễ sử dụng hơn VHDL. Verilog được chuẩn hoá theo chuẩn IEEE vào năm 1995 và 2001. Verilog rất giống ngôn ngữ C và được giới chuyên môn nghiên cứu, sử dụng nhiều.Verilog HDL có thể được sử dụng để thiết kế hệ thống số ở nhiều mức khác nhau, ví dụ ở...

    pdf45p manhgiau2004 09-06-2011 454 142   Download

  • Ngày nay nhiều trang thiết bị được nhúng trong vào trong nó lôgic mờ để cho việc sử dụng nó dễ hơn, tiện lợi hơn. Chúng ta có thể tìm thấy lôgic mờ trong những camera, những nồi cơm điện, những máy hút bụi, …. Như vậy ta có thể có một ý tưởng rằng chúng đã được làm như thế nào, chúng ta sẽ xem mô hình được đơn giản hóa này của một máy giặt ứng dụng logic mờ.

    doc7p the123hoa456 02-05-2011 579 141   Download

  • Phân tích dữ liệu không gian bằng cách kết hợp nhiều nguồn dữ liệu được khai thác từ các hệ thống thông tin địa lý là mục tiêu cao nhất của hầu hết các dự án GIS để diễn tả, phân tích các ảnh hưởng lẫn nhau, đưa ra các mô hình dự báo và hỗ trợ quyết định. Các hệ thống GIS thường không sãn sàng cho việc xử lý với các dữ liệu mờ vì thế cần phải có sự mở rộng cả về mô hình dữ liệu , các phép toán và lập luận để giải quyết...

    pdf97p cancer23 24-08-2012 221 95   Download

CHỦ ĐỀ BẠN MUỐN TÌM

ADSENSE

p_strKeyword=Logic mô tả
p_strCode=logicmota

nocache searchPhinxDoc

 

Đồng bộ tài khoản
2=>2