论文部分内容阅读
根据对控制型软件的特点分析,给出数学仿真测试的 分析与设计思想.介绍测试用例生成与可靠性分析及评估的关系,并给出某控制程序的数学仿真测试环境.
控制型软件数学仿真测试平台分析与设计
【摘 要】
：
根据对控制型软件的特点分析,给出数学仿真测试的 分析与设计思想.介绍测试用例生成与可靠性分析及评估的关系,并给出某控制程序的数学仿真测试环境.
【机 构】
：
总装装甲兵工程学院信息工程系(北京)
【出 处】
：
第二届中国测试学术会议
【发表日期】
：
2002年12期
其他文献
本文在代数神经网络模型基础上,讨论一类具有多项式权函数的前向多项式神经网络模型,结构和学习算法,并给出具有多项式权函数的前向多项式神经网络学习算法.
作者运用知网获取词的概念间的各种关系,并将之改造纳入我们的概念库的构造中,用于文本自动处理.同时对伴随知网应用的问题予以研究.
本文阐述了支撑向量机和最近点问题的关系以及解决NPP问题的几个著名算法,分析了NPA算法中存在的问题,进而给出一个新的支撑向量机快速迭代算法.
本文提出基于神经网络集成的决策树分类器算法,以神经网络集成作为学习系统的前端,利用其产生C4.5决策树分类器所用数据集,产生具较高精度的分类器.
本文特别介绍了一种λ-归结方法,得到λ-归结原理的完备性,从讨论中可以突出λ-归结方法依赖于算子的合成运算[η,η]的选择.
本文提出并分析了基于成本的入侵响应粗糙集模型,是破坏力分析技术的理论依据,并建立了该模型下相应的成本模型的信息模型,同时进行了验证.
本文从属性与决策表之间的信息论的角度来探索减少属性组合的方法.为挖掘决策规则提出了一个新的启发式算法,使原算法更加高效.
存储器内建自测试(Memory Built-In Self-Test,简称MBIST)是一种有效的测试嵌入式存储器的方法.它通过把存储器测试逻辑做到芯片内部而使得原本复杂、耗时的测试过程变得简单易行,同时大大降低了测试成本.MBIST还可以与其它可测试性设计(Design-For-Testability,简称DFT)技术如扫描设计(Scan Design)、边界扫描设计(Boundary Scan