• Phân tách ontology trong logic mô tả dựa vào kỹ thuật phân tách đồ thịPhân tách ontology trong logic mô tả dựa vào kỹ thuật phân tách đồ thị

    Tóm tắt. Một trong những phương pháp nhằm tăng hiệu quả của việc lập luận trên các ontology lớn là tách ontology lớn thành nhiều ontology nhỏ. Khi đó, thay vì lập luận trên ontology lớn ban đầu, người ta có thể thực hiện trên các ontology nhỏ. Trong bài báo này, chúng tôi nghiên cứu kỹ thuật phân tách một ontology trong logic mô tả dựa vào các ...

    pdf13 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 505 | Lượt tải: 1

  • Một phương pháp khai phá luật kết hợp hiệu quả trong môi trường phân tánMột phương pháp khai phá luật kết hợp hiệu quả trong môi trường phân tán

    Tóm tắt. Khai phá luật kết hợp trong môi trường phân tán là một hướng nghiên cứu quan trọng trong lĩnh vực khai phá dữ liệu, một số thuật toán khai phá luật kết hợp phân tán đã được đề xuất. Tuy nhiên việc phát triển các thuật toán mới hiệu quả hơn vẫn đang là vấn đề dành được nhiều sự quan tâm. Bài báo này đề xuất một thuật toán mới được gọi l...

    pdf11 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 511 | Lượt tải: 1

  • Phát hiện hoạt động bất thường của người bằng mạng học sâu tích chập kết hợp mạng bộ nhớ dài ngắnPhát hiện hoạt động bất thường của người bằng mạng học sâu tích chập kết hợp mạng bộ nhớ dài ngắn

    Tóm tắt: Bài báo này đề xuất một mô hình học sâu tích chập kết hợp với mạng bộ nhớ dài ngắn (CNN-LSTM) cho bài toán phát hiện các vận động bất thường của người sử dụng cảm biến đeo trên người. Nhờ tận dụng các đặc tính không-thời gian, kiến trúc đề xuất CNN-LSTM đã được thiết kế để tự động học và biểu diễn các đặc trưng hiệu quả trên dữ liệu cảm ...

    pdf9 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 605 | Lượt tải: 1

  • Một giải pháp xây dựng hệ thống chấm bài tự động hỗ trợ dạy học lập trìnhMột giải pháp xây dựng hệ thống chấm bài tự động hỗ trợ dạy học lập trình

    Tóm tắt: Kỹ năng lập trình là nhân tố quan trọng, quyết định sự phát triển năng lực giải quyết vấn đề đối với các ngành nghề Công nghệ thông tin. Việc xây dựng một hệ thống để hỗ trợ cho việc dạy học lập trình là điều cần thiết. Bài báo này đề xuất một giải pháp xây dựng hệ thống chấm bài tự động hỗ trợ cho việc dạy học lập trình. Chúng tôi đã t...

    pdf5 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 672 | Lượt tải: 1

  • Một giải pháp phát hiện các sự kiện song song trong các tiến trình của ứng dụng phân tánMột giải pháp phát hiện các sự kiện song song trong các tiến trình của ứng dụng phân tán

    TÓM TẮT Khác với hệ thống tập trung, dữ liệu và các chức năng trên hệ phân tán được lưu trữ trên các máy tính thuộc các vùng địa lý khác nhau và tại một thời điểm có nhiều công việc được thực hiện một cách đồng thời. Vì vậy, làm sao để phát hiện các sự kiện song song trong các tiến trình nhằm tối ưu thời gian thực hiện của hệ thống là một thá...

    pdf12 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 599 | Lượt tải: 1

  • Hệ thống test chip tự độngHệ thống test chip tự động

    TÓM TẮT Trong bài báo này, nhóm tác giả hiện thực một hệ thống test chip tự động, có thể ứng dụng trên nhiều loại chip khác nhau. Các hệ thống test chip thủ công thường lặp lại những bước kiểm tra như nhau ứng với nhiều điều kiện ngõ vào; hoặc đối với các hệ thống có chi phí cao, dù được đầu tư và rất tối ưu về mặt thiết bị nhưng lại có chi phí...

    pdf9 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 614 | Lượt tải: 1

  • Nghiên cứu mạng nơ-ron nhân tạo và ứng dụng vào nhận dạng chữ số viết tayNghiên cứu mạng nơ-ron nhân tạo và ứng dụng vào nhận dạng chữ số viết tay

    TÓM TẮT Trong nghiên cứu này, nhóm tác giả đã tìm hiểu về một số mô hình mạng nơ-ron nhân tạo để ứng dụng vào việc nhận dạng chữ số viết tay. Mô hình được lựa chọn là mô hình mạng nơ-ron nhân tạo đa lớp MLP (Multi-Layer Perceptron). Mô hình mạng nơ-ron này là một mô hình không quá phức tạp và phù hợp để ứng dụng vào nhận dạng chữ số viết tay. ...

    pdf14 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 834 | Lượt tải: 1

  • On the dense families in the relational datamodelOn the dense families in the relational datamodel

    ABSTRACT In this paper, dense families of relation schemes are introduced. We characterize minimal keys of relation schemes in terms of dense families. Note that, the dense families of database relations were introduced by Jarvinen [6]. We prove that the set of all minimal keys of a relation scheme s = (U, F) is the transversal hypergraphs of a...

    pdf9 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 558 | Lượt tải: 1

  • Xử lý song song mô phỏng đa tác tử GIS bằng phương pháp chia mảnhXử lý song song mô phỏng đa tác tử GIS bằng phương pháp chia mảnh

    TÓM TẮT — Những công cụ mô phỏng đa tác tử trên môi trường thông tin địa lý (Geographical Information System – GIS) như GAMA (GIS Agent-based Modeling Architecture) thường cho phép chạy một mô phỏng chỉ trên một máy chủ. Với những mô phỏng hệ thống lớn phức tạp với số lượng lớn tác tử tham gia (hàng trăm ngàn hay hàng triệu) thì các máy PC thông ...

    pdf6 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 517 | Lượt tải: 1

  • Xây dựng và cân chỉnh mô hình dự báo mật số rầy nâu trên nền Apache SparkXây dựng và cân chỉnh mô hình dự báo mật số rầy nâu trên nền Apache Spark

    TÓM TẮT— Trong bài viết này, chúng tôi trình bày tiếp cận xây dựng mô hình dự báo dịch rầy nâu gây hại trên lúa. Mô hình máy học véc-tơ hỗ trợ và rừng ngẫu nhiên là các mô hình được sử dụng phổ biến trong dự báo do tính chính xác của chúng. Tuy nhiên, việc cân chỉnh mô hình để tìm các siêu tham số của giải thuật máy học tốn nhiều thời gian tính t...

    pdf9 trang | Chia sẻ: thanhle95 | Ngày: 29/06/2021 | Lượt xem: 590 | Lượt tải: 1