【摘 要】
：
模型校核的首要目标是建立一个完备的测试剧情集。针对现有模型校核方法存在的问题，提出了基于定性趋势与符号有向图的模型校核方法。首先，在总结前人多种SDG建模方法的基础上，
论文部分内容阅读
模型校核的首要目标是建立一个完备的测试剧情集。针对现有模型校核方法存在的问题，提出了基于定性趋势与符号有向图的模型校核方法。首先，在总结前人多种SDG建模方法的基础上，提出了SDG校核模型的建模方法。其次，提出了基于定性趋势与符号有向图的模型校核方法，包括建立SDG校核模型、产生测试剧情、推理标准趋势序列、仿真模型数据趋势提取与识别和趋势对比分析5部分。最后，以TE模型为例进行分析，证明该方法的有效性。
其他文献
胰岛自身抗体与1型糖尿病的发生、发展、治疗及预防密切相关。最重要的几种与胰岛细胞内特殊蛋白对应的抗体是胰岛细胞抗体、谷氨酸脱羧酶抗体、胰岛素自身抗体、蛋白酪氨酸
２０００年９月１５日，是宝钢投产１５周年纪念日，宝钢集团原董事长黎明同志为此谈了 １０个方面问题，内容虽是针对宝钢而言，但独到的见解，对其他冶金企业也有很好的借鉴意义。本文由《宝钢经济与管理》
<正>一年之计在于春。2017年全国两会如期召开,代表、委员齐聚北京,共商国是,共谋发展。两会汇聚政情民意,连通国计民生,是中国公民政治生活中的一件大事。2017年是'十三
间接回指的释义从根本上说是一种概念的连通过程,这是一种基于关联原则的认知推理过程,在这一过程中,先行激活的概念(NP1)按照适量激活的原则使该概念的常规构成成分处于"待
以南京地铁玄武门站施工为背景，介绍了高性能混凝土在地铁车站主体工程施工中的应用，从原材料选择、组分配比的试验选取及混凝土施工质量控制等方面总结了高性能混凝土在地铁车
媒体在发挥信息中介职能传播市场信息的同时，充当了投资者注意力资源的分配机制。本文从股票成交量的变化入手检验了媒体报道对投资者交易行为的影响，发现中小企业板上市公司股
我們自制了一个量具退磁器,其外形如图1所示。这种退磁器制作簡单,使用方便,效果良好。現簡单介紹如下。制作退磁器所需的主要材料(如图2): (1)两个方形綫圈,內方孔尺寸为14
研究采用HPLC法测定了青海省6个地区30个采样点3种小檗属植物(西北小檗、鲜黄小檗及直穗小檗)不同时期(2014年9月和2015年6月)根部小檗碱含量。结果表明,3种小檗不同时期在不
针对板材存储的占用面积大、存储效率低、管理库存不便等问题,提出了一种板材立体存储方案,并设计开发了一套板材存储自动控制系统。采用可编程逻辑控制器结合触摸屏控制方式
随着计算机云时代的到来,各大高校纷纷利用云计算技术创建了高校教育云平台,利用二维码技术提供云平台中的移动应用服务,推进高校教育领域的信息化建设。针对二维码容量有限