一种自动布线方法：多级线探索法

本文介绍了一种在微机上实现的印制板自动布线方法──多级线探索法及其编程方法。这种方法是基于完备布线算法的概念，通过分析李氏算法和传统线探索法的不足之处而得到的。虽然它也是一种线探索法，但有较传统线探索法更强的探索能力，不需要结合李氏算法而能单独完成布线任务，是一种较理想的算法，通过实验获得了较为满意的效果。     

Synthesizing plans that contain actions with context-dependent effects1

This paper presents a method of solving planning problems that involve actions whose effects change according to the situations in which they are performed. The approach is an extension of the conventional planning methodology in which plans are constructed through an iterative process of scanning for goals that are not yet satisfied, inserting actions to achieve them, and introducing subgoals to these actions. This methodology was originally developed under the assumption that one would be dealing exclusively with actions that produce the same effects in every situation. The extension involves introducing additional subgoals to actions above and beyond the preconditions of execution normally introduced. These additional subgoals, called secondary preconditions, ensure that the actions are performed in contexts conducive to producing the effects we desire. This paper defines and analyzes secondary preconditions from a mathematically rigorous standpoint and demonstrates how they can be derived from regression operators.     

Casual reasoning in planning1

Reasoning about actions necessarily involves tracking the truth of assertions about the world over time. The SIPE planning system retains the efficiency of the STRIPS assumption for this while enhancing expressive power by allowing the specification of a causl theory. Separation of knowledge about causality from knowledge about actions relieves operators of much of their representational burden and allows them to be applicable in a wide range of contexts. The implementation of causal theories is described, together with examples and evaluations of the system's expressive power and efficiency.     

On the design of multiple key hashing files for concurrent orthogonal range retrieval between two disks

This paper concerns the following problem: given a set of multi-attribute records, a fixed number of buckets and a two-disk system, arrange the records into the buckets and then store the buckets between the disks in such a way that, over all possible orthogonal range queries (ORQs), the disk access concurrency is maximized. We shall adopt the multiple key hashing (MKH) method for arranging records into buckets and use the disk modulo (DM) allocation method for storing buckets onto disks. Since the DM allocation method has been shown to be superior to any other allocation methods for allocating an MKH file onto a two-disk system for answering ORQs, the real issue is knowing how to determine an optimal way for organizing the records into buckets based upon the MKH concept.

A performance formula that can be used to evaluate the average response time, over all possible ORQs, of an MKH file in a two-disk system using the DM allocation method is first presented. Based upon this formula, it is shown that our design problem is related to a notoriously difficult problem, namely the Prime Number Problem. Then a performance lower bound and an efficient algorithm for designing optimal MKH files in certain cases are presented. It is pointed out that in some cases the optimal MKH file for ORQs in a two-disk system using the DM allocation method is identical to the optimal MKH file for ORQs in a single-disk system and the optimal average response time in a two-disk system is slightly greater than one half of that in a single-disk system.     

Application of boundary element method to 3-D problems of coupled thermoelasticity

This paper deals with a new boundary element method for analysis of the quasistatic problems in coupled thermoelasticity. Through some mathematical manipulation of the Navier equation in elasticity, the heat conduction equation is transformed into a simpler form, similar to the uncoupled-type equation with the modified thermal conductivity which shows the coupling effects. This procedure enables us to treat the coupled thermoelastic problems as an uncoupled one, A few examples are computed by the proposed BEM, and the results obtained are compared with the analytical ones available in the literature, whereby the accuracy and versatility of the proposed method are demonstrated.     

龙潭拱坝砼上坝运输方案选择

龙潭拱坝坝高９０ｍ，砼上坝运输是砼施工过程中的中间环节，控制进度的关键，必须因时因地制宜地选择适当的运输机械和运输方案，使砼运输能做到保质、保量、及时和经济，通过论证比较，结合本工程现实情况，砼上坝运输不采用缆机而采用门机方案．     

A simplified cascade current‐source inverter interconnected to a single‐phase three‐wire distribution system and its application to electric energy storage systems with batteries

A novel current source inverter system interconnected to the single‐phase grid is proposed. It has the same construction as the conventional three‐phase current source inverter that is interconnected to the single‐phase three‐wire distribution system. Though the proposed circuit has no output transformer, it can be equivalently performed as the single‐phase double cascade inverter by diverting the pole transformer in the utility system. By controlling the appropriate scheme, the output currents can be obtained as the five‐level waveforms and their distortions can be decreased sufficiently. It is applied to the interactive electric energy storage system with batteries and the basic discharging characteristics are discussed experimentally. © 2004 Wiley Periodicals, Inc. Electr Eng Jpn, 150(2): 50–61, 2005; Published online in Wiley InterScience ( www.interscience.wiley.com ). DOI 10.1002/eej.10380     

有关H－Ⅱ运载火箭的动力学课题研究

重点介绍有关Ｈ—Ⅱ运载火箭（以下简称Ｈ—Ⅱ）的一些动力学课题的研究状况。其中，重要的动力学课题有全箭振动、ＰＯＧＯ、防液体晃动、分离动力学试验、动力学环境试验等。针对这些动力学课题，日本有关部门已研究多年，既作了充分的地面试验，又进行了有效的工程应用研究，最终保证了Ｈ—Ⅱ的首次飞行成功。     

Security concepts for the dynamics of autonomous vehicle networks

The secure operation of autonomous vehicle networks in the presence of adversarial observation is examined, in the context of a canonical double-integrator-network (DIN) model. Specifically, we study the ability of a sentient adversary to estimate the full network’s state, from noisy local measurements of vehicle motions. Algebraic, spectral, and graphical characterizations are provided, which indicate the critical role of the inter-vehicle communication topology and control scheme in achieving security.