约束逻辑程序设计CLP是当今计算机学科中具有战略意义的研究方向之一。本课题具有创新意义的研究内容和成果有:具有多重论域,非线性约束求解,编译实现三重特征的BPU-CLP-C原型系统,国际上未见先例。同时对非线性约束理论,CLP的其它新领域(约束归纳逻辑程序设计CILP,并行CLP等)进行了处于学术前沿的研究,提出了新的方法。这些研究成果具有重要意义,已达到了当前国际先进水平。共发表论文11篇,其中国际学报2篇,国内学报8篇,国内重要学术会议1篇,超过原计划。本课题的研究已发展为国家863高技术计划课题。培养2名博士生和9名硕士生(硕士生中已有5名获得了硕士学位)
{{i.achievement_title}}
数据更新时间:2023-05-31
Ordinal space projection learning via neighbor classes representation
基于纳米铝颗粒改性合成稳定的JP-10基纳米流体燃料
Image super-resolution based on sparse coding with multi-class dictionaries
Phosphorus-Induced Lipid Class Alteration Revealed by Lipidomic and Transcriptomic Profiling in Oleaginous Microalga Nannochloropsis sp. PJ12
Numerical investigation on aerodynamic performance of a bionics flapping wing
常规光纤色散补偿及新型色散互补光纤的研制
新型多芯光纤干涉仪的模式特性及多参数测量技术研究
基于光纤干涉仪的量子精密测量
基于低频相位测量的量子光纤干涉仪