论文部分内容阅读
本文详细分析了实时工作流中的时序约束。同时，为了对实时工作流时序约束进行形式化描述，本文利用时间自动机建模实时工作流的时序约束。这为实时工作流时序约束的形式化验证提供了基础。
一种基于时间自动机的实时工作流时序约束建模方法
【摘 要】
：
本文详细分析了实时工作流中的时序约束。同时，为了对实时工作流时序约束进行形式化描述，本文利用时间自动机建模实时工作流的时序约束。这为实时工作流时序约束的形式化验证提
【机 构】
：
苏州大学计算机科学与技术学院,赣南教育学院计算机系
【出 处】
：
广西教育学院学报
【发表日期】
：
2010年1期
其他文献
深色纺织物上的微弱灰尘指印、足迹等是刑事案件现场中常见的痕迹。偏振光摄影能够有效加强灰尘痕迹与纺织物之间的反差，还能有效地压暗背景光的亮度，减弱甚至消除背景花纹和颜
采用扎根理论研究方法,以中国城市新型冠状病毒肺炎疫情防控为研究对象,探讨中国城市新型冠状病毒肺炎疫情防控的主要措施和实际效果。结合政策文本和相关案例,对这些资料进
大湾区单边进境查验是真正的“两地一检”,在这种模式下,原则上只有进境查验,而无出境查验。在所有通关模式中,单边进境查验模式的优越性很明显,避免了“一地两检”在特区实
网络技术进入教育领域，使教学手段、教学方法、教材观念与形式、课堂教学结构，以至教学思想和教学理论都发生了变革。普及运用信息技术，已经成为学校教育教学的辅助手段。作为一
为提高铁路旅行环境的卫生质量,尽量减少客车车辆设施损坏带来的不良影响,创造健康、舒适、愉快的旅行环境.我站于2003年3月至2003年11月对临汾铁路分局管内客车车辆的卫生设
目前,窗式空调器中冷凝器多为管片式.本文比较了管片式冷凝器与管带式冷凝器的结构特点,研制了可替代窗式空调器的管片式冷凝器的管带式冷凝器,并进行了相应的试验分析.结果