» Từ khóa: phần mềm

Bài viết Tự động tổng quát hóa bản đồ trình bày về ý nghĩa của tự động tổng quát hóa bản đồ, giới thiệu về quá trình phát triển của tổng quát hóa bản đồ từ truyền thống đến tự động hóa; mô tả một thực nghiệm về việc xây dựng phần mềm xử lý tự động vấn đề dịch vị của các đối tượng bản đồ trong quá trình tự động...

 8 p husc 30/04/2017 279 1 Download

Từ khóa: Tự động tổng quát hóa bản đồ, Ý nghĩa tổng quát hóa bản đồ, Phần mềm xử lý tự động bản đồ, Bản đồ đa tỉ lệ, Quá trình tổng quát hóa bản đồ, Nguyên tắc dịch vị

Trình bày một mở rộng của A-Prolog, gọi là DA-Prolog, trong đó phần đầu của các mệnh đề trong chương trình A-Prolog có chứa phép tuyển logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 30/12/2016 276 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic xác định, Phủ định mặc định, Phủ định mạnh, Chương trình A-PROLOG, Phần mềm SMODELS, Chạy ứng dụng.

Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 13 p husc 26/09/2016 269 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.

Tìm hiểu một số thuật toán xây dựng hệ hỗ trợ quyết định. Sau đó, áp dụng các thuật toán này để áp dụng vào bài toán dự báo nguy cơ bệnh tiểu đường. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 11 p husc 21/09/2016 268 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Luật kết hợp, Phân lớp dữ liệu, Hệ thống thông tin, Cây quyết định, Quyết định lâm sàng, Phần mềm Weka, Tập dữ liệu mẫu, Bệnh tiểu đường

Nghiên cứu ứng dụng phần mềm GIS để xây dựng và khai thác cơ sở dữ liệu phục vụ công tác quản lý sử dụng đất ở huyện Quảng Trạch. Chia sẻ thông tin hồ sơ địa chính của khu vực nghiên cứu thông qua công nghệ WebGIS và điện toán đám mây (Cloud GIS). Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 -...

 7 p husc 27/06/2016 258 1 Download

Từ khóa: Môi trường, Quản lý môi trường, Sử dụng đất, Thông tin địa lý, Cơ sở dữ liệu, Phần mềm Cloud GIS, Phần mềm Arc Gis Desktop, Chuyển đổi dữ liệu, Biên tập dữ liệu, Xây dựng dữ liệu

Tìm hiểu mạng vệ tinh (hệ thống vệ tinh địa lý đồng bộ, hệ thống vệ tinh quỹ đạo thấp, nguyên lý của một hệ thống thông tin vệ tinh, phần không gian và vai trò của các trạm điều khiển...) Trình bày mô hình hệ thống mạng vệ tinh và đề cập đến một số vấn đề gây tắc nghẽn trên mạng vệ tinh. Nghiên cứu về giải pháp Transmission control...

 6 p husc 20/06/2016 224 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Hệ thống vệ tinh, Quỹ đạo thấp, Trạm điều khiển, Trạm mặt đất, Giao thức TCP, Phần mềm mô phỏng

Tìm hiểu tổng quan về mạng VANET và giới thiệu một số nhóm giao thức trong mạng VANET. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 5 p husc 31/05/2016 263 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Giao thức định tuyến, Phần mềm mô phỏng, Công cụ mô phỏng, Công cụ đánh giá, Mô phỏng chuyển động, Cải tiến giao thức.

Nghiên cứu tìm hiểu phương pháp phần tử hữu hạn áp dụng cho biến tử áp dụng dạng đĩa, để xây dựng mô hình biến tử thủy âm kiểu Cymbal trên cơ sở vật liệu BZT - BCT. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

 6 p husc 14/04/2016 296 1 Download

Từ khóa: Vật lý, Vật lý chất rắn, Biến tử thủy âm, Vật liệu áp điện, Đĩa áp điện, Áp điện tự do, Phần mềm Comsol

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

 5 p husc 17/03/2016 304 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường

Tổng quan về bảo mật cơ sở dữ liệu, bao gồm các lỗ hổng, mối đe dọa đối với cơ sở dữ liệu, các kiểu tấn công cơ sở dữ liệu (trọng tâm là loại tấn công chèn mã SQL (SQLIA). Nghiên cứu hướng tiếp cận của cây phân tích cú pháp trong việc phát hiện và ngăn chặn tấn công chèn mã SQL. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email:...

 5 p husc 16/03/2016 287 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Dữ liệu, Cơ sở dữ liệu, Chèn mã SQL, Phần mềm mô phỏng, Phân tích thuật toán, Xác định lỗ hổng

Nghiên cứu quy trình phát triển kiến trúc phần mềm hướng mô hình và kỹ thuật kiểm thử dựa trên mô hình. Ứng dụng bài toán kiểm thử theo cách tiếp cận mô hình với các hệ thống phân tích và thiết kế hướng đối tượng trên ngôn ngữ Mô hình hóa (UML). Các ứng dụng của Hồ sơ kiểm thử ngôn ngữ mô hình hóa trong kiểm thử phần mềm và các công...

 6 p husc 16/03/2016 301 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Quy trình phần mềm, Kiểm thử phần mềm, Kiểm thử tích hợp, Kiểm thử hệ thống, Kiểm thử giao diện

Trình bày tổng quan về kho dữ liệu và khai phá dữ liệu, tiền xử lý dữ liệu và một số phương pháp kỹ thuật khai phá dữ liệu và các ứng dụng của khai phá dữ liệu. Nghiên cứu về luật kết hợp, các thuật toán sinh luật kết hợp; Tìm hiểu phân lớp bằng phương pháp cây quyết định và các thuật toán sinh luật quyết định. Mô phỏng bài toán tư...

 5 p husc 15/03/2016 318 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Khai phá dữ liệu, Thuật toán khai phá, Xử lý dữ liệu, Phần mềm Weka