用于协议一致性测试序列生成的状态规范化算法

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．９２１协议讲述了其实现     

阀控式密封蓄电池在线状态测试

1 引言优质可靠的后备电源是高质量通信及供电系统安全生产的重要保证。蓄电池是一种良好的直流电源,具有电压稳定、无脉动成分、使用方便可靠等优点。蓄电池与供电主要设备——整流器的并联运行,可改善整流器的供电质量;在突然停电及整流器不工作的状态下,蓄电池可作为后备电源迅速投入使用,从而保证通信设备的正常工作。因此,蓄电池的维护是动力设备维护的主要任务。阀控式密封蓄电池(VRLA)虽日常维护     

简易在线证书状态协议研究

OCSP协议是PKI中的关键技术,但是由于证书状态需要签名和验签操作,计算开销大而影响效率.SOCSP协议是为解决OCSP协议中存在的性能瓶颈问题,并满足我国PKI系统实际应用的需求由我国自主研发的标准.主要研究了SOCSP的关键技术,重点分析简化后的协议数据的可用性和可能存在的安全漏洞,针对存在的这些问题提出改进方案.     

测试生成算法

4 SOCRATES算法 SOCRATES在FAN算法的基础上提出一种全局的蕴含策略,改进的唯一敏化策略及改进的多路回退策略。这些策略有助于降低回溯次数,尽早地发现信号冲突,识别冗余故障。     

一种基于SPRINT的判定树分类算法

分类算法的研究一直是数据挖掘领域的一个热点。本文在介绍了目前判定树分类算法状况的基础上,着重分析了目前较为流行的SPRINT算法,并对该算法的数据结构进行了改进,提出一种新的算法NS,使得分类的速度及可扩充性得以提高。这一改进算法在一个银行决策支持系统(DSS)中得到实现,取得了很好的效果。     

一种对非TCP友好流的实用无状态惩罚算法

本文提出了一种新的对非传输控制协议（TCP）友好流的惩罚机制一圾桶算法,该机制通过利用已经被丢弃的分组的信息来加强对非TCP友好的识别及惩罚,仿真结果表明,在不保持流的状态下,该机制对非TCP友好流有较强的区别和控制能力,与CHOKe相比,能够进一步加强对非TCP友好流的惩罚和实现更为公平的带宽分配。     

测试生成算法

集成电路技术的迅速发展,测试生成变得越来越困难。往往测试代价比电路设计,生产代价还要高。扫描设计技术将时序电路的测试生成转换成组合电路来处理。组合电路的测试码生成就显得很重要了。D-算法第一次引入了多路径敏化的思想,因而是第一个完全的算法。但由于D-算法对故障校验电路处理所存在的缺陷,使得D-算法在测试码搜索过程中所存在的盲目性逐步表现得非常突出。PO-DEM算法第一次将测试生成问题归结为一个多维空间解的搜索问题。该算法采用隐枚举的方法来处理测试生成,并第一次引入了回退技术,使得测试码生成效率大大提高。FAN算法对PODEM算法作较大的改进。该算法引入了唯一敏化,唯一蕴含及多路回退等技术将测试码生成效率大大提高。不同于PODEM算法的是,FAN算法搜索测试码的回溯不是针对原始输入,而是对头线和扇出。SOCR-ATES算法在FAN算法的基础上,引入了全局蕴含的思想及一系列改进的唯一敏化和改进的多路回退策略。SOCRATES进而将全局蕴含及唯一敏化扩展到动态的策略,进一步提高了测试码生成效率。EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态。通过引入状态等价的概念,大大缩小了测试码搜索空间。DST算法将测试码搜索空间的状态等价概念扩展到状态控制的概念,在EST算法的基础上,进一步大大缩小了搜索空间。     

基于回声状态网络的卫星信道在线盲均衡算法

针对非线性卫星信道,该文提出了两种基于回声状态网络(ESN)的在线盲均衡算法。利用ESN良好的非线性逼近能力,将发送信号的高阶统计量(HOS)代入ESN,结合常模算法(CMA)和多模算法(MMA)构造盲均衡的代价函数,并采用递归最小二乘(RLS)算法对ESN输出权值进行迭代寻优,实现了Volterra卫星信道下常模和多模信号的在线盲均衡。实验表明,该文算法可以有效降低非线性信道对发送信号产生的畸变,相较于传统的Volterra滤波方法,有更快的收敛速度和更低的均方误差值。     

测量雷达技术状态通用测试技术研究

