Thông báo kết quả thực hiện nhiệm vụ Khoa học và công nghệ - Số 7/2019

"Thông báo kết quả thực hiện nhiệm vụ Khoa học và công nghệ - Số 7/2019" thông tin về thư mục cơ bản về kết quả thực hiện các nhiệm vụ khoa học và công nghệ các cấp từ cấp quốc gia và cấp cơ sở trên cả nước, thuộc tất cả các lĩnh vực khoa học và công nghệ trong tháng 7 năm 2019.
Nội dung trích xuất từ tài liệu:
Thông báo kết quả thực hiện nhiệm vụ Khoa học và công nghệ - Số 7/2019 ISSN 1859 – 1000 THÔNG BÁO KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 7 2019 (12 SỐ/NĂM) THÔNG BÁO KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ (Định kỳ 1số/tháng) BAN BIÊN TẬP Trưởng ban: ThS. VŨ ANH TUẤN Phó Trưởng ban: ThS. Trần Thị Hoàng Hạnh Uỷ viên thư ký: CN. Nguyễn Thị Thúy Diệu CN. Nguyễn Thu Hà ThS. Nguyễn Thị Thưa MỤC LỤC Trang Lời giới thiệu ii Giải thích các yếu tố mô tả Kết quả thực hiện nhiệm vụ KH&CN iii Bảng tra kết quả thực hiện nhiệm vụ KH&CN theo lĩnh vực nghiên 4 cứu Bảng tra kết quả thực hiện nhiệm vụ KH&CN theo thông tin thư 6 mục Phụ lục: Thủ tục đăng ký kết quả thực hiện nhiệm vụ KH&CN 56 i LỜI GIỚI THIỆU Triển khai thực hiện việc thông tin về kết quả thực hiện các nhiệm vụ khoa học và công nghệ được quy định trong Luật Khoa học và Công nghệ; Nghị định số 11/2014/NĐ-CP ngày 18/02/2014 của Thủ tướng Chính phủ về hoạt động thông tin khoa học và công nghệ; Thông tư số 14/2014/TT-BKHCN ngày 11/6/2014 của Bộ trưởng Bộ Khoa học và Công nghệ quy định về việc thu thập, đăng ký, lưu giữ và công bố thông tin về nhiệm vụ khoa học và công nghệ, là cơ quan nhà nước có thẩm quyền về đăng ký, lưu giữ, phổ biến thông tin KQNC, biên soạn và phát hành xuất bản phẩm: “Thông báo kết quả thực hiện nhiệm vụ khoa học và công nghệ”. Xuất bản phẩm 'Thông báo kết quả thực hiện nhiệm vụ khoa học và công nghệ' giới thiệu với bạn đọc thông tin thư mục cơ bản về kết quả thực hiện các nhiệm vụ khoa học và công nghệ các cấp từ cấp quốc gia (cấp nhà nước), cấp bộ/ngành, cấp tỉnh/thành và cấp cơ sở trên cả nước, thuộc tất cả các lĩnh vực khoa học và công nghệ được đăng ký và lưu giữ tại Cục Thông tin khoa học và công nghệ Quốc gia. Thông tin trong xuất bản phẩm này được rút ra từ CSDL về nhiệm vụ KH&CN do xây dựng và có thể tra cứu trực tuyến trên mạng VISTA của Cục theo địa chỉ: http://sti.vista.gov.vn. Định kỳ xuất bản xuất bản phẩm là 1 số/tháng nhằm thông báo kịp thời thông tin các kết quả nghiên cứu các cấp đã đăng ký và giao nộp tại Cục Thông tin khoa học và công nghệ quốc gia. Mọi thông tin phản hồi về Xuất bản phẩm, xin liên hệ theo địa chỉ: CỤC THÔNG TIN KHOA HỌC VÀ CÔNG NGHỆ QUỐC GIA Số 24-26 Lý Thường Kiệt, Quận Hoàn Kiếm, Hà Nội ĐT: (024) 39349116- Fax: (024) 39349127- E-mail: quanly@vista.gov.vn Website: http://www.vista.gov.vn/ ii GIẢI THÍCH CÁC YẾU TỐ MÔ TẢ KẾT QUẢ THỰC HIỆN NHIỆM VỤ KH&CN    102.04-2013.21. Suy diễn tự động trong logic có miền giá trị ngôn ngữ/ TS. Trần Đức Khánh - Trường Đại học Việt Đức. (Đề tài cấp Quốc gia)   Nghiên cứu về đại số gia tử tuyến tính và đại số gia tử min hóa, xây dựng các miền giá trị chân lý dựa trên đại số gia tử tuyến tính và đại số gia từ mịn hóa cho logic ngôn ngữ. Xây dựng logic mệnh đề có miền giá trị chân lý dự trên đại số gia tử tuyến tính và đại số gia tử mịn hóa, bao gồm cú pháp, ngữ nghĩa và suy diễn. Xây dựng logic vị từ có miền giá trị chân lý dựa trên đại số gia tử tuyến tính và đại số gia tử mịn hóa, bao gồm cú pháp, ngữ nghĩa và suy diễn. Xây dựng logic mờ ngôn ngữ có miền chân lý dựa trên đại số gia tử tuyến tính, đơn điệu bao gồm cú pháp, ngữ nghĩa và suy diễn. Các phưng pháp suy diễn trong logic ngôn ngữ như suy diễn hợp giải, suy diễn modus ponens, chứng minh bảng, lập trình logic... Số đăng ký hồ sơ: 2018-52-989/KQNC   Giải thích:  Mã số nhiệm vụ  Tên nhiệm vụ  Chủ nhiệm nhiệm vụ  Cơ quan chủ trì nhiệm vụ  Cấp nhiệm vụ  Số đăng ký kết quả nhiệm vụ tại Cục Thông tin KH&CN quốc gia  Tóm tắt kết quả thực hiện nhiệm vụ iii KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 7-2019 BẢNG TRA KẾT QUẢ NHIỆM VỤ KH&CN THEO LĨNH VỰC 1. Khoa học tự nhiên............................................................................................................ 6 10101. Toán học cơ bản .................................................................................................... 10 10102. Toán học ứng dụng ................................................................................................ 11 10103. Thống kê ................................................................................................................ 12 10201. Khoa học máy tính................................................................................................. 13 10202. Khoa học thông tin ................................................................................................ 15 10203. Sinh tin học ............................................................................................................ 16 103. Vật lý ..................................................................................................................... ...