Base-type languages: Program design by upper semantic approximation

Translated from Kibernetika i Sistemnyi Analiz, No. 4, pp. 140–155, July–August 1994.     

Fault trees—Problems and the modern state of investigations

Published in Kibernetika i Sistemnyi Analiz, No. 3, pp. 128–150, May–June, 1994.     

Statistical synchronization among participants in real-time multimedia conferencing

In this paper, an algorithm to determine the set of packets generated continuously and periodically from different participants that are arriving at a node either for mixing at the master of a conference, or for simply playing back at a regular participant of a conference, is proposed. The essence of the algorithm is to estimate the expected packet arrival time (or reference time) for each participant. With the reference time at hand, the maximum jitter and the optimum waiting time for a mixer to wait packets from all participants can be determined. An enhancement to improve synchronization which deals with the estimation of the time offsets between the individual periods of the sources and the period of the receiver is also presented. The error of the proposed algorithm is enumerated by the Chernoff bound and demonstrated by simulation and is shown to be acceptable in practical application. The algorithm can also be employed when traffic sources operate with different periods.     

Influence of labour on epidermal growth factor receptor distribution of the human chorion at term gestation

Ten patients with biopsy verified chronic hepatitis C virus (HCV) infection were treated with oral ribavirin at a dose of 1,000-1,200 mg per day in two divided doses for 12 weeks. Serum alanine aminotransferase (ALT) levels and hepatitis C viral ribonucleic acid (RNA) levels in serum were followed prior to, during, and 12 weeks posttreatment. ALT levels decreased significantly in all patients during therapy from a mean level of 3.21 mukat/l (range 1.22 to 7.79) before, to 1.25 mukat/l (range 0.78 to 2.04) at the end of treatment (P < 0.005). Hereafter, relapse to pretreatment levels was seen within 12 weeks after treatment stop. The hepatitis C viral RNA levels decreased from a mean 10 log titer of 4.1 (range 1-6) before treatment to 3.4 (range 1-5) at treatment stop. Five patients did not change their HCV RNA titers during treatment. Twelve weeks posttreatment only 3 patients had lower titers than prior to treatment. We conclude that oral ribavirin seems to reduce the viral load, at least temporarily, in some patients with chronic viremic HCV infection. Further studies are needed to evaluate fully the effect of oral ribavirin on chronic HCV infection.     

The use of cantilever bridges

Replacement of missing teeth with fixed bridgework often involves producing full crown retainers on teeth on both sides of an edentulous space. Unfortunately, this approach can result in the destruction of much healthy tooth tissue, and the clinician must balance the benefits of replacing missing teeth with the amount of tooth preparation required. Current thinking in restorative dentistry places the preservation of tooth tissue at a premium, and most practitioners are happy to use techniques that embrace this philosophy. Because of this, cantilever bridges have an increasing role in dental practice, where the replacement for a missing tooth or teeth has one or more abutments on only one side of the edentulous space, being unsupported at the other. Cantilever bridges fall into several types, depending on the number of abutments and types of retainers. This article describes the various cantilever bridge designs, considers the biomechanics of these restorations, and provides guidelines for their clinical use.     

Modeling of Diffusion in Capillary Porous Materials During the Drying Process

This paper presents a model of heterogenous diffusion in capillary porous materials during the process of drying. The governing heat and mass transfer equations have been established using the liquid as well as vapor flow. Two models have been presented. Model 1 does not consider the heat conduction while the model 2 has been established by considering the conduction. The developed models and the numerical solutions of the resulting differential equations can take into account the moisture and temperature dependent thermophysical properties of the product. All equations have been established in spherical coordinates but the programme written for the purpose of calculations can be used for other geometries also. Numerical calculations have been performed for gas concrete and tiles using model 1, while model 2 has been used for gas concrete only because of the lack of data for thermophysical properties of the tile. For gas concrete it was seen that conduction has only marginal effect on the drying process and the numerical predictions of the drying process were reasonably accurate.