*Use filters to refine the search results.

Search


Item hits:
  • 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: Hoàng Văn Dũng; Võ Nguyên Sơn (2022-01-29)

  • Luận án nghiên cứu và thực nghiệm trên các phương tiện xe tự lái (ADAS) nhằm mô phỏng cho quá trình hoạt động của một autorobot. Đối tượng nhận dạng của phương tiện tự lái là các đối tượng tham gia giao thông như: phương tiện giao thông khác (xe máy, xe ô tô, xe tải, xe khách,...), người đi bộ, biển báo giao thông, lòng đường, lề đường, ...

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


  • ;  Advisor: Nguyễn Hiếu Minh; Nguyễn Mạnh Linh (2018-09-12)

  • Luận án nghiên cứu tổng quan các cơ sở lý thuyết về các giao thức trao đổi khóa, về chữ ký số và cơ sơ toán học của các bài toán khó giải để xây dựng lược đồ chữ ký số dựa trên hai bài toán khó nhằm phát triển các giao thức trao đổi khóa an toàn có xác thực sử dụng lược đồ chữ ký số dựa trên hai bài toán khó giải. Đồng thời nghiên cứu các vấn đề liên quan đến trao đổi khóa nhóm, đề xuất giao thức trao đổi khóa nhóm mới.

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


  • ;  Advisor: Nguyễn Thúc Hải; Vũ Thanh Tú (2015-10-29)

  • Từ các vấn đề còn tồn tại của các cơ chế quản lý hàng đợi tích cực hiện có và ý tưởng cải tiến các cơ chế điều khiển đã hình thành mục đích xây dựng cơ chế điều khiển hoạt động hiệu quả hơn và đồng thời chứng minh khả năng ứng dụng các mô hình tính toán có sử dụng các kỹ thuật tính toán mềm cho bài toán AQM trong mạng TCP/IP.