• Journal of Digital Contents Society
• /
• v.18 no.5
• /
• pp.881-888
• /
• 2017

Logic design using multiplexer has been used as a useful method for design convenience and flexibility in structural digital system design. In this paper, we analyze the effect of don't care conditions on logic optimization in a multiplexer-based logic design, which was not discussed enough in the previous studies in multiplexer based logic design, and describe the use of don't care conditions for designing of a single multiplexer and multiple multiplexer-based logic design. Especially, the design method when the number of data input is not 2m (as the number of selection lines is m) is considered. We also describe how to apply the proposed technique to the digital logic design education in conjunction with microprocessor design using Arduino which is widely used in creative engineering education recently.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.7
• /
• pp.869-874
• /
• 2019

Performing preventive maintenance on a system reduces unexpected downtime caused by system aging and increases its availability. In general, preventive maintenance can be largely divided into two broad categories: time-based maintenance policy and condition-based maintenance policy. In the time-based maintenance policy the preventive maintenance is triggered at scheduled time epochs with fixed time intervals, while in the condition-based maintenance policy the preventive maintenance is performed when system state is checked to satisfy a specific condition. Condition-based maintenance has some benefits in improving maintenance efficiency, compared to time-based one. This paper presents a stochastic model for analyzing a system with condition-based preventive maintenance, where the preventive maintenance is performed after a random time since the system aging occurs, and provides an analytical solution for the steady-state availability and the corresponding profit.

• Proceedings of the KIEE Conference
• /
• 2011.07a
• /
• pp.870-871
• /
• 2011

신뢰도 기반 최적설계는 목적함수를 최적화하는 단계와 확률구속조건을 평가하기 위한 최적화 단계로 이루어져 있다. 본 논문에서는 확률구속조건을 평가하는 방법으로 신뢰도 지수 기법과 성능치 기법을 제시하였고, 두 기법을 적용하여 초전도 자기 에너지 저장장치 모델의 신뢰도 기반 최적설계를 수행하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.703-705
• /
• 2001

본 논문에서는 PWD 모델을 기반하였을 경우 검사점들에 대한 새로운 일관성 조건이 필요함을 보이고, PWD 모델에 적합한 조정검사점 기법을 제안하고자 한다. 제안된 조정검사점 기법은 전체 프로세스가 일관된 검사점집합을 구성할 때 일관성 조건을 따르는 것이 아니라 PWD 모델에 적합한 새로운 일관성 조건을 따른다. 또한 각 프로세스의 수행상태를 비결정성 사건으로 인해서 발생하는 상태구간으로 구분하여 이전의 검사점 이후에 변화된 상태구간에 새로운 의존성을 생성하는 프로세스만 검사점을 취한다. 제안된 기법은 PWD 모델에 기반한 시스템에서 기존의 조정검사점 기법이 보이는 불필요한 오버헤드를 없애고, 결함발생시 시스템의 제한된 복귀를 보장한다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.591-594
• /
• 2014

IT Convergence with agriculture is expected to bring more efficiency and quality improvement in producing, distributing, consuming of agricultural products with the aid of information processing and autonomous control technologies of the IT area. However, there exist many difficulties to establish services and systems to actualize the IT convergence service in the agricultural field to cope with various objects such as time-varying weather changes, growth condition of farm products, and continual diseases. In this paper, we suggest standard technology service requirements for ubiquitous environments agriculture based on network.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.640-643
• /
• 2010

영어권에서는 통계적 기반 의미 오류 검사기에 대한 연구가 활발하게 진행되었으나 한국어에서는 자주 나타나는 오류를 중심으로 오류 단어를 검사할 문맥이나 공기정보를 갖는 규칙 기반의 연구가 이루어져왔다. 본 논문에서는 표제어나 사전 기반 범주화 정보로 표현되고 있는 기존 문법 검사기의 성능을 개선하는 방안으로 한국어 명사 어휘 의미망인 KorLex를 활용하는 방법을 연구한다. 특히, 용언은 목적어나 주어에 사용되는 명사의 표제어가 의미 제약 조건으로 사용되는 예가 많다. 본 논문에서는 용언의 의미 제약 조건을 명사 표제어 단위에서 명사 의미 그룹(class) 단위로 확대하여 문법 검사기의 의미 오류 검사 규칙의 의미 오류 제약 조건을 일반화 하는 방안을 연구한다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.3A
• /
• pp.193-200
• /
• 2010

