• 품질경영학회지
• /
• 제14권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.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권6호
• /
• pp.750-759
• /
• 2004

원자력 발전소의 디지털 제어 시스템에 적용되는 소프트웨어는 안전성이 중요시되는 safety-critical 소프트웨어로, 충분한 수준의 안전성을 보장하기 위해서 여러 기법들이 적용되고 있다. 특히, 정형명세 기법은 개발의 초기 단계에서 소프트웨어 요구 사항들을 명확하고 완전하게 명세 하도록 유도함으로써 안전성을 크게 향상시킬 수 있는 기법으로 인정받고 있다. 본 논문에서는 원자력 발전소 디지털 제어 시스템 소프트웨어의 요구 사항 명세에 적합하도록 개발된 정형명세 기법인 NuSCR을 논의한다. 또한, 개발된 NuSCR의 적용성을 검토하기 위해, 현재 KNICS 사업단에서 개발중인 발전소보호계통 소프트웨어의 요구사항을 정형 명세 한 경험을 소개하고 있다. 또한, 원자력 도매인에 특화된 정형명세 기법인 NuSCR의 우수성도 실례를 들어 설명하고 있다.

• International Journal of Computer Science & Network Security
• /
• 제24권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.

• 한국산학기술학회논문지
• /
• 제12권3호
• /
• pp.1302-1307
• /
• 2011

본 논문은 코일 제작 시 고려사항인 1, 2차측 코일 인덕턴스, 턴수, 크기, 두께, 차폐지 등을 고려하여 리쯔 와이어로 나선형 코일을 제작하는데 이때 반자동화 권선기를 사용하게 된다. 1, 2차측 코일 사양을 정하여 코일을 제작할 때 다양한 사양의 리쯔 와이어와 나선형 코일을 필요로 하게 되는데, 이때 제작 비용, 기간, 제작 시 발생하는 불량 등으로 인해 코일 샘플 제작에 어려움이 발생하고 원하는 사양의 코일 품질 관리에도 어려움이 생기게 된다. 이를 개선하기 위해 2차측의 정류부를 개선함으로써 코일 설계 및 제작 시 다양한 코일 제작 사양의 범위를 좀더 포괄적으로 할 수 있으며 제작 시 발생하는 비용을 줄이고, 기간 단축 및 코일의 품질 관리를 개선하고자 한다.

• 한국컴퓨터정보학회논문지
• /
• 제12권3호
• /
• pp.251-258
• /
• 2007

웹서비스 기술의 활성화와 더불어, XML 문서에 대한 접근통제기술이 새롭게 개발되었다. 그 결과, 기존의 접근통제시스템에서와 마찬가지로, 중요정보 자원에 대한 접근통제문제에 대한 연구가 큰 각광을 받고 있다. 본 논문에서는 XML 문서에 대한 접근통제정책을 정형명세언어인 CSP로 변환하는 방법을 제시한다. 이를 위해, 첫째, XPath 경로지정 언어로 표현된 XML 문서의 계층적 접근을 CSP 프로세스 알제브라로 변환하는 방법을 소개한다. 둘째, XML 스키마 문서를 오토마타 형태의 정형모델로 표현하는 방법을 설명한다. 셋째, XML 접근통제정책에 사용되는 적용 규칙 및 충돌규칙의 의미론을 프로세스 알제브라 언어로 표현하는 방법을 제시한다. 마지막으로, 본 논문에서 제시한 방법론의 타당성을 보이기 위해, XML 스키마 문서 및 경로지정 표현에 대한 CSP 명세 예제를 보여준다.

• 한국군사과학기술학회지
• /
• 제10권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.

• 제어로봇시스템학회논문지
• /
• 제15권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.

• 전기학회논문지
• /
• 제65권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.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1996년도 하계학술대회 논문집 B
• /
• 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.

• 기술사
• /
• 제21권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.