*Use filters to refine the search results.

Search


Item hits:
  • Luận án, luận văn


  • ;  Advisor: Trịnh Đình Thắng; Nguyễn Như Sơn (2021-12-21)

  • Luận án nghiên cứu tìm ra Hội suy dẫn của các Công thức Boolean dương trong mô hình dữ liệu dạng khối nhằm tìm được tập các công thức suy dẫn nhỏ nhất của các thuộc tính trên khối góp phần loại bỏ các thuộc tính dư thừa trong thiết kế cơ sở dữ liệu; Tìm ra Phụ thuộc Boolean dương đa trị, Phụ thuộc Boolean dương theo nhóm bộ, Phụ thuộc Boolean dương đa trị theo nhóm bộ trong mô hình dữ liệu dạng khối nhằm tìm được các ràng buộc dữ liệu, các quy phun luật của các thuộc tính theo hướng đa trị hoặc theo nhóm bộ, đa trị theo nhóm bộ của các thuộc tính trên khối, góp phần mở rộng phụ thuộc dữ liệu trên khối.

  • Luận án, luận văn


  • ;  Advisor: Nguyễn Anh Linh; Hoàng Thị Lan Giao (2015-10-29)

  • Luận án nghiên cứu cú pháp, ngữ nghĩa đối với một lớp lớn các logic mô tả giàu ngữ nghĩa hơn so với các công trình đã có bằng cách cho phép sử dụng các thuộc tính như là các phần tử cơ bản của ngôn ngữ, các quan hệ thông qua các vai trò dữ liệu và đề cập đến đặc trưng F, 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ả 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ả; Phát triển thuật toán học khái niệm dựa trên mô phỏng hai chiều cho các hệ thống thông tin trong logic mô tả với Ngữ cảnh (3); 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...

  • Luận án, luận văn


  • ;  Advisor: Nguyễn Trường Thắng; Vũ Đức Thi (2021-07-09)

  • Luận án nghiên cứu đề xuất giải pháp khai phá các mẫu dãy có trọng số có khoảng cách thời gian giữa các dãy trong các CSDL dãy có khoảng cách thời gian và CSDL dãy định lượng có khoảng cách thời gian.

  • Luận án, luận văn


  • ;  Advisor: Trần Quốc Chiến; Huỳnh Ngọc Phiên (2016-05-18)

  • Luận án nghiên cứu mô hình GAR(1), tổng quan các công trình liên quan về mô hình GAR(1), phương pháp mô phỏng ngẫu nhiên, các phương pháp sinh biến ngẫu nhiên, các mô hình biểu thị mô phỏng lưu lượng dòng chảy và bài toán xác định dung tích hồ chứa; nghiên cứu các thuật toán sinh biến ngẫu nhiên GAR(1) bao gồm: đánh giá các thuật toán sinh biến ngẫu nhiên có phân phối đều, phân phối mũ, phân phối chuẩn, phân phối Poisson và phân phối gamma; nghiên cứu các mô hình biểu thị mô phỏng lưu lượng dòng chảy hàng tháng, hàng năm với quá trình ngẫu nhiên GAR(1); nghiên cứu bài toán tính dung lượng trung bình của hồ chứa có dung tích vô hạn với dòng chảy vào là chuỗi các biến ngẫu nhiên GAR(1)....

  • Luận án, luận văn


  • ;  Advisor: Đỗ Năng Toàn; Nguyễn Thanh Bình (2022-01-05)

  • Luận án tập trung vào nghiên cứu phát triển các kỹ thuật xử lý ảnh, xử lý video, trích rút, ghi nhận các đặc trưng thể hiện các cử chỉ, trạng thái biểu cảm của mặt người trong video. Các kỹ thuật nội suy nhằm điều khiển mô hình 3D thể hiện các trạng thái biểu cảm của khuôn mặt.

  • Luận án, luận văn


  • ;  Advisor: Nguyễn Đình Thúc; Tân Hạnh (2022-04-15)

  • Luận án nghiên cứu đề xuất một nền tảng đảm bảo an toàn bảo mật dựa trên Blockchain cho IoT; sử dụng một số công nghệ và công cụ toán học kết hợp để đề xuất chức năng lưu trữ dữ liệu và chia sẻ dữ liệu đảm bảo tính riêng tư cho nền tảng; đề xuất chức năng kiểm soát truy cập theo thời gian được cấp phép bởi chủ sở hữu thiết bị cho nền tảng.