Adaptive Layout Partitioning for Dark Field Alternating Phase-Shift Mask Design

A new partitioning methodology is presented to accelerate 130nm and beyond large scale alternating phase shift mask(Alt PSM) design flow.This method deals with granularity self adaptively.Phase conflicts resolution approaches are described and strategies guaranteeing phase compatible during layout compaction are also discussed.An efficient CAD prototype for dark field Alt PSM based on these algorithms is implemented.The experimental results on several industry layouts show that the tool can successfully cope with the rapid growth of phase conflicts with good quality and satisfy lower resource consumption with different requirements of precision and speedup.

CHECKING CONSISTENCY IN INFORMATION MODELS BY USING CONSTRAINT PROGRAMMING

This paper addresses the issue of checking consistency in information models. A method based on constraint programming is proposed for identifying inconsistency or proving consistency in information models. The system described here checks information models written in the ISO standard information modelling language EXPRESS. EXPRESS is part of the ISO STEP standard used in the manufacturing and process industries. This paper describes the checking procedure, including EXPRESS model formalization, constraint satisfaction problem (CSP) derivation from the formalized model and satisfaction checking of the derived CSPs. This paper shows a new domain in which constraint programming can be exploited as model verification and validation.

Investigating a potential reservoir landslide and suggesting its treatment using limit-equilibrium and numerical methods

A reservoir landslide not only reduces the water storage capacity, but also causes extensive damages to the dam body, power/water transmission lines, roads, and other infrastructures. The Latian Dam, located 35 km north east of Tehran （Iran）, is one of the cases which has encountered serious problems with instability of its rock abutments. This paper addresses the stability analysis of the right abutment of the Latian Dam using limit equilibrium and numerical methods. Geomechanical characteristics of the rock abutment were first estimated based on engineering classification of the rock mass. Different search methods were examined for locating the critical circular/non-circular slip surface in conjunction with the general limit equilibrium method. The effect of variabi]ity of rock mass properties, water table, and earthquake load on the factor of safety （FS） and probability of failure （PF） was studied. In the event of rapid drawdown in the reservoir, the limit equilibrium analysis calculated FS=1.067 and PF=21.1%, and the numerical analysis returned FS=1.01. The results of the analyses suggest that the right abutment of the Latian Dam is prone to slide and needs treatment. Investigations demonstrated that a slope reduction by 15° at the upper part of the abutment would meet stability conditions even in the worst-case scenario （FS=1.297 and PF=2.07%）.

The Reliable and Intelligent Propulsion Pressurization System of the Long March 7 Launch Vehicle

The reliable and intelligent propulsion pressurization system is one of the key technologies of new Chinese generation launch vehicles; a high reliability design is an important guarantee for the success of launching. This paper analyzes the domestic and overseas liquid launch vehicles in the area of propulsion pressurization systems, based on comprehensive analysis, demonstrating the reliable and intelligent propulsion pressurization system of the Long March 7(Simplified as LM-7) has been raised. By applying a full chain redundancy design, setting proper pressure control bandwidth and control mode reconstruction under extreme fault conditions, the reliability and adaptability of the propulsion pressurization system has enhanced significantly. In addition, the complete system has been verified by the first two flights of LM-7.

On the Existence of an Optimal Control of Ship Automatic Steering Instruments

The existence of linear quadratic optimal control of ship automatic steering instruments is studied. Firstly, the sufficient conditions for the quadratic integrability of the solutions of linear second order time-variant differential equations are developed. Secondly, the optimal control form of the ship automatic steering instrument is obtained by using the dynamic programming method, which guarantees a minimal ship sway range, during long-distance navigation, by using as little energy as possible. Finally, based on the above mentioned sufficient conditions, the conditions for the realization of optimal control are obtained, which provides a foundation for choosing the weighted coefficients for optimal control in engineering.

STUDY ON PRODUCTION SYSTEM OPERATION REGULARITY OF FULLY MECHANIZED SUBLEVEL CAVING MINING AND SEQUENTIAL OPERATION

According to a lot of practical data in Liujialiang Mine and reliability theory and result of computer simulation, operation regularity of fully mechanized sublevel caving mining production system in the condition of gently inclined complicated geological structure and production shortcomings are found out and reliability of system and output of the working face are predicted finally.

An optimal filter based MPC for systems with arbitrary disturbances

In this study, a linear model predictive control(MPC) approach with optimal filters is proposed for handling unmeasured disturbances with arbitrary statistics. Two types of optimal filters are introduced into the framework of MPC to relax the assumption of integrated white noise model in existing approaches. The introduced filters are globally optimal for linear systems with unmeasured disturbances that have unknown statistics. This enables the proposed MPC to better handle disturbances without access to disturbance statistics. As a result, the effort required for disturbance modeling can be alleviated. The proposed MPC can achieve offset-free control in the presence of asymptotically constant unmeasured disturbances. Simulation results demonstrate that the proposed approach can provide an improved disturbance ?rejection performance over conventional approaches when applied to the control of systems with unmeasured disturbances that have arbitrary statistics.

The Availability Improvement of Uninterruptible Power Supply by Stabilizing Node Application at Control Part

The UPS （uninterruptible power supplies） are essential power infrastructure components of systems designed for critical application, including data centers. High availability achievement is a very important factor related to UPS performance, consequently to proper critical application functionality. Generally, UPS have a limited input voltage window, referring to the nominal input voltage value. Goal of this paper is to prove larger voltage window, without affecting normal UPS operation. Larger window will result on less commutation, backup and normal mode reduction, and consequently duty time of batteries reduction, too. Thus, under these conditions, it is to be expected availability improvement. The stabilizing node model, applied at UPS＇s control part through this paper is presented. UPS＇s behavior with an implemented stabilizing node is observed at few sites. In order to analyze and conclude about UPS＇s performance under these technical conditions, simulation results are further presented.

Integrability and Solutions of the (2+1)-Dimensional Broer-Kaup Equation with Variable Coefficients

The integrability of the （2＋l）-dimensional Broer-Kaup equation with variable coefficients （VCBK） is verified by finding a transformation mapping it to the usual （2＋l）-dimensional Broer-Kaup equation （BK）. Thus the solutions of the （2＋1）-dimensional VCBK are obtained by making full use of the known solutions of the usual （2＋1）dimensional IRK. Two new integrable models are given by this transformation, their dromion-like solutions and rogue wave solutions are also obtained. Further, the velocity of the dromion-like solutions can be designed and the center of the rogue wave solutions can be controlled artificially because of the appearance of the four arbitrary functions in the transformation.