基于扩展CHAM的SA级路径覆盖方法

化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构（SA）中构件的概念,采用CHAM对SA中的构件进行建模,并据此导出该构件的标号迁移系统（LTS）,以表示该构件与其它构件之间的行为交互,并根据选取的测试覆盖准则,生成基于此构件的LTS中的所有测试路径.最后以B/S体系结构为例,通过实验验证了该方法在生成DB构件的测试路径上是可行的.     

一种软件体系结构级测试序列生成技术

软件体系结构(software architecture,SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,软件体系结构的动态描述常被用来指导分析和测试.本文通过CHAM(chemical abstract ma-chine,CHAM)描述的SA规格说明生成LTS,并根据测试需求进行测试功能的选取,提出了基于功能的最小LTS图(M-LTS)生成方法,根据McCabe覆盖方法生成M-LTS图的测试路径.最后以B/S结构为例,验证了该方法在生成SA级的测试路径上是可行的.     

基于综合加权的配电网正常仿真培训评价方法

为解决配电网正常仿真培训中的自动评价问题,提出了一种基于综合加权的配电网正常仿真培训评价方法。建立了配电网遥控、挂牌、置位等正常仿真培训的模型,通过实时仿真操作结果阵和实时仿真操作时间阵记录调度员实时操作的相关信息,通过标准仿真操作结果阵和标准仿真操作时间阵记录教练员标准操作的相关信息。通过相似度理论和综合加权方法对实时仿真操作结果进行了评价。实例分析表明该方法简单明了,对配电网正常仿真培训自动评价具有一定的工程应用价值。     

基于CHAM的SA级全路径覆盖方法

文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则的测试路径.最后以B/ S结构为例,验证了该方法在生成SA级的测试路径上是可行的.     

分析计算机网络安全的主要隐患及管理方法

随着信息化社会的快速发展,计算机网络技术也呈现出如火如荼的发展态势,已经给人们的生活和工作带来很大的改变,成为生活中不可或缺的一部分.当前,我们还应该认识到互联网中存在的安全隐患问题,人们的财产安全受到诸多不法活动的侵害,企业的经济效益也受到网络安全的影响.     

激光焊接质量实时检测和控制的进展

详细介绍了可用于激光焊接质量控制的声、光、电、热等信号的物理特征。从信号检测、信号分析以及控制技术三个方面详细地综述了目前激光焊接质量的实时检测和控制技术的进展。     

温控高纯KTP内腔倍频Nd:YAG激光器

将高纯KTP晶体置于一温控炉内,利用温度调谐,在一声光调Q,直腔式Nd:YAG激光器中获得了高功率、高效率倍频绿光输出.最高倍频绿光输出功率超过38 W,倍频光输出功率的转换效率大于0.91%,不稳定度为±2.3%.高纯KTP与一般KTP相比,倍频效率提高了18.8%.     

基于故障指示器多信息融合的简易配电网故障定位方法

为解决简易配电网故障定位问题,提出了一种基于故障指示器多信息融合的简易配电网故障定位方法。建立了电流突变信息逻辑阵、电场突变信息逻辑阵、翻牌变化信息逻辑阵分别描述故障发生时,故障指示器上送的简易配电网相关,并通过多信息融合方法提出了一种综合故障判定和定位方法,并给出了详细计算公式和计算步骤。实例分析表明,该方法对基于故障指示器的简易配电网的故障定位具有重要的工程实用价值。     

一种提高分布式馈线自动化故障判定可靠性方法

为解决分布式馈线自动化故障判定过程中的可靠性问题,提出了配电网开关分组模型,依靠开关分组模型研究了开关拒分情况下的故障处理过程,并给出了一种基于逻辑运算的故障处理原则。对开关一次重合闸原则进行了补充,有效避免了开关拒分情况下的故障隔离范围扩大。对开关拒合情况进行了分析,增加了一种开关拒合情况下的二次重合功能,有效避免了开关拒合情况下的故障隔离范围扩大。分三种情况研究了相邻开关通信故障下的故障处理过程,并给出了一种统一的故障判定方法。对开关保护信号失灵分为互感器偶然性干扰及永久性故障分别进行了分析,研究表明偶然性故障对故障隔离无影响,永久性故障将导致故障隔离范围扩大。给出了实例分析,表明所提方法可行。     

基于软件体系结构的测试路径生成方法

在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径,生成测试数据。由此平衡开发成本、进度与质量需求之间的关系,最后以Server/Client结构为例说明该方法是适用的。