Entity

Time filter

Source Type


Zhou W.,National University of Defense Technology | Wang D.,Beijing Special Engineering Design and Research Institute | Sheng J.,National University of Defense Technology | Guo B.,National University of Defense Technology
Journal of Systems Engineering and Electronics | Year: 2012

A collaborative optimization model for maintenance and spare ordering of a single-unit degrading system is proposed in this paper based on the continuous detection. A gamma distribution is used to model the material degradation. The degrading decrement after the imperfect maintenance action is assumed as a random variable normal distribution. This model aims to obtain the optimal maintenance policy and spare ordering point with the expected cost rate within system lifecycle as the optimization objective. The rationality and feasibility of the model are proved through a numerical example. Source


Ding Y.H.,Wuhan Polytechnic University | Xiang R.H.,Beijing Special Engineering Design and Research Institute
Advanced Materials Research | Year: 2014

Business developer needs to develop fault-tolerant process, but fault-tolerant process development based on exception handling mechanism provided by BPEL costs much time and is easy to make mistake. We analyze application exception throw chain theory of service-oriented system. Exception throwing of BPEL process is broadcasted among component layer, service layer and process layer. We also propose an application exception handling method for BPEL by using EHPDL-P. EHPDL-P can separate normal business logic and exception business logic, and thus it can enhance BPEL fault-tolerance ability. © (2014) Trans Tech Publications, Switzerland. Source


Niu J.-J.,Tsinghua National Laboratory for Information Sciences and Technology | Niu J.-J.,Beijing Special Engineering Design and Research Institute | Deng Z.-D.,Tsinghua National Laboratory for Information Sciences and Technology | Li C.,Tsinghua National Laboratory for Information Sciences and Technology
Zidonghua Xuebao/Acta Automatica Sinica | Year: 2011

Wireless sensor network (WSN) is a resource constrained network system. Many kinds of scheduling approaches have been proposed to improve the performances of WSN. In this paper, the design principles and classification methods for distributed scheduling approaches of WSN are summarized. And the scheduling approaches are discussed and classified with respect to scheduling object. The fundamental mechanisms of some typical approaches are discussed further and the characteristics of each class are analyzed in detail. Comparison between the designed objects and the performance features of these scheduling approaches are presented. Finally, the current research situations for distributed scheduling approaches of WSN are summarized and the key aspects for further research are also suggested. Copyright © 2011 Acta Automatica Sinica. Source


Xiao L.,Tsinghua University | Xiao L.,Beijing Special Engineering Design and Research Institute | Gu M.,Tsinghua University | Sun J.,Tsinghua University
Communications in Computer and Information Science | Year: 2011

PLC is widely used in the field of automatic control. The correctness verification methods of PLC programs include software model checking and theorem proving, etc. To use formal methods verifying the correctness of PLC programs, denotational semantics needs to define and then PLC programs can be modeled, model checking and verified. Based on the extended λ-calculus definition, the paper has researched and defined the architecture and denotational semantics of PLC programs. The work is the basis of model checking and theorem proving for correctness verification on PLC programs. © 2011 Springer-Verlag. Source


Ding Y.H.,Wuhan Polytechnic University | Xiang R.H.,Beijing Special Engineering Design and Research Institute
Proceedings of 2013 International Conference on Sensor Network Security Technology and Privacy Communication System, SNS and PCS 2013 | Year: 2013

Exception handling is a time-consuming and easy to make error task. Especially in service-oriented architecture, exception throw chain becomes complicated particularly, so it improves requirements of exception capture and exception handling. This paper analyzes service-oriented exception produce source and proposes service-oriented exception classification. The exception classification divides exception into service layer exception and process exception. The two kinds of exception are subdivided into system exception, resource exception and application exception. This paper presents a corresponding exception handling method for all kinds of exceptions. The method can enhance robustness of service layer and process layer for service-oriented system. © 2013 IEEE. Source

Discover hidden collaborations