【摘 要】
：
近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但在实时嵌入式系统测试的过程中,由于实时嵌入式系统中中断
【机 构】
：
装备学院,中国科学院大学,装备学院,国防大学
论文部分内容阅读
近年来随着实时嵌入式系统自动化程度的不断提升,其设计复杂度不断加大,在设计中大量的使用了并发程序设计方法。但在实时嵌入式系统测试的过程中,由于实时嵌入式系统中中断和线程相互交叠,始终缺乏有效的并发程序测试工具。为此本文设计了针对VXWORKS系统并发程序动态测试工具,提出以标记迁移系统作为并发程序的系统模型,对常见的并发错误给出了形式化定义,使用偏序化简算法缩减程序的状态空间,实现了对多线程、多重中断的并发程序错误检测。
其他文献
分析磁共振扩散加权成像（DWI）在前列腺癌诊断中的应用。选取我院在2011年1月~2016年1月期间收治的50例因排尿困难、尿急、尿频、前列腺特异性抗原表达水平升高的患者行核磁共振
井下作业的修井作业技术措施,能够实现对油气井的维修及大修的作业,为了提高修井作业施工的效果。对特殊的修井作业施工作业进行优化,如对深井的修井作业或者对水平井的修井
本文主要是把中原油田分公司采油五厂作为依据,针对企业怎样去进行全程优化的降本增效管理做了深刻的分析,并结合相对应的实际,给出企业在降本增益管理方面的措施性建议和意
在传统轻量级J2EE分层架构的基础上,利用泛型与反射技术在业务层和数据访问层设计模版化的操作模块,可以为其具体领域对象模块提供公共操作逻辑。本文提出模版化构架方式,不
本研究回顾性分析产科医疗纠纷司法鉴定后的因素,对新时期产科纠纷预防和处理提出建议。汇总某司法鉴定中心2015~2017年产科纠纷案件鉴定后的有效样本56例。提取就纠纷发生的
元胞个体的同质化与单一性,以及模型演化算法的简单性,导致传统元胞自动机(CA)模型忽略参与者个体差异,使用共性化随机慢化概率统一表述随机慢化行为,难以完整反映随机慢化行
本文介绍了人工湿地及其去除污水中氮磷的机理,并从湿地植物、基质和微生物三个方面分别阐述了目前人工湿地系统提高氮磷去除率的研究进展情况;同时分析了影响人工湿地处理效