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

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

螺栓角钢钢节点的三维非线性有限元分析

对螺栓角钢钢节点半刚性连接采用非线性有限元分析方法 ,对连接中的主要构件的顶部、底部、腹板角钢、高强螺栓、梁翼缘、柱翼缘和柱翼缘加劲肋进行三维非线性有限元精细模拟 ,针对有无柱加劲肋、有无腹板角钢等几种连接的情况进行比较分析 ,探讨了螺栓角钢半刚性连接的受力性能。     

Observer design for autonomous discrete-time nonlinear systems

We obtain a necessary and sufficient condition for a discrete-time nonlinear system to be locally state equivalent to the nonlinear observer form. The result looks similar to the continuous counterpart except for the fact that Ad-operation is utilized instead of ad-operation.     

Passivity‐based sliding mode control for nonlinear systems

Passivity with sliding mode control for a class of nonlinear systems with and without unknown parameters is considered in this paper. In fact, a method for deriving a nonlinear system with external disturbances to a passive system is considered. Then a passive sliding mode control is designed corresponding to a given storage function. The passivity property guarantees the system stability while sliding mode control techniques assures the robustness of the proposed controller. When the system includes unknown parameters, an appropriate updated law is obtained so that the new transformed system is passive. The passivation property of linear systems with sliding mode is also analysed. The linear and nonlinear theories are applied to a simple pendulum model and the gravity‐flow/pipeline system, respectively. Copyright © 2008 John Wiley & Sons, Ltd.     

中子测井仪刻度管理系统

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

Control of discrete time nonlinear systems with a time-varying structure

In this paper, we present a control methodology for a class of discrete time nonlinear systems that depend on a possibly exogenous scheduling variable. This class of systems consists of an interpolation of nonlinear dynamic equations in strict feedback form, and it may represent systems with a time-varying nonlinear structure. Moreover, this class of systems is able to represent some cases of gain scheduling control, Takagi-Sugeno fuzzy systems, as well as input-output realizations of nonlinear systems which are approximated via localized linearizations. We present two control theorems, one using what we call a “global” approach (akin to traditional backstepping), and a “local” approach, our main result, where backstepping is again used but the control law is an interpolation of local control terms. An aircraft wing rock regulation problem with varying angle of attack is used to illustrate and compare the two approaches.     

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.