Design of software systems based on axiomatic design

The ability to utilize fully automated flexible manufacturing systems (FMS) or develop reliable computer-integrated manufacturing (CIM) systems will depend on our ability to develop reliable and reusable software for large complex systems on a timely basis. To date, software design has not gone very far beyond the ad hoc trial-and-error stage. Consequently, the development of software is slow, expensive, unreliable, and unmanageable. The purpose of this paper is to provide a scientific basis for designing software. The approach used here is that of axiomatic design, which is based on two design axioms: the Independence Axiom and the Information Axiom. The axiomatic approach is based on the recognition of the following common elements in design: the existence of independent domains (i.e. the consumer domain, the functional domain, the physical domain, and the process domain); the need to map between various domains during the design process; the decomposition of the characteristic vectors (i.e. functional requirements, design parameters, and process variables) in their respective domains; the zig-zagging required between the domains for decomposition; and the need to satisfy the design axioms during the design process. The axiomatic approach discussed in this paper provides decision making tools for software design in addition to systematic means of knowledge and data representation, synthesis and analysis of software, and the construction of the module-junction structure diagram.     

Nucleation of solidification in liquid droplets

Analytical and numerical methods have been developed to analyze the solidification kinetics of a mass of liquid droplets dispersed in a fluid or solid matrix using classical nucleation theory. The resulting analytical expressions and numerical calculations can be compared directly with calorimetric measurements of the droplet solidification exotherms to obtain information about the nucleation mechanism. With increasing contact angle at the solid-liquid-matrix triple point, the solidification onset, peak, and end temperatures and exothermic peak height all decrease sharply and the droplet solidification exotherms become broader. Decreasing either the droplet radius or the number of potential catalytic nucleation sites produces a similar but smaller effect. Distributions in droplet radius, contact angle, and nucleation sites have no effect on the solidification peak temperature, but the droplet solidification exotherms become broader and more symmetric. The solidification onset temperature is independent of cooling rate in the calorimeter, but the solidification peak and end temperatures decrease and the exothermic peak height increases with increasing cooling rate. Predicted droplet solidification exotherms are in excellent agreement with detailed experimental measurements on 10-nm-radius Cd droplets embedded in a solid Al matrix. Analytical predictions give best-fit values of 43 deg and 430 for the contact angle and the number of potential catalytic nucleation sites per droplet, respectively; numerical predictions give best-fit values of 43 deg and 750 for the contact angle and the number of potential catalytic nucleation sites per droplet, respectively.     

Virtual circuit connection method for RSVP multicasting supportingheterogeneous receivers on the ATM network

The authors suggest a novel virtual circuit connection method based on the reverse traversing technique to minimise the waste of network bandwidth resources, when the Internet protocol multicast is interoperated using the resource reservation protocol over an asynchronous transfer mode network. Simulation results show that, as the number of receivers increases, the bandwidth requirements on all links of the network of the proposed scheme become more advantageous than those of other conventional methods     

ERCP and CT findings of ectopic drainage of the common bile duct into the duodenal bulb

OBJECTIVE: The purpose of this study was to evaluate ERCP and CT findings of ectopic drainage of the common bile duct into the duodenal bulb. CONCLUSION: Although rare, the diagnosis of ectopic drainage of the common bile duct into the duodenal bulb is important to prevent inadvertent damage during biliary tract or gastric surgery and to clarify the cause of chronic peptic ulcers.     

Phacoemulsification with a bevel-down phaco tip: phaco-drill

We present a technique for in situ lens nucleus emulsification using low phaco power and high vacuum, a continuous curvilinear capsulorhexis, and hydrodelineation. Emulsification is done with the phaco tip slanted down 30 or 45 degrees. Cutting and aspiration do not cause an undesirable energy loss. This technique can be combined with the nuclear chopping or divide and conquer methods because of its ability to drill and hold the nucleus. Posterior capsular rupture is prevented because the separated epinucleus acts as a barrier between the nucleus and the cortex. The low power used minimizes the energy transfer to the corneal endothelium. This technique is particularly useful in eyes with brunescent cataract.     

