可拓信息-知识-智能形式化体系研究

利用可拓论和可拓方法,把信息、知识和智能统一在一个形式化体系中,用可拓推理和可拓变换,去建立生成策略的推理规则,把可拓集合和关联函数作为策略生成和策略评价的定量化工具,探讨建立"可拓信息—知识—智能形式化体系".给出了建立该体系的框架和主要功能模块.这一研究为利用计算机辅助解决矛盾问题提供可行的工具,为提高计算机的智能化水平创造基础条件.

基于仿真的复杂武器系统作战效能评估框架研究

复杂武器系统作战效能评估是军方和工业方共同关心的科学问题。指出了现有武器装备作战效能仿真评估缺乏面向复杂武器系统的针对性、缺乏以仿真方法为主导的形式化评估框架等问题。采用"性能-效果-效能"分层的思路搭建了基于仿真的复杂武器系统作战效能评估指标体系框架,并进行了形式化研究。该框架综合考虑不同种类的仿真输入、效果指标和效能指标,能够一体化地指导复杂武器系统的作战效能仿真评估工作。结合弹道导弹的作战效能评估进行了案例研究。

计算语言学应用中的模块化概念

讨论了在开发大型实用的自然语言处理系统中所需的知识与人力资源，提出了采用模块化方式管理这些资源的重要性，并将它他们划归于三个大的层次，即理论语言学、计算语言学和计算机科学，分析介绍了这三个层次在自然语言处理系统研制中所起的作用及各自的任务与目标。

元数学对计算机的一些启示

元数学是一门数理逻辑方面的学科 ,其主要研究对象是数学本身的矛盾性问题 .但是 ,由于元数学的研究空间是在一个形式化的体系中 ,因此 ,它所采用的各种研究方法以及考虑问题的思维模式必定会给我们的计算机科学的发展带来一些启示 ,甚至在某些与形式逻辑相关的领域如计算机语言的设计、人工智能等方面 。