Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

The fault-state detection approach for blackbox testing consists of two phases. The first is to bring the system under test (SUT) from its initial state to a targeted state t and the second is to check various specified properties of the SUT at t. This paper investigates the first phase for testing systems specified as observable nondeterministic finite-state machines with probabilistic and weighted transitions. This phase involves two steps. The first step transfers the SUT to some state t' and the second step identifies whether t' is indeed the targeted state t or not. State transfer is achieved by moving the SUT along one of the paths of a transfer tree (TT) and state identification is realized by using diagnosis trees (DT). A theoretical foundation for the existence and characterization of TT and DT with minimum weighted height or minimum average weight is presented. Algorithms for their computation are proposed.     

基于频率采样技术的FIR数字滤波器优化设计

本文提出了一种FIR数字滤波器满意优化设计方法，将滤波器过渡带样本值作为优化变量，通过设计通带、过渡带和阻带性能指标满意度函数和综合满意度函数，构造出满意优化模型，并用本文提出的新量子遗传算法搜索满意解，FIR高通和带阻数字滤波器的设计结果表明，采用满意优化方法设计的FIR滤波器的性能优于传统方法。     

高可靠性烧结金属丝网防爆元件的应用研究

烧结金属多孔元件作为隔爆元件的应用，很好地满足了火焰过滤元件的性能要求，进一步拓宽了烧结金属多孔元件的应用领域，章在论述其性能特点、结构类型的同时，对其在微孔结构设计上的差异也进行了描述。     

Sandwich panels with Kagome lattice cores reinforced by carbon fibers

Stretching dominated Kagome lattices reinforced by carbon fibers were designed and manufactured. The sandwich panels were assembled with bonded laminate skins. The mechanical behaviors of the sandwich panels were tested by out-of-plane compression, in-plane compression and three-point bending. Different failure modes of the sandwich structures were revealed. The experimental results showed that the carbon fiber reinforced lattice grids are much stiffer and stronger than foams and honeycombs. It was found that buckling and debonding dominate the mechanical behavior of the sandwich structures, and that more complaint skin sheets might further improve the overall mechanical performance of the sandwich panels.     

位相连续变化型毫米波衍射天线的性能分析

报道了一种新型毫米波天线—衍射天线的测量结果．经分析讨论说明，这种天线具有良好的电性能．     

河北冶金实验厂8MN快锻液压机电控系统选择

着重阐述了河北冶金实验厂８ＭＮ快锻液压机电控系统的选择过程。经过反复考察，论证，对比，最终所选的压机电控系统为目前国产快锻液压机中自动化水平最高的锻造设备。     

β″－Al_2O_3陶瓷的强化和韧化

研究了稳定ＺｒＯ＿２和部份稳定ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的强化和韧化作用，观察了不同种类、不同含量的ＺｒＯ＿２对β″－Ａｌ＿２Ｏ＿３陶瓷的显微结构、力学性能和电导率的影响，探讨了β″－Ａｌ＿２Ｏ＿３的韧化机理。     

超短脉冲在远场的时空特性

将在时间和空间上为高斯型的超短脉冲分解成不同时间频率的高斯光束．详细地分析了其远场由于时空耦合引起的光谱频移、波前弯曲等复杂的时空特征。     

电子表格EXCEL5.0在选煤线性规划问题中的应用

采用电子表格软件ＥＸＣＥＬ５．０可以方便地解决许多选煤生产中的线性规划问题。本文通过选煤过程线性规划实例介绍ＥＸＣＥＬ５．０在此领域的应用方法。     

波导短程透镜球差特性分析及其焦距精确测量方法的研究

本文研究短程透镜的焦点位于端面外的球差特性。对焦点位于波导外部（包括端面）的情况给出了一种精确测量焦距新方法，采用这种方法简单易行，测量精度取决于读数显微镜的读数精度（０．０１ｍｍ）。