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.     

烧结处理小矿山精矿的应用研究

研究小矿山精矿的性质，分析小矿山精矿对烧结过程的影响，提出了增加小矿山精矿配入量的途径及方法．     

The Difference in Turbulent Diffusion between the Active and Passive Scalars in a Thermally Stably Stratified Medium

The difference in the turbulent diffusion between the active (heat) and passive (mass) scalars in a thermally stably stratified medium is investigated. The axisymmetric problem is treated on the formation of a turbulent circulation flow above a heated disk and on the turbulent diffusion of a passive scalar (impurity) from a continuous surface source in a stably stratified medium. The results indicate that the thermal stratification causes appreciable differences in the coefficients of turbulent transfer between the active (heat) and passive (mass) scalars. This means that the assumption of the identity of the coefficient of turbulent diffusion of heat and mass, employed in conventional models of turbulence, produces significant errors in estimating the heat and mass transfer in a thermally stably stratified medium.     

An analysis of shielding against DC magnetic fields generated by electric railways. Evaluation of effective permeability of fine structure

This paper describes an effective analysis of magnetic shielding based on homogenization. The analyses become time‐consuming if the problems include the magnetic substances having fine structure. The homogenization of the structure makes it possible to analyze effectively the magnetic fields. The authors introduce a method to estimate the effective permeability of the homogenized substance. This method can be applied to any periodic structure made of magnetic substance. The magnetic shielding effects by the structures against direct‐current (DC) fields generated by electric railways are analyzed by using the present method. As a result, it is found that the overhead way and the protective fence near the railway work as a magnetic shield, whose effects can be improved by appropriate arrangement of those constructions. © 2007 Wiley Periodicals, Inc. Electr Eng Jpn, 160(4): 7–15, 2007; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.20310     

JETS,PLUMES AND BUOYANT JETS IN STATIC ENVIRONMENT

Turbulence represents an essential aspect in atmospheric and oceanic circulations.In particu-lar,it is a preponderant factor in the dispersion of pollutants of artificial or natural origin.Thevertical turbulent jets,plumes and buoyant jets discharging into static environment is one of themost important and basic flow patterns related with the environment pollution.These flows havenumerous important applications,for example,thrust augmentors,waste disposal plumes fromstacks and combustion systems,and significant problems of turbulent diffusion.     

ETR Ⅱ-30调速器液压控制系统

ETRⅠ-30调速器是瑞士爱舍维斯工厂生产的具有PID调节规律的电液调速器。本文对其液压控制系统作了较详细的介绍,供有关人员参考。     

Analysis of brushless three-phase synchronous generator without exciter

Recently, a demand for small-capacity generators has been increasing as electric sources in small ships and automobiles or as portable electric sources driven by engines. It is desired that the structure of small-capacity generators be simple and robust, and that the generators be highly reliable, easily maintained and controlled. This paper describes an analysis of the original brushless synchronous generator without exciter. The output voltage can be adjusted in the wide range by controlling the stator dc current. To analyze the characteristics of this generator, the finite element method is applied. It is found that the results of theoretical analysis agree well with the experimental results.     

Synthesis and characterization of poly(ethylene aspartate)-metal complexes

Poly(ethylene aspartate) [PEA] was synthesized by the melt condensation of D,L-aspartic acid and ethylene glycol. PEA containing pendent amino and carbonyl groups in its repeating chain was used as the polymeric ligand for complexation with transition metal ions, viz. Co(II), Ni(II), Cu(II), Mn(II), Zn(II), Cd(II), Ca(II), Mg(II), Pb(II) and Hg(II). Complexation was found to be most effective in DMSO. The resulting polyester-metal complexes were solid coloured materials which have been characterized by IR spectroscopy, elemental analysis and magnetic susceptibility measurements. The thermal stability of the polyester-metal complexes was investigated by thermogravimetric analysis (TGA). On the basis of the physico-chemical studies, an oxygen and nitrogen coordinated structure for the polyester-metal complexes is proposed.     

On basic definitions of unified fracture mechanics terminology

The adoption of unified fracture mechanics terminology (UFMT) will promote efficient communication between specialists in different fields of fracture research, harmonization of national and international standards relating to fracture mechanics, and last but not least improvement of the existing methodology for teaching and education in fatigue and fracture. In this paper the definitions of some basic and related terms included in different standards on fracture mechanics terminology are confronted with one another. Alternative definitions of the same terms are offered. By this strategy the author tries to show that the definitions of basic and related terms appropriate for the UFMT should emerge as a consequence of harmonizing a crack model with an actual crack and then both taken together with a fracture model, laboratory test methods, and failure assessment codes.Published in Problemy Prochonsti, No. 1, pp. 17–29, January, 1996.This paper is published as a matter of discussion.     

Reliability and performance analysis of time – space – time switching networks with multiple separated space switches

Since electronic switching systems usually require very strict reliability requirements as well as good performance objectives, we need to jointly analyse the performance and reliability of switching systems. In this paper, we compare conventional time–space–time switches with single space switches with those with multiple separated space switches, from the viewpoints of reliability and performance. We consider time–space–time switching networks which consist of N incoming time switches, i.e. one NxN space switch, two (N/2)x(N/2) space switches, and four (N/4)x(N/4) space switches. We introduce a Markov reliability model to study the effect of failures and analyse the reliability and performance of three different types of switching networks in terms of average blocking probability and the mean time to unreliable operation, as we vary the offered traffic. As a result, T–S–T switching networks with multiple separated space switches exhibit better performance and reliability than those with single space switches.