• Proceedings of the KIPE Conference
• /
• 2020.08a
• /
• pp.212-214
• /
• 2020

리튬이온 배터리를 고온의 환경에서 장시간 운용함에 따라 배터리 내부 물질의 변형 및 특성 변화가 발생하여 안전성의 문제가 발생하게 된다. 배터리의 안전성을 향상하기 위해 배터리의 고장 및 이상 상태를 진단 및 탐지하는 기법들의 연구가 진행되고 있다. 본 논문에서는 배터리의 이상 상황을 모사하기 위해 열폭주의 한 가지 방법인 고온의 환경에서 배터리의 특성 변화를 전기화학적 임피던스 분광법을 통해 분석하였으며, 등가회로 모델의 특성 인자를 활용하여 이상 상황을 탐지할 수 있는 이동 평균 추세선 기반의 이상 탐지 기법을 제안하며, 열폭주가 발생한 데이터를 통해 이상 탐지 기법을 검증한다.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.8
• /
• pp.2430-2441
• /
• 2000

A visual concurrent programming environment, called ESTGVP is designed and implemented, which is easy to understand, highly portable, and can represent parallel behaviors. For our purpose, a conventional state transition graph is extended so as to enable both of synchronous and asynchronous parallel operations. We call it extended state transition graph (ESTG). ESTGVP uses the ESTG and texts for programming, and makes it easy programming sequential and parallel behaviors. Also, it is easy to understand the control structure of a program because ESTGVP is a visual programming environment based on the graph. ESTGVP is written in Tel language and thus it is highly portable on various operating systems. It consists of three major components; edition, transformation and execution. If necessary, ESTG can be transformed into C or Tel language, and its execution is based on Tel.

• Journal of IKEEE
• /
• v.23 no.2
• /
• pp.448-453
• /
• 2019

Under the conflicting objectives of maximum user satisfaction and fast launching, there exist great needs for automated mobile app testing. In automated app testing, detection of usage-state changes is one of the most important issues for minimizing human intervention and testing of various usage scenarios. Because conventional approaches utilizing pre-collected training examples can not handle the rapid evolution of apps, we propose a novel method detecting changes in usage-state through graph-entropy. In the proposed method, widgets in a screen shot are recognized through DNNs and 'onverted graphs. We compared the performance of the proposed method with a SIFT (Scale-Invariant Feature Transform) based method on 20 real-world apps. In most cases, our method achieved superior results, but we found some situations where further improvements are required.

• Journal of the Institute of Electronics and Information Engineers
• /
• v.50 no.12
• /
• pp.56-62
• /
• 2013

We present a rectifier for wireless power transmission using multiplier configuration in layout for MOSFETs which works at 13.56 MHz, designed to fit in CMOS process where conventionally used diodes are replaced with the cross-coupled MOSFETs. Full bridge rectifier structure without comparators is employed to reduce current consumption and to be working up to higher frequency. Multiplier configuration designed in layout reduces time delay originated from parasitic series resistance and shunt capacitance at each finger due to long connecting layout, leading to fast transition from on-state to off-state cross-coupled circuit structure and vice versa. The power conversion efficiency is significantly increased due to this fast transition time. The rectifier is fabricated in $0.11{\mu}m$ CMOS process, RF to DC power conversion efficiency is measured as 86.4% at the peak, and this good efficiency is maintained up to 600 MHz, which is, to our best knowledge, the highest frequency based on cross-coupled configuration.

• Journal of KIISE
• /
• v.43 no.9
• /
• pp.953-962
• /
• 2016

Model-based testing is a technique for performing the test by using a model that represents the behavior of the system as a system specification. Industrial domains such as automotive, military/aerospace, medical, railway and nuclear power generation require model-based testing and code coverage-based testing to improve the quality of software. Despite the fact that both model-based testing and code coverage-based testing are required, difficulty in achieving a high coverage using model-based testing caused by the abstraction level difference between the test model and the source code, results in the need for performing model-based testing separately. In this study, to overcome the limitations of the existing model-based testing, we proposed the state machine transformation method to effectively improve the code coverage using the protocol state machine, one of the typical modeling methods is used as the test model in model-based testing, as the test model. In addition, we performed a case study of both systems and analyzed the effectiveness of the proposed method.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11a
• /
• pp.307-310
• /
• 2002

