期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种FDP双机热备方案 被引量：4
1
作者 范绚春 游志胜 +2 位作者 冯子亮 张卫华 周忠丽 《四川大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第6期1172-1174,共3页
提出了一种基于Tru64Unix的FDP双机热备方案,就主从切换,主从数据同步和校验方面描述其实现原理,并根据通用的可靠性标准论证了其可靠性.
关键词 飞行数据处理 双机热备 时间约束 主从切换 数据校验
下载PDF
大规模设备协同中的时间建模与验证 被引量：1
2
作者 荣晓慧 马世龙 +1 位作者 邓攀 陈峰 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2012年第1期91-97,共7页
针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时... 针对大规模设备协同系统中时间属性复杂、时间约束验证困难的特点,给出了大规模设备协同中的时间属性建模方法.针对设备操作时间和状态维持时间2种时间属性,通过在操作上附加时间属性实现了对设备操作时间的建模,通过在连接符上附加时间区间属性,实现了对状态维持时间的建模.在此模型的基础上,给出了大规模设备协同中4种基本结构的时间计算方法,并通过结构等价,将基本结构等价为一个连接符,从而实现了一个设备协同模型中所有节点的时间计算;并给出了大规模设备协同中的时间约束验证规则.通过相关比较及实验分析,验证了该方法具有更高的准确度,计算偏差较低且稳定,能够满足大规模设备协同系统的性能要求. 展开更多
关键词 大规模设备协同 时间建模 时间约束验证
下载PDF
时间约束工作流模型的可调度性验证研究 被引量：3
3
作者 顾春琴 衣杨 +2 位作者 常会友 容福丽 王真 《系统仿真学报》 CAS CSCD 北大核心 2009年第7期2112-2117,共6页
工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间... 工作流模型可调度验证的目的是验证工作流调度系统时间约束的合理性、对工作流系统实例的时间可达性进行仿真。首先基于可调度性定理,设计了时间约束工作流模型的可调度性验证算法,并提出时间约束修正策略。通过该算法获得可调度的时间约束工作流的时间约束集;通过时间约束修正策略,减小上述可调度性验证方法的时间复杂度。然后,进一步设计了改进的可调度验证方法,从而可获得具有最小执行时间区间的时间约束工作流的时间约束集。实验及分析显示算法具有良好的性能和效果,研究成果对于制定时间约束工作流的时间约束有较好的应用价值。 展开更多
关键词 时间约束工作流模型 可调度性验证 时间约束集 时间约束工作流网
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部