A cost-effective approach to testing

A method for assessing the differential risk of failure among a system's modules is proposed. The procedure has three components: external-risk assessment, module exposure, and module-failure likelihood. External-risk assessment is a consideration of the system's environment, almost independent of the software's details. To estimate module exposure, the model relates individual modules and their potential faults to the external-failure modes and their economic consequences by reverse-engineering the specifications and analyzing each module's expected use. To estimate failure likelihood, the method uses a reliability model. The method constitutes theoretical foundation for the cost-effective development of software that attempts to reduce the risk of failure. Managers can use the failure-risk estimates to better determine how much testing effort can be economically justified     

Calculation of the molar volume of liquid hydrocarbons

Equations are proposed for calculating the molar volume of liquid hydrocarbons used in production of surfactants. With such data, it will be possible to calculate most of the physicochemical properties of these hydrocarbons to solve many process problems. __________ Translated from Khimiya i Tekhnologiya Topliv i Masel, No. 6, pp. 39–41, Novemmber–December, 2006.     

Empirical equations for the perforation of mild steel plates

The experimental results for the perforation energy of mild steel plate struck by flat-ended, non-deforming, cylindrical penetrators have been correlated using the principles of dimensional analysis. A correlation is presented for long penetrators. It is shown that for short penetrators a different response of the target is observed and that, at present, there are insufficient published data to produce a unifying correlation.     

Elastic effects in the flow of polymer solutions in channels of variable cross section and a porous medium

The manifestation of elastic effects during the filtration of polymer solutions is analyzed theoretically.Translated from Inzhenerno-Fizicheskii Zhurnal, Vol. 49, No. 3, pp. 390–397, September, 1985.     

Linear output feedback compensation of rank-one systems

A new method is presented for arbitrarily assigning the closed-loop poles of a linear multi-input/multi-output system using linear output feedback. The method employs a new notion of rank-one system representations and involves the use of state transformation matrices which preserve such representations while reducing the degree of the feedforward matrix     

Polynomial-complexity deadlock avoidance policies for sequentialresource allocation systems

The development of efficient deadlock avoidance policies (DAPs) for sequential resource allocation systems (RASs) is a problem of increasing interest in the scientific community, largely because of its relevance to the design of large-scale flexibly automated manufacturing systems. Much of the work on this problem existing in the literature is focused on the so-called single-unit RAS model, which is the simplest model in the considered class of RASs. Furthermore, due to a well-established result stating that, even for single-unit RASs, the computation of the maximally permissive DAP is intractable (NP-hard), many researchers (including our group) have focused on obtaining good suboptimal policies which are computationally tractable (scalable) and provably correct. In the first part of the paper, it is shown, however, that for a large subset (in fact, a majority) of single-unit RASs, the optimal DAP can be obtained in real-time with a computational cost which is a polynomial function of the system size (i.e., the number of resource types and the distinct route stages of the processes running through the system). The implications of this result for the entire class of single-unit RASs are also explored. With a result on the design of optimal DAPs for single-unit RASs, the second part of the paper concentrates on the development of scalable and provably correct DAPs for the more general case of conjunctive RASs