Structural design requires simultaneously to ensure safety by considering quantitatively uncertainties in the applied loadings, material properties and fabrication error and to maximize economical efficiency. As a solution, system reliability-based design optimization (SRBDO), which takes into consideration both uncertainties and economical efficiency, has been extensively researched and numerous attempts have been done to apply it to structural design. Contrary to conventional deterministic optimization, SRBDO involves the evaluation of component and system probabilistic constraints. However, because of the complicated algorithm for calculating component reliability indices and system reliability, excessive computational time is required when the large-scale finite element analysis is involved in evaluating the probabilistic constraints. Accordingly, an algorithm for SRBDO exhibiting improved stability and efficiency needs to be developed for the large-scale problems. In this study, a more stable and efficient SRBDO based on the performance measure approach (PMA) is developed. PMA shows good performance when it is applied to reliability-based design optimization (RBDO) which has only component probabilistic constraints. However, PMA could not be applied to SRBDO because PMA only calculates the probabilistic performance measure for limit state functions and does not evaluate the reliability indices. In order to overcome these difficulties, the decoupled algorithm is proposed where RBDO based on PMA is sequentially performed with updated target component reliability indices until the calculated system reliability index approaches the target system reliability index. Through a mathematical problem and ten-bar truss problem, the proposed method shows better convergence and efficiency than other approaches.

• Proceedings of the Korean Society for Emotion and Sensibility Conference
• /
• 2002.11a
• /
• pp.120-127
• /
• 2002

본 연구는 특성(trait) 이론에 기반한 Eysenck의 EPQ-R 설문지와 EEG 변수들간의 상관 관계에 대한 실험적 연구로서, 피험자들은 한국판 EPQ-R 설문지를 작성하였고, 2회에 걸쳐 눈을 감은 조건, 눈을 뜬 조건, 암산과제 수행 조건에서 EEG를 측정하였다. Neuroticism 은 눈을 뜬 조건에서 theta 파와 부적 상관을 보였으며, Psychoticism 은 눈을 감은 조건에서 alpha 파와 정적상관, delta 파와 부적 상관을 보였는데, 이것은 Robinson(2001)의 이론과 일치하는 결과이다.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.11 no.3
• /
• pp.208-214
• /
• 2001

본 논문은 시변 입력 지연을 포함한 Takagi-Sugeno (TS) 퍼지 시스템으로 표현 가능한 비선형 시스템을 위한 체계적인 제어기의 설계 기법을 제안한다. 입력 지연은 화학 공정 시스템, 인터넷 기반 가상 실험실, 자율 이동 로봇의 원격 제어등, 실제의 산업 현장에서 매우 빈번히 발생하는 현상이며 제어 시스템의 성능을 감소시키며, 안정성을 저해하는 요소로 알려져 있다. 따라서 본 논문에서 다루고자 하는 문제는 매우 실제적인 문제이며 반드시 해결하여야 할 문제이다. 본 논문은 Lyapunov-Razumikhin 안정 이론에 기반하여 TS 퍼지 모델 기반 제어기의 설계 조건을 제시한다. 최종적인 제어기의 설계 조건은 선형 행렬 부등식의 형태로 주어진다. TS 퍼지모델 기반 제어기가 안정화시킬 수 있는 입력지연의 상한 값을 최대화하기 위하여 이중 최적화 기법을 도입한다. 제안된 제어기 설계 기법의 우수성과 타당성을 입증하기 위하여 모의 실험을 수행하였다. 컴퓨터 시뮬레이션 결과, 본 논문에서 제안한 타당성을 입증할 수 있다.

• Proceedings of KOSOMES biannual meeting
• /
• 2006.11a
• /
• pp.1-8
• /
• 2006

국민소득 증대와 주 5일 근무제 시행으로 육상레저관광에서 해양레저관광으로 그 추이가 이동되고 있다. 해양레저를 즐기고자하는 수요는 증가하고 있으나, 기반시설 부족으로 활성화가 이루어지지 못하고 있는 실정이다. 특히 우리나라 서남해안 해역은 2,000 여개의 다도해가 자연방파제 역할을 하고 있으므로 해양레저 산업을 활성화 시키는데 적합한 천혜의 자연조건을 보유하고 있다. 본 연구에서는 우리나라 해양레저 기반시설의 현황과 문제점을 분석하고, 서남해안 해양레저 산업 활성화에 필요한 친환경 마리나 시설 구축에 관한 자연조건, 해상조건 분석, 다목적용 마리나 시설에 관하여 논한다.