用模型检验产生安全性质的测试

摘要： 安全关键系统必须满足规定的安全性质. 测试生成通常独立于给定性质,“先验证再测试”的方法不能保证安全性质被测试. 为此,该文提出了一种基于输入-输出标记迁移系统的安全性质测试方法. 用输出变异建立被测实现的输出-完全模型,通过发现危险迹产生测试用例. 给出了基于图结构覆盖的安全性质测试准则,提出了形式化测试准则的方法. 使用模型检验器NuSMV检验输出-完全模型可产生既满足结构覆盖又与安全性质相关的测试用例.     

浅谈热电厂电除尘系统的故障及诊断方法

据统计我国目前仍有70%的电力来自火电厂,国内大部分热电厂通过安装电除尘设备来收集和排除含尘气体,从而防止大气污染。电除尘电气设备长期处于高电压和大电流下,因此极容易发生故障。本文简单介绍了电除尘系统的常见故障及排除方法。     

虚拟地理环境中的数字表面模型构建方法

在虚拟地理环境中生成数字表面模型时,传统射线求交法存在速度慢、精度差、易受模型异构影响等问题,本研究提出一种基于深度图来构建数字表面模型的新方法,利用GPU来加速数字表面模型的生成,能较好地解决传统方法在速度及效率方面存在的问题,从而充分利用虚拟现实环境的计算资源,将计算机图形学的优势融入虚拟地理环境中,从而扩大虚拟地理环境的应用范围。测试结果表明,本研究提出的方法能大幅提高数字表面模型的生成效率和图形精度,研究结果可用于测绘工程、地理信息工程以及其他三维虚拟环境中。     

电缆故障分析及定位方法

本文就电缆故障的类别进行了简单介绍,研究了电力电缆故障类型、测试步骤和定位方法,特别是目前最有效的高压电弧反射法及通过电缆路径仪测量路径和深度的发放。     

数字系统分析方法及ASM图

应用ASM图对数字系统进行了系统的分析 ,对于时序电路、同步时序电路分别应用方程式、状态表、状态图、时序图、ASM图结合具体例子进行了分析 所介绍和采用的最基本的分析方法 ,对数字系统的应用和实验有很高的价值     

一种基于最优化模型的数字电路测试生成方法

基于基本门电路的特征函数及被测电路的约束网络结构模型,首先提出了一种用于数字电路的模拟退火（ＳＡ）测试生成算法,然后在ＳＡ算法中采用梯度长法的退火梯度法,该方法的特点是具有全局收敛性和较高的计算效率,它不仅加速了数字电路的测试生成过程,而且也可应用于其他类型的优化问题。     

电子镇流器微机测试系统及应用

根据电子镇流器的发展状况，采用电子镇流器的微机测试系统，对各种镇流器的综合参数进行测试，分析和对比各类电子镇流器的各项指标，有利于荧光灯电子镇流器的发展和实际应用。     

浅析电网继电保护故障及处理方法

继电保护对电力系统的可靠、安全运行发挥着至关重要的作用,也是电力系统的重要组成部分。本文对继电保护应用、故障发生原因及处理方法进行了详细而又有重点的阐述。     

数控机床电气故障分析及排除方法

<正>数控机床是集高、精、尖技术于一体,机、电、光、液于一身的高技术产物,具有加工精度高、加工质量稳定可靠、生产效率高、适应性强、灵活性好等众多优点,因而,在众多行业得到广泛应用。但由于它是集强、弱电于一体的,使用数字技术控制机械制造的一体化设备,一旦系统的某些部件出现故障,就会造成整个机床停车,     

数控车床回参考点故障及维修方法

由于数控机床的很多功能都建立在回参考点基础上,且回参考点故障的排除主要通过两个方面,一方面是坐标轴参数、机械传动系统参数正确设置;另一方面是通过减速开关、减速挡块等相关硬件故障的排除来解决。因此,较系统地阐述了回参考点故障的诊断与维修方法。     

组合电路中延迟故障的功能测试生成

提出一种用于测试组合电路中延迟故障的新功能邦联模型,讨论该模型的功能测试生成。实验表明,这种功能测试集具有实现低路径延迟故障覆盖范围的功能。     

折扣模型马尔可夫决策规划的一种算法

本文对有限状态和决策折扣模型马氏决策规划构造出了一个新的算子,得到另外一种求最优报酬向量的分块逐次逼近算法。这种算法优越于通常的标准逼近算法而又具有同样的适用范围。以此算法为基础,加上报酬修改法便得到报酬修改的分块逐次逼近算法,从而大大减少了计算的工作量。     

数码相机定位问题的数学模型

建立求取像点位置的数学模型和算法,评价了模型的精度及稳定性,构造双目定位系统的整体模型．     

一个计算机测验、复习系统

本文阐明了系统的设计思想,模块结构及数学描述。给出了利用学生测验时的得分,自动引导系统控制流的方法。     

IIR数字系统过渡过程的研究

本文对ＩＩＲ数字系统中的过渡过程进行了分析，并提出消除过渡过程的方法。     

混合型冗余方程组与n－线性方程的求解

本文讨论了一类常量函数不一定相同的混合型冗余方程组的求解，依据程序依正交系展开的理论与方法，将ｎ－线程的求解进行了推广，使其应用范围更广泛，并给出了实例．     

可修系统的Petri网模型及其分析

该文可靠性理论引进到Ｐｅｔｉｒ网中，建立可修系统的Ｐｅｔｉｒ网模型，并给出了系统模型的分析方法。通过对一生产系统的模拟，说明该工作的必要性。     

食双星BH Vir的测光解和黑子模型

对１９９１年４月和５月ＢＨ Ｖｉｒ的ＢＶ两色光电测光资料进行了分析，利用Ｗｉｌｓｏｎ－Ｄｅｖｉｎｎｙ带黑子的解轨程序对其进行了轨参量和黑子参量求解，结果表明：利用在次子星上加一个圆形低温黑子活动区的模型很好地拟合了实测光变曲线，同时解出了黑子的特征参量，即：黑子的温度、面积和位置。     

相位数字化测量的新方法

提出了一种相位数字化测量显示的新方法。它基于矢量求和的原理,使用精密的整流器,把交流信号转换成直流信号处理。因此,它具有宽的工作频带,好的抗干扰和抗噪声能力,并有足够的正确度。     

图书馆网络化与数字化建设之研究

现代信息技术的发展与高速网络的建设，为图书馆的发展提供了前所未有的契机。图书馆的网络化、数字化建设，为现代图书馆面向网络的文献信息资源管理与服务，提供了可靠的网络运行环境，实现了资源的共建、共知、共享。