力迫演算在开放逻辑系统中的嵌入

令A为一个可数一阶语言,T为A的一个协调理论,亦可以为空理论,引入一个可数无穷的新常项符号集(?)={c_1,c_2,……},组成一个新的一阶语言A_c.令A_c={F_i,R_i,(?)},A_A是只含(?)中常项符号的所有原子公式及原子公式的否定组成的句集,定义1.1 A_A的一个有穷子集P,若T∪P协调,则称P为一个力迫条件.     

一种非结构化数据库的四面体数据模型

文中针对非结构化数据管理提出了一种四面体模型.该模型用4个刻面分别描述了一个非结构化数据的基本属性、语义特征、底层特征以及原始数据等组成元素,并描述了这些元素之间的内在联系.设计了四面体模型的实现结构以及数据操作语言.四面体模型能够实现各类非结构化数据的统一的、集成的以及关联的描述,并能够支持关联检索和数据挖掘等智能检索服务.最后给出了一个视频样例库中数据的描述与操作实例.     

李未：提高自主创新能力要抓住关键

要提高我国科学技术的自主创新能力和增强我们的核心竞争力，我觉得至少要从五点来下功夫。     

面向群体共识机制的逆强化学习辨识方法

作为新一代人工智能的重要研究领域,群体智能是解决开放不确定环境中大规模复杂问题的必由途径,对人工智能的其他研究领域有着基础性和支撑性的作用.群体智能系统中,智能体遵循共识机制进行交互演化产生群体共识,辨识共识机制是构建和理解群体智能系统的关键.传统的共识机制建模方法需要做过多简化假设,难以面对复杂多样的群体智能系统,应建立数据驱动的共识机制辨识方法.本文将共识机制的辨识问题转化为群体智能系统的逆强化学习问题,提出面向群体共识机制的逆强化学习辨识方法,并将上述辨识方法应用于集群系统,在多个场景中验证了对群体智能系统的辨识能力,实现了对群体智能系统的共识机制的反演.     

知识库更新的一种可编程实现的方法

讨论了知识库是有限子句集时的更新过程,给出了这种情况下知识库更新的一种可编程实现的方法.首先讨论了求极大协调子集的基本思想和方法,然后给出了求极大协调子集的完全过程和非完全过程,证明了它们的正确性;讨论了知识库更新的实现方法;最后和相关工作进行了比较.     

一种求解带有时间调度的四维长方体装填问题的启发式算法

长方体的Packing问题被证明是NP-hard问题。对于低维度Packing问题,国内外学者给出了模拟退火算法、遗传算法、分枝限界算法、拟人算法等求解算法。文中针对带有时间调度的三维长方体的Packing问题,引入封装级别、空间距离和周边生成序数等评判标准,提出了一种基于贪心策略的启发式算法。该算法对每个长方体每一占角位置进行评判,依据空间利用率选择给定格局下的最佳放置长方体及其放置方式,并进行填放。算法的运算复杂度是一个与容器参数A,B,C,T以及长方体数目n有关的多项式O(A~2B~2C~2T~2n~5)。利用该算法对非闸断模式和闸断模式测试样例进行实验,算法求解得到非闸断模式测试样例的平均空间利用率为98.81%,闸断模式测试样例的空间平均利用率为99.87%。并且,对于一半以上样例,该算法能够求出最优解。实验说明该算法对于求解带有时间调度的三维长方体Packing问题十分有效。     

“蓝藻水华监测预警及湖泊水源地保护关键技术研发及应用”成果与思考

本文介绍了"蓝藻水华监测预警及湖泊水源地保护关键技术研发及应用"成果的意义和内容。该成果针对湖泊水源地蓝藻水华灾害防控需求,基于蓝藻生长四阶段理论,研发了湖泊水源地蓝藻水华"预测预警-智能拦截-高效清除"的成套技术与设备,并成功应用于太湖、巢湖以及其他湖泊和水库,为保障湖泊水源地供水安全提供了科技支撑,获得了显著的社会效益。在成果介绍的基础上,提出了湖泊蓝藻水华频发常态下该系列技术进一步发展空间,并提出了未来发展的建议。