论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
文中综述刻画系统动态行为的计算模型和形式化方法，包括算法模型，逻辑模型，基于进程代数的模型和方法，Ｉ／Ｏ自动化，Ｐｅｔｒｉ网及Ａｃｔｏｒ模型，并有针对性地本质上分析和比较它们在描述系统动态行为方面的
【机 构】
：
中国科学院软件研究所计算机科学开放研究实验室
【出 处】
：
计算机研究与发展
【发表日期】
：
1999年8期
【基金项目】
：
国家自然科学基金
其他文献
<正> 沉淀资金是马克思在阐述固定资本流通特点时提出的一个理论概念,它是指折旧基金在固定资产更新期限到来之前处于生产过程之外的一种“闲置资金”.研究沉淀资金与企业融
剥削新论——现代市场经济条件下剥削的新特点及启迪郑文哲经过十几年的改革开放，我们对当代资本主义有了更多的了解，对现代市场经济的认识也日益深刻，尤其是三资企业与私营经济
介绍了网络的小世界特性,分析了小世界特性下多代理体系结构和路由算法的特性,分别提出了自组织结构中的资源发现算法和基于聚集度的簇头选举算法并作了定性分析.
目前事业单位普遍存在办公管理落后、应用的人才引进模式僵化、人事管理信息化处理效率低、人事档案的管理存在漏洞等等问题,需要事业单位引起重视,探析有效的解决办法,确保
于教师系统传授知识和培养技能技巧,但这种教学模式的本身却常常使学生处于被动接受灌输的位置,难以持久地保持学习的主动性与积极性。而就总体而言,小学生学习热情高,好奇心
随着当前全面改革的进一步深化,企业在市场中的竞争也日益激烈,企业转型发展愈来愈重要.转型发展中工商管理工作的实施对企业良好发展有着保障作用,本文先就企业转型中工商管
针对传统分析方法的不足，提出了时间Petri网的线性逻辑表示和时间推理方法。基于线性逻辑，定义了时间Petri网中变迁之间的各种解发规则，在这些规则的基础上，提出了时间Petri网运
回顾了2幅图像中的平面约束,以及一个图像对的基础矩阵和同形矩阵的乘积是一个反对称矩阵的性质,并通过证明展示了这种反对称性质和平面约束之间的关系 .给定两幅图像中的一