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.     

Mining data from intensive care patients

In this paper we describe the application of data mining methods for predicting the evolution of patients in an intensive care unit. We discuss the importance of such methods for health care and other application domains of engineering. We argue that this problem is an important but challenging one for the current state of the art data mining methods and explain what improvements on current methods would be useful. We present a promising study on a preliminary data set that demonstrates some of the possibilities in this area.     

Facility layout problems: A survey

Layout problems are found in several types of manufacturing systems. Typically, layout problems are related to the location of facilities (e.g., machines, departments) in a plant. They are known to greatly impact the system performance. Most of these problems are NP hard. Numerous research works related to facility layout have been published. A few literature reviews exist, but they are not recent or are restricted to certain specific aspects of these problems. The literature analysis given here is recent and not restricted to specific considerations about layout design.

We suggest a general framework to analyze the literature and present existing works using such criteria as: the manufacturing system features, static/dynamic considerations, continual/discrete representation, problem formulation, and resolution approach. Several research directions are pointed out and discussed in our conclusion.     

试生产中产品的可靠性保证

阐述了试行产中产品质量和可靠性的主要保证方法，由于这些做法来自于工厂的生产实践，所以，对承制方，订购方等各级，各类人员都有借鉴意义。同时对理论工作者也有一定的参考价值。     

Optimal Solutions for the Temporal Precedence Problem

Abstract. In this paper we refer to the Temporal Precedence Problem on Pure Pointer Machines . This problem asks for the design of a data structure, maintaining a set of stored elements and supporting the following two operations: insert and precedes . The operation insert (a) introduces a new element a in the structure, while the operation precedes (a,b) returns true iff element a was inserted before element b temporally. In [11] a solution was provided to the problem with worst-case time complexity O (log log n ) per operation and O(n log log n) space, where n is the number of elements inserted. It was also demonstrated that the precedes operation has a lower bound of Ω (log log n ) for the Pure Pointer Machine model of computation. In this paper we present two simple solutions with linear space and worst-case constant insertion time. In addition, we describe two algorithms that can handle the precedes (a,b) operation in O (log log d ) time, where d is the temporal distance between the elements a and b .     

给定拓扑结构的网络的可靠性设计

本文首先讨论了网络链路堵概率的加权平均值，提出了网络分配的一般准则，并在考虑了网络链路生存链路概率的因素后，提出了更一般的网络链路堵塞概率的加权平均值，以此为基础，分别讨论了网络在给定点的费用条件下，使得网络可靠性最大的网络设计问题，以及在给定网络可靠性指标的前提下，使得网络费用最小的网络设计问题。     

CIMS装配和拆卸生产线的可靠性分析

本文对ＣＩＭＳ装配线和拆卸线的可靠性问题进行研究。文中分析了它们的运行状况，求出了两种生产线的稳态可用度，并用一个例子加以说明。     

Structure and dynamics of dipolar fluids under strong shear

Molecular dynamical simulation has been carried out to investigate the structure and dynamics of a dipolar fluid under strong shear. Dipolar fluid consists of polarizable particles, which have an induced dipole moment in the applied field direction. Shear stress is perpendicular to the field direction. When shear stress is small, the flow has a flowing-chain structure. If shear stress increases to pass a critical value, flowing-chain structure changes to flowing layer structure. Each layer is parallel to the flow direction and shear direction. Within one layer, particles form strings in the flow direction.     

Barrier layer effect of tantalum on the electromigration in sputtered copper films on hydrogen silsesguioxane and SiO2

As IC devices scale down to the submicron level, the resistance-capacitance (RC) time delays are the limitation to circuit speed. A solution is to use low dielectric constant materials and low resistivity materials. In this work, the influence of underlying barrier Ta on the electromigration (EM) of Cu on hydrogen silsesquioxane (HSQ) and SiO₂ substrates was investigated. The presence of a Ta barrier not only improves the adhesion between Cu and dielectrics, but also enhances the crystallinity of Cu film and improves the Cu electromigration resistance. The activation energy obtained suggests a grain boundary migration mechanism and the current exponent calculated indicates the Joule heating effect.     

Ensuring primary realization of pressure unit in the vacuum range without typically utilized static expansion system

After the break-up of Czechoslovakia in 1993 the primary metrological standards authority almost fully remained in Slovakia. So we had to build our primary vacuum metrology anew. But we could do it using uptodate techniques that are more effective and they enable us to fulfil our task more effectively and in a shorter time.The steady demand to widen the lower pressure range and a steady demand for maximal accuracy collide with the financial possibilities open to a small country. So it is impossible to follow the classical pattern for the vacuum standards: liquid columns, static expansion system and dynamic expansion system. But it is possible to utilize contemporary progress in construction of piston manometers. This enables us to discard liquid column and static expansion techniques in favour of piston technique [Tesar J, Prazak D. Vacuum 2002; 67: 311, Tesar J, Prazak D, Krajicek Z. In:Proceedings of international symposium on Pressure and Vacuum, 2003. p. 169, Tesar J, Repa P, Prazak D, Krajicek Z, Peksa L. Vacuum 2004; 76: 491.]. Such system fulfils all the needs of a little industrial country and is economically acceptable.