On assertion-based encapsulation for object invariants and simulations

In object-oriented programming, reentrant method invocations and shared references make it difficult to achieve adequate encapsulation for sound modular reasoning. This tutorial paper surveys recent progress using auxiliary state (ghost fields) to describe and achieve encapsulation. It also compares this technique with encapsulation in the forms provided by separation logic. Encapsulation is assessed in terms of modular reasoning about invariants and simulations.     

凤滩水电厂自动发电控制策略

介绍了凤滩水电厂自动发电控制(AGC)策略的实现方法,重点介绍了修正等容量比例有功分配方法及相应措施.程序设计的原则是,机组紧跟目标负荷的情况下,在最佳效率下运行,同时减少机组开/停机次数、有功调节频率和跨越振动区次数,从而减少机组磨损,兼顾运行效率和机组运行安全.     

影响钢铁工业主要环境因素及其控制措施

针对钢铁工业的环境因素的影响 ,采取针对性措施控制 ,合理利用 ,清洁生产。     

Temperamental resistance to control increases the association between sleep problems and externalizing behavior development.

This study examined the moderating effects of temperamental resistance to control on the link between development of sleep problems and development of externalizing behaviors over a 5-year period. Resistance to control was assessed with mothers' retrospective reports of temperament in infancy, provided when children were 5 years of age. Sleep problems were assessed with mother reports on an annual basis from age 5 to age 9. Externalizing behaviors were assessed with teacher reports on an annual basis from age 5 to age 9. A cross-domain latent growth curve model indicated that sleep problem trajectories were positively associated with externalizing behavior trajectories only for children high in resistance to control. In addition, resistance to control was positively associated with initial (age 5) sleep problems and initial (age 5) externalizing behaviors. The authors speculate that the development of sleep problems promotes the development of behavior problems for resistant children, whose self-regulatory abilities are especially tenuous. Implications for prevention and treatment of conduct problems are considered. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Equivalent Control of Constrained Multibody Systems

This paper investigates the title problem from the perspective ofdetermining which forcesystems, although different, will have the same dynamic effectwhen applied to a mechanical system.A procedure is presented for determining how differences incontrol force/moment input are nullifiedby constraints on the system. This in turn provides a basis foroptimal control. The theoreticaldevelopment is illustrated by a series of examples with a model ofa redundant manipulator – a constrained/controlled triple pendulum.     

轧机主传动电机励磁控制分析

在技术资料短缺的情况下，结合实际经验，绘制出进口轧机主传动电机励磁控制电路图，并进行了较为详细的分析。     

On a responsive replenishment system: a fuzzy logic approach

In today's competitive business environment, it is important that customers are able to obtain their preferred items in the shops they visit, particularly for convenience store chains such as 7–Eleven where popular items are expected to be readily available on the shelves of the stores for buyers. To minimize the cost of running such store chains, it is essential that stocks be kept to a minimum and at the same time large varieties of popular items are available for customers. In this respect, the replenishment system needs to be able to cope with the taxing demands of minimal inventory but at the same time keeping large varieties of needed items. This paper proposes a replenishment system which is able to respond to the fluctuating demands of customers and provide a timely supply of needed items in a cost–effective way. The proposed system embraces the principle of fuzzy logic which is able to deal with uncertainties by virtue of its fuzzy rules reasoning mechanism, thereby leveraging the responsiveness of the entire replenishment system for the chain stores. To validate the feasibility of the approach, a case study has been conducted in an emulated environment with promising results.     

烧结机双层插板式卸灰阀的研制

烧结机双层卸灰阀由蘑菇头式改为电液推杆插板式，有效地解决了系统卸料及漏风问题，实现了控制自动化，提高了设备作业率，改善了岗位环境。     

整流逆变器在港口起重机械中的应用

根据起重机械特点,在港口机械中的交流变频控制系统中,整流逆变器(也称可逆PWM整流器,简称变流器)组合应用,提高作业效率,降低电能损耗,节省成本.     

大规模定制下的质量控制系统框架设计

大规模定制为生产带来了变革和影响。针对新的生产方式的要求，根据推动大规模定制的过程方法和技术来分析他们对于质量控制产生的影响和要求，给出了大规模定制条件下的质量控制系统的建议，并给出了一个简要的系统模型。