인공지능 로봇 계획 문제는 초기상태, 동작, 목적상태로 구성되며, 초기상태를 목적상태로 변화시키는 일련의 동작을 찾는 문제로서, 지수 복잡도 문제이다. 이러한 문제에 대한 접근 방법으로 인공지능 탐색이 널리 쓰인다. 본 논문에서는 아일랜드 탐색을 사용하는 방법을 소개한다. 아일랜드 탐색을 적용하려면 초기상태에서 목적상태로 변환하는 도중 꼭 거쳐야 하는 아일랜드를 제공해야 한다. 그러나 그러한 아일랜드를 찾는 것은 불가능한 일이다. 그러므로, 본 논문에서는 선취관계를 이용하여 적당한 아일랜드를 생성하여 사용한다. 로봇 계획 문제의 목적 상태를 구성하는 부분목적 사이에 어떤 부분 목적이 반드시 다른 어떤 부분 목적 보다 먼저 성취되어져야 하는 관계를 선취관계라 한다. 아일랜드를 프로세서 수만큼 생성하여, 각 프로세서에 하나의 아일랜드를 원래의 계획 문제와 함께 할당한다. 각 프로세서는 초기상태에서 아일랜드까지 가는 문제를 휴리스틱 방법으로 풀고, 아일랜드에서 목적 상태로 도달하는 문제를 또한 휴리스틱 방법으로 풀어 결합함으로써 원래의 문제에 대한 해를 구하여 주 프로세서에게 되돌려 준다. 주 프로세서는 되돌아 온 해 중에서 가장 효율적인 해를 선택하여 최적해를 찾는다.

• Journal of KIISE:Software and Applications
• /
• v.36 no.6
• /
• pp.443-450
• /
• 2009

In an earlier development phase, the simulation technique is one of the key analysis methods for checking the correctness of system's functional requirements. In general, simulation is manually or randomly performed by executing state machine diagrams according to the requirement scenarios. Therefore, simulation is one of the most effort-consuming tasks. In this paper, an automatic simulation technique of state machine diagrams is provided according to the scenarios of the sequence diagrams. It is not easy to generate detailed simulation traces from sequence diagrams due to different abstraction levels between sequence diagrams and state machine diagrams. In order to adjust for different abstraction levels, state machine diagrams and sequence diagrams are transformed into LTS models and compositional analysis and transition reduction are performed. After checking behavior conformance between them, detailed simulation traces for the state machine diagrams are generated. These simulation traces are used not only for performing automatic simulation but also for assisting analyzers to reach a specific system state in order to guide further efficient simulation.

• The Journal of the Convergence on Culture Technology
• /
• v.3 no.3
• /
• pp.31-36
• /
• 2017

We are made up to the variation of the structure modeling of the stratum corneum by the skin on the hydration. The given skin structure is consist of the control level of the intercellular route and transcellular route, and is confirmed to the variation of the modeling for algorithm. Hydration condition is consisted to modeling by the size, form and combination, that skin impedance is appeared to result the value of measurement by the several layer such as forms of ${\xi}-R-SC-RH$, ${\xi}-R-SL-RH$, ${\xi}-R-SG-RH$, ${\xi}-R-SS-RH$ and ${\xi}-R-SB-RH$. Hydration condition is showed to the alteration difference value of S-Corneum, S-Lucidum, S-Granulosum, S-Spinosum and S-Basale. And, composition condition was constructed with the alteration modeling that was established to separate the division parts for conversion system. We will be possible to progress the improvement effectiveness of the skin and to consist of the continuous hydration control system for functional on the skin. We will be possible to progress the improvement effectiveness of the skin and to consist of the continuous penetration control system for functional energy on the skin.

• Journal of Internet Computing and Services
• /
• v.10 no.4
• /
• pp.55-70
• /
• 2009

Vision-based Human computer interaction is an emerging field of science and industry to provide natural way to communicate with human and computer. In that sense, inferring the emotional state of the person based on the facial expression recognition is an important issue. In this paper, we present a novel approach to recognize facial expression from a sequence of input images using emotional specific HMM (Hidden Markov Model) and facial motion tracking based on optical flow. Conventionally, in the HMM which consists of basic emotional states, it is considered natural that transitions between emotions are imposed to pass through neutral state. However, in this work we propose an enhanced transition framework model which consists of transitions between each emotional state without passing through neutral state in addition to a traditional transition model. For the localization of facial features from video sequence we exploit template matching and optical flow. The facial feature displacements traced by the optical flow are used for input parameters to HMM for facial expression recognition. From the experiment, we can prove that the proposed framework can effectively recognize the facial expression in real time.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.36 no.1
• /
• pp.57-65
• /
• 2023

A vibration response-based detection system was used to investigate the adhesive areas of single-lap joints using a nonlinear transformation approach for deep learning. In industry or engineering fields, it is difficult to know the condition of an invisible part within a structure that cannot easily be disassembled and the conditions of adhesive areas of adhesively bonded structures. To address these issues, a detection method was devised that uses nonlinear transformation to determine the adhesive areas of various single-lap-jointed specimens from the vibration response of the reference specimen. In this study, a frequency response function with nonlinear transformation was employed to identify the vibration characteristics, and a virtual spectrogram was used for classification in convolutional neural network based deep learning. Moreover, a vibration experiment, an analytical solution, and a finite-element analysis were performed to verify the developed method with aluminum, carbon fiber composite, and ultra-high-molecular-weight polyethylene specimens.