» Từ khóa: chương trình

Bài viết Xác định độ cao Geoid và dị thường trọng lực từ các hệ số hàm điều hòa cầu trình bày chi tiết các công thức toán học, để tính độ cao Geoid và dị thường trọng lực trên cơ sở sử dụng các hệ số hàm điều hòa cầu của các mô hình thế trọng trường và được lập thành chương trình máy tính Geomat2015 bằng ngôn ngữ lập trình Matlab.

 5 p husc 30/04/2017 313 2 Download

Từ khóa: Độ cao Geoid, Dị thường trọng lực, Hệ số hàm điều hòa, Cách tính độ cao Geoid, Mô hình thế trọng trường, Chương trình máy tính Geomat2015, Công thức tính độ cao

Bài giảng "Tin học đại cương - Bài 1: Cấu trúc một chương trình C++" giới thiệu tới người học các ví dụ minh họa một chương trình C++, cấu trúc chương trình C++. Đây là một tài liệu hữu ích dành cho các bạn sinh viên ngành Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập nghiên cứu.

 10 p husc 24/02/2017 294 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Cấu trúc một chương trình C++, Chương trình C++, Cấu trúc chương trình C++

Bài giảng "Tin học đại cương - Bài 3: Chương trình con (hàm)" cung cấp cho người học các kiến thức: Đặt vấn đề, giới thiệu về chương trình con, cách viết và gọi chương trình con. Mời các bạn cùng tham khảo nội dung chi tiết.

 19 p husc 24/02/2017 237 1 Download

Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Chương trình con, Gọi chương trình con, Viết chương trình con

Chương 3 trình bày về lập trình hợp ngữ cho 8086. Trong chương này giới thiệu về khung của chương trình hợp ngữ, trình bày cách tạo và chạy một chương trình hợp ngữ trên máy IBM PC, trình bày các cấu trúc lập trình cơ bản thực hiện bằng hợp ngữ và một số chương trình cụ thể.

 35 p husc 20/01/2017 328 1 Download

Từ khóa: Kỹ thuật vi xử lý, Bài giảng Kỹ thuật vi xử lý, Lập trình hợp ngữ cho 8086, Chương trình hợp ngữ, Khung của một chương trình hợp ngữ, Cấu trúc lập trình

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 294 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.

Trong lĩnh vực chính trị, truyền thông đại chúng có vai trò rất to lớn: cung cấp thông tin, định hướng tư tưởng chính trị; xác lập chương trình nghị sự, là diễn đàn giao tiếp chính trị;... Bài viết này đề cập đến vai trò của truyền thông đại chúng trong hoạt động của cơ quan lập pháp các nước phương Tây, đặc biệt là đối với hoạt động...

 11 p husc 22/12/2016 324 1 Download

Từ khóa: Truyền thông đại chúng, Cơ quan lập pháp, Nguồn cung cấp thông, Xác lập chương trình nghị sự, Diễn đàn giao tiếp chính trị, Định hướng dư luận

Giới thiệu về hệ thống lập trình logic DLV , đưa ra một số ứng dụng của chương trình Datalog dạng tuyển . 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 27/09/2016 482 6 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Datalog dạng tuyển, Hệ thống DLV, Cấu trúc chương trình, Thực thi chương trình.

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. 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

 12 p husc 26/09/2016 275 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.

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 281 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.

Trình bày quá trình xây dựng một ứng dụng giám sát việc học tập tại phòng thực hành, chương trình thực hiện một số chức năng cơ bản như: Hiển thị các máy trạm, trao đổi thông tin với các máy trạm, giám sát và quản lý các máy trạm. 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 287 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Tác tử di động, Tính di động, Phân tán thông tin, Hệ thống mạng, Tác tử JaDe, Khám phá thác tử, Chạy chường trình.

Bài giảng Công nghệ protein – enzyme - Chương 2: Các phương pháp thu nhận protein, trình bày về nhiệt độ, nồng độ proton, tác nhân hóa học, phá vỡ tế bào, tách enzyme. Đây là tài liệu học tập và tham khảo bổ ích dành cho sinh viên ngành Công nghệ sinh học.

 44 p husc 18/08/2016 263 2 Download

Từ khóa: Công nghệ protein Chương 2, Công nghệ protein, Phương pháp thu nhận protein, Thu nhận protein, Quy trình tách enzyme, Phá vỡ tế bào

Nghiên cứu công nghiệ tính toán lưới, bộ công cụ khai thác dữ liệu trên lưới Alchemi và xây dựng ứng dụng tính toán lưới tra cứu điểm thi đại học dựa trên nền tảng Alchemi. Với tính năng Alchemi sẽ giải quyết được trình trạng quá tải và gây tắc nghẽn đường truyền của hệ thống tra cứu điểm thi mỗi khi có đồng thời một số lượng lớn...

 6 p husc 20/06/2016 331 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Mô hình tính toán, CPU song song, Tài nguyên của lưới, Tài nguyên lưu trữ, Hệ thống lưới, Kiến trúc lưới, Demo chương trình, Tra cứu điểm thi