王兵山
- 作品数：26 被引量：124H指数：4
- 供职机构：国防科学技术大学计算机学院计算机科学与技术系更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金更多>>
- 相关领域：自动化与计算机技术理学电子电信社会学更多>>
- 并发面向对象语言的演算语义研究被引量：1
- 1996年
- 本文对л演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。
- 李侃王兵山李舟军
- 关键词：面向对象语言Π-演算
- 一种严格的软件开发方法框架被引量：6
- 1996年
- 本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具．
- 陈火旺齐治昌王兵山宁洪谭庆平
- 关键词：软件开发程序设计
- 一个带量词的context逻辑及其限制推理
- 1997年
- 本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理。
- 刘海燕陈火旺王兵山
- 关键词：人工智能非单调推理
- 概率逻辑推理的弱相关分解方法被引量：4
- 1997年
- 本文给出了一种新的概率逻辑推理的分解计算模型．若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性，则可分解为多个公式子集．大规模线性规划的Ｄａｎｔｚｉｇ－Ｗｏｌｆｅ分解方法可用于对这种分解的问题求解．
- 张晨东陈火旺王兵山徐光
- 关键词：一致性知识库专家系统
- Smalltalk—80的基本概念和抽象文法被引量：1
- 1993年
- Smalltalk—80是原型的面向对象程序设计语言和环境,其中所体现的面向对象方法学已广泛应用于计算机科学的各个领域。我们已经完成除进程之外的所有Smalltalk成份的指称语义描述。作为系列文章的首篇,本文简要介绍Smalltalk的基本概念,并给出其完整的抽象文法,从而为准确地理解Smalltalk,正确地描述其形式语义奠定良好的基础。
- 李舟军王兵山
- 关键词：面向对象程序设计
- Smalltalk-80的形式语义研究
- 1993年
- Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
- 李舟军王兵山
- 关键词：面向对象程序设计SMALLTALK-80
- 多Agent系统计算的动作模型理论
- 提出了一个基于外部条件－内在能力－结果体系结构的动作模型理论以支持多Ａｇｅｎｔ系统计算的理论研究。理论区别动作发生所需的外部条件和内在能力，允许多个Ａｇｅｎｔ的动作异步、并发地发生，允许不同的动作具有不同的时间延迟。研究...
- 毛新军王怀民陈火旺王兵山
- 关键词：AGENT多AGENT系统
- 语义树方法及其可靠性和完备性被引量：2
- 1994年
- Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法，但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误，同时对修正后的可靠性和完备性定理给出了详细的证明。
- 李舟军王兵山
- 关键词：语义树可靠性
- 面向对象的并行Pascal的快速实现
- 1992年
- 本文介绍了一种面向对象并行程序设计语言及其实现方法,并以面向对象的Turbo Pascal 6.0为例,提出一种简便迅速的扩充方案,使Turbo Pascal 6.0能用来设计面向对象的并行程序。
- 李智毅王兵山
- 关键词：面向对象并行程序设计PASCAL
- 基于候选方案排序的进化决策方法被引量：1
- 2001年
- 由于无法得到准确的期望效用函数 ,在信息不完全和结果不确定的环境下作出决策是困难的。提出基于候选方案排序的进化决策方法。通常通过分析得出一组与候选方案期望效用相关的指标 ,设计决策规则归结为寻找二者之间的相关关系。如果将所有候选方案按其对效用有影响的指标分为n类 ,并利用进化算法在n !空间中搜索全部方案的期望效用排序 ,则根据此排序作出最佳决策。提出针对排序问题的遗传算法。该方法较少依赖专家知识 ,无须显式地构造期望效用函数 ,能有效处理非数值或非量化指标以及指标冲突和指标相关等问题 ,在带随机噪声环境下仍能获得稳健解。
- 荔建琦陈火旺王兵山
- 关键词：仿真机器人控制器遗传算法
