» Từ khóa: hệ thống

Bài viết Xây dựng công cụ sinh dữ liệu thử cho chương trình Lustre/SCADE dựa trên kiểm chứng mô hình tập trung nghiên cứu việc kiểm thử tự động cho các ứng dụng Lustre/SCADE, đề xuất sử dụng kỹ thuật kiểm chứng mô hình trên trên mạng lưới toán tử (operator network) để sinh ra các ca kiểm thử một cách tự động.

 6 p husc 21/11/2024 2 0 Download

Từ khóa: Hệ thống phản ứng, Sinh ca kiểm thử, Chương trình Lustre/SCADE, Ngôn ngữ đồng bộ luồng dữ liệu, Mạng lưới toán tử

Bài viết này trình bày một kiến trúc mã hóa/giải mã rất nhỏ gọn cho thuật toán tiêu chuẩn mã hóa tiên tiến (AES). Kiến trúc AES đề xuất là một kiến trúc đường ống, được triển khai hiệu quả trong FPGA giá thành thấp.

 9 p husc 21/11/2024 2 0 Download

Từ khóa: Tiêu chuẩn mã hóa tiên tiến, Mật mã khối, Thuật toán mật mã AES, Kiến trúc AES, Hệ thống truyền thông không dây

Tổng quan về nhận dạng đối tượng; Nhận dạng mã QR; Ứng dụng nhận dạng mã QR và bài toán xác thực người dùng tại VNPT Quảng Bình. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 10 p husc 08/11/2024 11 0 Download

Từ khóa: Khoa học máy tính, Nhận dạng đối tượng, Nhận dạng mã QR, Hệ thống nhận dạng, Sơ đồ nhận dạng, Ngôn ngữ lập trình, Dữ liệu thực nghiệm.

Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 12 p husc 08/11/2024 8 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.

Tổng quan về gis; Tìm hiểu sdi và Geoportal; Xây dựng cổng thông tin không gian dựa trên nền tảng Geonode. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 13 p husc 08/11/2024 5 0 Download

Từ khóa: Khoa học máy tính, Cơ sở dữ liệu, Dữ liệu không gian, Mô tả dữ liệu, Không gian Geoportal, Không gian đô thị, Cài đặt hệ thống.

Tổng quan về mạng di động tế bào; Mô hình hàng đợi; Mô hình, phân tích và đánh giá. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 13 p husc 08/11/2024 5 0 Download

Từ khóa: Khoa học máy tính, Mạng di động, Di động tế bào, Cấp phát kênh, Bảo vệ phân đoạn, Mô hình hàng đợi, Hệ thống hàng đợi, Hàng đợi markov.

Tổng quan về phát hiện đối tượng và ảnh không gian; Phương pháp online boosting phát hiện toàn nhà từ ảnh không gian; Cài đặt mô phỏng và thực nghiệm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 14 p husc 08/11/2024 7 0 Download

Từ khóa: Khoa học máy tính, Ảnh không gian, Không gian API, Kỹ thuật số, Hệ thống nhận dạng, Dữ liệu thực nghiệm.

Một số cơ sở lý thuyết; Mô hình luật kết hợp; Xây dựng hệ thống dự báo khả năng rời mạng của khách hàng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 13 p husc 08/11/2024 5 0 Download

Từ khóa: Khoa học máy tính, Phân lớp dữ liệu, Khai phá dữ liệu, Phân tích theo cụm, Phân tích hồi quy, Phần mềm weka, Hệ thống dự báo, Phần mềm ứng dụng.

Tổng quan về cơ sở dữ liệu thời gian; Chuyển đổi mô hình TimeER sang mô hình quan hệ có yếu tố thời gian; Phân tích và thiết kế cơ sở dữ liệu thời gian quản lý việc tính thù lao thu cước viễn thông tại VNPT. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 12 p husc 06/11/2024 7 0 Download

Từ khóa: Khoa học máy tính, Dữ liệu thời gian, Thu cước viễn thông, Quan hệ thời gian, Mô hình quan hệ, Mô hình timeER, Quan hệ lớp cha, Truy vấn minh họa.

Tổng quan tìm kiếm ảnh và cấu trúc R - Tree; Tìm kiếm ảnh dựa trên cấu trúc R-Tree; Phát triển cấu trúc R-Tree theo tiếp cận ngữ nghĩa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 20 p husc 29/10/2024 7 0 Download

Từ khóa: Khoa học máy tính, Tìm kiếm ảnh, Đồ thị tri thức, Mô hình tìm kiếm ảnh, Thuật toán tìm kiếm, Đồ thị láng giềng, Đồ thị cụm, Kiến trúc hệ thống.

Hoàn thiện hệ thống tái sinh in vitro giống Lạc L14; Sản xuất kháng thể đa dòng kháng chitinase 42 kDa ở chuột để phục vụ phân tích Western blot; Thiết kế vector biểu hiện ở thực vật mang các gen chitinase 42 kDa; Biểu hiện tạm thời các gen chitinase 42 kDa trong cây Nicotiana benthamiana; Nghiên cứu ảnh hưởng của một số yếu tố lên...

 19 p husc 29/10/2024 7 0 Download

Từ khóa: Sinh lý học thực vật, Cây lạc, Bệnh hại do nấm, Bệnh héo rũ, Khả năng kháng nấm, Kháng nấm ở cây lạc, Quy trình chuyển gen, Hệ thống tái sinh.

Tổng quan tìm kiếm ảnh theo ngữ nghĩa; Tìm kiếm ảnh trên cây C-Tree; Các phương pháp cải tiến cây C-Tree; Tìm kiếm ảnh dựa vào Ontology. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 21 p husc 29/10/2024 9 0 Download

Từ khóa: Khoa học máy tính, Hệ thống tìm kiếm, Tìm kiếm ảnh, Tập dữ liệu ảnh, Cấu trúc cây, Đồ thị cụm, Bổ sung dữ liệu, Dữ liệu bán tự động.