Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

Object data MODEL = object-oriented + semantic models

The term ‘object-oriented database’ has been used to refer to different characteristics and mechanisms supported by semantic databases and (behaviorally) object-oriented ones. While this indicates the current confusion due to the lack of a common model, it also suggests the potential desirability of combining these two kinds of modeling facilities into the same nutshell. This paper summarizes from these two paradigms the features common to both, the features influenced/adopted by each other, and the features which are presented in one paradigm but missing from the other. After a brief analysis and discussion of these features, we conclude this paper by proposing our major theme: a complete object data model should take the union of the facilities offered by these two kinds of models.     

Strain analysis of moving objects using a Fourier transform grid method

There is no good method to measure the shape and the strain distributions of a structure changing with time. We have previously proposed the Fourier transform grid method (FTGM) to measure the three-dimensional shape and surface strain distributions of stationary objects by analysing the two-dimensional grating images recorded with two cameras. In the stereoscopic method, it is very important to determine the accurate geometric parameters of the camera system. In this paper, the positions and the directions of cameras are accurately determined using the FTGM applied to images of a reference object on which a two-dimensional grating is drawn. Applications for analysing shape and strain distributions of vibrating rubber plates and a moving human skin are shown.     

Two Isomers of C60F48: Computed Inter-isomeric Equilibrium

C₆₀F₄₈ has been known to exist in two isomeric forms of D₃ and S₆ symmetries. However, the quantum-chemical calculations have not agreed on their stability order though a near-isoenergetic picture is otherwise always encountered. In order to clarify the situation, the entropy effects are evaluated for synthetic temperatures of about 500K. The entropy evaluations suggest that the D₃ isomer should be more stable in the potential energy by 2.05-2.55 kcal/mol (to which term the ab initio data are closer than the semiempirical ones).     

Prediction of spectral reflectance factor distribution of automotive paint finishes

It is necessary to determine the accurate reflectance of painted surfaces for the review of paint finishes by computer graphics (CG) before actual painting of the exterior color of automobiles, and for quality control during production and inspection processes. We have optimized a method for measuring reflectance by using a statistical technique. We have found that the reflectance of a painted surface is best measured at an incident angle of 60° and at five aspecular angles of 10°, 18°, 28°, 40°, and 90°. Our method makes it possible to accurately reproduce reflection characteristics of paint finishes containing special flake pigments, such as pearl mica. Also it was proved that our method can apply not only to solid and metallic coatings but to all painted surfaces. © 2005 Wiley Periodicals, Inc. Col Res Appl, 30, 275–282, 2005; Published online in Wiley InterScience (www.interscience.wiley.com). DOI 10.1002/col.20125     

A method of estimating the standard gibbs free energy of formation

Standard Gibbs free energy of formation (ΔG_f⁰), an important property needed in design calculations has been estimated using molar refraction, R_M. The linear relationships derived between ΔG_f⁰ and R_M tested with the data on 8 series of hydrocarbons at 228 compounds yielded average deviations comparable to the methods cited in recent literature. The method can be used as an alternative to the existing ones, because of its simplicity combined with reasonable accuracy.     

Constructing Pseudo-Random Permutations with a Prescribed Structure

We show how to construct pseudo-random permutations that satisfy a certain cycle restriction, for example that the permutation be cyclic (consisting of one cycle containing all the elements) or an involution (a self-inverse permutation) with no fixed points. The construction can be based on any (unrestricted) pseudo-random permutation. The resulting permutations are defined succinctly and their evaluation at a given point is efficient. Furthermore, they enjoy a fast forward property, i.e. it is possible to iterate them at a very small cost. Received 10 August 2000 and revised 30 September 2000 Online publication 9 April 2001     

Energy Saving in Industrial Wood Drying Addressed by a Multiscale Computational Model: Board, Stack, and Kiln

This article proposes a multiscale computational model able to calculate energy consumption in a batch lumber kiln. A dual-scale computational model of wood drying deals with the boards/stack interaction and serves as a basis for the present work. A new module was added here that calculates heat losses through kiln walls (convection, condensation) and the energy used by each kiln component (fans, heating elements, humidifier, vacuum pump, etc.). The corresponding mathematical formulation is presented and then theoretical results are compared to those collected in an industrial vacuum kiln. As application example, the effect of air reversal, air velocity, and kiln insulation are exhibited, which depicts the great potential and prospects of this new tool for energy savings in relation to the product quality.     

Dynamics of Crust Formation and Kinetics of Quality Changes During Frying of Meatballs

Mathematical models describing dynamics of crust formation and kinetics of crust color and firmness changes were developed for the deep-fat frying of beef meatballs. Good agreement (R2 ranged between 0.815 and 0.987) was observed between experimental and predicted data. Crust color lightness, redness, and yellowness decreased exponentially with frying time while total color change increased. All color parameters followed first order reaction kinetics. Meatball firmness was measured by peak force obtained from a puncture test whose kinetics model had a reaction rate constant of 5.39E-3 1/(s.N^n-1) and a reaction order of 0.0013.     

Neutron Stress Measurement of W‐Fiber Reinforced Cu Composite

Stress measurement methods using neutron and X‐ray diffraction were examined by comparing the surface stresses with internal stresses in the continuous tungsten‐fiber reinforced copper‐matrix composite. Surface stresses were measured by X‐ray stress measurement with the sin²ψ method. Furthermore, the sin²ψ method and the most common triaxal measurement method using Hooke's equation were employed for internal stress measurement by neutron diffraction. On the other hand, microstress distributions developed by the difference in the thermal expansion coefficients between these two phases were calculated by FEM. The weighted average strains and stresses were compared with the experimental results. The FEM results agreed with the experimental results qualitatively and confirmed the importance of the triaxial stress analysis in the neutron stress measurement.