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.     

The implementation of TS MAC (transmitter station monitor, alarmand control) system for digital DBS system

The implementation of TS MAC system for KOREASAT DBS (direct broadcast satellite) system is presented. This TS MAC controls and monitors the status of the TS equipment and gathers the alarm for them. The advantage of this system is the center-concentrated, real time processing, remote control, and object oriented module decomposing     

Effect of the pressure drop rate on cell nucleation in continuous processing of microcellular polymers

Microllular plastics are cellular polymers characterized by cell densities greater than 10⁹ cells/cm³ and cells smaller than 10 μm. One of the critical steps in the continuous production of microcellular plastics is the promotion of high cell nucleation rates in a flowing polymer matrix. These high nucleation rates can be achieved by first forming a polymer/gas solution followed by rapidly decreasing the solubility of gas in the polymer. Since, in the processing range of interest, the gas solubility in the polymer decreases as the pressure decreases, a rapid pressure drop element, consisting of a nozzle, has been employed as a continuous microcellular nucleation device. In this paper, the effects of the pressure drop rate on the nucleation of cells and the cell density are discussed. The experimental results indicate that both the magnitude and the cell density are discussed. The experimental results indicate that both the magnitude and the rate of pressure drop play a strong role in microcellular processing. The pressure phenomenon affects the thermodynamic instability induced in the polymer/gas solution and the competition between cell nucleation and growth.     

Characterization of the cavity nucleation factor for life prediction under creep-fatigue interaction

