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

제어 흐름 그래프는 자료 흐름 분석과 제어 종속 분석과 같은 프로그램 분석 분야와 프로그램 슬라이싱과 테스팅과 같은 소프트웨어공학 분야에서 필요로 하는 정보이다. 이러한 분석들이 안전하고 유용하기 위해서는 제어 흐름 그래프는 예외 흐름을 포함해야 한다. 기존의 방법은 예외 흐름과 정상 흐름의 상호 의존적인 관계로 인해 두 흐름을 동시에 계산하면서 제어 흐름 그래프를 생성한다. 그러나 실제 Java 프로그램을 조사해 본 결과 두 흐름이 상호 의존적으로 필요한 경우는 거의 발생하지 않음을 알 수 있었다. 그러므로 정상 흐름과 예외 흐름을 분리해서 계산할 수 있음을 알았고, 예외 흐름을 계산하는 예외 흐름 분석을 제안한다. 그리고 예외 흐름을 표현하는 예외 흐름 그래프를 제안한다. 그리고 제어 흐름 그래프는 예외 흐름 그래프와 정상 흐름 그래프를 합병함으로써 생성될 수 있음을 보인다.

• Mass Spectrometry Letters
• /
• 제7권4호
• /
• pp.111-115
• /
• 2016

Glycerol was identified and isolated from endogenous interferences during analysis of human urine using high-resolution mass spectrometry (HRMS) for doping control. Urinary sample preparation was simple; the samples were diluted with an organic solvent and then analyzed using a liquid chromatography-mass spectrometry ("dilute and shoot" method). Although the interfering ion peaks were observed at the similar retention time of glycerol, the inference could be identified by isolation with HRMS and further investigation. Thus, creatinine was identified as the endogenous interference for glycerol analysis and it also caused ion suppression resulting in the decrease of glycerol signal. This study reports the first identification and efficient isolation of endogenous interferences in human urine for "dilute and shoot" method. The information about ion suppression could be novel to prevent overestimation or a false result for antidoping analysis.

• 한국의류산업학회지
• /
• 제9권5호
• /
• pp.500-506
• /
• 2007

This study aims to examine what consumers perceive about affection and control in association with personified brands, and to explore what effects such perception has on consumer behavior. The research methodology employed a questionnaire surveying female university students in the Seoul. The data were analyzed by SPSS Hangul 10.0 Statistic Package. 16 apparel brands that had been selected by a preliminary study were surveyed. The data analysis method employed a factor analysis, analysis of variance, and multiple regression analysis. The study found that consumers' perception of personified brands is divided into Friendliness and control like in interpersonal communication, and consumers' preference and purchase intention becomes different depending on affection and control perception. In particular, it was analyzed that more important factor that decides preference and purchase intention is the perception in the aspect of control, not in the aspect of Friendliness.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 춘계학술대회 논문집
• /
• pp.636-641
• /
• 2008

In this paper, the analysis methods of available information are reviewed and it is elicited to the method of which the analysis results are applied to the Autonomous Decentralized Train Management System for the optimization at the point of the route control time and for making the efficiency shunting plan in the Autonomous Centralized Station Operation Control System. As the statistics and estimated information which are got through the utilizable information analysis are applied for the automatic route control function and the shunting plan management of the station operation control system, it is possible to use efficiently the station information by the autonomous route control system. And as the exact forecast information needed for the shunting plan establishment and the operation is provided to the operator, it is established to the efficient train operation plan.

• 대한전기학회논문지
• /
• 제45권4호
• /
• pp.474-483
• /
• 1996

In this paper, as a part of the method improving stability, the load-flow calculation in D.C. power system and the models for stability analysis are studied with A.C-D.C. interconnected power systems transmission performed. Moreover, the theory is established in relation to each control method of D.C. power systems. Then the stability of A.C-D.C.interconnected power systems is compared and considered by the way of dividing the operating control method of the rectifier inverter converter into ACR-AVR, APR-A.gamma.R, A.alpha.R-ACR. The dynamics characteristic of terminal voltage, frequency, active-reactive power and rotor angle of the generator with disturbances and load fluctuations is considered. In addition, the characteristic of direct voltage, direct current, power and control systems. From this the comparative analysis of the direct current control method, the possibility of the stability analysis of A.C.-D.C. interconnected power system is considered. (author). refs., figs., tabs.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2003년도 학술회의 논문집 정보 및 제어부문 B
• /
• pp.441-444
• /
• 2003

Network uncertainties such as data loss and time delay can vary the stability property of networked control system. Therefore, these uncertainties must be considered first in designing networked control system. In this paper, we present a new stability analysis method of networked control system with data loss and time delay. The proposed method can determine maximum allowable time delay and minimum allowable transmission rate that preserves stability performance of networked control system. The results of the simulation validate effectiveness of our stability analysis method.

• Genomics & Informatics
• /
• 제17권3호
• /
• pp.29.1-29.8
• /
• 2019

The Wellcome Trust Case Control Consortium (WTCCC) study was a large genome-wide association study that aimed to identify common variants associated with seven diseases. That study combined two control datasets (58C and UK Blood Services) as shared controls. Prior to using the combined controls, the WTCCC performed analyses to show that the genomic content of the control datasets was not significantly different. Recently, the analysis of human leukocyte antigen (HLA) genes has become prevalent due to the development of HLA imputation technology. In this project, we extended the between-control homogeneity analysis of the WTCCC to HLA. We imputed HLA information in the WTCCC control dataset and showed that the HLA content was not significantly different between the two control datasets, suggesting that the combined controls can be used as controls for HLA fine-mapping analysis based on HLA imputation.

• 조명전기설비학회논문지
• /
• 제26권7호
• /
• pp.84-91
• /
• 2012

In this paper, design by magnetic analysis software and proportional control of solenoid for pressure valve for electric pressure cooker is described. The validation of design was proved by 3D finite element analysis results. Also the efficiency of an air ventilation mechanism was considered when pressure was happened by fluid analysis results. The linear proportional control system by AVR was manufactured and its validation was proved by pressure control of solenoid.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2005년도 봄학술 발표회 논문집(I)
• /
• pp.159-162
• /
• 2005

To overcome the drawbacks of conventional load-control method and displacement-control method, the so-called volume-control method was developed by utilizing a pressure node added into a layered shell element. The pressure node has an increment of pressure as an additional degree of freedom of the shell element. In this study, the hollow RC columns are discretized with multi-layered shell elements and a modeling technique utilizing the volume-control analysis for various hollow RC column structures is introduced. The results of the nonlinear analysis using the modeling for hollow RC columns subjected to lateral reversed cyclic loading as well as lateral loading under compression are shown. Validity of the modeling technique is also verified by comparing the analysis results with experimental results and other analysis data.

• Nuclear Engineering and Technology
• /
• 제54권5호
• /
• pp.1635-1643
• /
• 2022

STPA (System-Theoretic Process Analysis) is a widely used safety analysis technique to identify UCAs (Unsafe Control Actions) resulting in potential losses. It is totally dependent on the experience and ability of analysts to construct an information model called Control Structures, upon which analysts try to identify unsafe controls between system components. This paper proposes a formal approach to support the manual identification of UCAs, effectively and systematically. It allows analysts to mechanically extract Process Model, an important element that makes up the Control Structures, from a formal requirements specification for a software controller. It then concisely constructs the contents of Context Tables, from which analysts can identify all relevant UCAs effectively, using a software fault tree analysis technique. The case study with a preliminary version of a Korean nuclear reactor protections system shows the proposed approach's effectiveness and applicability.