Constant thrust programming for a multistage rocket flown in vacuum with a given initial/final thrust-to-weight ratio in an arbitrary stage

The burn time and burnout velocity of a multistage rocket flown vertically in vacuum with constant thrust tangential to the flight path and a prescribed initial/final thrust-to-weight ratio in an arbitrary stage have been determined. The present paper also deals with optimal staging under given conditions of flight.     

千米桥东潜山天然气地球化学特征及成因探索

通过地化分析，结合地质条件等，对千米桥东潜山天然气地球化学特征进行了剖析，并对其气藏的形成进行了探索，结果认为：千米桥东潜山天然气为无机二氧化碳、偏腐殖型有机气，腐泥型有机气的复合气，主源为东部歧口凹陷沿岩带深层（偏）腐殖型气，烃类气体聚集时间晚，为更新世明化镇沉积时其，而无机二氧化碳聚集时间早于烃类气体；与千米桥凝析气藏不同的是该气藏CO2含量高。     

液压集成块校核软件的编制和应用

本文叙述了液压集成块校核软件的编制思想和方法，并重点介绍了编制过程中所使用的相关技术，同时给出部分源程序。     

用面向对象方法建立人事信息系统

应用先进的面向对象设计方法开发了技术中心人事信息系统，采用E－R数据库建立了数据库逻辑模型，通过VFP语言设计了友好直观的用户使用界面。实践表明，新开发的人事信息系统速度快、容量大，操作性强，对实现信息管理标准化，尤其是人力资源的动态管理和科学决策具有很强的实用性。     

Wavefront reduction using graphs,neural networks and genetic algorithm

This paper presents an algorithm for nodal numbering in order to obtain a small wavefront. Element clique graphs are employed as the mathematical models of finite element meshes. A priority function containing five vectors is used, which can be viewed as a generalization of Sloan's function. These vectors represent different connectivity properties of the graph models. Unlike Sloan's algorithm, which uses two fixed coefficients, here, five coefficients are employed, based on an evaluation by artificial neural networks. The networks weights are obtained using a simple genetic algorithm. Examples are included to illustrate the performance of the present hybrid method. Copyright © 2004 John Wiley & Sons, Ltd.     

中子测井仪刻度管理系统

介绍了补偿中子测井仪刻度的基本原理及在Windows98平台下利用Borland C Builder5.0^[1]编程环境开发的中子测井仪刻度管理软件，实现了对中子测井仪的刻度管理，列举了应用实例。     

A novel MINLP-based representation of the original complex model for predicting gasoline emissions

The Environmental Protection Agency (EPA) introduced Reformulated Gasoline (RFG) requirements as a measure to reduce emissions from gasoline-powered vehicles in certain geographic areas. As part of this effort, the EPA developed empirical models for predicting emissions as a function of gasoline properties and established statutory baseline emissions from a representative set of gasolines. All reformulated gasoline requires certification via this model, known as the Complex Model, and all refiners and importers calculate emissions performance reductions from the statutory baseline gasoline. The current representation of the Complex Model is extremely difficult to implement within refinery operations models or to use in combination with models for designer gasoline. RFG and boutique fuels are key driving forces in the North American refining industry.The RFG models introduce increasingly complex constraints with the major limitation that they are implicitly defined through a series of complicated disjunctions assembled by the EPA in the form of spreadsheets. This implicit and cumbersome representation of the emissions predictive models renders rigorous optimization and sensitivity analysis very difficult to address directly. In this paper, we discuss how the federal government requirements for reformulated gasoline can be restated as a set of mixed-integer nonlinear programming (MINLP) constraints with the aid of disjunctive programming techniques. We illustrate the use of this model with two simple example fuel blending problems.     

Playing with Maude

This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.     

Controlled linear system with delayed relay output under impulse random disturbances

The paper is devoted to the first order delayed linear system with relay output controlled by the proportional-integral (PI) regulator. The deterministic system exhibits stable oscillations, and, since the system itself is stable, it can be suitable to switch off the controller if there are no disturbances during a long time interval. In the present work, the random disturbances are modelled by a Poisson stream of impulses, and the goal is to determine the instants of switching on (off) of the PI controller. After several assumptions and quantization of the time axis, we construct the new optimal control problem which is successfully solved with the help of the dynamic programming approach.