【摘 要】
：
针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体系结构可执行模型状态空间进行集成系统重点
论文部分内容阅读
针对集成体系结构静态产品模型与动态可执行模型的一致性问题,本文提出一种基于ASK-CTL与ML语言相结合的综合检验方法。通过集成体系结构可执行模型状态空间进行集成系统重点关注静态性质、动态行为的综合检验,完成集成体系结构一致性确认,并且能通过检验诊断找出失败原因以完成体系结构模型修订。论文最后以预警系统为例,对该方法进行了验证。
其他文献
设计缺乏时尚感,版型粗犷不考究,是年轻一代消费者对某些国产运动服装品牌的集体印象。加之近年耐克、阿迪达斯、彪马等加速扩张中国市场并取得优异业绩,我国运动品牌面临的
在总结和分析近年来国内外（主要是国内）对天麻素及其衍生物研究的基础上,对天麻素的结构修饰以及结构衍生物的药理活性和构效关系进行综述,为进一步深入研究天麻素及对其进行化
新冠肺炎疫情发生以来，经济发展与生态环境保护两方面都深受影响，并且相互产生作用，这对完成生态环保目标任务带来了挑战。短期内，在疫情防控压倒一切的大局面前，生态环保和经济都
海盐地处杭嘉湖平原,隶属浙江省嘉兴府,素有“鱼米之乡”之称,在历史上出现了很多世家大族,近代的徐用仪家族就是其中之一。海盐徐氏起于南宋,至明末清初经历第一个发展高峰,
<正>虽然许多原生生物而不只是微孢子虫与昆虫间有致病性联系，但本综述仅限于 微孢子虫是基于2个原因。首先，微孢子虫显然是寄生于昆虫的最重要的原生动物
【正】1知识点的地位与作用《勾股定理》有着悠久的历史,在世界数学史上有着重要的地位,其证明过程中所体现出来的"形数结合"思想更具有科学创新的意义;勾股定理在解决直角三
目的：对不同产地的款冬花人工种植与野生质量进行分析,选择最佳产地.方法：按《中国药典》2015年版一部对款冬花进行质量分析,对不同产地款冬花中款冬酮的薄层色谱、浸出物及含
从范围、规范性引用文件、术语和定义、地块选择、配方施肥、移栽、田间管理、病虫害防治、采收、贮藏等方面总结了半干旱区款冬花栽培技术规程。
目的对湖南省SARS早期症状监测预警系统的监测结果进行评价.方法建立监测病例和预警指标,实施SARS早期症状监测,对非典预警病例进行报告、调查、实验室检测与处理.结果2003年
西藏马攸木金矿床金矿化晚阶段含金硫锑铅矿脉石英样品40Ar/39Ar快中子活化法坪年龄为22.46±1.20Ma,坪年龄代表石英的结晶年龄。测试结果表明,马攸木金矿床金的成矿作用可能