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.     

Wavelength and repetition rate tunable optical pulse source using a chirped fiber Bragg grating and a nonlinear optical loop mirror

We experimentally demonstrate a simple and novel scheme for tunable real-repetition-rate multiplication, based on the combined use of fractional Talbot effect in a linearly tunable chirped fiber Bragg grating (FBG) and cross-phase modulation (XPM) effect in a nonlinear optical loop mirror (NOLM). By tuning the group-velocity dispersion of the chirped FBG fabricated with the S-bending method using a uniform FBG, we obtain high quality pulses at pseudorepetition rates of 20/spl sim/50 GHz from an original 8.5-ps 10-GHz soliton pulse train. We subsequently convert this pseudorate multiplication into a real-rate multiplication using XPM effect in an NOLM. A wavelength tuning is also achieved over a /spl sim/15-nm range.     

Use and Disuse of Contextual Primes in Dynamic News Environments

This study reexamines the news priming effects of the 1991 Persian Gulf War. Suggesting an alternative approach to those used in previous studies, this study assesses individuals' use and disuse of a contextual prime (i.e., the air war) in dynamic news environments. With a short-term, quasi-experimental approach considering the air war as a prime stimulus, a path analysis suggests robust evidence of the short-term accessibility effects of priming. More importantly, as suggested in Martin's (1986) set/reset model, this study extends priming effects beyond the simple hydraulic patterns of accessibility effects. It reveals that both attitudes toward military action and attitudes toward a diplomatic solution were used in subsequent judgments of the president's job performance and handling of the war. The associations between attitudes toward a diplomatic solution and subsequent judgments were even stronger than those between attitudes toward military action and the same subsequent judgments, despite the clear prowar primes of news discourse in the air-war context. This pattern was more greatly intensified among those in the high news attention group than those in the low news attention group     

Mutational analysis of the three cysteines and active-site aspartic acid 103 of ketosteroid isomerase from Pseudomonas putida biotype B

In order to clarify the roles of three cysteines in ketosteroid isomerase (KSI) from Pseudomonas putida biotype B, each of the cysteine residues has been changed to a serine residue (C69S, C81S, and C97S) by site-directed mutagenesis. All cysteine mutations caused only a slight decrease in the k(cat) value, with no significant change of Km for the substrate. Even modification of the sulfhydryl group with 5,5'-dithiobis(2-nitrobenzoic acid) has almost no effect on enzyme activity. These results demonstrate that none of the cysteines in the KSI from P. putida is critical for catalytic activity, contrary to the previous identification of a cysteine in an active-site-directed photoinactivation study of KSI. Based on the three-dimensional structures of KSIs with and without dienolate intermediate analog equilenin, as determined by X-ray crystallography at high resolution, Asp-103 was found to be located within the range of the hydrogen bond to the equilenin. To assess the role of Asp-103 in catalysis, Asp-103 has been replaced with either asparagine (D103N) or alanine (D103A) by site-directed mutagenesis. For D103A mutant KSI there was a significant decrease in the k(cat) value: the k(cat) of the mutant was 85-fold lower than that of the wild-type enzyme; however, for the D103N mutant, which retained some hydrogen bonding capability, there was a minor decrease in the k(cat) value. These findings support the idea that aspartic acid 103 in the active site is an essential catalytic residue involved in catalysis by hydrogen bonding to the dienolate intermediate.     

Quick construction of efficient morphological operators bycomputational learning

A new technique is introduced to construct generic morphological operators quickly and automatically using input-output pairs of images as training samples. This process can be modelled as generalised PAC (probably approximately correct) learning. A new representation for morphological operators, much more efficient than the traditional one, is also proposed     

Fast DCT algorithm with fewer multiplication stages

A novel fast DCT scheme with reduced multiplication stages and fewer additions and multiplications is proposed. The proposed algorithm is structured so that most multiplications tend to be performed at the final stage, which reduces the propagation error that could occur in the fixed-point computation. Minimisation of the multiplication stages can further decrease the error     

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