【摘 要】
：
<正> 1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网
论文部分内容阅读
<正> 1.引言反应系统(Reactive Systems)是与其环境保持不断交互作用的复杂软件系统。而不是在计算终止时产生一些最终结果。并发和实时程序、嵌入式系统、操作系统、通信网络及飞行控制系统等都是这类系统的典型例子,如何保证反应系统的正确性和可靠性是具有挑战性的重要课题,我们认为通过建立系统的形式化模型,对其计算行为进行描述和分析,可以深入认识系统的本质特性。有助于解决上述问题。
其他文献
In past years ,people were hardly aware of Mapping Knowledge between Environments when dealing with problems,did not consider the ability of their constraint an
This paper firstly introduces some mobile agent terminology, and then, brings forward the control algorithms of Mobile Agent Shadow Protocol.
<正> 一、多层体系结构的应用系统传统的应用系统基本上是单一结构或C/S结构的系统,这种结构的应用系统其构造和维护一般很难,即使是简单的改动也需要对整个系统进行重编译和
Extensional approach vs. intensional approach is taxonomy of tackling uncertainty. In this paper,we compare these two approaches. Extensional systems are comput
<正> 1 引言在并行数据库的研究中,查询执行计划的调度与执行因其复杂性而受到人们的关注。查询优化时,优化器必须采用有效策略大幅度裁剪搜索空间,以降低优化开销,但这很可
【正】 1 CORBA3.0框架 OMG的CORBA标准作为分布对象处理的规范已有若干年了。随着分布系统的开发应用,原有规范也暴露出不足之处,同时为了适应越来越复杂的分布式应用程序,
<正> CORBA是OMG组织提出的一个基于OMA体系结构的分布式系统,是当前面向对象分布式系统中的典型代表。基于CORBA规范的分布式系统如IONA的Orbix、Inprise的Visibroker的产品
<正> 1.引言网络技术的迅猛发展,Internet的广泛渗透,作为网络的最终用户希望从ISP(Internet提供商)得到高质量的服务,所以Internet运行性能的研究变得更加重要、更具有挑战
Based on Delta network, Baseline network and current VLSI technique development level, a new family of MINs using 8× 8 switches which is called Super Recur
<正> 1.引言近年来,国内外对并行文件系统做了很多的研究,著名的有:一些商用的并行文件系统,如Intel为iPSC/2和iPSC/860而设计的CFS,以及IntelParagon的并行文件系统PPFS。还