» Từ khóa: công trình công cộng

Tổng quan lý thuyết về nhiệt phát quang, cơ sở về vật liệu gốm thủy tinh phát quang nền phốt phát và một số nội dung khác liên quan. Sử dụng các phương pháp nghiên cứu thực nghiệm: (phương pháp chế tạo vật liệu; phép đo khảo sát vật liệu). Đánh giá về các kết quả đo đạc đặc trưng quang phổ của vật liệu chế tạo được. Ghi chú: Tài...

 14 p husc 02/06/2017 369 1 Download

Từ khóa: Vật lý, Quang học, Quá trình động học, Đường công nhiệt, Nhiệt phát quang, Phản ứng pha rắn, Gốm thủy tinh, Nguyên tố đất hiếm, Chế tạo vật liệu, Nồng độ pha tạp.

Nghiên cứu đặc điểm của ẩn dụ ý niệm liên quan đến công trình kiến thiết có trong tiếng Việt. Từ đó tìm hiểu đặc trưng tri nhận, tư duy và bản sắc văn hóa của người Việt. Phản ánh về bức tranh ngôn ngữ về con người, không gian, thời gian, đời sống xã hội với các ẩn dụ ý niệm phạm trù công trình kiến thiết và đặc trưng văn hóa dân...

 16 p husc 01/06/2017 427 1 Download

Từ khóa: Ngôn ngữ học, Phạm trù hóa, Ẩn dụ ý niệm, Hệ thống từ ngữ, Kiến thiết trong tiếng Việt, Công trình kiến thiết, Bức tranh ngôn ngữ.

Nghiên cứu vấn đề chuyển biến kinh tế - xã hội của huyện Quảng Ninh, tỉnh Quảng Bình từ: Vai trò lãnh đạo của Đảng; sự điều hành của các cấp chính quyền; Hoạt động của các tổ chức kinh tế - xã hội và của nhân dân trên địa bàn huyện Quảng Ninh đến những thành tựu đạt được trong quá trình thực hiện công cuộc đổi mới toàn diện...

 15 p husc 31/05/2017 402 8 Download

Từ khóa: Lịch sử, Lịch sử Việt Nam, Nguồn lực kinh tế, Chuyển biến kinh tế, Quá trình chuyển dịch, Hội nhập kinh tế, Công cuộc đổi mới, Lợi ích quốc gia.

Tìm hiểu về hiện tượng phát quang, vật liệu phát quang và các chuyển dời quang học đặc trưng của ion Mn và Ce. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 5 p husc 29/05/2017 353 1 Download

Từ khóa: Vật lý, Quang học, Hiện tượng phát quang, Quá trình truyền năng lượng, Phổ kích thích, Đường công nhiệt.

Trình bày một số khái niệm cơ sở và ngữ nghĩa của chương trình logic, cú pháp và ngữ nghĩa logic mô tả. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 11 p husc 19/05/2017 306 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Logic mô tả mờ, Tập mờ, Ngữ Nghĩa.

Mô hình của ẩn dụ ý niệm phạm trù công trình kiến thiết, gồm sự chọn lọc các thuộc tính điển dạng của miền nguồn, các ánh xạ ẩn dụ giữa miền ý niệm nguồn tới miền ý niệm đích và cơ chế ánh xạ của các ẩn dụ ý niệm phạm trù công trình kiến thiết; thứ hai là phân loại hệ thống ẩn dụ ý niệm phạm trù công trình kiến thiết trong...

 16 p husc 09/01/2017 395 1 Download

Từ khóa: Văn học, Ngôn ngữ học, Ý niệm hóa, Ẩn dụ ý niệm, Công trình kiến thiết, Kiến thiết tiêu biểu, Bức tranh ngôn ngữ, Đời sống xã hội, Ánh xạ ẩn dụ.

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

Tìm hiểu về máy tính song song và các phương pháp lập trình song song, nghiên cứu về lập trình xử lý song song theo luồng, cụ thể là lớp Parallel trong .NET Framework 4.5. 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

 15 p husc 27/09/2016 445 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Máy tính song song, Xử lý song song, Đơn luồng dữ liệu, Đa luồng dữ liệu, Kết lưới hai chiều, Liên kết xáo trộn, Liên kết nhị phân, Truyền thông điệp, Lập trình song song.

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 519 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 305 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 311 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 những khái niệm được xem là then chốt của Web ngữ nghĩa. Trình bày các thành phần của RDF và RDFS, Ontology và OWL. 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 23/09/2016 482 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ OWL, Lập trình RDF, Truy vấn mô hình, Liệt kê mô hình, Nguồn dữ liệu, Giao diện chính, Dữ liệu task.