论文部分内容阅读
一种分布式多任务应用软件系统的序列化模型检测方法
【摘 要】
：
基于OSEK/VDX标准开发的车载软件系统中有一个重要组成部分:多任务应用软件,由多任务应用软件组成的分布式系统被广泛部署到汽车中。但由于这种分布式系统中的应用软件是并发执行的,且软件中的多个任务也是并发执行的。随着开发复杂性的不断提高,如何彻底对开发的分布式多任务应用软件系统进行检测,成为开发者们所面临的一个挑战。为了彻底检测分布式多任务应用软件系统,相关研究者已基于模型检测器UPPAAL提出一
【出 处】
：
兰州大学
【发表日期】
：
2021年01期
其他文献
Luminescent properties of a new Nd~(3+)-doped complex with two different carboxylic acids and pyridi
期刊
湖库水体富营养化是当前水环境治理面临的重要问题,而微污染河水的汇入是造成湖库水体富营养化的关键因素之一。本文以城市尾水为主要来源的微污染河水为研究对象,构建了一套适用于河流微污染水体深度净化的梯级人工湿地反应系统,研究了湿地系统对常规污染物的去除及运行参数对湿地系统去除效果的影响,浅析了湿地系统内植物、基质及微生物群落结构特征及去除机理;进一步研究分析了基于塘-人工湿地系统的微污染河水梯级净化工程
学位
An effcient synthesis of functionalized tetrahydro-1H-indeno[2,1-c]pyridine derivatives by a PPh_3-p
期刊
人类社会的生产发展正面临着严峻的能源开发和利用问题,从环境友好和能源可持续利用的角度分析,只有利用核能才能为人类长期生存发展提供源源不断的能源。聚变能更优于裂变能,是目前解决全球性能源问题的必然选择。激光惯性约束核聚变(Inertial Confinement Fusion,ICF)是目前炙手可热的核聚变工程之一。ICF核聚变反应需要在一定约束区域内产生和进行,这就需要一个特殊的容器来装载燃料(氘
学位