GLU♮ embedded in C++: a marriage between multidimensional and object‐oriented programming

The embedding of a small but expressive language of multidimensional functional programming in a well known and widely used language of object‐oriented programming leads to the combination of two radically different programming models. In this paper, we formally define the syntax and semantics of GLU^?, which can be thought of as the multidimensional core of Lucid and GLU, and we describe its implementation as a language embedded in C++. With the aid of a few examples, we argue that the marriage of the two programming models is not only compatible and natural, but also that it produces a new and interesting hybrid language. Copyright © 2004 John Wiley & Sons, Ltd.     

Calculation of the Thermodynamic Properties of Diatomic Substances Based on the Ornstein-Zernike Equation

The new method of calculation of intermolecular distribution functions is used to calculate various thermodynamic properties of diatomic substances (oxygen, nitrogen, ethane). Good agreement is demonstrated between the calculation and experimental data.     

The Transport Properties of Hot Electrons in a Xenon/Methane Mixture

The results are given of numerical solution of the Boltzmann equation in a binomial approximation in view of elastic and inelastic electron collisions in Xe+CH₄ mixtures and in pure methane. The electron energy distribution functions obtained are used to calculate the electron transport coefficients for E/N values of up to several Townsends, i.e., the drift velocity, mobility, average and characteristic energies, diffusion coefficient. The results of calculation for pure methane fit the available experimental data. A similarity rule is found for the electron transport coefficients in a Xe+CH₄ mixture with different concentrations of methane molecules, which enables one to determine the values of transport coefficients in a mixture with a minor (less than 30 percents) methane content.     

Position synchronization of multiple motion axes with adaptive coupling control

A new control approach to position synchronization of multiple motion axes is developed, by incorporating cross-coupling technology into adaptive control architecture. The control strategy is to stabilize position tracking of each axis while synchronizing its motion with other axes’ motions so that differential position errors amongst axes converge to zero. The proposed adaptive controller and parameter estimator employ coupling control by feeding back position errors and differential position errors, and have been realized to guarantee asymptotic convergence to zero of both position and synchronization errors. Simulations conducted on a multi-axis motion control system demonstrate the effectiveness of the method.     

高能多脉冲超正压射孔技术

高能多脉冲超正压射孔技术是一项利用高能燃料的燃烧在目的层产生压力的超正压射孔或增产新技术。主要介绍了该技术的基本原理和装置的结构设计，并给出了该技术在国内一些油田的应用实例。实例说明，该技术是一项非常好的完井或增产新技术。     

Generation and selection of likely interpretations during plan recognition in task-oriented consultation systems

This paper presents a mechanism which infers a user's plans from his/her utterances by directing the inference process towards the more likely interpretations of a speaker's statements among many possible interpretations. Our mechanism uses Bayesian theory of probability to assess the likelihood of an interpretation, and it complements this assessment by taking into consideration two aspects of an interpretation: its coherence and its information content. The coherence of an interpretation is determined by the relationships between the different statements in the discourse. The information content of an interpretation is a measure of how well defined the interpretation is in terms of the actions to be performed on the basis of this interpretation. This measure is used to guide the inference process towards interpretations with higher information content. The information content of an interpretation depends on the specificity and the certainty of the inferences in it, where the certainty of an inference depends on the knowledge on which the inference is based. Our mechanism has been developed for use in task-oriented consultation systems. The particular domain that we have chosen for exploration is that of travel booking.     

Stochastic nonlinear stabilization — II: Inverse optimality

After considering the stabilization of a specific class of stochastic nonlinear systems in a companion paper, in this second part, we address the classical question of when is a stabilizing (in probability) controller optimal and show that for every system with a stochastic control Lyapunov function it is possible to construct a controller which is optimal with respect to a meaningful cost functional. Then we return to the problem from Part I and design an optimal backstepping controller whose cost functional includes penalty on control effort and which has an infinite gain margin.     

Automatic generation of IDEF0 models

This paper looks into a new area for knowledge-based system application, that of manufacturing modelling. Manual generation of IDEF0 models of manufacturing systems is time-consuming and inconsistent. However, the process can be automated to improve timeliness and consistency. In this paper, a knowledge-based manufacturing modelling system for the automatic generation of IDEF0 models is proposed. The system will not only greatly reduce the IDEF0 modelling time but will also eliminate the inconsistency problem of conventional IDEF0 modelling systems. The paper explains the knowledge-based approach and identifies the kinds of domain knowledge that are required for the construction of the knowledge-based manufacturing modelling system.     

A review of robust design methods for multiple responses

Problems in engineering design often involve determining design variable settings to optimize individual product performance for multiple criteria, which are often in conflict. We review mathematically rigorous techniques from the statistical literature for finding a vector x of design variable settings, which produces an optimal compromise solution among a group of prioritized response variables. The best compromise solution is typically gained by optimizing an objective function, which incorporates the prioritized demands of multiple responses. Since most multi-response objective functions are constructed by combining the functions used to optimize univariate responses, a review of the prominent univariate approaches is presented first. A multivariate approach from the engineering literature called the compromise Decision Support Problem is also reviewed. Finally a table comparing the relative merits of the different multivariate approaches summarizes the article in a concise and user-friendly fashion.