• 산업공학
• /
• 제18권4호
• /
• pp.465-476
• /
• 2005

Evolutionary operation is a useful tool for improving full-scale manufacturing process by systematically changing the levels of the process variables without jeopardizing the product. This paper presents a system design for the evolutionary operation software called 'evolutionary optimizer'. Evolutionary optimizer consists of four modules: factorial design, many variables, mixture, and mean/dispersion. Context diagram, data flow diagram and entity-relationship modelling are used to systematically design the evolutionary optimizer system.

• 대한기계학회논문집
• /
• 제17권2호
• /
• pp.475-483
• /
• 1993

A computer simulation model of a hermetic reciprocating type of refrigeration compressor has been developed. The compressor simulation model constitutes 6 control volumes, to each of which conservation laws of mass and energy are applied to yield full description of the refrigerant state along its passage. Instead of ideal gas assumption. real gas equation is employed. Some of valve-related input data required for the simulation are acquired from test bench experiments. The refrigerant states such as pressure and temperature, etc., mass flow rates, and valve motions can be predicted by the simulation. The calculated P-V diagram shows a good agreement with experimental result.

• International Journal of Control, Automation, and Systems
• /
• 제3권1호
• /
• pp.56-69
• /
• 2005

In this paper, it is clearly shown that the two well-known necessary and sufficient conditions mp n as generic static output feedback pole-assignment and mp + d(m+p) n+d as generic minimum d-th order dynamic output feedback pole-assignment on complex field, unbelievably, do not match up each other in strictly proper linear systems. For the analysis, a diagram analysis is newly created (which is defined by the analysis of 'convoluted rectangular/dot diagrams' constructed via node-branch conversion of the signal flow graphs of output feedback gain loops). Under this diagram analysis, it is proved that the minimum d-th order dynamic output feedback compensator for pole-assignment in m-input, p-output, n-th order systems is quantitatively decomposed into static output feedback compensator and its associated d number of arbitrary 1st order dynamic elements in augmented (m+d)-input, (p+d)-output, (n+d)-th order systems. Total configuration of the mismatched data is presented in a Table.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.446-450
• /
• 1996

본 논문은 Computer Aided Software Engineering (CASE) Tool을 이용할 경우의 Safety Critical 소프트웨어 개발 방법론인 구조적 분석 및 구조적 설계 모델링 방법론을 Teamwork CASE tool의 예를 중심으로 제안하고자 한다. 제시된 사례는 NSIS(Nuclear Safety Information System)으로서 Essential Modeling과 Implementation Modeling을 제시하였는데 Teamwork CASE 환경하에서의 분석 및 설계 절차, 지침 등을 제시하였다. Essential Modeling에서는 NSIS의 MMIS 분석범위 및 External Interface를 제시하는 환경 모델(Environmental Model)과 MMIS의 기능을 계층구조적으로 분할하는 행위모델링(Behaviroal Modeling)을 각각 Context Diagram과 Data Flow Diagram (DFD)으로 그 과정을 제시하였다. Implementation Modeling에서는 Essential Modeling으로 부터 나온 결과물을 토대로 Boss Rule, Transform Rule과 Transaction Rule 등을 거쳐 NSIS MMIS의 설계 근간이 되는 Structured Chart(SC)를 제시하였다. 본 논문에서 제시된 모델링 방법론을 통하여 Safety Critical 소프트웨어 개발시 Teamwork CASE Tool을 활용할 수 있음과 동시에 분실 및 설계의 일치성을 통하여 Safety Critical 소프트웨어의 안전성 확립과 품질보증 목표에 기여할 수 있다.

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 2002년도 학술발표회 발표논문집
• /
• pp.229-232
• /
• 2002

This study was conducted to estimate the design flood by the determination of best fitting order of LH-moments of the annual maximum series at six and nine watersheds in Korea and Australia, respectively. Adequacy for flood flow data was confirmed by the tests of independence, homogeneity, and outliers. Gumbel (GUM), Generalized Extreme Value (GEV), Generalized Pareto (GPA), and Generalized Logistic (GLO) distributions were applied to get the best fitting frequency distribution for flood flow data. Theoretical bases of L, L1, L2, L3 and L4-moments were derived to estimate the parameters of 4 distributions. L, L1, L2, L3 and L4-moment ratio diagrams (LH-moments ratio diagram) were developed in this study.

• KIEE International Transaction on Systems and Control
• /
• 제2D권2호
• /
• pp.120-124
• /
• 2002

