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.     

A logical approach to program analysis

This paper describesMicroScope, a framework for developing analysis tools for Lisp programs. MicroScope uses a knowledge-intensive approach for program representation and analysis. The analysis tools share a common object oriented program database, and a common Prolog inference engine. The use of Prolog and a declarative representation for programs permits sharing of information, and provides high bandwidth communication between diverse analysis tools. It also supports program specification and debugging activities in the same framework. Extensions to Prolog to support analysis are described, and two tools, theCritic and theExpector, are presented.This work supported in part by Hewlett-Packard Company, the National Science foundation Under Grant Number MCS81-21750 and the Defense Advanced Research Projects Agency under contract number DAAK11-84-K-0017.     

An experiment for showing some kind of artificial understanding

In this paper we design an experiment which can be depicted as a simple scenario, a very limited 'world'. In this world, there are an actor that can pursue a project and an observer that is keeping its eyes on the actor. We try to show in the experiment that the observer can to some degree understand the actor based on its knowledge and some metaphors, i.e. understand what the actor is doing and why. As the conclusion of this experiment, we try to show some features of 'understanding'. These are (1) that 'understanding' has to be based on some preliminary knowledge; (2) that 'understanding' is a process of incremental learning; (3) that, as for symbolic systems, some metaphors are necessary for mapping real entities into concepts in mind.     

含V、N无缝钢管表面外折缺陷产生原因的分析

通过对鞍钢生产的部分批号V、N微合金强化无缝钢管及生产该钢管的原料连铸坯和连轧管坯的表面缺陷进行研究，分析了含V、N钢管表面外折缺陷的成因，提出了改善钢管表面质量的方法。采用改进后工艺生产的无缝管，其表面外折废品量大幅度降低。     

Study of the nutrient distribution in root tips of the tropical forage Brachiaria

A Brachiaria breeding project is being conducted at CIAT, Colombia to combine acid soil adaptation of B. decumbens with other favourable traits of Brachiaria species that are less adapted to acid soils. Micro-PIXE was applied to investigate nutrient uptake and distribution in root tips of different species grown in hydroponic culture under control and simulated acid soil stress conditions. Different sample measurement approaches were evaluated, including: (1) linear scans with single point measurements along the root axis; (2) mapping of whole root tips; and (3) mapping of root cross sections. Different tissue types could be distinguished on the base of differences in nutrient concentrations and/or Al stress. Al, if supplied under nutrient stress conditions, increased P accumulation in the central vascular tissue of the meristematic and elongation zone of B. decumbens and B. brizantha. Furthermore, a negative correlation was found between Al and Cl accumulation in the root cap of B. decumbens.     

A probabilistic method for the design of power grounding systems

An improved multivariable, probabilistic method for the safety analysis of power grounding systems is presented. The application of this method is demonstrated in four examples. The first three examples illustrate the practical evaluation of one new and two existing substation grounding grids when the substation is connected to an overhead distribution system. The fourth example ascertains the relative impact of a difference between the S curve of IEC Publication 479 and Dalziel's equation for the allowable body current used in ANSI/IEEE Std 80-1986 on the validity of an exposure model based on the requirements of Std 80. In this example, the statistical data on ground faults have been taken from actual system records. Further possible refinements of the exposure model are discussed     

The influence of trigger configurations and laminate lay-up on the failure mode of composite crush cylinders

In this paper the results are presented of a test program on the energy absorption of composite cylinders loaded in compression. The influence of the laminate lay-up and of the trigger configuration were determined. Two different failure modes for the different laminates and triggers were observed: a splaying mode and a fragmentation mode. The splaying mode is more efficient in absorbing energy. The failure mode did not change during the crushing process.     

Exchange and oxidation of CO on O-predosed Rh---Al2O3 and Rh---CeO2 catalysts

Exchange and oxidation of C¹⁶O were investigated at 450°C on ¹⁸O-predosed Rh and Pt catalysts supported on A1₂O₃, CeO₂ and CeO₂-Al₂O₃. In all cases, a rapid exchange of C¹⁶O with the surface can be observed. CO oxidation leads to C¹⁶O₂, C¹⁶O¹⁸O and C¹⁸O₂. Significant formation of C¹⁶O₂ is due to the relatively high ¹⁶O coverage in reaction resulting from the C¹⁶O exchange and from an exchange between O surface species and ¹⁶O internal atoms. Hydrogen is also formed via a water-gas shift reaction (CO + surface OH) in higher proportion on CeO₂-containing catalysts than on A1₂O₃. Chlorine inhibits all the reactions (exchange, oxidation and WGS) and particularly the internal exchange.     

Enhanced electron emission from phosphorus-doped diamond-cladsilicon field emitter arrays

Undoped and phosphorus (P)-doped diamond-clad Si field emitter arrays have been successfully fabricated using microwave plasma chemical vapor deposition (MPCVD) technology. The electron emission from the blunt diamond-clad microtips are much higher than those for the pure Si tips with sharp curvature due to a lower work function. Furthermore, the characteristics of emission current against applied voltage for the P-doped diamond-clad tips show superior emission at lower field to the undoped ones. After the examination of Auger electron spectroscopy (AES) and electrical characteristics of as-grown diamond, such a significant enhancement of the electron emission from the P-doped diamond-clad tips is attributed to a higher electron conductivity and defect densities     

Exact evaluation of laser linewidth requirements for optical PSKhomodyne communication systems with balanced PLL receivers

The power penalty induced by imperfect phase recovery in PSK homodyne communication systems with balanced phase-locked loop receivers are exactly evaluated. Optimum phase deviations between the mark-state and the space-state bits are used in this study. This study for the first time shows the imperfect-phase-recovery-induced power penalty as a function of laser linewidth with optimum phase deviations considered. It can be estimated from the theoretical result that an optimal balanced PLL receiver requires the laser linewidth as Δν⩽1.15×10^-6× (bit rate) in contrast to the previous reported one Δν⩽5.88×10^-6× (bit rate). We also point out here that the previously reported laser linewidth requirement was wrongly estimated