您的位置： 专家智库 > >

王兵山

作品数：26 被引量：124H指数：4
供职机构：国防科学技术大学计算机学院计算机科学与技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划国防科技技术预先研究基金更多>>
相关领域：自动化与计算机技术理学电子电信社会学更多>>

合作作者

文献类型

  • 24篇期刊文章
  • 2篇会议论文

领域

  • 20篇自动化与计算...
  • 4篇理学
  • 1篇经济管理
  • 1篇电子电信
  • 1篇社会学

主题

  • 6篇面向对象
  • 4篇人工智能
  • 4篇程序设计
  • 3篇语义
  • 3篇语义研究
  • 2篇语言
  • 2篇通信
  • 2篇逻辑
  • 2篇可视语言
  • 2篇机器人
  • 2篇概率逻辑
  • 2篇Π-演算
  • 2篇SMALLT...
  • 2篇程序语言
  • 2篇多AGENT...
  • 1篇定理
  • 1篇定理证明
  • 1篇多AGENT
  • 1篇多AGENT...
  • 1篇一致性

机构

  • 21篇国防科学技术...
  • 5篇长沙工学院
  • 2篇中国人民解放...
  • 1篇空军指挥学院

作者

  • 26篇王兵山
  • 13篇陈火旺
  • 8篇李舟军
  • 4篇刘海燕
  • 4篇张晨东
  • 2篇强军
  • 2篇徐光
  • 2篇荔建琦
  • 1篇齐治昌
  • 1篇谭庆平
  • 1篇谢冰
  • 1篇李侃
  • 1篇李智毅
  • 1篇毛新军
  • 1篇姜新文
  • 1篇王怀民
  • 1篇王献昌
  • 1篇徐光

传媒

  • 7篇国防科技大学...
  • 6篇软件学报
  • 3篇计算机科学
  • 2篇计算机学报
  • 2篇计算机工程与...
  • 1篇中国科学（A...
  • 1篇计算机应用
  • 1篇中国科学（E...
  • 1篇中国工程科学
  • 1篇1998年华...
  • 1篇’94全国理...

年份

  • 1篇2001
  • 1篇2000
  • 3篇1999
  • 3篇1998
  • 3篇1997
  • 3篇1996
  • 3篇1995
  • 6篇1994
  • 2篇1993
  • 1篇1992
共 26 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
并发面向对象语言的演算语义研究被引量：1
1996年
本文对л演算进行了扩展，使之能支持异步通讯，然后在此基础上给出了一种简单Ａｃｔｏｒ语言的演算语义。该演算语义能较好地刻划异步通讯机制、演员的行为替换机制以及对象、类、封装、实例变量与临时变量等面向对象特征。
李侃王兵山李舟军
关键词：面向对象语言Π-演算
一种严格的软件开发方法框架被引量：6
1996年
本文系统地提出一种严格的软件开发方法，它基于逐步精化和重用组合的程序设计思想，将基于图形的半形式化方法和基于逻辑和转换系统的形式化方法镶嵌为一体，使软件开发中的“创造”和“演算”得到合理的折衷．本文已初步实现了面向该方法的实现工具．
陈火旺齐治昌王兵山宁洪谭庆平
关键词：软件开发程序设计
一个带量词的context逻辑及其限制推理
1997年
本文定义了一个新的context逻辑——QLC（quantificationallogicofcontext），它能反映context的更多的逻辑性质．文中还讨论了含等词的QLC以及当领域公理相关不同context序列时的推理。
刘海燕陈火旺王兵山
关键词：人工智能非单调推理
概率逻辑推理的弱相关分解方法被引量：4
1997年
本文给出了一种新的概率逻辑推理的分解计算模型．若表示专家知识的概率逻辑公式集具有一定的弱相关分解特性，则可分解为多个公式子集．大规模线性规划的Ｄａｎｔｚｉｇ－Ｗｏｌｆｅ分解方法可用于对这种分解的问题求解．
张晨东陈火旺王兵山徐光
关键词：一致性知识库专家系统
Smalltalk—80的基本概念和抽象文法被引量：1
1993年
Smalltalk—80是原型的面向对象程序设计语言和环境,其中所体现的面向对象方法学已广泛应用于计算机科学的各个领域。我们已经完成除进程之外的所有Smalltalk成份的指称语义描述。作为系列文章的首篇,本文简要介绍Smalltalk的基本概念,并给出其完整的抽象文法,从而为准确地理解Smalltalk,正确地描述其形式语义奠定良好的基础。
李舟军王兵山
关键词：面向对象程序设计
概率性逻辑异构分解模式的相容性
1999年
文章讨论概率性逻辑异构分解模式的相容性问题．对于不同结构的分解模式，只要两两之间满足单边缘一致性，则可互相结合，构成异构的分解模式，并且由此设计的分解算法所形成的推理系统保持相对于原Ｎｉｌｓｓｏｎ
张晨东徐光陈火旺王兵山
关键词：相容性
分布实现完全LOTOS规范的转换方法被引量：1
1999年
基于ＬＯＴＯＳ规范语言，文章从系统功能规范出发，结合实际系统的分布特性，推导出符合实际系统结构的模块化规范的转换方法．用标注的完全ＬＯＴＯＳ语言规范表达复杂的系统分布特性，研究了使用广播通信方式进行协同的。
谢冰陈火旺王兵山
关键词：进程代数LOTOS语言通信协议
Smalltalk-80的形式语义研究
1993年
Smalltalk-80是原型的面向对象程序设计语言和环境。本文简要地介绍了Smalltalk-80的基本概念和抽象文法,给出了其形式模型,并基于该模型描述了Smalltalk-80的静态指称语义和动态指称语义。
李舟军王兵山
关键词：面向对象程序设计SMALLTALK-80
多Agent系统计算的动作模型理论
提出了一个基于外部条件－内在能力－结果体系结构的动作模型理论以支持多Ａｇｅｎｔ系统计算的理论研究。理论区别动作发生所需的外部条件和内在能力，允许多个Ａｇｅｎｔ的动作异步、并发地发生，允许不同的动作具有不同的时间延迟。研究...
毛新军王怀民陈火旺王兵山
关键词：AGENT多AGENT系统
语义树方法及其可靠性和完备性被引量：2
1994年
Ａｎｄｒｅｗｓ在《ＡｎＩｎｔｒｏｄｕｃｔｉｏｎｔｏＭａｔｈｅｍａｔｉｃａｌＬｏｇｉｃａｎｄＴｙｐｅＴｈｅｏｒｙ：ＴｏＴｒｕｔｈＴｈｒｏｕｇｈＰｒｏｏｆ》一书中给出的语义树方法是一种能直接适用于句子集的反驳方法，但其中关于语义树方法的可靠性和完备性定理（３２０１）及其证明是错误的。本文通过例子指出并纠正了这一错误，同时对修正后的可靠性和完备性定理给出了详细的证明。
李舟军王兵山
关键词：语义树可靠性
全选 清除 导出
共3页<123>
聚类工具0