基于Daikon与C++Test的自动测试用例集约简工具生成

程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。     

网络信息安全中的密码技术

密码技术作为一种有效且可行的保护信息安全的办法，可使用户在一种潜在不安全的环境中保证通信的安全，介绍现代密码的三种体制及在网络信息加密中的应用。     

三模六阶等波纹型滤波器

本文采用新的耦合方式——双腔之间的耦合膜片为双十字槽,输入和输出采用同轴线小环耦合。按顺序耦合(M_10=0;M25=0)链式电路系统,实现三模六阶Chebyshev滤波器。     

非线性系统的动态反馈完全线性化

其中,为简单记,x(t)∈R~n,u(t)∈R~m,y(t)∈R~m,f(·),g(·)的诸列以及 h(·)的诸行是 x 的亚纯函数,即它们是 x 的解析函数环的分式域 (fraction field) 的元素.注意这个系统具有相同个数的输入和输出.本文考虑下述形式的动态反馈补偿器设计     

非相干光作用下的Ce：BaTiO3自泵浦相位共轭镜特性

地Ｃｅ：ＢａＴｉＯ３晶体的自泵浦相位共竟然非相干光作用下自泵浦相位共轭反射率增强的特性进行了研究。实验是在Ｈｅ－Ｎｅ激光产生稳态自泵浦相位共轭输出后，用非相干光平行ｃ轴照射来获得这一增强特性的，当水平移动非相干光入射位置，发现有两个区域非相干光作用能使相位共轭反射率增加，本文对此进行了相应的分析和讨论。     

有限自动机公钥密码体制的密码分析

提出一种针对有限自动机公钥密码系统的攻击算法,它可在多项式时间内破译有限自动机公钥密码方案FAPKCO.这一算法的基本思想,原则上也可用来攻击其他有限自动机公钥密码方案,因而在设计新的有限自动机公钥密码系统时,必须讨论它是否经得住这种方法的攻击.     

日本半导体激光器的某些进展

据日本电子工程杂志(JEE,1974,№.92,P.53—55)报导,日本电气公司、东芝公司和日立公司在研制半导体激光器方面有所进展,摘要如下: 日本电气公司 该公司去年(1973)六月份公布了延长红外半导体激光器寿命的研究结果。 利用电子扫描显微镜研究老化原因,发现在异质晶体的结区由于热膨胀系数的     

彩色电视色度学简介

在“彩色再现”这个主题下,谈摄象机和显示器的色度特性及其相互关系,和谈电学特性一样切题。电视接收机的工程技术人员大多对色度学(特殊地说,对电视色度学)并不太了解。这至少有一部分原因是对这个主题缺乏简单明了的介绍。这篇文章就