一种面向分布组件的协调引擎实现框架

针对现有的Concerto协调模型,提出了一种面向分布组件的协调引擎实现框架,它将模型中的协调问题转化为独立的计算性代码,以便于系统在设计阶段就可以分析并解决协调问题。由于引擎本身具有分布特性,因此针对一些现有的协调问题,运行在引擎上的协调模型可以相当接近现实中出现的问题。     

一种基于Petri网的分布组件协调模型

协调是分布组件系统中的基本问题之一.但是,协调问题至今仍未得到很好的解决.根据实际应用的要求,提出了Concerto协调模型.它以Petri网为数学理论基础,扩充了Petri网的语义,引入了控制缓存和数据缓存,分别反映了分布组件的控制依赖和数据依赖关系,统一了现有的控制驱动和数据驱动两类协调模型.对于Concerto模型的运行,提出了驱动模式、动作规则和Concerto引擎.驱动模式有4种:依赖操作时间的驱动、依赖最小时间的驱动、依赖最大时间的驱动和依赖平均时间的驱动.这些驱动模式在实时系统、流量控制和任     

掺粉煤灰混凝土的性能研究

通过使用相同混凝土拌合物稠度、不同用灰量的混凝土配合比设计,对掺用粉煤灰的混凝土配合比设计试验结果进行比较分析。结果表明,掺用粉煤灰后能有效减少混凝土水泥用量,改善混凝土拌和物的和易性,提高混凝土的后期强度。     

可视化分布组件协调环境

分布组件的协调是基于组件的分布系统开发中的一个基本问题。针对具体应用,提出了一种分布组件协调模型－－Ｃｏｎｃｅｒｔｏ。Ｃｏｎｃｅｒｔｏ模型以Ｐｅｔｒｉ网为理论基础,综合了现有的控制驱动和数据驱动两类协调模型。Ｐｅｔｒｉ网的变迁与分布组件系统中的事件、条件、操作和时间信息结合起来,提供了与计算机系统交互的方法。在Ｃｏｎｃｅｒｔｏ模型基础上,实现了可视化分布组件协调环境,对分布组件系统进行并发死锁验证     

航空自组网节点失效分析方法

为有效分析节点失效波及反应导致航空自组网稳定性的变化，提出一种航空自组织（AANET）节点失效分析方法。首先，根据 AANET 特性建立业务-实体非对称依赖网络模型；其次，设计改进失效流量重分配算法，获取受影响节点数据集；最后，根据节点权值计算在AANET中的波及影响值，并对波及影响程度定级。实验结果表明所提方法在AANET节点失效波及影响分析方面具有更好的准确性。     

面向航空自组网的节点失效波及影响分析模型

为有效分析航空自组网(AANET)中节点失效对整个网络造成的影响,并提高网络在发生安全事件之后的稳定性,提出一种面向AANET的节点失效波及影响分析模型.首先,根据AANET的主要业务建立有向加权业务网络,基于实时AANET建立以各类航空器为节点的无向加权物理网络,并通过业务?物理网络映射关系建立相依网络模型;其次,提...