• 한국정보통신학회논문지
• /
• 제20권6호
• /
• pp.1203-1208
• /
• 2016

자신이 느끼는 것이나 보는 것, 경험하는 것을 언어로 표현하는 것이 서툰 아동들에게 있어 미술 활동은 감정을 표현할 수 있는 방법 중 하나이며 미술 치료를 위한 중요한 분석 대상이기도 하다. PC의 그림판 기능 등을 통한 디지털 그림이 일상화된 최근에는 기존의 색채학 이론과 미술 치료 이론이 접목되고 있으며 자동 분석 기능의 필요성이 대두되고 있다. 본 논문에서는 아동이 그린 그림에 대해 주조색 분석을 하고 ART2 알고리즘을 적용하여 색채 정보를 군집화한다. 군집화된 각각의 중심 벡터값을 기반으로 색채 빈도수를 소속 함수에 적용하여 퍼지화한다. 퍼지화된 중심 벡터 값을 퍼지 추론 규칙에 적용한 후에 비퍼지화를 수행한다. 비퍼지화된 값을 분석한 후에 주조색과 보조색을 결정하여 알슈울러와 해트윅의 단일 색채에 따른 심리 상태와 색상 조합의 심리상태와 비교한 결과, 거의 비슷한 결과가 도출되는 것을 확인하였다.

• 컴퓨터교육학회논문지
• /
• 제20권4호
• /
• pp.77-84
• /
• 2017

논리회로 심화학습에 사용할 수 있는 논리식 간략화 도구로 활용하고 더 나아가 반도체 부품 최적화를 위한 설계자동화 도구로 활용할 수 있는 도구를 제안한 것이다. 본 논문에서 제시하는 논리식 간략화 방법은 여러 논리식에 존재하는 공통부분을 찾아 반복 사용을 줄이는 것이다. 최종적으로 전체 논리식에 사용된 리터럴 개수를 최소화하는 것을 목표로 한다. 이 전의 연구들이 나눗셈 원리를 이용해서 공통식을 찾았기 때문에 논리식에 내재한 공통식을 산출하는 데는 실패하였다. 본 논문에서 제안하는 방법은 논리식들 사이에 내재된 공통식을 찾도록 해밍거리가 3인 큐브들을 이용하였다. 벤치마크 회로를 이용한 실험을 통해 타 방법들과 간략화 정도를 비교했을 때, 제안한 방법으로 최대 47% 정도의 리터럴 개수를 줄이는 효과를 보였다.

• 한국공작기계학회:학술대회논문집
• /
• 한국공작기계학회 2001년도 춘계학술대회 논문집(한국공작기계학회)
• /
• pp.171-176
• /
• 2001

This paper describes the methodology of an IEC 1131-3-based control logic generator for the control system design and converting algorithm between programmable languages. The proposed control logic generator is generated based on the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 1131-3 Standard. The generation method of object file was proposed on five programmable language based on IECI 131-3. The generation method of object file is represented as following; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using C code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ and MFC on MS-windows NT 4.0

• 전기학회논문지P
• /
• 제67권3호
• /
• pp.143-148
• /
• 2018

In this paper, the optimal fuzzy logic controller(FLC) for a hybrid renewable energy system(HRES) is proposed. Generally, hybrid renewable energy systems can consist of wind power, solar power, fuel cells and storage devices. The proposed FLC can effectively control the entire HRES by determining the output power of the fuel cell or the absorption power of the electrolyzer. In general, fuzzy logic controllers can be optimized by classical optimization algorithms such as genetic algorithms(GA) or particle swarm optimization(PSO). However, these FLC have a disadvantage in that their performance varies greatly depending on the control parameters of the optimization algorithms. Therefore, we propose a method to optimize the fuzzy logic controller using the teaching-learning based optimization(TLBO) algorithm which does not have the control parameters of the algorithm. The TLBO algorithm is an optimization algorithm that mimics the knowledge transfer mechanism in a class. To verify the performance of the proposed algorithm, we modeled the hybrid system using Matlab Tool and compare and analyze the performance with other classical optimization algorithms. The simulation results show that the proposed method shows better performance than the other methods.

• Journal of Advanced Marine Engineering and Technology
• /
• 제19권4호
• /
• pp.72-78
• /
• 1995

The diffusion of fuzzy logic techniques into real applications requires specific software supports which save development time and reduce the programming effort. But we has been lack of a tool devoted to support the design of fuzzy controllers. In this paper, on the basis of the general fuzzy set and .alpha.-cut set decomposition of fuzzy sets, a set of fuzzy reasoning tool(FRT) devoted to support the design of fuzzy dontroller for servo systems is developed. The major features of this tool are: 1) It supports users to analyze fuzzy ingerence status based on input deta and expected results by three-D graphic display. 2) It supports users to prepare input data and expected result. 3) It supports users to tuned scaling factor of membership functions, rules and fuzzy inference. The paper shows how the suggested design tools are suitable to give a consistent answer to the tuning of fuzzy control system. This FRT is expected to exert good performance and devoted to support which the design of fuzzy controller is illustrated in the servo systems.

