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

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 101.02-2014.32. Một số vấn đề về bất đẳng thức tích phân, bất đẳng thức vi biến phân và phương trình vi phân ngẫu nhiên/ PGS.TS. Đinh Thanh Đức - Trường Đại học Quy Nhơn. (Đề tài cấp Quốc gia) Hình thành các bất đẳng thức tích phân mới cho các toán tử đạo hàm, đạo hàm riêng và tích chập trên các thang thời gian có ứng dụng hiệu quả trong nghiên cứu định tính và định lượng nghiệm một số lớp phương trình vi phân trên các thang thời gian. Đưa ra một số đặc trưng đại số cho tính điều khiển được, tính ổn định hóa được và tính quan sát được của một lớp các bất đẳng thức vi biến phân affine dạng đặc biệt và ứng dụng vào bài toán thiết kế, điều khiển hệ năng lượng. Hình thành một số kết quả về sự tồn tại của hệ tiến hóa các độ đo và điều kiện tồn tại nghiệm vững cho một số lớp phương trình vi phân ngẫu nhiên trên không gian Hilbert.

pdf39 trang | Chia sẻ: hadohap | Lượt xem: 447 | Lượt tải: 0download
Bạn đang xem trước 20 trang 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ố 1 năm 2019, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD ở trên
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Ố 1 2019 (12 SỐ/NĂM) i 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 cứu 1 Bảng tra kết quả thực hiện nhiệm vụ KH&CN theo thông tin thư mục 7 Phụ lục: Thủ tục đăng ký kết quả thực hiện nhiệm vụ KH&CN 36 ii 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ệ, Cục Thông tin khoa học và công nghệ Quốc gia 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 Cục Thông tin khoa học và công nghệ Quốc gia 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ỉ: Đị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: iii 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 CÁC YẾU TỐ MÔ TẢ KẾT QUẢ THỰC HIỆN NHIỆM VỤ KH&CN    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ụ KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 1-2019 4 BẢNG TRA KẾT QUẢ NHIỆM VỤ KH&CN THEO LĨNH VỰC 1. Khoa học tự nhiên...................................................................................................... 7 10101. Toán học cơ bản .................................................................................................. 7 102. Khoa học máy tính và thông tin ........................................................................... 8 10201. Khoa học máy tính ............................................................................................... 8 10301. Vật lý nguyên tử; vật lý phân tử và vật lý hóa học .............................................. 9 10304. Vật lý hạt nhân ..................................................................................................... 9 10399. Khoa học vật lý khác ........................................................................................... 9 10504. Địa vật lý ........................................................................................................... 10 10510. Khí tượng học và các khoa học khí quyển ........................................................ 11 10511. Khí hậu học ........................................................................................................ 11 10608. Lý sinh ............................................................................................................... 11 10615. Đa dạng sinh học ............................................................................................... 11 199. Khoa học tự nhiên khác ...................................................................................... 12 2. Khoa học kỹ thuật và công nghệ ............................................................................ 12 20101. Kỹ thuật dân dụng ............................................................................................. 12 20102. Kỹ thuật xây dựng ............................................................................................. 12 202. Kỹ thuật điện, kỹ thuật điện tử, kỹ thuật thông tin ......................................... 13 20201. Kỹ thuật điện và điện tử .................................................................................... 14 20204. Các hệ thống và kỹ thuật truyền thông .............................................................. 14 20303. Chế tạo máy công cụ ......................................................................................... 14 20304. Chế tạo máy động lực ........................................................................................ 15 20305. Kỹ thuật cơ khí và chế tạo máy nông nghiệp .................................................... 15 20312. Kỹ thuật cơ khí và chế tạo thiết bị khai khoáng ................................................ 15 20313. Kỹ thuật cơ khí và chế tạo thiết bị năng lượng ................................................. 16 20314. Kỹ thuật và công nghệ liên quan đến hạt nhân .................................................. 16 KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 1-2019 5 20402. Kỹ thuật quá trình hóa học nói chung ............................................................... 17 20406. Kỹ thuật hoá dầu ................................................................................................ 17 20502. Kỹ thuật và công nghệ sản xuất kim loại và hợp kim đen ................................ 18 20505. Cán kim loại; kéo kim loại; sản xuất sản phẩm kim loại; sản xuất ống kim loại, v.v.. ................................................................................................................................ 18 20513. Gỗ, giấy, bột giấy .............................................................................................. 18 20701. Kỹ thuật môi trường và địa chất, địa kỹ thuật ................................................... 19 20702. Kỹ thuật dầu khí (dầu mỏ, khí đốt).................................................................... 20 20802. Xử lý môi trường bằng phương pháp sinh học; các công nghệ sinh học chẩn đoán (chip ADN và thiết bị cảm biến sinh học) ............................................................ 20 20901. Các công nghệ xử lý sinh học (các quá trình công nghiệp dựa vào các tác nhân sinh học để vận hành quy trình), xúc tác sinh học; lên men.......................................... 21 21002. Các quy trình nano (các ứng dụng ở cấp nano). (Vật liệu sinh học kích thước không phải nano được xếp vào 209) ............................................................................. 21 299. Khoa học kỹ thuật và công nghệ khác ............................................................... 21 3. Khoa học y, dược .................................................................................................. 22 30108. Vi sinh vật học y học ......................................................................................... 22 30212. Y học hạt nhân và phóng xạ; chụp ảnh y học .................................................... 22 30403. Dược liệu học; cây thuốc; con thuốc; thuốc Nam, thuốc dân tộc...................... 23 30404. Hoá dược học ..................................................................................................... 23 4. Khoa học nông nghiệp ......................................................................................... 23 40104. Cây rau, cây hoa và cây ăn quả ......................................................................... 23 40199. Khoa học công nghệ trồng trọt khác ................................................................. 24 40202. Di truyền và nhân giống động vật nuôi ............................................................. 25 40501. Sinh lý và dinh dưỡng thuỷ sản ......................................................................... 25 40505. Hệ sinh thái và đánh giá nguồn lợi thuỷ sản ..................................................... 25 406. Công nghệ sinh học trong nông nghiệp ............................................................. 26 KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 1-2019 6 40601. Công nghệ gen (cây trồng và động vật nuôi); nhân dòng vật nuôi; .................. 26 40604. Các công nghệ vi sinh vật trong nông nghiệp ................................................... 27 499. Khoa học nông nghiệp khác................................................................................ 27 5. Khoa học xã hội ....................................................................................................... 27 502. Kinh tế và kinh doanh ......................................................................................... 27 50201. Kinh tế học; Trắc lượng kinh tế học; Quan hệ sản xuất kinh doanh ................. 28 50202. Kinh doanh và quản lý ....................................................................................... 29 50299. Kinh tế học và kinh doanh khác ........................................................................ 29 50301. Khoa học giáo dục học nói chung, bao gồm cả đào tạo, sư phạm học, lý luận giáo dục,.. ....................................................................................................................... 30 50302. Giáo dục chuyên biệt ......................................................................................... 30 50405. Xã hội học chuyên đề; Khoa học về giới và phụ nữ; Các vấn đề xã hội Nghiên cứu gia đình và xã hội; Công tác xã hội ........................................................................ 30 506. Khoa học chính trị ............................................................................................... 31 50602. Hành chính công và quản lý hành chính ........................................................... 31 50603. Lý thuyết tổ chức; Hệ thống chính trị; Đảng chính trị ...................................... 32 50699. Khoa học chính trị khác ..................................................................................... 33 50702. Địa lý kinh tế và văn hoá ................................................................................... 33 50703. Nghiên cứu quy hoạch, phát triển đô thị ........................................................... 33 50799. Địa lý kinh tế và xã hội khác ............................................................................. 34 508. Thông tin đại chúng và truyền thông ................................................................ 34 50802. Thông tin học ..................................................................................................... 34 50804. Thông tin đại chúng và truyền thông văn hoá - xã hội ...................................... 34 50899. Thông tin đại chúng và truyền thông khác ........................................................ 35 6. Khoa học nhân văn .............................................................................................. 35 60101. Lịch sử Việt Nam .............................................................................................. 35 KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 1-2019 7 BẢNG TRA KẾT QUẢ THỰC HIỆN NHIỆM KH&CN THEO THÔNG TIN THƯ MỤC 1. Khoa học tự nhiên 10101. Toán học cơ bản 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 101.02-2014.32. Một số vấn đề về bất đẳng thức tích phân, bất đẳng thức vi biến phân và phương trình vi phân ngẫu nhiên/ PGS.TS. Đinh Thanh Đức - Trường Đại học Quy Nhơn. (Đề tài cấp Quốc gia) Hình thành các bất đẳng thức tích phân mới cho các toán tử đạo hàm, đạo hàm riêng và tích chập trên các thang thời gian có ứng dụng hiệu quả trong nghiên cứu định tính và định lượng nghiệm một số lớp phương trình vi phân trên các thang thời gian. Đưa ra một số đặc trưng đại số cho tính điều khiển được, tính ổn định hóa được và tính quan sát được của một lớp các bất đẳng thức vi biến phân affine dạng đặc biệt và ứng dụng vào bài toán thiết kế, điều khiển hệ năng lượng. Hình thành một số kết quả về sự tồn tại của hệ tiến hóa các độ đo và điều kiện tồn tại nghiệm vững cho một số lớp phương trình vi phân ngẫu nhiên trên không gian Hilbert. Số đăng ký hồ sơ: 2018-52-960/KQNC 101.02-2014.31. Một số hướng chọn lọc trong giải tích phức, giải tích điều hòa và hệ động lực/ PGS.TS. Thái Thuần Quang - Trường Đại học Quy Nhơn. (Đề tài cấp Quốc gia) Giải quyết bài toán thác triển chỉnh hình từ tập compact 𝐿 ̃ chính quy K trong không gian Stein E cho lớp hàm (F,W)-chỉnh hình, trong đó F là không gian đầy đủ địa phương và W xác định tính chất bị chặn trong F. Mở rộng các định lý Hartogs cho lớp hàm (F,W)- chỉnh hình phân biệt trên các tích Descarte trong đó F là không gian đầy đủ địa phương. Nghiên cứu các Định lý chữ thập có (và không có) kỳ dị đa cực cho lớp hàm (F,W)-chỉnh hình phân biệt trong đó F là không gian đầy đủ địa phương. Nghiên cứu và phát triển lý thuyết các không gian Hardy có trọng (Muckenhoupt) HpL,w ứng với các toán tử vi phân tổng quát nhất có thể. Đưa ra một phương pháp quy nạp cho các L-encounter đối song: xây dựng các quỹ đạo partner và đánh giá độ lệch tác dụng giữa các cặp quỹ đạo, sau đó tổng quát hóa cho trường hợp quỹ đạo có nhiều encounters riêng biệt. Số đăng ký hồ sơ: 2018-52-961/KQNC QG.16.07. Về trường vector chỉnh hình tiếp xúc trong C^2/ PGS.TS. Ninh Văn Thu - Trường Đại học Khoa học Tự nhiên -ĐHQGHN. (Đề tài cấp Bộ) KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 1-2019 8 Phân loại các trường vector chỉnh hình tiếp xúc với siêu mặt kiểu vô hạn. Nghiên cứu hệ phương trình đạo hàm riêng cấp một nhận được từ điều kiện trường vector chỉnh hình tiếp xúc với siêu mặt. Mô tả nhóm tự đẳng cấu của miền kiểu vô hạn và mô tả nhóm CR tự đẳng cấu của siêu mặt kiểu vô hạn. Nghiên cứu về điểm tụ quỹ đạo parabolic và nghiên cứu trường vector chỉnh hình tiếp xúc nhận được từ nhóm con một tham số. Sử dụng những công cụ của đại số Lie để mô tả các trường vector chỉnh hình tiếp xúc. Số đăng ký hồ sơ: 2018-53-929/KQNC 101.04-2015.03. Lý thuyết phân bố giá trị cho ánh xạ phân hình và các vấn đề liên quan/ PGS.TS. Sĩ Đức Quang - Trường Đại học Sư phạm Hà Nội. (Đề tài cấp Quốc gia) Thiết lập các định lý cơ bản thứ hai với hàm đếm được chặn bội cho các ánh xạ phân hình và siêu phẳng di động trong không gian xạ ảnh. Thiết lập các định lý cơ bản thứ hai với hàm đếm được chặn bội cho các ánh xạ phân hình và họ siêu mặt ở vị trí dưới tổng quát trong đa tạp xạ ảnh. Sử dụng các định lý cơ bản thứ hai thiết lập được để nghiên cứu tính duy nhất, suy biến của các ánh xạ phân hình. Nghiên cứu các vấn đề tương tự định lý cơ bản thứ hai trong xấp xỉ Diophatine. Số đăng ký hồ sơ: 2018-52-466/KQNC 102. Khoa học máy tính và thông tin 12-07-NSCL. Nghiên cứu xây dựng TCVN về quy phạm thực hành bảo vệ thông tin có thể định danh cá nhân (PII) trên đám mây công cộng có chức năng xử lý PII./ ThS. Nguyễn Đức Tuân - Trung tâm Ứng cứu khẩn cấp máy tính Việt Nam. (Đề tài cấp Bộ) Nghiên cứu tình hình chuẩn hóa trong và ngoài nước về an toàn thông tin và lựa chọn sở cứ , tiêu chuẩn tham chiếu phù hợp để xây dựng dự thảo hướng dẫn về quy phạm thực hành bảo vệ thông tin có thể định danh cá nhân (PII) trên đám mây công cộng có chức năng xử lý PII . Xây dựng dự thảo tiêu chuẩn về quy phạm thực hành bảo vệ thông tin có thể định danh cá nhân (PII) trên đám mây công cộng có chức năng xử lý PII. Nghiên cứu biên soạn thuyết minh dự thảo tiêu chuẩn Việt Nam về quy phạm thực hành bảo vệ thông tin có thể định danh cá nhân (PII) trên đám mây công cộng có chức năng xử lý PII và chỉnh sửa, hoàn thiện dự thảo tiêu chuẩn Việt Nam. Số đăng ký hồ sơ: 2018-10-145/KQNC 10201. Khoa học máy tính ĐTĐLCN.38/15. Nghiên cứu, phát triển hệ thống thiết bị giám sát lưu lượng và phát hiện tấn công từ chối dịch vụ dựa trên công nghệ mạng điều khiển bằng phần mềm Software- Defined Networking (SDN)/ PGS.TS. Phạm Ngọc Nam - Viện Điện tử - Viễn thông. (Đề tài cấp Quốc gia) Đảm bảo độ mềm dẻo và khả năng nâng cấp, mở rộng Software Defined Networking (SDN) cho phép đưa ra các chức năng mới bằng phần mềm. SDN rất phù hợp để áp dụng trong lĩnh vực phòng chống DDoS khi các phương thức tấn công thay đổi liên tục. Đảm bảo hiệu năng của hệ thống: Tuy được điều khiển bằng phần mềm nhưng các chức năng lọc, chuyển tiếp, đo đạc được thực hiện bằng phần cứng nên công nghệ SDN có hiệu năng cao hơn so với các gateway phần mềm truyền thống. Thiết kế và xây dựng một kiến trúc Software Defined Networking (SDN) phù hợp để phát hiện và phòng chống tấn công, bảo vệ các server dịch vụ trong mạng. Kiến trúc SDN cho phép bóc tách mặt phẳng kiểm soát khỏi mặt phẳng dữ liệu, tạo cơ sở cho KẾT QUẢ THỰC HIỆN NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ SỐ 1-2019 9 việc phát triển các giải pháp phát hiện và phòng chống tấn công một cách linh động và nhanh chóng trên mặt phẳng kiểm soát. Thiết kế và phát triển hai giải pháp thuật toán dựa vào Fuzzy Logic và One Class Support Vector Machine nhằm phân tích dữ liệu, phát hiện bất thường và giảm thiểu tấn công TCP SYN Flood và ICMP Flood. Xây dựng bộ SDN Sm