【摘 要】
：
由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph,SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式
论文部分内容阅读
由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph,SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器（symbolic model verifier,SMV）模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验
其他文献
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
针对一般模型参考自适应控制方法在解高阶非线性模型时参考模型阶数较高的不足,采用一种任意模型参考自适应控制降低了参考模型的难度。利用隐层神经网络对模型进行逼近,对线
可以预见,随着中国电子视像行业协会激光电视产业分会的成立,以及激光电视“曙光行动计划”发布,最终这将在中国消费市场上形成一股“产业链上下游主流企业”共推激光电视的
本文主要介绍了使用CSS制作网页时，设计网页头部的一些写法、CSS隐藏文字的几种常用方法和使用DIV＋CSS排版的几个小技巧。
一、建设思路 为节省投资,确保效益最大化,我们建议县(区)教育局网上阅卷系统的建设不仅要能够适应区域性统考、抽测和模拟考的应用需要,同时还要能够满足各学校平时考试阅卷的需要,即实现“教育局和下属学校共建的方案。” 二、建设目标 建设教育局应用的网上阅卷系统应达到如下目标: 1.利用网上阅卷系统为教育局组织的各类统考及下属学校日常考试提供低成本、高效率的阅卷与统计分析手段; 2.利用网
张仲景所著《伤寒论》中的经方疗效明显,应用灵活,可为后世相关疾病提供有效依据。而针对肝硬化腹水患者,该著作中水饮类经方更为适宜,随证加减下可对各证肝硬化腹水行有效治
素质教育下高校模拟电子技术课程教学的目的在于引领学生掌握该课程的主要内容并将其应用于具体实践，因此在教学活动中要注重发挥学生的主观能动性。在上好第一堂课的基础上，通
目的总结CT引导下经皮肺穿刺活检术护理体会。方法运用多排螺旋CT机,对35例患者进行CT引导下经皮肺穿刺活栓术,进行可预见性的护理分析。结果 35例患者肺穿刺活检均获得成功