• Interdisciplinary Bio Central
• /
• 제1권1호
• /
• pp.5.1-5.4
• /
• 2009

This article is an addendum to the authors’ previous article (Kim, J. et al. (2008) Plant Cell 20, 307-319). The instrumentation and software described in this article were used to analyze the circadian leaf movement in the previous article. Here, we provide detailed and practical information on the instrumentation and the software. The source code of the LMA program is freely available from the authors. The circadian clock regulates a wide range of cyclic physiological responses with a 24 hour period in most organisms. Rhythmic leaf movement in plants is a typical robust manifestation of rhythms controlled by the circadian clock and has been used to monitor endogenous circadian clock activity. Here, we introduce a relatively easy, inexpensive, and simple approach for measuring leaf movement circadian rhythms using a USB-based web camera, public domain software and a Leaf Movement Assay (LMA) program. The LMA program is a semi-automated tool that enables the user to measure leaf lengths of individual Arabidopsis seedlings from a set of time-series images and generates a wave-form output for leaf rhythm. This is a useful and convenient tool for monitoring the status of a plant's circadian clock without an expensive commercial instrumentation and software.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제16권5호
• /
• pp.576-580
• /
• 2010

임베디드 소프트웨어는 하드웨어 소프트웨어의 결합력이 매우 높기 때문에 전체 시스템에 대한 사용 시나리오 기반의 블랙박스 테스트가 주로 수행된다. 본 논문은 블랙박스 테스트로 발견된 결함에 대한 디버깅이 쉽지 않음에 착안하여 테스트와 디버깅 활동 연계를 지원하는 자동화 방안을 제안한다. 제안하는 방안은 테스트 결과로부터 결함 원인과 위치 추적이 가능한 디버깅 전략을 수립하는 방안과 이를 기반으로 이뮬레이터 환경에서 자동 수행되는 테스트 스크립트 자동 생성하는 방안으로 구현된다.

• 한국CDE학회논문집
• /
• 제21권4호
• /
• pp.433-442
• /
• 2016

This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

• International Journal of Precision Engineering and Manufacturing
• /
• 제1권1호
• /
• pp.133-145
• /
• 2000

Plastic molding designers are frequently faced with optimizing multiple defects in injection molded parts. these defects are usually in conflict with each other, and thus a tradeoff needs to be made reach a final compromised solution. In this study, an automated injection molding design methodology has been developed to optimize multiple defects of injection molded parts. Two features of the proposed methodology are as follows: one is to apply the utility theory to transform the original multiple objective optimization problem into single objective optimization problem with utility as objective function, the other is an implementation of a direct search-based injection molding optimization procedure with automated consideration of process variation. The modified complex method is used as a general optimization tool in this research. The developed methodology was applied to an actual molding design and the results showed that the methodology was useful through the CAE simulation using a commercial injection molding software package. Applied to production, this study will be of immense value to industry in reducing the product development time and enhancing the product quality.

• 한국정밀공학회지
• /
• 제17권9호
• /
• pp.210-221
• /
• 2000

Plastic mold designers and frequently faced with optimizing multi-quality issues in injection molded parts. These issues are usually in conflict with each other and thus tradeoff needs to be made to reach a final compromised solution. in this study an automated injection molding design methodology has been developed to optimize multi-quality characteristics of injection molded parts. The features of the proposed methodology are as follows : first utility theory is applied to transform the original multi-objective problem into single-objective problem. Second is an implementation of a direct search-based injection molding optimization procedure with automated consideration of robustness against process variation. The modified complex method is used as a general optimization tool in this study. The developed methodology was applied to an actual mold design and the results showed that the methodology was useful through the CAE simulation using a commercial injection molding software package. Applied to production this study will be of immense value to companies in reducing the product development time and enhancing the product quality.

• 한국항공운항학회지
• /
• 제16권2호
• /
• pp.1-11
• /
• 2008