为了保证测量雷达的精度,在装备转场展开技术恢复时,需要对雷达技术状态参数进行测量,用于任务前装备技术状态检查。文中分析测量雷达技术状态和性能测试的需求特点,总结了雷达技术性能测试所需的测试技术与仪器,包括数字存储示波器测量、频谱分析仪测量和矢量网络分析仪测量等。最后对装备技术状态测试系统开发和装备远程测试系统开发技术进...     

一种改进的安全协议认证测试分析方法

认证测试方法是以串空间模型为基础的一种形式化分析方法。该方法在协议形式化分析过程中具有简洁、清晰等优点,然而,认证测试方法不能检测类型缺陷攻击,文中着力于研究认证测试方法的定义、输出测试定理、输入测试定理以及主动测试定理,以ISO/IEC9798-3协议的安全性分析为例指出认证测试方法的局限,在此基础上重新修改认证测试方法的相关定义,提出新的改进方案,新的认证测试方法扩大了认证测试理论的应用范围。     

中兴DSLAM在线测试实例简介

介绍了中兴ZXDSL8220在北京通信公司的测试情况，包括测试接口及协议、DSLAM的抓线点及其接口、试验设备之间的连接及其接口、测试内容及测试结果等。     

The Role of Test Protocols in Automated Test Generation for Embedded-Core-Based System ICs

Modular testing is an attractive approach to testing large system ICs, especially if they are built from pre-designed reusable embedded cores. This paper describes an automated modular test development approach. The basis of this approach is that a core or module test is dissected into a test protocol and a test pattern list. A test protocol describes in detail how to apply one test pattern to the core, while abstracting from the specific test pattern stimulus and response values. Subsequent automation tasks, such as the expansion from core-level tests to system-chip-level tests and test scheduling, all work on test protocols, thereby greatly reducing the amount of compute time and data involved. Finally, an SOC-level test is assembled from the expanded and scheduled test protocols and the (so far untouched) test patterns. This paper describes and formalizes the notion of test protocols and the algorithms for test protocol expansion and scheduling. A running example is featured throughout the paper. We also elaborate on the industrial usage of the concepts described.     

互操作性测试方法研究

通信网络在其发展过程中规模越来越大,涉及到的通信设备也越来越多.如何保证通信设备尤其是计算机网络设备之间的互连互通,成为通信发展的一个重要环节,其关键就是协议测试技术.首先介绍互操作性测试与协议一致性测试之间关系,进而介绍互操作性测试的整体架构和如何编制互操作性测试规范,最后详细叙述互操作性测试步骤.     

一种应用于数字商品交易中SET协议的改进

随着互联网的快速普及,网络中传输的信息流越来越多样,在网络中出现的数字化商品也日益丰富。数字化商品在现代电子交易中占据越来越重的比例,在线数字化商品交易支付的安全性是考虑的关键问题。在对安全电子交易（SET）协议进行简单介绍的基础上,指出了在进行网上数字化商品交易时SET协议的安全性方面的不足,提出了一个新的基于SET协议的改进方案,并对该方案作了详细分析。     

An Algorithm to Identify Syllable from a Visual Speech Recognition System

Wireless Personal Communications - This paper is to propose a highly efficient and reliable real time communication system for speech impaired people to communicate and converse in an effective...     

TLS中加密算法的安全性分析

阐述了TLS协议的握手过程中服务器端与客户端之间的交互,对其中关键的RC4加密技术即密钥调度算法（ KSA）、伪随机书生成算法（ PRGA）等进行分析,着重就目前的加密过程中伪随机书生成算法（ PRGA）存在的安全性问题进行分析。在猜测赋值分析方法基础上分析了PRGA初始状态已知值数量及分布规律与 RC4破解的复杂度的相关性。特定情况下,该方法能有效的破译RC4。     

GJB 8848应用于运载火箭的试验方法探讨

根据GJB 8848-2016《系统电磁环境效应试验方法》提出的试验验证方法,针对运载火箭的不同需求,探讨运载火箭系统内、系统间电磁兼容性试验方法的具体应用,并分析了试验验证的原理、实施方法、重点与难点,为运载火箭研制和试验提供参考。     

一种提高数模混合信号测试精度的算法

文中论述了一种提高数模混合信号测试（基于DSP信号处理）精度的算法（以下称旋转数据算法）,旋转数据算法是针对数模混合信号测试中异步采样的不连续性导致的频谱泄漏问题,而提出的消除频谱泄漏的算法。旋转数据算法的主要思想是：把数模混合电路的测试信号等效地看成由一个旋转向量在X轴上投影产生,当采样不连续时,采样数据经FFT变换...