• Journal of Korean Society for Quality Management
• /
• v.14 no.1
• /
• pp.11-18
• /
• 1986

Whereas in non-symmetrical distribution manufacturing process they are not plotted relatively on the centeral line but plotted on the skew of right-hand side or left-hand side. That is to say, for the prupose of producing either upper-specification-oriented items or lower-specification-oriented items, and when we carry out tighter control so as to have them pass only its specifications, the distribution shape naturally has a non-normal distribution. In these cases, we could use either compressed control limits or variable transformed logarithm control charts. It the above mentioned methods were not available, we should use special purpose control chart-Mode control chart or Gram-Charlier control chart. These are proper methods for manufacturing process control which uses control chart method. In spite of these methods, domestic manufacturing and mining companies are utterly ignorant about these methods. That invites practical problems in their companies. To enhance this improvements, I proved the property of practical applications of control chart method by comparing and analyzing the case studies of practical application of speical purpose control chart method, and also by introducing the application methods.

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.750-759
• /
• 2004

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase therefore making it a trusted method for increasing safety. In this paper, we discuss the NuSCR, which is a qualified formal specification method for specifying nuclear power plant digital control system software requirements. To investigate the application of NuSCR, we introduce the experience of using NuSCR in formally specifying the plant protection system's software requirements, which is presently being developed at KNICS. Case study that shows that the formal specification approach NuSCR is very much qualified and specialized for the nuclear domain is also shown.

• International Journal of Computer Science & Network Security
• /
• v.24 no.3
• /
• pp.151-159
• /
• 2024

Twin clutch model enables the power-shifts as conventional planetary automatic transmission and eradicates the disadvantages of single clutch trans- mission. The automatic control of the dual clutches is a problem. Particularly to control the clutching component that engages when running in one direction of revolution and disengages when running the other direction, which exchange the torque smoothly during torque phase of the gearshifts on planetary-type automatic transmissions, seemed for quite a while hard to compensate through clutch control. Another problem is to skip gears during multiple gearshifts. However, the twin clutch gear control described in ["M Goetz, M C Levesley and D A Crolla. Dynamics and control of gearshifts on twin clutch transmissions, Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering 2005"], a significant improvement in twin clutch gear control system is discussed. In this research our objective is to formally specify the twin clutch gear control system and verify it with the help of formal methods. Formal methods have a high potential to give correctness estimating techniques. We use UPPAAL for formal specification and verification. Our results show that the twin clutch gear control model partially fulfills its functional requirements.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.12 no.3
• /
• pp.1302-1307
• /
• 2011

The Spiral coil is made considering primary, secondary side coil inductance, turn number, size, thickness, and shielding area with the litz wire-type in case of manufacturing a coil, and at this time, the semi-automation winding machine is used. When deciding on primary and secondary side coil specification and manufacturing a coil, the spiral coil of a specification varied in the various litz wire of a specification is required, and at this time, a difficulty is generated by the manufacture cost, period which during, and failure the manufacture is generated in the coil sample making. A difficulty is in the desired coil quality control of a specification. Since improving the rectifier of the secondary side in order to improve this kind of problem, the range of the coil design and the during the manufacture, various coil manufacture specifications can be comprehensively made.

• Journal of the Korea Society of Computer and Information
• /
• v.12 no.3
• /
• pp.251-258
• /
• 2007

With the increase of a web service technology, a new access control mechanism has developed for XML documents. As a result, as legacy access control systems, access control systems has become an active research topic. In this paper, we propose a methodology to translate access control policies for XML documents into formal specification language CSP. To do this, first, we introduce a method to translate a hierarchical access to XML documents using XPath language into CSP process algebra. Second, we explain a method to represent a XML schema as a formal model like automata. Third, we present a method for representing the semantics of access control policies such as the scope of rules and confliction resolution into a process algebra language. Finally, a CSP specification example of an XML schema and path expressions aye shown to illustrate the validity of our approach.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.78-85
• /
• 2007

A gun is still one of the major weapons of a combat ship. To assess the ship's fire control capability which is influenced by tracking system, fire control algorithm, gun, the ship itself, target behavior, environment and engagement situation, simulation system for gun-oriented engagement for surface ship is needed. This paper proposes the process for designing and implementing a gun-oriented engagement simulation system using DEVS(Discrete Event Simulation Specification), which is a formalism based on the set theory. It consists of the following activities : 1) analyzing the characteristics of a gun-oriented engagement, 2) constructing the deterministic model of the combat ship of study with DEVS, 3) modeling properties of each entity showing as stochastic errors. With this process, the gun-oriented engagement simulation system is developed and applied for the combat system under development.

• Journal of Institute of Control, Robotics and Systems
• /
• v.15 no.12
• /
• pp.1209-1215
• /
• 2009

This paper discusses a common message protocol for green power systems such as tidal, wind, photovoltaic, and solar systems. For this investigations and analysis, existing protocols such as ELCOM-90, TASE.1, ICCP/TASE.2 and SCADA were analyzed for the application of green power systems in view of real-time property and reliability. For the analysis, the practical example of green power system using SACADA and ICCP are investigated and discussed. As a future direction of this investigations, the feasibility analysis of manufacturing message specification(ISO-9560) for green power system is discussed.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.65 no.6
• /
• pp.1095-1102
• /
• 2016

A TCS(Train Control System) is the core facility to ensure the safety and efficiency of train operations, it is difficult to have interoperability between the TCS suppliers. To ensure the interoperability between TCSs, there is a need for definition, validation and standardization on the system configuration, the functions of subsystems, the interface between subsystems an the system protocol. In this paper, we analyzed the completeness of the KRTCS(Korean Radio based Train Control System) specification, derived supplements what you need to apply the KRTCS specification to new urban lines.

• Proceedings of the KIEE Conference
• /
• 1996.07b
• /
• pp.1018-1020
• /
• 1996

In this paper, when a robust active noise controller for a small cavity to control the noise induced in the cavity is designed, the Graphical method based on the robust stability and performance requirements is studied. The problem of designing controller that achieve these robust performance conditions is related to minimizing the $H_{\infty}$ norm of the mixed sensitivity function by using $H_{\infty}$ control theory. Also, For design the controller, the loopshaping method which control the weight functions to satisfy the design specification without loss of a robust performance can be used. Therefore, we determined the acceptable design specification with the system characteristics of the small cavity and obtained its robust controller with the robust performance specifications by stability margin.

• Journal of the Korean Professional Engineers Association
• /
• v.21 no.4
• /
• pp.19-32
• /
• 1988

Whereas is non-symmetrical distribution manufacturing process the traditional X-chart by Shewhart is not plotted relatively on the central line but plotted on the skew of upper-hand side or lower-hand side. That is to say, for the purpose of producing either upper-specification-oriented items or lower-specification-oriented items, and when we carry out tighter control so as to have them pass only its specifications, the distribution shape naturally has a non-normal distribution. In the Shewhart X-chart, which is the most widely used one in Korea, such skewed distributions make tile plots to be inclined below or above the central line or outside the control limits although no assignable causes can be found. To overcome such short comings is non-normally distributed processes, a distribution-free type of confidence interval can be used, which should be haled on order statistics. This thesis is concerned with the design of control chart based on a sample median which is easy to use in practical situation and therefore properties for non-normal distributions, such as Gamma, Beta, Lognormal, Weibull, Pareto, and Truncated-normal distributions, may be easily analyzed. To enhance this improvement, I proved the property of practical applications of control chart method by comparing and analyzing the case studies of practical application of special purpose control chart method, and also by introducing the new designed median control chart.