A new methodology is presented to diagnose faults in equipment plasma. This is accomplished by using neural networks as a pattern recognizer of radio frequency (rf) impedance match data. Using a match monitor system, the match data were collected. The monitor system consisted mainly of a multifunction board and a signal flow diagram coded by Visual Designer. Plasma anomaly was effectively represented by electrical match positions. Twenty sets of fault-symptom patterns were experimentally simulated with variations in process factors, which include rf source power, pressure, Ar, and $O_$2 flow rates. As an input to neural networks, two means and standard deviations of positions were used as well as a reflected power. Diagnostic accuracy was measured as a function of training factors, which include the number of hidden neurons, the magnitude of initial weights, and two gradients of neuron activation functions. The accuracy was the most sensitive to the number of hidden neurons. Interaction effects on the accuracy were also examined by performing a 2$^$4 full factorial experiment. The experiments were performed on multipole inductively coupled plasma equipment.

• 정보보호학회논문지
• /
• 제27권6호
• /
• pp.1467-1482
• /
• 2017

최근 4차 산업혁명에 대한 관심이 증가하고 있다. 그 중 제조업 분야에서는 사이버 물리 시스템(CPS) 기술을 기반으로 제조의 모든 단계를 자동화, 지능화 시킨 스마트팩토리 도입이 확산되고 있는 추세이다. 스마트팩토리는 그 복잡도(Complexity)와 불확실성(Uncertainty)이 크기 때문에 예상치 못한 문제가 발생할 가능성이 높고 이는 제조 공정 중단이나 오작동, 기업의 중요 정보 유출로 이어질 수 있다. 스마트팩토리에 대한 위협을 분석하여 체계적인 관리를 수행할 필요성이 강조되고 있지만 아직 국내에서는 연구가 부족한 상황이다. 따라서 본 논문에서는 스마트팩토리의 전반적인 생산 공정 절차를 대상으로 Data Flow Diagram, STRIDE 위협 모델링 기법을 이용하여 체계적으로 위협을 식별한다. 그리고 Attack Tree를 이용해 위험을 분석하고 최종적으로 체크리스트를 도출한다. 도출된 체크리스트는 향후 스마트팩토리의 안전성 검사 및 보안 가이드라인 제작에 활용 가능한 정량적 데이터를 제시한다.

• ETRI Journal
• /
• 제7권4호
• /
• pp.24-30
• /
• 1985

Requirements 분석 tool은 시스팀의 개발 단계중 한 단계인 Requirements 분석의 자동화를 위한 것으로 입력된 Requirements의 정보를 데이터베이스에 수록하고 수록된 정보를 이용하여 데이터의 consistency 및 completeness를 조사 분석하는 도구이다. 본 논문은 이 Requirements 분석 tool의 설계상의 구성과 입력될 Requirements를 Data Flow Diagram(DFD)으로 구현하기 위한 editor와 evaluator에 관한 설계 및 구현에 대해 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (2)
• /
• pp.213-215
• /
• 1998

가상현실 시스템을 구현하고자 할 때, 그 환경에 존재하는 개체(entity)들의 복잡한 행위(behavior)를 설계 및 기술하는 것이 쉽지 않을 뿐만 아니라, 사용자와의 상호작용까지 고려한다면 매우 복잡하게 된다. 게다가, 이러한 행위와 상호작용의 설계 및 기술에 대한 정형화된 도구조차 찾기 어려운 것이 사실이다. 이 논문에서는 이러한 행위를 설계할 때, 소프트웨어 공학에서 이용되고 있는 도구 중 하나인 Statecharts와 DFD(Data Flow Diagram)을 기반으로 하는 ASADAL/SIM을 이용하여 설계하고 구현한 예를 들어 프로그래밍이 아닌 다른 도구를 통한 가상환경 내의 개체들의 행위 설계와가 가능함을 보이고, 그로 인해 얻을 수 있는 여러 장점에 관하여 소개한다.

• 한국품질경영학회:학술대회논문집
• /
• 한국품질경영학회 2004년도 품질경영모델을 통한 가치 창출
• /
• pp.503-506
• /
• 2004

Evolutionary operation is useful to improve on-line full-scale manufacturing processes by systematically changing the levels of the process variables without jeopardizing the product. This paper presents a system design for an evolutionary operation software called 'evolutionary optimizer'. The system design is based primarily on data flow diagram. Evolutionary optimizer consists of four modules: factorial design module, many variables module, mixture Production module, and mean/dispersion module.