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.     

示例学习的扩张矩阵理论

本文提出示例学习的一种计算理论,扩张矩阵论.根据这个理论,示例学习中一些主要最优化问题被证明是NP难题,并给出这些难题的近似解法及下界的估计.     

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.     

边梁效应的数值模拟

应用Fourier级数方法分析了具有边梁加固的板的弯曲问题，获得了Levy型的准确解，并利用该解模拟了边梁的效应，给出了板的挠度、糨矩及剪力等受边梁刚度影响的数值结果。结果表明：（1）忽略边梁的抗扭能力将导致显著的误差;(2)边梁的抗弯、抗扭性能应综合考虑，而不应作为两个相互独立的因素，否则将会出现板的挠度、内力等随边梁刚度的增大而增大的不合理现象。     

轴对称空间问题的塑性解法

本文从理想材料轴对称弹塑性问题的所有基本方程出发,研究了全塑性时轴对称空间问题的塑性应变分布规律和应力场,并推导了控制应力分布的定解方程,给出了全塑性轴对称问题的通用解法。     

Material constant sensitivity boundary integral equation for anisotropic solids

In this paper, the material constant sensitivity boundary integral equation is presented, and its numerical solution proposed, based on boundary element techniques. The formulation deals with plane problems with general rectilinear anisotropy. Expressions for the computation of sensitivities for displacements, tractions, strains and stresses are derived, both for boundary and interior points. The sensitivities can be computed with respect to the bulk material properties or to the properties of part of the domain (inclusions, coatings, etc.). To assess the accuracy of the proposed approach, the computed results are compared to analytical ones derived from exact solutions obtained by complex potential theory, when possible, or finite difference derivatives otherwise. Copyright © 2005 John Wiley & Sons, Ltd.     

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.     

数字振荡器的实现原理与仿真编程

鉴于数字信号处理中的实时应用问题，探讨了数字滤波器的实时实现原理，包括离散时间网络结构的作用和离散时间信号处理的特点，重点介绍了实时应用中实现数字滤波器的基本思想，运用MATLAB和所导出的通用数字振荡器的系统函数对一个非正弦数字振荡器进行了仿真编程，还讨论了有关实时处理的几个重要的系统性质，表达了作者对于当前学习和应用数字信号处理方法的观点。     

建立实施职业健康安全管理体系迎接入世挑战

建立和实施职业健康安全管理体系 (OHSMS) ,改善职工健康状况 ,改善劳动条件已成为刻不容缓的任务。介绍了柳钢职业健康安全管理体系的建立和实施情况 ,并提出了建立文化OHSMS和QMS整合型管理体系的设想及建立整合型管理体系应注意的问题。