Transformational approach to program concretization

This paper focuses on the problem of program concretization by applying correctness-preserving transformations of annotated programs. According to the approach presented, a general-purpose program can be annotated by known information about a specific context of its applications and correctly transformed into a specialized program which is equivalent to the original one on the context-defined ranges of inputs and outputs and is better than it by quality criteria given by the context. Tools for program concretizations via annotated program transformations are considered.     

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.     

Materials technology for aerospace applications

Modern helicopter design depends on the successful combination of materials to fulfil a very wide range of critical functions. In the past few years demands from the aerospace industry have caused considerable enhancement in the favourable properties of both polymer based materials and metals. These are discussed in connection with the progressive technical evolution of helicopters and other advanced technological products from the Westland Group.     

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.     

Knowledge, data, and models

The object-oriented approach to integrating knowledge data, and models is examined. Under the object-oriented paradigm, everything is an object, which is itself an encapsulation of data and methods to manipulate and access the data within the object. Thus knowledge, data, and models can be defined as special kinds of objects. Active knowledge/data language (KDL), a functional object-oriented database system is considered, covering the active-KDL-type system and functions, and query-driven simulation     

A probabilistic method for the design of power grounding systems

An improved multivariable, probabilistic method for the safety analysis of power grounding systems is presented. The application of this method is demonstrated in four examples. The first three examples illustrate the practical evaluation of one new and two existing substation grounding grids when the substation is connected to an overhead distribution system. The fourth example ascertains the relative impact of a difference between the S curve of IEC Publication 479 and Dalziel's equation for the allowable body current used in ANSI/IEEE Std 80-1986 on the validity of an exposure model based on the requirements of Std 80. In this example, the statistical data on ground faults have been taken from actual system records. Further possible refinements of the exposure model are discussed     

Comparing the motivations of Spanish and Finnish computer personnel with those of the United States

A survey of perceptions of IS personnel – managers, technical specialists and programmer/analysts – was conducted by the Association for Technical Information in Spain, using the JDS/DP, a modification of the job diagnostic survey instrument. Data were collected on fifteen job variables, related to four motivation aspects: job components, satisfaction levels, need for growth/achievement and goal participation/feedback. The results were compared with those of a similar survey for the same job types in Finland. Results were also compared with the norms developed for computer personnel in the USA. The survey revealed that personnel attracted to the computer field have a high need for growth and a low need for social interaction. It also revealed that the work itself was ranked highest among eleven motivating factors. For both Spain and Finland, the technical specialist job had a mis-match between the job's motivating potential and the employee's need for growth, compared with similar personnel in the USA. By examining the core job dimensions, managers can redesign the job to produce a match between these two major components of motivation.     

The influence of trigger configurations and laminate lay-up on the failure mode of composite crush cylinders

In this paper the results are presented of a test program on the energy absorption of composite cylinders loaded in compression. The influence of the laminate lay-up and of the trigger configuration were determined. Two different failure modes for the different laminates and triggers were observed: a splaying mode and a fragmentation mode. The splaying mode is more efficient in absorbing energy. The failure mode did not change during the crushing process.     

Candida fungemia in neonates treated with fluconazole: report of forty cases, including eight with meningitis

PURPOSE OF THE STUDY: To assess efficacy and safety of fluconazole in neonates with Candida fungemia. STUDY DESIGN: Multicenter prospective protocol of all fungemias appearing between January 1, 1993, and December 31, 1997, in four major university hospitals. RESULTS: Forty neonates, 28 of them with very low birth weight (<1500 g; 30.5 median gestation week), with documented Candida albicans fungemia were treated with intravenous fluconazole in a daily dosage of 6 mg/kg once daily for 6 to 48 days. Thirty-four received fluconazole as monotherapy and 6 received it in combination with amphotericin B. Thirty-two (80%) were cured; 4 of them relapsed despite at least 14 days of therapy, but they were ultimately cured without sequelae. Eight other neonates died, 4 because of fungal infection and 4 because of prematurity or hemorrhage or lung failure, with fungemia (20% overall and 10% attributable mortality). Two neonates had elevated liver enzymes during fluconazole therapy and 2 others had elevated serum creatinine during fluconazole monotherapy. In none of them did these abnormalities necessitate discontinuation of antifungal therapy. In 8 neonates fungal meningitis developed as a complication of fungemia. All but 3 fungemias were C. albicans; 3 were Candida parapsilosis. CONCLUSIONS: Fluconazole was safe and effective antifungal therapy even in complicated or Candida fungemia in neonates and in infants with very low birth weight.