【摘 要】
：
当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解
【机 构】
：
福建师范大学数学与计算机科学学院福建省网络安全与密码技术重点实验室
论文部分内容阅读
当前复杂的并发系统多采用模块化、逐步求精和信息隐藏等非形式化的原则来指导系统的开发,而这些指导原则抽象且无法保证分解系统的正确性。为此,对基于优先级控制的系统分解方法展开研究,提出一种系统分解的方法,并在理论上证明该分解方法的正确性。首先采用基于事件的行为模型对系统进行建模;接着定义调度、调度策略和调度策略正确性的概念;然后研究调度策略的分解方法,并证明了调度策略分解方法的正确性;最后根据该方法,开发出一种支持依赖模型建模和调度策略分解的原型工具,通过实例的演示,说明了使用该方法可以把系统分解成若干个子系
其他文献
以相似性原理为基础,选择恰当的比尺,在甘肃省陇南市武都区野外构建泥石流物理模型,重现了舟曲＂8·8＂特大泥石流灾害发生过程。通过物理实验模拟,测得泥石流运动的平均流速
随着计算机网络的不断发展与普及, 传统的图书馆模式已经无法满足人们的日常需求.本文通过对云计算的研究分析, 构建了基于Hadoop构架的图书管理系统.该系统使用PHP语言进行
文章围绕《素问·移精变气论》内容讨论上古时期医学的一些特点,旨在说明以内省为特点的中国传统文化特质对早期中医学的深远影响。同时,文章还探讨了内省文化中的"定"与"慧"
校园欺凌时有发生,屡禁不止,已成为学校教育面临的一大困惑,这不得不引起人们对传统单一治理模式的反思。欺凌是一个复杂的社会问题,单一模式难以奏效,要想有效根治校园欺凌,
总结9例口腔颌面部恶性肿瘤根治术后胸大肌皮瓣修复软组织缺损患者的护理经验。通过对患者进行合理的围手术期护理,包括术前评估,术后皮瓣的观察和护理,气道的有效管理,营养
目的:探讨口腔颌面部皮瓣移植术的护理要点,减少护理并发症,增加病人舒适度。方法:通过回顾2014年1月至2014年9月期间10例口腔颌面部皮瓣的术前术后护理资料,总结出口腔颌面
目的 总结小儿肠源性紫绀症各年龄段患儿的发病原因、临床表现、救治特点及预防措施.方法 对2009年1月-2013年4月我院收治肠源性紫绀症患儿18例的临床资料进行回顾性分析.结
[目的]观察附子提取物诱导胃癌SGC-7901细胞凋亡的作用及机制。[方法]分别采用不同浓度(20、40、80 mg·mL~(-1))的附子溶液干预SGC-7901胃癌细胞24h、48h、72h,用四唑盐
科技成果奖励申报是科技管理工作的主要内容之一。从掌握政策、材料形式审查和报奖渠道选择等三方面,结合作者实际工作经验,对如何做好科技成果报奖工作进行论述。
中国农田污染防控是农业可持续发展、农产品安全和国家生态环境安全的重大需求.中国农田污染的特征为：农田污染物种类增多、污染呈现扩张化、复杂化与不断加剧的趋势,同时,治