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

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

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

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

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

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

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

An Optimized Content-Aware Authentication Scheme for Streaming JPEG-2000 Images Over Lossy Networks

This paper proposes an optimized content-aware authentication scheme for JPEG-2000 streams over lossy networks, where a received packet is consumed only when it is both decodable and authenticated. In a JPEG-2000 codestream, some packets are more important than others in terms of coding dependency and image quality. This naturally motivates allocating more redundant authentication information for the more important packets in order to maximize their probability of authentication and thereby minimize the distortion at the receiver. Towards this goal, with the awareness of its corresponding image content, we formulate an optimization framework to compute an authentication graph to maximize the expected media quality at the receiver, given specific authentication overhead and knowledge of network loss rate. System analysis and experimental results demonstrate that the proposed scheme achieves our design goal in that the rate-distortion (R-D) curve of the authenticated image is very close to the R-D curve when no authentication is required     

Domain-Driven, Actionable Knowledge Discovery

Data mining increasingly faces complex challenges in the real-life world of business problems and needs. The gap between business expectations and R&D results in this area involves key aspects of the field, such as methodologies, targeted problems, pattern interestingness, and infrastructure support. Both researchers and practitioners are realizing the importance of domain knowledge to close this gap and develop actionable knowledge for real user needs.