Evolution and structure of drying material bridges of pharmaceutical excipients: studies on a microscope slide

An experimental procedure was developed to study directly the process by which liquid bridges between small particles in a granule form and solidify. The evolution of saturated solutions of such pharmaceutical excipients as lactose and mannitol in a liquid bridge was studied on a system situated on a microscope slide. Solidification and crystallization kinetics and phase composition during and immediately following bridge formation were observed directly. It was shown that bridges on the microscope slide and in the granule behave very much the same regardless of the different length and diffusion-scales of the two systems.We found that solid bridge formation takes place in several consecutive but distinct steps. In the case of lactose, considerable shrinkage of the initial liquid bridge takes place prior to the onset of crystallization. Further bridge solidification at ambient conditions occurs via simultaneous crystallization and vitrification within minutes. As a result, a “solid” bridge usually contains both a crystalline and a non-crystalline phase, the crystalline phase being predominately α-lactose monohydrate. Most of the non-crystalline phase eventually converts to crystalline β-lactose but the process may take many hours or even days. Results for this process are compared for samples obtained from different manufacturers of commercially available lactose. In the case of mannitol, different polymorphic forms crystallize as the drying/crystallization process progresses. A formed “solid” bridge usually contains several polymorphs of mannitol. The relevance of the behavior of the two model systems (pure lactose and pure mannitol) to a real granulation and tabletting process is discussed.     

The regularization ofNB-scheme in differential games

The optimality principles in non-zero sum differential games and multicriterial control problems taken from the corresponding static (simultaneous) game theory are usually dynamic unstable (time inconsistent), thus their use becomes questionable if special regularization attempts are not made. This important aspect was first considered in [1], but also in the earlier paper of Strotz [7] this was shown for a special control problem with discount payoff. We have shown in [2] that many of the known procedures (excluding those based on scalarization of the payoff vector), of selecting of a special Pareto-optimal solution from the set of all Pareto-optimal solutions are dynamic unstable (time-inconsistent) and therefore the regularization procedures leading to the dynamic stable optimality principles are purposed [3]. It turns out that also in the Nash [4] bargaining process the regularization attempt can be made by constructng a special equation for the conflict point. The idea of the method is closely connected with the paper [5]. The special attention to the time-consistency problem is given also in the recent publications [6,8].This paper is financially supported by Russian Fundamental Research Foundation (project N 93-011-1714).     

Hidden Implementation Dependencies in High Assurance and Critical Computing Systems

Critical and catastrophic failures in high assurance and critical computing systems can arise from unfounded assumptions of independence between system components, requirements, and constraints (work product sections), which can stem from misunderstandings and miscommunication between system engineers, managers, and operators and from inadequate or incomplete traceability between system work products. In this article, we propose a formal framework for the effective implementation of traceability between work product sections along with a technique for discovering potential causes of critical failures in high assurance and critical computing system models. We introduce a new abstraction of interrelated work product sections called implementation meta-work product and describe how our technique finds these meta-work products. We also demonstrate how this technique can be used to help analysts discover potential causes of safety-related errors in high assurance and critical computing systems by applying it to one case study of a known critical error and to one case study where we anticipate potential safety hazards     

Complete transformer model for electromagnetic transients

A complete, three phase transformer model for the calculation of electromagnetic transients is presented. The model consists of a set of state equations solved with the trapezoidal rule of integration in order to obtain an equivalent Norton circuit at the transformer terminals. Thus the transformer model can be easily interfaced with an electromagnetic transients program. Its main features are: (a) the basic elements for the winding model are the turns; (b) the complete model includes the losses due to eddy currents in the windings and in the iron core; and (c) the solution of the state equations is obtained in decoupled iterations. For validation, the frequency response of the model is compared with tests on several transformers. Applications to the calculation of transients are given for illustration     

Photoelectrical properties of In/n-CuIn5Se8 Schottky barriers

CuIn₅Se₈ homogeneous crystals of n-type conductivity have been grown. Donor centers activation energy has been estimated. In/n-CuIn₅Se₈ Schottky barriers have been created and the first spectral dependencies of quantum efficiency of photoconversion of these structures have been derived. The nature of interband optical transitions has been interpreted and the band gap values for direct and indirect transitions in CuIn₅Se₈ crystals have been determined on the results of analysis of the Schottky barriers photoactive edge absorption. A possibility of utilization of CuIn₅Se₈ crystals in wide-band photoconverters of the optical radiation has been established.     

Principal axes and surface fitting methods for three-dimensional image registration

We evaluated the effect of the image acquisition parameters on the accuracy of the principal axes and surface-fitting techniques for three-dimensional image registration. Using two types of phantom objects, MR brain image and a mathematically defined ellipsoid, we simulated pairs of scans with known acquisition parameters, including longitudinal coverage, magnitude of mis-registration, number of sections and section thickness. Both methods are sensitive to the systematic deformation of contours. The principal axes method is also sensitive to incomplete scan coverage and to the x-axis and y-axis misangulation. Both methods are insensitive to the number of sections, section thickness and the number of points per section. Surface fitting performed well without user supervision. There is no need for routine inclusion of the scaling factors as search parameters. The results confirm the feasibility of three-dimensional multimodality registration of brain scans with accuracy 1-2 mm, with surface fitting being the method of choice.     

Cellular neural networks with non-linear and delay-type template elements and non-uniform grids

The cellular neural network (CNN) paradigm is a powerful framework for analogue non-linear processing arrays placed on a regular grid. In this paper we extend the current repertoire of CNN cloning template elements (atoms) by introducing additional non-linear and delay-type characteristics. In addition, architectures with non-uniform processors and neighbourhoods (grid sizes) are introduced. With this generalization, several well-known and powerful analogue array-computing structures can be interpreted as special cases of the CNN. Moreover, we show that the CNN with these generalized cloning templates has a general programmable circuit structure (a prototype machine) with analogue macros and algorithms. the relations with the cellular automaton (CA) and the systolic array (SA) are analysed. Finally, some robust stability results and the state space structure of the dynamics are presented.