Global complete observability and output-to-state stability imply the existence of a globally convergent observer

We consider systems which are globally completely observable and output-to-state stable. The former property guarantees the existence of coordinates such that the dynamics can be expressed in observability form. The latter property guarantees the existence of a state norm observer and therefore the possibility of bounding any continuous state functions. Both properties allow to conceptually build an observer from an approximation of an exponentially attractive invariant manifold in the space of the system state and an output driven dynamic extension. The proposed observer provides convergence to zero of the estimation error within the domain of definition of the solutions. The work of A. Astolfi is partly supported by the Leverhulme Trust.     

Maximally efficient dialogue mode algorithm

Collaboration is more efficient when the most capable participant for each goal has initiative in directing the problem-solving for that goal. The paper describes a method for using a probabilistic analysis to create a mode-switching mechanism that selects which participant should control the collaborative problem solving so that efficiency is maximized.     

小型水电站联网改造应注意的几个问题

针对铜鼓县小水电站联网时存在的问题及其不利影响进行了分析，井提出了改进途径，指出小水电站的联网改造应立足安全，争取效益。     

电子表格EXCEL5.0在选煤线性规划问题中的应用

采用电子表格软件ＥＸＣＥＬ５．０可以方便地解决许多选煤生产中的线性规划问题。本文通过选煤过程线性规划实例介绍ＥＸＣＥＬ５．０在此领域的应用方法。     

The pickup and delivery problem: Faces and branch-and-cut algorithm

This paper formulates the pickup and delivery problem, also known as the dial-a-ride problem, as an integer program. Its polyhedral structure is explored and four classes of valid inequalities developed. The results of a branch-and-cut algorithm based on these constraints are presented.     

一个矢量形式的双圆弧插值算法

本文在分析数控插补最常用的双圆弧插值算法特点的基础上，将以局部坐标系中的三角运算为核心的传统双圆弧插值算法，改造成为以整体坐标系中的线性运算为核心的矢量形式的双圆弧插值算法，从而减少了计算的复杂性和程序的复杂性，提高了效率和可靠性。     

采金船采选工艺流程病症诊治专家系统

应用专家系统理论，建立了采金船采选工艺流程病症诊治专家系统，此系统对于采金船采选工艺流程中存在的技术病症，具有诊断、治理及致因分析等功能．     

红外遥感用低温制冷器的进展

低温制冷器与红外探测器配套，是军事现代化、高新技术等急需发展的关键产品。国内研制技术也已接近国际先进水平，基本掌握了小型化、低振动、长寿命、细方形漆包线制作、间隙密封、消除电磁干扰等相关关键技术。本文列出了已研制过的直线电机谐振压缩机的主要技术性能。希望主管、用户、研制、生产各方通力合作，应用－改进－再应用－再改进，实现我国低温制冷器的产业化。     

An eight‐node hybrid‐stress solid‐shell element for geometric non‐linear analysis of elastic shells

This paper presents eight‐node solid‐shell elements for geometric non‐linear analysis of elastic shells. To subdue shear, trapezoidal and thickness locking, the assumed natural strain method and an ad hoc modified generalized laminate stiffness matrix are employed. A selectively reduced integrated element is formulated with its membrane and bending shear strain components taken to be constant and equal to the ones evaluated at the element centroid. With the generalized stresses arising from the modified generalized laminate stiffness matrix assumed to be independent from the ones obtained from the displacement, an extended Hellinger–Reissner functional can be derived. By choosing the assumed generalized stresses similar to the assumed stresses of a previous solid element, a hybrid‐stress solid‐shell element is formulated. Commonly employed geometric non‐linear homogeneous and laminated shell problems are attempted and our results are close to those of other state‐of‐the‐art elements. Moreover, the hybrid‐stress element converges more readily than the selectively reduced integrated element in all benchmark problems. Copyright © 2002 John Wiley & Sons, Ltd.     

Compile-time copy elimination

Single-assignment and functional languages have value semantics that do not permit side-effects. This lack of side-effects makes automatic detection of parallelism and optimization for data locality in programs much easier. However, the same property poses a challenge in implementing these languages efficiently. This paper describes an optimizing compiler system that solves the key problem of aggregate copy elimination. The methods developed rely exclusively on compile-time algorithms, including interprocedural analysis, that are applied to an intermediate data flow representation. By dividing the problem into update-in-place and build-in-place analysis, a small set of relatively simple techniques—edge substitution, graph pattern matching, substructure sharing and substructure targeting—was found to be very powerful. If combined properly and implemented carefully, the algorithms eliminate unnecessary copy operations to a very high degree. No run-time overhead is imposed on the compiled programs.