【摘 要】
：
针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和
【机 构】
：
解放军理工大学国防工程学院,南京大学计算机软件新技术国家重点实验室
【基金项目】
：
国家自然科学基金“基于声表面波的埋入式钢筋锈蚀传感器研究”（51505499）, 江苏省自然科学基金“面向开放环境的软件模糊自适应运行机理与构造方法”（BK20151451）
论文部分内容阅读
针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。
其他文献
目的分析2014—2016年深圳市食源性疾病暴发事件流行病学特征,为制定有效的预防措施提供科学依据。方法对2014—2016年深圳市食源性疾病的发生时间、发生场所、发病原因等进
类词缀是一种新的语言现象,游移于自由语素和纯词缀之间,同时具备自由语素和纯词缀的特征。本文在考察国内外学者研究的基础上,从国内外类词缀的提出和界定,以往不同视角的类
在同时多线程处理器中,各线程对于浮点和整数资源需求不同,合理分配线程的共享资源是提升处理器整体性能的重要因素。为此,提出一种浮点与整数资源区别分配的取指策略,合理分
随着社会主义经济体制建立和完善,当代大学生学习功利化倾向日渐增强。主要表现在对学校和专业、学习内容、学习时间的选择和分配方面,由此影响了高素质人才的培养、大学生心
中职学生自卑意识强,办事马虎,容易冲动,注意力不集中,这些都将严重影响他们的人生发展,而工匠精神是治愈这些毛病的良药;另外,对于中职学生来说,工匠精神并非高不可攀,而是
夷夏之辩不仅是辨别华夷的观念,更是统治阶层处理族群关系的政治理论。在不同时期,随着民族形势的变化,夷夏之辩强调的标准虽各有不同,但其宗旨都是为捍卫＂中国＂的政治主导地位