Prolog 对象系统 GKD-POS/SUN的设计与实现

GKD-POS/SUN是在模块化Prolog基础上设计并实现的一个面向对象Prolog解释器。它同时引入了模块化、模块间的通讯、切换、类、方法、继承、消息发送及接收等概念,并提供对这些概念的直接支持。本文描述了GKD-POS/SUN的语言规范、系统组织与设计、主要实现技术和相关对象操作原语。     

面向对象数据库的概念和问题

随着面向对象程序设计的广泛应用,面向对象数据库已成为数据库发展的主要方向之一。本文讨论了面向对象数据库的概念和问题,描述了面向对象数据库的数据模型及面向对象数据库的功能和特点,并对面向对象数据库与关系数据库进行了比较。     

逻辑程序设计与关系数据库集成的一种基于预编译的解释方法

本文在研究逻辑程序设计与关系数据库的两种集成方法(解释和编译)的基础上,提出了一种新的基于预编译的解释方法,该方法保持了前两种方法的优点,克服了它们的不足。基于此方法,文中介绍了一个相应的集成系统的原型及主要实现技术,其中包括物理级的耦合连接,逻辑级的语言合成,源程序级的部分计算和静态优化,以及动态执行过程中的事实调度和版本管理等。目前,该原型作为知识库管理系统GKBMS 的内核,已投入实际应用。     

制订科学的预防维修大纲加速维修管理科学化

本文探讨了欧洲国家维修团体联盟(EFNMS)第十次学术会议的主题——“维修——为了未来的投资”的意义和内涵.在此基础上,重点介绍了为获取此种投资效益所必需制订的预防维修大纲的方法及其理论依据.     

德英两国现代大学制度确立的逻辑分析——以柏林大学、牛津和剑桥大学为例

柏林大学模式在19世纪后半期引发了关于科学研究的"世界运动",而其后建立的现代化大学并不是柏林大学模式的简单复制。通过对柏林大学与牛津大学、剑桥大学的个案研究,探寻英德现代化大学制度演进的逻辑;并将德国现代化大学制度演进逻辑概括为以科研为中心的政府内生型制度逻辑,将英国现代化大学制度演进逻辑概括为以教学为中心的传统内生型制度逻辑。最后,分析英德现代大学制度演进逻辑迥异的原因并得出其历史启示。     

拓扑结构/模糊逻辑的车载导航系统地图匹配算法

研究了地图匹配技术在车辆组合导航系统中的特点,利用模糊逻辑处理近似信息的优势和路网的拓扑结构,提出了一种基于拓扑结构/模糊逻辑的匹配地图算法,通过模糊逻辑部分的搜索子算法和投影子算法计算路段的隶属度,再结合路网自身的拓扑结构来选择匹配路段及投影匹配点,详细介绍了该算法的设计和流程.实际跑车实验证明,该算法有效地提高了匹配正确率和匹配效率.     

模糊自适应PMHT机动目标跟踪算法

对目标机动的检测和准确跟踪,是目标跟踪研究中非常重要但难度较大的问题.将统计距离、统计距离增量作为系统方差的调整参量,采用模糊专家规则系统,提出了一种适用于机动目标的模糊自适应概率多假设跟踪(FA-PMHT)算法.该算法将数据关联寻优与运动模型寻优联合处理,从而实现了数据关联寻优、目标模型寻优一体化.仿真结果表明,所提算法与交互式多模型概率多假设跟踪(IMM-PMHT)算法相比在跟踪精度上有明显提高,并且满足实时性要求,证明该算法是有效的.     

遗传模糊逻辑的碟形飞行器复合控制分配策略

复合控制系统将两个或多个不同类型的控制子系统有机地结合在一起,相互补充,可以形成复合优势,以满足不断提高的控制性能要求.而如何协调各控制子系统,以最大限度地实现复合优势并达到最佳控制性能,是复合控制系统设计中必须解决的难题之一,对此进行了有益的探索.针对碟形飞行器变质量矩/推力矢量复合控制系统,将遗传算法与模糊逻辑相结合,提出了基于遗传模糊逻辑的复合控制分配策略.仿真表明,这一设计获得了良好的控制性能.     

中国式现代化道路“人民”底蕴的生成逻辑和命题论域

中国式现代化道路具有鲜明的人民底蕴，从生成逻辑看，肇始于马克思主义的人民立场、扎根于中华优秀传统文化中的民本思想、锻造于党秉承为民初心的百年奋斗历程。从命题论域看，中国式现代化是人口规模巨大的现代化、全体人民共同富裕的现代化、物质文明与精神文明相协调的现代化、人与自然和谐共生的现代化、走和平发展道路的现代化，描绘着“人民至上”的斑斓画卷。