产生2元de Bruijn序列的一个新算法

２元ｎ级ｄｅＢｒｕｉｊｎ序列是由ｎ级移位寄存器产生的周期为２ｎ的移位寄存器序列，给出了２元ｄｅＢｒｕｉｊｎ序列的一个新的生成算法，该算法能生成２ｓ·ｇ（ｎ，ｓ）个ｎ级如ｄｅ　Ｂｒｕｉｊｉｎ序列，其中，０≤ｓ≤２（ｎ－７）／３；当 ２ｌ－１＜ｓ≤２Ｌ时，ｇ（ｎ，ｓ）＝ｎ－３Ｌ－６－［（ｎ－２Ｌ－６）／（Ｌ＋１）］。     

系统可靠性模型综述

可靠性模型是指为预计或估算产品的可靠性所建立的可靠性框图和数学模型。介绍了几种系统可靠性模型及其相应的可靠性计算方法。     

Taylor 四相码信号及其模糊图的绘制

介绍了Taylor四相码信号的特点及其研究现状，运用模糊函数的卷积算法，通过MatIab语言计算并绘制出了其三维立体模糊图，制作了ξ切面图、τ切面图和模糊度图，并给出了绘制方法。     

“电气控制与PLC”课程中疑难指令的教学探讨

本文针对欧姆龙CPM1A系列PLC的TR、微分与非微分指令形式、顺序控制步转换条件等教学难点进行了深入剖析。结合梯形图实例讨论了TR作用、指令的微分与非微分形式的意义、顺序控制步转换条件中上步控制位的作用及常用指令LD N容易忽视的问题。所作分析有益于克服PLC教学难点,提升教学效果。     

PHASE BOUNDARIES OF SINGLE-PHASE ε-AND γ′-FIELDS IN Fe-C-N PHASE DIAGRAM

由低温下的溶解度导出氮在α-Fe中的活度数据,求得了Fe-C-N三元系中各二元交互作用系数,并导出了该系中的分配方程组.依此在PDP-11/23计算机上计算了γ′及ε单相区界域.计算结果表明:原Naumann和Langenscheid相图中的γ′相区正确,但ε相区需修正.计算结果与Wells及Bell的大部分实验结果符合.采用石墨为标准态(见附录证明)的计算也得到相同结论.     

10Gbit/s高速串行通道的Hspice仿真研究

随着光传输技术的飞速发展,信号传输速率已经突破Gbit/s级,高速通道的仿真分析已成为系统开发成功与否的关键一环.文章简要介绍了Hspice仿真的基本原理和基本方法,并详细讨论了基于Hspice软件的高速串行通道仿真方法,通过仿真眼图的对比结果说明影响高速通道性能的几个关键环节以及改善通道特性的方法.     

电容式传声器腔体设计

介绍了电容式传声器的内部结构,通过等效线路图,详细说明了传声器内部腔体结构对声学性能的影响,最后说明了传声器实际组配过程中,机构件对传声器声学性能的影响。     

A Verification-Based Approach to Evaluate Software Architecture Evolution

As the development and wide usage of Soft-ware architecture (SA), SA evolution becomes one of the hotspots of current research in modern software engineer-ing domain. Most current researches concentrate on the modeling of SA evolution and lack the verification and evaluation of SA evolution. We proposed a verification-based approach to evaluate SA evolution. The basic pro-cess includes: 1) using Unified modeling language (UML) sequence diagram to model the interaction of components and study different types of evolution in practical ex-amples; 2) using SPIN-based model checking to model and verify SA evolution; 3) comparing various verifica-tion outcomes and analyzing the influence of SA evolution on SA correctness and temporal properties. Both theory analysis and an experiment on a real evolution example from Model-view controller (MVC) to Spring web MVC (SWMVC) show that the verification-based approach to evaluate SA is significant.     

RKR-GST算法在.NET中的分析与实现

针对计算字符串相似度的RKR-GST算法,分析了与该算法相关的技术并给出算法的流程图,然后在Visual Studio 2008中对该算法进行了实现,详细描述了实现过程中涉及的类与数据结构图,最后对算法的复杂度及算法运行过程中一些参数的选取进行了讨论。RKR-GST算法在剽窃检测、DNA序列匹配等领域具有广阔的应用前景,该算法在.NET中的实现具有良好的可移植性与可扩展性,可以在多个应用领域中推广使用。