• 한국항행학회논문지
• /
• 제24권4호
• /
• pp.314-321
• /
• 2020

LASAR (logic automated stimulus and response) 소프트웨어는 디지털 전자 회로 카드에 대한 로직 기능시험 및 고장검출을 위한 자동점검프로그램 개발도구이다. LASAR 소프트웨어는 소자의 논리회로 기능 및 입·출력 정의된 정보가 필요하다. 소자 정보가 없으면 정상적인 부품 모델링이 불가능하다. 따라서 본 논문에서는 소자 정보가 없는 PLD (programmable logic device) 소자를 역설계 방법을 통하여 부품 모델링을 수행한다. 개발된 LASAR 프로그램은 고장 시뮬레이션 결과와 단일 고착 고장삽입 방법을 통해 고장 검출율을 확인하였다. 고장 검출율은 기존의 제한적인 모델링은 91%, 역설계를 통한 모델링은 94%로 3% 상승하였다. 또한, EP 310 PLD 소자에 대한 입·출력핀에 대한 22가지 고착결함의 경우 100% 검출하여 양호한 성능을 확인하였다.

• 한국정보통신학회논문지
• /
• 제23권10호
• /
• pp.1216-1227
• /
• 2019

본 논문에서는 IoT 서비스 개발 과정에서 효율적인 IoT 애플리케이션 테스팅이 가능하도록 지원하는 도구인 TITAN(Tool for IoT ApplicatioN testing)을 제안한다. TITAN은 IoT 서비스 개발자가 개발 중인 애플리케이션 로직을 테스팅 하는 데 필요한 물리적 환경 및 사용자 행동에 제약받지 않고, 개발 환경에서 애플리케이션 실행 및 확인이 가능하도록 고안되었다. 개발자는 TITAN을 이용하여 개발 과정에서 반복적인 테스팅에 소모되는 시간과 노력을 줄일 수 있을 것이다. 본 논문에서는 TITAN의 시스템 아키텍처와 현재까지 구현된 프로토타입을 제시한다. 또한 소규모 유저 스터디를 통해 TITAN의 유용성과 사용성을 평가한다. 유저 스터디 참가자들은 TITAN의 유용성에 대해 긍정적으로 생각하였다. 마지막으로 현재 연구의 한계와 향후 연구 방향에 대해서 논의한다.

• 한국지능시스템학회논문지
• /
• 제8권6호
• /
• pp.91-98
• /
• 1998

A DEDS is a system whose stated change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the system is the lack of appropriate modeling techniques. In this paper, we consider the modeling and control problem for Discrete Event Dynamic Systems(DEDS) in the Temporal Logic framework(TLF) which have been recently defined. The traditional TLF is enhanced with time functions for real time control of Discrete Event Dynamic Systems. A sequence of event which drive the system from a given initial state to a given final state is generated by pertinently operating the given plants. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the analysis and control of DEDS. An given example of fixed-time traffic control problem is shown to illustrate our results with Real-time Temporal Logic Framework.

• 한국공작기계학회논문집
• /
• 제11권1호
• /
• pp.61-69
• /
• 2002

This paper describes a converting algorithm between programmable languages of a software PLU. It is based on IEC 61131-3 standard and PC. The proposed control logic is designed by the software model and common element with data type, variables, POUs(program organization unit) and execution control unit commonly used within programmable languages of IEC 61131-3 Standard. The generation method of object file is proposed on five programmable language based on IEC 61131-3. It is represented as fo11ows; 1) the generation method using conversion algorithm from LD to IL with FBD(function block diagram), 2) the generation method using f code generation algorithm from SFC using the SFC execution sequence with FBD and ST(structured text). The proposed control logic generator was implemented by Visual C++ 6.0 and MFC on MS-windows NT 4.0.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 추계학술대회 논문집 학회본부
• /
• pp.109-112
• /
• 1997

A Discrete Event Dynamic System is a system whose states change in response to the occurrence of events from a predefined event set. A major difficulty in developing analytical results for the systems is the lack of appropriate modeling techniques. This paper proposes the use of Real-time Temporal Logic as a modeling tool for the modeling and control of fixed-time traffic control problem which by way of a DEDS. The Real-time Temporal Logic Frameworks is extended with a suitable structure of modeling hard real-time constraints. Modeling rules are developed for several specific situations. It is shown how the graphical model can be translated to a system of linear equations and constraints.