Interfacial reactions in the squeeze-cast (SAFFIL+C)/SAE 329 Al composite

Interfacial reactions in the squeeze-cast SAE 329 Al alloy reinforced with SAFFIL and carbon fibers were investigated using scanning and transmission electron microscopy and secondary ion mass spectroscopy. The SiO₂ layer added as a binder for the preform of SAFFIL fiber appeared to prevent excessive reaction between the fiber and the molten Al alloy during casting. In the as-cast composite, the reaction between the SiO₂ layer and the Al alloy is considered to produce MgO crystals in the vicinity of SAFFIL fiber. With subsequent heat treatment of the composite to the T6 condition, small crystals of MgO and MgAl₂O₄ were found to form at the surface of SAFFIL fiber as a result of interfacial reaction between the SiO₂ layer and the Al alloy. Even at the T6 condition, significant reactions between the Al alloy and SAFFIL fiber itself were not observed, indicating the effective role of the binder layer in suppressing the degradation of SAFFIL fiber by reaction with the Al alloy.     

HEURISTIC APPROACHES FOR LOADING PROBLEMS IN FLEXIBLE MANUFACTURING SYSTEMS

Flexible manufacturing systems (FMSs) are able to process a wide variety of operations, but the specific mix of operations that can be performed at any point in time depends upon the combination of tools loaded onto the machines. The machines have tool magazines with finite capacities. We consider the problem of assigning operations and their associated tools to machines (or groups of machines) to maximize the throughput for a specified steady-state mix of orders. Since this objective is difficult to deal with directly, we use an intermediate objective of meeting workload targets for each machine group as closely as possible. A certain form of this intermediate objective has been shown to correlate highly with the original objective.

Since it is computationally intractable to find optimal solutions for problems with more than 20 operations, fast heuristic algorithms are developed. These algorithms are adapted from multi-dimensional bin-packing algorithms. Computational results are reported.     

The crystal structure of an Fe-superoxide dismutase from the hyperthermophile Aquifex pyrophilus at 1.9 A resolution: structural basis for thermostability

The incidence of stress fractures is increasing among competitive and recreational athletes as well as among children and the elderly. By understanding the continuum of bone's response to stress and maintaining an appropriate index of suspicion, the health care provider can diagnose these injuries appropriately. An accurate history and examination is essential and will differentiate stress fractures from other stress reactions. The more common stress fractures are discussed.     

Oxygen dependency of retinal adhesion

PURPOSE: Normal retina is firmly attached to the retinal pigment epithelium, but the force of this adhesion drops precipitously within the first 2-3 min after enucleation. The purpose was to study metabolic factors that might be relevant to this postmortem failure of adhesion. METHODS: Dutch rabbit retina was manually peeled from the retinal pigment epithelium on strips of enucleated eyecup within a 37 degrees C bath. Retinal adhesiveness was measured by observing the amount of retinal pigment epithelium that remained adherent to the retina. RESULTS: Autologous whole blood in place of salt solution retarded the decrease in adhesiveness. A solution of hemoglobin alone was similarly effective, whereas methemoglobin solution failed to help the persistence of retinal adhesion. Bubbling oxygen into the salt solution and circulating it to avoid oxygen depletion at the tissue boundary also proved effective at sustaining retinal adhesiveness. Eyes made ischemic in vivo for 5 min or longer, by elevating intraocular pressure, showed virtually no retinal adhesion when enucleated immediately thereafter. However, eyes made ischemic for 10 min, but allowed to regain circulation for 5 min before enucleation, showed a return of retinal adhesiveness to 80% of normal. CONCLUSIONS: Oxidative metabolism is critical to the maintenance of retinal adhesiveness, and the effects of oxygen deprivation on adhesion are reversible within a certain time period.