钱军
- 作品数：7 被引量：17H指数：3
- 供职机构：中国科学院软件研究所更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术经济管理更多>>
- 对象系统的组合交互计算被引量：1
- 2001年
- 对象系统的计算是一个开放的、动态并发交互的过程 ,由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成 .对象系统的行为变化是系统内、外因有机统一的具体表征 ,因此不能把对象系统的静态组合构造和动态计算行为当作两个孤立的个体分而治之 .从这个统一原则出发 ,研究了基于组合构造模型的对象系统的交互计算 .组合构造模型设计将对象系统的主要计算特征纳入一个统一的抽象基调之中 ,通过定义基调上的一组关系 ,把对象系统的层次结构和内部协同工作有机地结合在一起 .在此基础上 ,给出了一个区分动作类型的交互演算 (S/R演算 ) ,描述了组合对象系统的动态行为和交互 ,较好地刻画出对象封装性、对象计算的事件驱动性、动态绑定以及对象系统内部的交互与并发等固有特征 .
- 钱军黄涛冯玉琳
- 关键词：结构化程序设计
- Trace演算被引量：5
- 1999年
- 文章定义了基于踪迹（trace）的逻辑语言Trace，它是一阶线性时序逻辑语言的扩充，同时也是“对象演算”研究工作的基础．Trace演算所述的“对象”用来刻画具有内部状态和外部行为的动态实体，语法上由对象标记表示．对象标记Ω＝（S，F，A，E）包含4个部分；数据类型S、函数F、属性A和动作E．∑＝（S，F）构成通常代数规范意义下的标记，可将动作看成一个广义数据类型，从而得到标记∑的动作扩充∑E．对象标记的语义解释结构由关于标记∑E的代数、映射和动作与踪迹的关系来定义．∑E－代数给出关于数据参数的解释；映射给出属性在动作踪迹中所取的值；而动作与踪迹的关系则给出执行一有限踪迹以后该动作是否允许执行．在定义了Trace演算的语法和语义之后，文章给出了Trace演算的公理系统及其可靠性证明．
- 黄涛钱军倪彬
- 关键词：公理化软件工程
- 系统动态行为语义模型及其形式描述被引量：7
- 1999年
- 文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型、逻辑模型，基于进程代数的模型和方法、Ｉ／Ｏ自动机、Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地从本质上分析和比较了它们在描述系统动态行为方面的特点和优劣．文中还着重剖析了基于网络环境下的分布对象计算系统的一些主要计算特征，包括交互、并发和分布等．文中是以一个全新的角度去审视那些主要的、较为成熟的模型和方法，针对分布对象计算系统的动态行为特点加以分析和比较，为系统地建立分布对象计算系统的计算模型和语义理论打下一定基础．
- 钱军冯玉琳
- 关键词：语义模型可计算性
- 对象系统的组合构造模型和交互计算语义研究
- 随着计算机应用范围的不断扩大,特别是Internet的出现和发展,基于网络环境下的分布式计算逐步成为计算机应用系统的主流.由系统与外部环境的动态交互以及系统内部各组件间的协同工作来完成,是一个交互的、并发的、分布的开放计...
- 钱军
- 关键词：形式化方法
- 文献传递
- 对象演算Ⅰ被引量：4
- 1999年
- 对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Ｔｒａｃｅ演算之上．对象比一般意义下的动态实体具有更多和更好的特性，特别是封装性．为此，文章引入有效动作的概念，通过对象的有效动作来刻画对象的封装性，即只有对象的有效动作才能访问或修改对象的属性值，从而对Ｔｒａｃｅ 演算的语义模型加以限制，得到对象语义解释模型．作为逻辑系统，文章还讨论了对象演算的公理化，它是Ｔｒａｃｅ 演算公理系统的扩充．作为应用。
- 黄涛钱军周桓
- 关键词：公理化
- 对象演算Ⅱ被引量：3
- 1999年
- 文章应用Ｇｏｇｕｅｎ 等人的结论证明并得到了几个结构化对象演算的基本定理．一方面，这些定理保证了该文可由现有对象的描述构造新对象的描述，并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理．另一方面，文章还讨论了基于封装性的对象精化．
- 黄涛钱军王栩
- 我国政府电子采购现状被引量：2
- 2004年
- 政府采购，也称公共采购，是指各级政府为了开展日常政务活动或为公众提供公共服务的需要．在财政的监督下，以法定的方式、方法和程序(按国际规定一般应以竞争性招标采购为主要方式)，利用国家财政性资金和政府借款，从市场上为政府部门或所属公共部门购买商品、工程及服务的行为。政府采购不仅是指具体的采购过程，
- 顾平安周苏岳钱军
- 关键词：电子采购政府采购公共服务国家财政公共部门政府部门
