任务时序关系的形式化和传递闭包建模算法

陈彬; 王智学; 吴越

首页> 中文期刊> 《系统仿真学报》 >任务时序关系的形式化和传递闭包建模算法

任务时序关系的形式化和传递闭包建模算法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

建立正确、有效的任务模型是正确引导出军事需求的关键步骤。针对任务间时序关系,给出与任务建模相关的若干形式定义和命题;并根据时序关系的传递性质,给出一种建模算法。该算法通过构建时序关系上的传递闭包,帮助分析人员直观地判断任务间可能存在的时序关系,以及可能产生的并发和死锁;在传递闭包图上科学、合理地标记各个任务的时序等级属性,明确各个任务在执行序列中所处的相对位置,以及在执行序列的每个阶段需要同时展开哪些任务。

著录项

来源
《系统仿真学报》 |2009年第6期|1526-1530|共5页
作者
陈彬; 王智学; 吴越;
展开▼
作者单位

解放军理工大学指挥自动化学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
军事需求; 任务建模; 时序关系; 传递闭包算法;

相似文献

中文文献
外文文献
专利

1. 目标时序关系的形式定义和建模算法 [J] . 陈彬 ,王智学 . 系统工程与电子技术 . 2009,第002期
2. 基于Event-B的SpaceOS2操作系统任务管理需求形式化建模与验证 [J] . 谭彦亮 ,杨桦 ,乔磊 . 空间控制技术与应用 . 2014,第4期
3. 二元关系传递闭包的实现算法 [J] . 张从文 . 电脑编程技巧与维护 . 2020,第003期
4. 从关系传递闭包算法的教学看学生创新能力的培养 [J] . 刘贵龙 . 计算机教育 . 2016,第12期
5. Fuzzy关系矩阵传递闭包的截矩阵-Warshall算法 [J] . 刘龙章 ,杨志辉 . 模糊系统与数学 . 2008,第1期
6. 任务关键系统可生存性的形式化建模方法 [C] . 王健 ,郭黎利 ,李扬 . 2011年第五届中国可信计算与信息安全学术会议(CTCIS2011) . 2011
7. 基于Event--B的ad hoc路由协议及任务级时间约束的形式化建模与验证 [A] . 付春艳 . 2019

任务时序关系的形式化和传递闭包建模算法

摘要

著录项

相似文献

相关主题

期刊订阅