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.     

反应器和钢烟囱整体吊装的难点和对策

介绍了在金陵石化炼油厂200万t/a柴油加氢装置建设中,将质量为237t的反应器和高60m的钢烟囱成功进行整体吊装过程中的关键技术.通过此项工程实践得出以下结论象钢烟囱这样细长重物的整体吊装,由两台吊车抬立起后,再由主吊车独立吊装就位的施工方法简单易行,安全可靠,应用范围广;结构复杂细长杆的吊装强度和挠度计算比较复杂,在计算过程中可以忽略部分次要件的质量,分别以两吊点为支点计算上下吊点所受的力,然后再按比例放余量,使两吊点受力之和等于细长杆的重力,计算挠度时,可以适当地把问题夸大化,从而建立近似的力学模型;高压厚壁重型容器的吊装,宜直接设置专门吊盖与大法兰用螺栓把紧起吊;施工现场地基坚实是保证吊车站位和吊装施工的前提条件.     

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易切削无铅黄铜棒，用铋元素替代铅黄铜中的铅元素，既能达到铅黄铜棒的切削性能和机械性能，又能达到水暖卫浴行业的环保要求。     

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

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

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

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

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

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

基于嵌入式Linux的远程数据采集系统

以嵌入式微控制器为核心,将传感器网络收集来的数据通过无线电发射机发送到远程接收机,从而实现远程数据采集.系统的优势是充分利用了短波无线链路资源,适合于工作在无人区等场合.以ARM7为控制器,功耗小,性能稳定,维护方便;通信方式采用串口通信,连接线少,实现相对简单.系统设计主要应用嵌入式μCLinux系统设计、无线电发射、调制解调器等方面的知识,文中给出了调制解调器拨号协议、系统原理和软件流程等.