A review of topic modeling methods

Topic modeling is a popular analytical tool for evaluating data. Numerous methods of topic modeling have been developed which consider many kinds of relationships and restrictions within datasets; however, these methods are not frequently employed. Instead many researchers gravitate to Latent Dirichlet Analysis, which although flexible and adaptive, is not always suited for modeling more complex data relationships. We present different topic modeling approaches capable of dealing with correlation between topics, the changes of topics over time, as well as the ability to handle short texts such as encountered in social media or sparse text data. We also briefly review the algorithms which are used to optimize and infer parameters in topic modeling, which is essential to producing meaningful results regardless of method. We believe this review will encourage more diversity when performing topic modeling and help determine what topic modeling method best suits the user needs.     

Practical Application of the Probabilistic‐Statistical Model of the Suspension Separation in Hydrocyclones

An effective practical approach that allows not only a significant reduction in the scope of practical experiments in the course of studying suspension separation processes in hydrocyclones, but also makes it possible to assess the intensity of random components of the processes and define the interrelation between such components and hydrodynamics of flows in a hydrocyclone is presented. Within the frames of the developed probabilistic‐statistical model of suspension separation in hydrocyclones on the basis of statistical self‐similarity properties, a relationship was found between determined and random components of the processes. This allowed transitioning from three‐parameter probability density functions for suspension particles in hydrocyclones to two‐parameter functions; thus significantly improving the efficiency of practical application of the developed model.     

光刻版图形处理过程的计算机仿真

采用有限状态机模型来仿真集成电路行业中光刻版图形的处理过程,涵括了层次处理、涨缩处理和反转处理。将不同的处理过程定义为相应的状态,将图形处理要求定义为输入条件触发状态转换。该模型已应用于光刻版数据处理的电子设计自动化软件。     

Signal analysis of total internal reflection fluorescent speckle microscopy (TIR-FSM) and wide-field epi-fluorescence FSM of the actin cytoskeleton and focal adhesions in living cells

Fluorescent speckle microscopy (FSM) uses low levels of fluorescent proteins to create fluorescent speckles on cytoskeletal polymers in high‐resolution fluorescence images of living cells. The dynamics of speckles over time encode subunit turnover and motion of the cytoskeletal polymers. We sought to improve on current FSM technology by first expanding it to study the dynamics of a non‐polymeric macromolecular assembly, using focal adhesions as a test case, and second, to exploit for FSM the high contrast afforded by total internal reflection fluorescence microscopy (TIR‐FM). Here, we first demonstrate that low levels of expression of a green fluorescent protein (GFP) conjugate of the focal adhesion protein, vinculin, results in clusters of fluorescent vinculin speckles on the ventral cell surface, which by immunofluorescence labelling of total vinculin correspond to sparse labelling of dense focal adhesion structures. This demonstrates that the FSM principle can be applied to study focal adhesions. We then use both GFP‐vinculin expression and microinjected fluorescently labelled purified actin to compare quantitatively the speckle signal in FSM images of focal adhesions and the actin cytoskeleton in living cells by TIR‐FM and wide‐field epifluorescence microscopy. We use quantitative FSM image analysis software to define two new parameters for analysing FSM signal features that we can extract automatically: speckle modulation and speckle detectability. Our analysis shows that TIR‐FSM affords major improvements in these parameters compared with wide‐field epifluorescence FSM. Finally, we find that use of a crippled eukaryotic expression promoter for driving low‐level GFP‐fusion protein expression is a useful tool for FSM imaging. When used in time‐lapse mode, TIR‐FSM of actin and GFP‐conjugated focal adhesion proteins will allow quantification of molecular dynamics within interesting macromolecular assemblies at the ventral surface of living cells.     

A framework to integrate software behavior into dynamic probabilistic risk assessment

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.     

Application of condition-based HRA method for a manual actuation of the safety features in a nuclear power Plant

A practical approach to develop a more realistic fault-tree model with a consideration of various conditions endured by a human operator is proposed. In safety-critical systems, the generation failure of an actuation signal is caused by the concurrent failures of the automated systems and an operator action. These two sources of safety signals are complicatedly correlated. The failures of sensors or automated systems will cause a lack of necessary information for a human operator and result in error-forcing contexts such as the loss of corresponding alarms and indications. It is well known that the error-forcing contexts largely affect the operator's performance. An automated system which consists of multiple processing channels and complex components is also affected by the availability of the sensors. This paper proposes a condition-based human reliability assessment (CBHRA) method in order to address these complicated conditions in a practical way. We apply the CBHRA method to the manual actuation of the safety features such as a reactor trip and auxiliary feedwater actuation in Korean Standard Nuclear Power Plants. Even the human error probability of each given condition is simply assumed, the application results prove that the CBHRA effectively accommodates the complicated error-forcing contexts into the fault trees.     

Probabilistic Strength Estimates and Reliability of Damaged Parallel Wire Cables

Cable reliability analysis involves the combined evaluation of cable capacity and cable load in a probabilistic manner. Assessment of cable capacity is only possible through visual inspections of the wires, field sampling, laboratory analysis of the degraded wire populations, and analytical techniques. In addition to a brief presentation of cable mechanics and deterministic models that approximate cable strength, this paper discusses inspection methodologies and statistical methods of estimation of the sizes of the degraded wire populations, and wire properties, leading to cable capacities. These capacities are described by probability distributions. The paper also discusses fundamentals of reliability analysis as they apply to bridge cables. Load criteria of present standard specifications (such as AASHTO or other international codes) are not applicable to long-span suspension bridges. The paper discusses criteria of bridge loading and reliability indices for bridge cables. More work is needed in the evaluation of loading for long-span bridges.     

B—ISDN宽带UNI信令点到多点配置的实现

本文根据ＩＴＵ－Ｔ最新的Ｑ．２９７１协议，以及笔者所从事的实际课题，提出一整套Ｂ－ＩＳＤＮ第三层ＵＮＩ信令的软件实现策略，其特点是能同时满足用户对点到点以及点到多点广播这两种通信方式的要求，而且可以动态配置。     

Formal Analysis of Streaming Downloading Protocol for System Upgrading

For a PC-mobile download system which is embedded with streaming download protocol, there are problems that the data cannot be transmitted correctly from the PC to the mobile, or the transmission is unacceptably slow. To solve these problems, we carry out a formal analysis for the protocol with some timing parameters and a given probability of message loss and unordered data using a probabilistic model checking tool PRISM. We introduce a technique to reduce the state space of the system modeling the protocol which is a network of probabilistic timed automata. The experimental results in PRISM give us a clear explanation to the problems, and are helpful in identifying the optimal parameter settings to meet industrial requirements.     

液位定量式灌装机的灌装精度概率模型与可靠度计算模型

描述了控制液位定量式灌装机的灌装时间与灌装精度的关系，推导出实际灌装时间的理论计算公式。针对实际存在的各种随机变量对灌装时间的影响，建立了灌装时间的概率模型，提出基于灌装时间随机误差的灌状精度以及灌装精度可靠度概念，并相应建立出灌装精度概率模型与灌装精度可靠度计算模型。