Logic mô tả

Xem 1-20 trên 189 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 163 73   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 263 155   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 223 112   Download

  • XÂY DỰNG THUẬT TOÁN KHỚP BẢN ĐỒ (MAP MATCHING) ỨNG DỤNG LOGIC MỜ ThS.

    pdf7p linhdan05016 27-01-2011 175 77   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 13 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.

    pdf9p doinhugiobay_04 27-11-2015 24 9   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.

    pdf7p vteo20 01-10-2010 339 194   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.

    pdf5p vteo20 01-10-2010 256 173   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 265 159   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.

    pdf45p manhgiau2004 09-06-2011 359 133   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 415 135   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 168 87   Download

  • Hiểu rõ, mô tả lại toàn bộ dữ liệu của hệ thống. Chuẩn bị cho việc cài đặt thành phần dữ liệu trong hệ thống...Các khái niệm trong một mô hình dữ liệu được xây dựng bởi cơ chế trừu tượng hóa và mô tả bằng ngôn ngữ hay biểu diễn đồ họa.

    ppt59p bangnguyen1029 18-07-2011 87 17   Download

  • Xây dựng UI (giao diện người dùng) và khung làm việc đi kèm trong ngôn ngữ Java Arron Ferguson, Giảng viên, British Columbia Institute of Technology Tóm tắt: Việc viết ra các GUI (giao diện người dùng đồ hoạ) bằng mã chương trình có thể thường dẫn đến các lựa chọn thiết kế lộn xộn, đến lượt nó lại trở nên mờ nhạt giữa các logic nghiệp vụ (business logic) và mã UI.

    pdf60p hoathietmoclan 13-09-2011 59 15   Download

  • Đất nước ta đang trong thời kỳ hội nhập, việc học taaph và ứng dụng các công nghệ kỹ thuật hiện đại là một yêu cầu cấp bách thiết nhằm nâng caao chất lượng tăng năng suất và hiệu quả

    pdf26p tommy_1993 11-11-2013 33 9   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.

    pdf7p nganga_07 12-10-2015 43 13   Download

  • Trong lĩnh vực tự động hóa logic mờ ngày càng được ứng dụng rộng rãi. Nó thực sự hữu dụng với các đối tượng phức tạp mà ta chưa biết rõ hàm truyền, logic mờ có thể giải quyết các vấn đề mà điều khiển kinh điển không làm được. Để tìm hiểu sâu hơn về vấn đề này mời các bạn tham khảo "Bài giảng Chương 4: Điều khiển mờ".

    pdf0p quockhanhcins1 09-05-2016 23 10   Download

  • Trái ngược với phân tích trong miền tần số trong lý thuyết điều khiển cổ điển, lý thuyết điều khiển hiện đại sử dụng mô tả không gian trạng thái trong miền thời gian, một mô hình toán học của một hệ thống vật lý như là một cụm đầu vào, đầu ra và các biến trạng thái quan hệ với phương trình trạng thái bậc một.

    ppt95p hoanglong89hui 16-06-2010 330 165   Download

  • Ký pháp Z, hay còn được gọi là ngôn ngữ Z được xây dựng dựa trên lý thuyết tập hợp và logic toán học. Đây là một ngôn ngữ toán học chặt chẽ, được sử dụng chủ yếu trong đặc tả hình thức để đặc tả các yêu cầu chức năng của 1 hệ thống, đặc biệt là hệ thống phần mềm. Ngôn ngữ Z không được thiết kế để mô tả các yêu cầu phi chức năng của hệ thống, ví dụ như công dụng, hiệu năng, kích thước hay độ tin cậy của hệ thống.

    doc17p spamspam 16-01-2011 386 136   Download

  • Lôgic mờ (tiếng Anh: Fuzzy logic) được phát triển từ lý thuyết tập mờ để thực hiện lập luận một cách xấp xỉ thay vì lập luận chính xác theo lôgic vị từ cổ điển. Lôgic mờ có thể được coi là mặt ứng dụng của lý thuyết tập mờ để xử lý các giá trị trong thế giới thực cho các bài toán phức tạp (Klir 1997). Người ta hay nhầm lẫn mức độ đúng với xác suất.

    pdf210p trinhvang 18-01-2013 250 139   Download

Đồng bộ tài khoản