Process planning and scheduling are two major plann in g and control activities that consume significant part of the lead-time, theref ore all attempts are being made to reduce lead-time by automating them. Compute r ...Process planning and scheduling are two major plann in g and control activities that consume significant part of the lead-time, theref ore all attempts are being made to reduce lead-time by automating them. Compute r Aided Process Planning (CAPP) is a step in this direction. Most of the existin g CAPP systems do not consider scheduling while generating a process plan. Sched uling is done separately after the process plan has been generated and therefore , it is possible that a process plan so generated is either not optimal or feasi ble from scheduling point of view. As process plans are generated without consid eration of job shop status, many problems arise within the manufacturing environ ment. Investigations have shown that 20%~30% of all process plans generated are not valid and have to be altered or suffer production delays when production sta rts. There is thus a major need for integration of scheduling with computer aide d process planning for generating more realistic process plans. In doing so, eff iciency of the manufacturing system as a whole is expected to improve. Decision support system performs many functions such as selection of machine too ls, cutting tools, sequencing of operations, determination of optimum cutting pa rameters and checking availability of machine tool before allocating any operati on to a machine tool. The process of transforming component data, process capabi lity and decision rules into computer readable format is still a major obstacle. This paper proposes architecture of a system, which integrates computer aided p rocess-planning system with scheduling using decision support system. A decisio n support system can be defined as " an interactive system that provides the use rs with easy access to decision models in order to support semi-structured or u nstructured decision making tasks".展开更多
The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.展开更多
文摘Process planning and scheduling are two major plann in g and control activities that consume significant part of the lead-time, theref ore all attempts are being made to reduce lead-time by automating them. Compute r Aided Process Planning (CAPP) is a step in this direction. Most of the existin g CAPP systems do not consider scheduling while generating a process plan. Sched uling is done separately after the process plan has been generated and therefore , it is possible that a process plan so generated is either not optimal or feasi ble from scheduling point of view. As process plans are generated without consid eration of job shop status, many problems arise within the manufacturing environ ment. Investigations have shown that 20%~30% of all process plans generated are not valid and have to be altered or suffer production delays when production sta rts. There is thus a major need for integration of scheduling with computer aide d process planning for generating more realistic process plans. In doing so, eff iciency of the manufacturing system as a whole is expected to improve. Decision support system performs many functions such as selection of machine too ls, cutting tools, sequencing of operations, determination of optimum cutting pa rameters and checking availability of machine tool before allocating any operati on to a machine tool. The process of transforming component data, process capabi lity and decision rules into computer readable format is still a major obstacle. This paper proposes architecture of a system, which integrates computer aided p rocess-planning system with scheduling using decision support system. A decisio n support system can be defined as " an interactive system that provides the use rs with easy access to decision models in order to support semi-structured or u nstructured decision making tasks".
基金supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504)the Tsinghua University Initiative Scientific Research Programthe National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
文摘The integrated modular avionics (IMA) architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management (HM/FM) scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets (SPN) to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.