Tìm kiếm nâng cao

Search Results

Item hits:
  • Thesis


  • Authors : Nguyễn Cao Cường;  Advisor : Lê Thanh Hương (2014)

  • Khái quát về trích rút thông tin, bài toán trích rút thông tin cá nhân, phương pháp giải quyết bài toán. Trích rút thực thể và trích rút quan hệ. Kiến trúc của hệ thống, bộ trích rút thực thể dựa trên mô hình CRF, các đặc trưng cho quá trình học máy, quản lý thông tin cá nhân.

  • Thesis


  • Authors : Hoàng Ngọc Việt;  Advisor : Phạm Đăng Hải (2014)

  • Tổng quan card đồ họa và các khối xử lý đồ họa, tính toán thông dụng trên khối xử lý đồ họa GPGPU, một số bài toán phù hợp với GPGPU. Giới thiệu công nghệ Nvidia cuda và tính toán song song trên bộ xử lý đồ họa GPGPU. Mô phỏng song song sử dụng khối đồ họa GPGPU.

  • Thesis


  • Authors : Nguyễn Đức Cường;  Advisor : Trần Đức Khánh (2014)

  • Tổng quan về hoare logic, separation logic và kiểm định phần mềm, kiểm chứng mô hình, vai trò của separation logic trong tự động hóa kiểm định phần mềm. Nêu cơ sở lý thuyết của separation logic và giải pháp cho ứng dụng kiểm định phần mềm tự động. Cài đặt thử công cụ kiểm định tự động ứng dụng separation logic.

  • Thesis


  • Authors : Nguyễn Đình Minh;  Advisor : Trương Diệu Linh (2014)

  • Giới thiệu về mạng cáp quang, bài toán định tuyến và gán bước sóng. Một số phương pháp giải quyết bài toán định tuyến và gán bước. Kết quả giải bài toán với giải thuật Suurballe + First Fit. Thử nghiệm và so sánh kết quả đạt được giữ 2 phương pháp.

  • Thesis


  • Authors : Đỗ Ngọc Phục;  Advisor : Huỳnh Thị Thanh Bình (2014)

  • Nêu các khái niệm cơ bản, các tham số, ứng dụng của giải thuật di truyền. Áp dụng giải thuật di truyền giải bài toán lập kế hoạch học tập tại Trường Sĩ quan tăng thiết giáp. Giới thiệu giải pháp công nghệ, mô hình hệ thống.