It is understood that grain boundary cavitation is one of the detrimental processes for the degradation of materials that reduces the creep-fatigue life at high temperatures. In a previous investigation, a model for life prediction under creep-fatigue conditions was proposed in terms of cavity nucleation and growth. In that model, the cavity nucleation factor (P) was introduced to correlate between the number of cavities and the plastic strain range from which athermal vacancies are generated. It was considered to be a material specific constant which was independent of the experimental conditions. However, in this study, it is found that the cavity nucleation factor is a function of the plastic strain range but is independent of the testing temperature at near 0.5 T _m. In the light of this dependency, a new cavity nucleation factor (P'), is introduced. Using this new cavity nucleation factor (P'), a modified equation for life prediction is proposed, and it is shown that there is good agreement between predicted and experimental lives. Additionally, an interesting approach has been made to find the physical meaning of the new cavity nucleation factor (P'). According to this study, it is suggested that the new cavity nucleation factor, which is regarded as a material specific constant, is found to be strongly related to the density of the grain boundary precipitates with a linear relationship existing between them.     

Enhanced direct stiffness method for finite element analysis of textile composites

Traditional homogenization techniques are not useful when the microstructural scale of a material is of the same order of magnitude as the structural scale of a component. Such is the case for many textile composites. Since discrete modeling of the microstructure throughout a component is prohibitively expensive, continuum finite elements are needed which account for the microstructure within a single element. This paper describes a simple substructuring technique for formulating these special elements.     

Serum amyloid P component scintigraphy and turnover studies for diagnosis and quantitative monitoring of AA amyloidosis in juvenile rheumatoid arthritis

OBJECTIVE: To evaluate aspects of the natural history of AA amyloidosis complicating juvenile rheumatoid arthritis (JRA), and its response to therapy with chlorambucil. METHODS: Scintigraphy and 7-day turnover studies were performed in JRA patients with histologically proven (n = 35) or clinically suspected (n = 30) AA amyloidosis, following intravenous injection of 123I and 125I-labeled serum amyloid P component (SAP). Prospective monitoring studies were performed over 2-3 years in 20 patients with amyloidosis. All but 2 amyloidosis patients were treated with chlorambucil. RESULTS: Positive scanning results were obtained in all patients in whom imaging was performed within 12 years of positive biopsy findings of amyloid and in 5 patients with clinically suspected amyloidosis. Negative scanning results with normal SAP metabolism, indicating regression of amyloid, were obtained in 4 patients whose amyloidosis had been in full clinical remission for more than 12 years. Prospective monitoring studies in patients whose JRA-associated inflammatory activity was in remission demonstrated regression of amyloid in 8 patients and no substantial changes in 8 others; however, in 4 further patients with active inflammation, there was accumulation of amyloid. There was a very poor correlation between the amount of amyloid present at a particular site and the resultant organ dysfunction. CONCLUSION: Radiolabeled SAP scintigraphy and turnover studies are useful complementary tools in the diagnosis, screening, and quantitative monitoring of type AA amyloidosis in JRA. The amyloid deposits may progress and/or regress at different rates in different anatomic sites over short periods.     

On the selective counting of third-order products

A practical and efficient method is presented for the counting of third-order products generated by an arbitrary number of carriers with arbitrary power spectral shapes. In particular, three selective counting procedures (i.e. sorting by position, sorting by position and group, and sorting by position, group, and kind) are introduced in a systemic way, based upon a discrete third-order Volterra model. The advantage of the counting algorithm is that (1) the algorithm provides the exact counting of third-order products of all eleven possible groups; (2) the counting process requires only two multiplications for the selective counting of third-order products at each position, and the algorithm, which is thus efficient, can be easily implemented     

Essential contribution of caspase 3/CPP32 to apoptosis and its associated nuclear changes

Caspases are fundamental components of the mammalian apoptotic machinery, but the precise contribution of individual caspases is controversial. CPP32 (caspase 3) is a prototypical caspase that becomes activated during apoptosis. In this study, we took a comprehensive approach to examining the role of CPP32 in apoptosis using mice, embryonic stem (ES) cells, and mouse embryonic fibroblasts (MEFs) deficient for CPP32. CPP32(ex3-/-) mice have reduced viability and, consistent with an earlier report, display defective neuronal apoptosis and neurological defects. Inactivation of CPP32 dramatically reduces apoptosis in diverse settings, including activation-induced cell death (AICD) of peripheral T cells, as well as chemotherapy-induced apoptosis of oncogenically transformed CPP32(-/-) MEFs. As well, the requirement for CPP32 can be remarkably stimulus-dependent: In ES cells, CPP32 is necessary for efficient apoptosis following UV- but not gamma-irradiation. Conversely, the same stimulus can show a tissue-specific dependence on CPP32: Hence, TNFalpha treatment induces normal levels of apoptosis in CPP32 deficient thymocytes, but defective apoptosis in oncogenically transformed MEFs. Finally, in some settings, CPP32 is required for certain apoptotic events but not others: Select CPP32(ex3-/-) cell types undergoing cell death are incapable of chromatin condensation and DNA degradation, but display other hallmarks of apoptosis. Together, these results indicate that CPP32 is an essential component in apoptotic events that is remarkably system- and stimulus-dependent. Consequently, drugs that inhibit CPP32 may preferentially disrupt specific forms of cell death.     

Rheological properties of polypropylene modified by high‐intensity ultrasonic waves

A new method using high‐intensity ultrasonic waves, instead of peroxide‐aided reactive extrusion, was applied to modify a linear polypropylene into a branched structure. The ultrasonic waves induced chain scission and created reactive macromolecules of polypropylene successfully in the melt state without any peroxide. To enhance and control the recombination reaction during sonication, a multifunctional agent and an antioxidant were used. The rheological property measurements clearly confirmed that the modified polypropylene had a nonlinear branched structure. It showed shear‐thinning behaviors in its viscosities at low frequencies, high elastic behaviors in Cole–Cole plots, and a high rheological polydispersity index in comparison with a linear polypropylene. The degradation or recombination of polypropylene was adequately controlled by an antioxidant, which stabilized the structure during sonication. Also, the use of an antioxidant was quite effective in improving the extrusion processability by delaying the instability of the extrudate to a higher shear rate. © 2005 Wiley Periodicals, Inc. J Appl Polym Sci, 2006