网格生成方法在APFSDS及弹托干扰流场计算中的应用

介绍APFSDS及弹托干扰流场数值模拟中的网格生成方法及其应用。利用等比数列网格生成技术，三维弧长生成技术以及拼接技术生成计算网格。该方法具有简明、快捷的特点。在临近物面的地方具有较好的贴体性和正交性。在计算脱壳穿甲弹和弹托之间的干扰时，将弹托简化为带圆弧的楔形块，计算结果比较令人满意。     

Basic concept and decentralized autonomous control of super‐distributed energy systems

New small‐scale dispersed generation systems, such as fuel cells and micro gas turbines, have made remarkable advances lately and they will be applied practically in the near future. Although a large number of researches on the introduction of small‐scale dispersed generation systems have been carried out, only a small number of small‐scale dispersed generation systems are considered in these researches. Therefore, little is known about problems to be solved when a large number of small‐scale dispersed generation systems are introduced into electric power systems. This paper deals with a super‐distributed energy system that consists of a great number of dispersed generation systems such as fuel cells, micro gas turbines, and so on. The behavior of a customer with a dispersed generation system is simulated as the Ising model in statistical mechanics. The necessity of a distribution network in super‐distributed energy systems is discussed based on the Ising model. The feasibility of decentralized autonomous control using vicinity information is also investigated on the basis of stability analysis of the Hopfield neural network model. © 2005 Wiley Periodicals, Inc. Electr Eng Jpn, 151(1): 43–55, 2005; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.10368     

Integration of knowledge-based systems with data processing

Transaction Oriented Prolog-Online Environment is a multi-user, mainframe implementation of the logic programming language Prolog, specially designed and developed for the data processing environment. This article describes the background, functionality, implementation and use of TOP-ONE, stressing that applications of knowledge-based systems technology to data processing environments will achieve full success only when existing systems and existing conventional data are incorporated within the applications.     

Development and implementation of a NURBS curve motion interpolator

This paper deals with the issues of development and implementation of a real-time NURBS interpolator for a six-axis robot. Using an open-architecture controller system as a testbed, a real-time NURBS curve interpolator was developed, implemented and tested. Sample runs were conducted with the resulting trajectories measured in real-time during robot motion. The resulting trajectories are analyzed, discussed and compared with those from a commonly used point-to-point approximation technique. The real-time NURBS curve interpolator's feasibility, advantages and related issues are also discussed.     

A translator system for the MATLAB language

A whole‐program MATLAB to C translation system is presented. The paper outlines the motivation for the problem, discusses the system's architecture, its features and limitations. The translator's operation is explained using an example input program. Details are given on how the system implements and specializes some of the language's built‐in primitives. Finally, the paper reports measurements evaluating the execution time and memory usage of the translated sources, and the compilation time required for the translations. Copyright © 2006 John Wiley & Sons, Ltd.     

新型后坐加速度开关阵列传感器

分析了国外后坐加速度传感器发展动向。介绍了新型后坐加速度开关阵列传感器的结构、原理、参数选择和性能设计。给出了原理性静态、动态试验结果，以证明新方案的可行性。最后指出了这种新型结构的传感器所具有的特点。     

Action semantics-directed prototyping

We present a methodology for compiler synthesis based on Mosses-Watt's action semantics. Each action in action semantics notation is assigned specific “analysis functions”, such as a typing function and a binding-time function. When a language is given an action semantics, the typing and binding-time functions for the individual actions compose into typing and binding-time analyses for the language; these are implemented as the type checker and static semantics processor, respectively, in the synthesized compiler. Other analyses can be similarly formalized and implemented. We show a sample language semantics and its synthesized compiler, and we describe the compiler synthesizer that we have developed.     

A calibration method for the energy-integrating function in photovoltaic system monitoring

Solar radiation has an irregularly varying factor due to a basic day and night cycle and climatic conditions. For such conditions a data sampling interval is important to ensure the accuracy of energy monitoring in a photovoltaic system. While treating a system monitoring equipment as a black box. the author has developed the method of calibrating an energy-integrating function. At first for various input waveforms, the relationship between sampling intervals and quasi-integration outputs have been examined by trapezoidal rule. In the numerical simulation the phases of the sampling clock also are considered Then it is concluded that a sampling interval can be inspected through outside observation only by using a rectangular single pulse. By applying the pulse to the energy-integrating process, two kinds of integrated outputs can be obtained for different sampling phases. The calculated difference between both outputs can uniquely give the sampling interval being inspected. Conditions to ensure measuring accuracy are discussed and the validity of this method has been demonstrated experimentally. Practical calibrating procedures also are proposed for the integrating function of PV system monitoring.     

A singular loop transformation framework based on non-singular matrices

In this paper, we discuss a loop transformation framework that is based on integer non-singular matrices. The transformations included in this framework are called Λ-transformations and include permutation, skewing and reversal, as well as a transformation calledloop scaling. This framework is more general than existing ones; however, it is also more difficult to generate code in our framework. This paper shows how integer lattice theory can be used to generate efficient code. An added advantage of our framework over existing ones is that there is a simple completion algorithm which, given a partial transformation matrix, produces a full transformation matrix that satisfies all dependences. This completion procedure has applications in parallelization and in the generation of code for NUMA machines. This work was supported by the Cornell Theory Center, NSF Presidential Young Investigator award #CCR-8958543. by NSF Grant #CCR-9008526, and by a grant from the Hewlett-Packard Company.