Increasing demand for improved reliability and survivability of mission-critical systems is driving the development of health monitoring and Automated Contingency Management (ACM) systems. An ACM system is expected to adapt autonomously to fault conditions with the goal of still achieving mission objectives by allowing some degradation in system performance within permissible limits. ACM performance depends on supporting technologies like sensors and anomaly detection, diagnostic/prognostic and reasoning algorithms. This paper presents the development of a generic prototype test bench software framework for developing and validating ACM systems for advanced propulsion systems called the Propulsion ACM (PACM) Test Bench. The architecture has been implemented for a Monopropellant Propulsion System (MPS) to demonstrate the validity of the approach. A Simulink model of the MPS has been developed along with a fault injection module. It has been shown that the ACM system is capable of mitigating the failures by searching for an optimal strategy. Furthermore, the concepts of Validation and Verification (V&V) of such systems are introduced with relevant examples.

• ETRI Journal
• /
• 제37권5호
• /
• pp.1032-1043
• /
• 2015

ETRI's Co-Pilot project is aimed at the development of an automated vehicle that cooperates with a driver and interacts with other vehicles on the road while obeying traffic rules without collisions. This paper presents a core block within the Co-Pilot system; the block is named "Co-Pilot agent" and consists of several main modules, such as road map generation, decision-making, and trajectory generation. The road map generation builds road map data to provide enhanced and detailed map data. The decision-making, designed to serve situation assessment and behavior planning, evaluates a collision risk of traffic situations and determines maneuvers to follow a global path as well as to avoid collisions. The trajectory generation generates a trajectory to achieve the given maneuver by the decision-making module. The system is implemented in an open-source robot operating system to provide a reusable, hardware-independent software platform; it is then tested on a closed road with other vehicles in several scenarios similar to real road environments to verify that it works properly for cooperative driving with a driver and automated driving.

• 대한치과교정학회지
• /
• 제52권2호
• /
• pp.102-111
• /
• 2022

Objective: To develop and explore the usefulness of an artificial intelligence system for the prediction of the need for dental extractions during orthodontic treatments based on gender, model variables, and cephalometric records. Methods: The gender, model variables, and radiographic records of 214 patients were obtained from an anonymized data bank containing 314 cases treated by two experienced orthodontists. The data were processed using an automated machine learning software (Auto-WEKA) and used to predict the need for extractions. Results: By generating and comparing several prediction models, an accuracy of 93.9% was achieved for determining whether extraction is required or not based on the model and radiographic data. When only model variables were used, an accuracy of 87.4% was attained, whereas a 72.7% accuracy was achieved if only cephalometric information was used. Conclusions: The use of an automated machine learning system allows the generation of orthodontic extraction prediction models. The accuracy of the optimal extraction prediction models increases with the combination of model and cephalometric data for the analytical process.

• 한국IT서비스학회지
• /
• 제10권3호
• /
• pp.189-201
• /
• 2011

Feature models are widely used to model commonalities and variabilities among products during software product line development. Feature configurations are generated by selecting the features to be included in individual products. Automated tools to identify errors or inconsistencies in the feature models and configurations are essential to successful software product line engineering. This paper proposes a verification technique and tool based on semantic web technologies such as OWL, SWRL and Protege API. This approach checks the feature model and configuration based on predefined rules and provides information on existence of errors as well as the kinds of those errors. This approach is extensible due to ease of rule modification and may be easily applied to other environments because semantic web technologies can be easily integrated with other programming environments. This paper demonstrates how various semantic web-related technologies can support automatic verification of one kind of software development artifact, the feature model.

• 한국항해학회지
• /
• 제19권3호
• /
• pp.29-34
• /
• 1995

IEC and CISPR have continuously endeavored the measurement method of Immunity Test as international unification, but not established yet. The main reason is that the measurement method and the normalization of threshold to obtain the complicated parameters for Immunity Test are difficult. Thus, the Immunity Test Setups are used differently according to the measured electromagnetic environments. This study developed an Immunity Test System and Algorithm for measurement software suitable for IEC801-3 Regulatons using ready-made amplifier, signal generator, and developes interconnecting interface board interacting with other appratus i.e., RF Switch, Power Meter, Field Sensor and Pre-amp. We are to develope an automated software using Top/Down and OOP(Object Oriented Programming) method.