Mô hình hóa ngữ nghĩa

Xem 1-20 trên 73 kết quả Mô hình hóa ngữ nghĩa
  • Ngôn ngữ mô hình hóa UML được sử dụng phổ biến nhất trong công nghệ phần mềm nhưng lại không đủ chặt chẽ và chưa có công cụ hỗ trợ kiểm tra tính đúng đắn của đặc tả. Do vậy, chúng ta thường phải kết hợp với các ngôn ngữ đặc tả khác để thu được bản đặc tả hệ thống vừa trực quan, dễ hiểu vừa có ngữ nghĩa chặt chẽ, được kiểm tra tự động bởi các công cụ.

    pdf105p truongnghen 30-08-2012 99 45   Download

  • UML là ngôn ngữ mô hình hóa thống nhất, biểu diễn các đối tượng bằng các kí hiệu trực quan. Nhưng UML có nhược điểm là nó không thể hiện được hết các khía cạnh của hệ thống. Vì vậy người ta phải dùng thêm OCL để mô tả các ràng buộc cho các đối tượng của mô hình UML. USE là một hệ thống đặc tả hệ thống thông tin. Nó được sử dụng để kiểm tra tính đúng đắn của một mô hình UML bằng các ràng buộc OCL.

    pdf26p tinhbanpt 14-01-2013 66 25   Download

  • Chúng ta đã làm quen với cách thức và phương pháp tạo ra một mô hình dữ liệu mức quan niệm về các thông tin của tổ chức nào đó. Nó rất giàu về mặt ngữ nghĩa, do đó dễ dàng để mọi thành phần tham gia vào việc phát triển hệ thống thông tin hiểu được, đặc biệt là với người dùng. Nhưng nó lại không dễ dàng để hệ thống quản lý tập tin và các hệ quản trị cơ sở dữ liệu hiểu được. Do đó cần thiết phải qua một giai đoạn chuyển đổi mô hình...

    doc9p thienthanoze 12-11-2012 84 10   Download

  • Những năm gần đây chúng ta thường nghe nói nhiều về máy tính thế hệ 5, hệ chuyên gia, lập trình Prolog, logic mờ, mạng nơron nhân tạo, giải thuật di truyền,…Đây là một số thuật ngữ trong một ngành mới của khoa học máy tính. Đó là: Trí tuệ nhân tạo (TTNT). Để hình dung TTNT giải quyết những vấn đề gì, chúng ta hãy xem những ứng dụng với những đòi hỏi cụ thể của nó.

    doc56p trancongphuc 15-10-2010 422 275   Download

  • "Bài giảng "Các vấn đề cơ sở của khoa học máy tính - Chương 6: Cơ sở dữ liệu" cung cấp các kiến thức: Giới thiệu về cơ sở dữ liệu. các loại cơ sở dữ liệu, các ưu điểm khi sử dụng cơ sở dữ liệu, mô hình hóa miền dữ liệu, xây dựng CSDL quan hệ từ mô hình dữ liệu, chuẩn hóa dữ liệu, ngôn ngữ SQL, ngôn ngữ định nghĩa dữ liệu (DDL), ngôn ngữ thao tác dữ liệu (DML). Mời các bạn cùng tham khảo nội dung chi tiết.

    pdf74p tsmttc_007 12-09-2015 21 3   Download

  • Trong các lĩnh vực nghiên cứu của Trí Tuệ Nhân Tạo, chúng ta thường xuyên phải đối đầu với vấn đề tìm kiếm. Đặc biệt trong lập kế hoạch và học máy, tìm kiếm đóng vai trò quan trọng. Trong phần này chúng ta sẽ nghiên cứu các kỹ thuật tìm kiếm cơ bản được áp dụng để giải quyết các vấn đề và được áp dụng rộng rãi trong các lĩnh vực nghiên cứu khác của Trí Tuệ Nhân Tạo.

    pdf62p soncunglin 15-04-2009 507 296   Download

  • Tổng quan về hệ thống thông tin y tế, phần này sẽ giới thiệu tổng quan về hệ thống thông tin y tế, giới thiệu một số chuẩn thống nhất hóa về mặt cấu trúc và ngữ nghĩa của thông tin y tế, đánh giá tình hình ứng dụng trên thế giới và những kết quả đạt được, từ đó cho thấy sự cần thiết phải xây dựng các chuẩn dao dịch thông tin này . Giới thiệu về hai chuẩn điển hình đang được ứng dụng rộng rãi nhất để lưu giữ và thay đổi dữ liệu y tế,...

    pdf77p cancer23 21-08-2012 209 96   Download

  • Đối tượng là cái gì đó tồn tại trong thế giới thực. Lớp là mô tả thuộc tính, hành vi, ngữ nghĩa của một nhóm đối tượng: Lớp xác định thông tin nào được lưu trữ trong đối tượng và hành vi nào đối tượng có.

    pdf40p soicon824 19-04-2011 121 39   Download

  • Bài viết phân tích, đối chiếu đặc điểm kết học và nghĩa học của cấu trúc so sánh ngang bằng với cặp từ tương liên “as... as” trong tiếng Anh và tương đương trong tiếng Việt; đồng thời, mô hình hoá và thống kê tần số xuất hiện của các biến thể giúp khắc phục những chuyển di tiêu cực khi dịch cấu trúc này từ Anh sang Việt và ngược lại, nâng cao năng lực sử dụng ngôn ngữ cho người học. ...

    pdf5p phalinh18 18-08-2011 94 35   Download

  • Vấn đề tìm kiếm, một cách tổng quát, có thể hiểu là tìm một đối tượng thỏa mãn một số đòi hỏi nào đó, trong một tập hợp rộng lớn các đối tượng. Chúng ta có thể kể ra rất nhiều vấn đề mà việc giải quyết nó được quy về vấn đề tìm kiếm. Các trò chơi, chẳng hạn cờ vua, cờ carô có thể xem như vấn đề tìm kiếm. Trong số rất nhiều nước đi được phép thực hiện, ta phải tìm ra các nước đi dẫn tới tình thế kết cuộc mà ta là người thắng....

    pdf79p 124357689 07-06-2012 85 23   Download

  • Hệ mờ Ứng dụng của lý thuyết tập mờ và logic mờ, khi thông tin không đầy đủ, không chắc chắn, nhiễu, tri thức chuyên gia biểu diễn dạng ngôn ngữ tự nhiên, ranh giới các lớp đối tượng không rõ ràng, hệ thống phức tạp … Hệ mờ có các thành phần: - Mờ hoá - Tham số + cơ sở luật - Suy diễn mờ - Khử mờ Mộ số mô hình mờ - Mô hình mờ Mamdani, phần tiền đề và kết luận đều là các nhãn biểu diễn bởi tập mờ - Mô hình mờ TSK,...

    pdf3p trinhvietnambk 29-05-2013 62 16   Download

  • Trình bày về cơ sở lý thuyết của kiểm duyệt mô hình (Model checking): khái niệm và ý nghĩa của kiểm duyệt mô hình, quy trình hoạt động của kiểm duyệt mô hình, đặc trưng của kiểm duyệt mô hình, điểm mạnh và điểm yếu của kiểm duyệt dựa trên mô hình sử dụng logic thời gian (Temporal Logic) mô tả các thuộc tính cần kiểm chứng. Nghiên cứu về công cụ Spin, giao diện Xspin, và ngôn ngữ mô hình hóa Promela, máy trạng thái hữu hạn.

    pdf15p banhbeovodung 20-06-2013 43 11   Download

  • THÔNG TIN VÀ XỬ LÝ THÔNG TIN • Con người tư duy trên ngôn ngữ tự nhiên - Học, quy nạp - Diễn giải, chuẩn hóa - Suy luận • Cần có các mô hình để biểu diễn và xử lý thông tin • Thông tin: - Các yếu tố mơ hồ, không chính xác, không đầy đủ, không rõ ràng … (khoảng, xấp xỉ, gần, hơn, …) Không gian thamchiếu X - Các yếu tố không chắc chắn, độ tin cậy, nhiễu …(có thể, hầu hết, ít nhất, …) Độ tin cậy (đúng, sai) [0,1] μ Có trường hợp không đúng, kh...

    pdf31p trinhvietnambk 29-05-2013 50 9   Download

  • TÍNH BẮT BUỘC, KHÔNG BẮT BUỘC TRONG MỐI KẾT HỢP (RELATIONSHIP OPTIONALITY) I NGỮ NGHĨEA MỐI KẾT HỢP Trong chương này ta bổ sung thêm ngữ nghĩa (qui tắc quản lý) vào mối kết hợp và biểu diễn chúng trong mô hình ER. Mô hình ER như vậy được gọi là mô hình thực thể kết hợp mở rộng (Extended Entity Relationship).

    pdf8p thachthaoxanh 28-08-2011 70 9   Download

  • Nguồn tài nguyên thiên nhiên ngày càng cạn kiệt và suy thoái nghiêm trọng, con người đã nhận ra một đều là phải có sự hợp tác và tham gia tích cực của các bên liên quan nhằm đảm bảo quản lý bền vững các nguồn tài nguyên thiên nhiên. Các dữ liệu về sở hữu, sử dụng và tiếp cận tài nguyên sẽ không thật sự có ý nghĩa nếu chúng không được trực quan hoá bằng cách thể hiện sự phân bố tài nguyên trên một vùng đất nhất định....

    ppt43p nuber_12 24-08-2013 37 5   Download

  • Khi Triển Chiêu đi tới chỗ hoa viên của Bàng Dực liền mướn một căn phòng ở gần đó. Đến canh hai bèn thay hình đổi dạng mở cửa ra đi, Triển Chiêu đến bên tường hoa viên, móc trong đáy bát bảo ra một sợi dây, quăng vòng trên đầu tường, đeo theo dây ấy bò lên tới trên rồi móc trong túi một cục đá liệng thử vào trong coi chỗ đó có ao rãnh gì không. Biết chắc là đất bằng, anh ta liền níu dây tuột xuống, rón rén đi vào. Trong nhà kia có...

    pdf4p ngoisao1209 23-12-2010 40 2   Download

  • Các thao tác của các thiết bị dùng để cài đặt cho hệ thống điều khiển có thể đ-ợc mô phỏng bởi ch-ơng trình, điều đó cho phép phần cứng đ-ợc kiểm chứng bằng các công cụ phần mềm chuẩn. Trong bài báo này chúng tôi hình thức hoá ngữ nghĩa sự kiện của ngôn ngữ mô tả phần cứng d-ới dạng các quan hệ và sử dụng các quan hệ đó để chứng minh một số tính chất của các ch-ơng trình tổ hợp, mà mỗi chu trình hoạt động của nó là một vòng lặp có điều...

    pdf4p phalinh21 01-09-2011 15 2   Download

  • Tiểu luận môn Tư tưởng Hồ Chí Minh "Những quan điểm của Hồ Chí Minh về văn hóa" có kết cấu nội dung bao gồm 2 chương: Chương 1 - tư tưởng Hồ Chí Minh về văn hóa; chương 2 - tư tưởng Hồ Chí Minh áp dụng trong thực tế cuộc sống. Mời bạn đọc tham khảo.

    doc23p huongngoclan_hello 03-10-2010 1101 461   Download

  • Quản lý hiệu quả cùng mô hình SWOT, STEEPLE và PLC Thuật ngữ SWOT này đã khá quen thuộc với giới kinh doanh, nó là từ viết tắt của 4 yếu tố: strengths (S) - điểm mạnh, weaknesses (W) - điểm yếu, và các nhân tố tác động bên ngoài như thời cơ (opportunities – O) hay mối nguy hại (threats – T). STEEPLE lấy từ chữ cái đầu của các từ tiếng anh khi chuyển nghĩa sang tiếng Việt có nghĩa là: văn hoá – xã hội, công nghệ, kinh tế, môi trường, chính trị, kinh doanh điện tử và...

    pdf2p angel_ko_co_canh 06-08-2010 287 152   Download

  • Tài liệu dành cho giáo viên, sinh viên ngành tin hoc. Trong đồ họa máy tính, kết xuất đồ họa (tiếng Anh: rendering), gọi tắt là kết xuất, là một quá trình sinh tạo một hình ảnh từ một mô hình bằng cách sử dụng một chương trình ứng dụng phần mềm. Mô hình là mô tả của các đối tượng ba chiều bằng một ngôn ngữ được định nghĩa chặt chẽ hoặc bằng một cấu trúc dữ liệu.

    pdf34p tranthikimuyen3 22-07-2011 521 144   Download

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

Đồng bộ tài khoản