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.     

Estimation for the number of components in a mixture model using stepwise split-and-merge EM algorithm

The main difficulty with EM algorithm for mixture model concerns the number of components, say g. This is the question of model selection, and the EM algorithm itself could not estimate g. On the contrary, the algorithm requires g to be specified before the remaining parameters can be estimated. To solve this problem, a new algorithm, which is called stepwise split-and-merge EM (SSMEM) algorithm, is proposed. The SSMEM algorithm alternately splits and merges components, estimating g and other parameters of components simultaneously. Also, two novel criteria are introduced to efficiently select the components for split or merge. Experimental results on simulated and real data demonstrate the effectivity of the proposed algorithm.     

绿色易切削无铅黄铜棒的研制

铅黄铜广泛应用于水暖卫浴领域，但铅易溶出造成污染。我公司开发研制的HB-20易切削无铅黄铜棒，用铋元素替代铅黄铜中的铅元素，既能达到铅黄铜棒的切削性能和机械性能，又能达到水暖卫浴行业的环保要求。     

提高信号设备运用质量 促进管理进步

本文运用全面质量管理的方法，对设备故障进行分析，提出预防措施，降低设备故障率，进而取消值班制实现减人增效、系统降本。     

直流法测量钯氢化物电极电阻时的阻值偏移

讨论了直流法在线测量钯氢化物电极电阻时的电化学效应，计算了电解液的共导、测量电流与电解电流引起的浓差电池效应以及电极作为集流体引起的电阻贡献。结果表明：当电极具有高的长度与半径比值、粗糙的表面、高的溶液电导以及大的电解电流时容易引起显著的附加电阻。     

分置式牛津型斯特林制冷机的数值分析与实验验证

对分置式牛津型斯特林制冷机进行了数值计算 ,介绍了计算模型考虑到的众多不可逆因素。通过对计算结果与实验结果的对比 ,验证了本文数值计算的准确性 ,说明本文计算模型与数值处理方法是切实可行的     

创建学习型企业,加强职工培训工作

本文对广钢创建学习型企业和搞好职工培训工作的问题进行了探讨，提出了在创建学习型企业过程中，加强和改进职工培训工作的思路和办法。     

Extracting Modes of Constrained Structure with Elastic Supports from Free Test Data

The dynamic flexibility (DF) and improved dynamic flexibility (IDF) methods can be applied to extract constrained structural modes from free-free modal test data. The residual flexibility method is also good for boundaries of constrained structure with rigid supports. Under elastic support boundary conditions both the DF and residual flexibility methods cannot produce accurate results. This paper expands the previously published IDF method to become a more general approach for structural design engineers. A new method called the general dynamic flexibility (GDF) method has been developed in this paper to extract constrained structural modes from free test data. The GDF method can always be applied as follows: (1) when the boundary support stiffness is very stiff, the GDF method can accurately obtain results from rigid support as by Liu et al. in 2001 and Zhang and Wei in 2003; (2) when the support stiffness is soft, the present method can produce results similar to those free-free modal parameters measured by hanging structures using rubber band; (3) when the support stiffness is zero, the method can reproduce true free-free modal parameters; and (4) when the support stiffness has any finite values, the GDF method can also achieve satisfactory results for engineering use. The algorithm included in the GDF method converges rapidly and is numerically stable in the analysis. This feature is very practical for many engineering applications for using the GDF method.