• Proceedings of the KIEE Conference
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.380-382
• /
• 2007

As the society changes more to the aging society in future, many healthcare product are developed and distributed more on the market. The digital wrist band tye blood pressure device for home use are popular already in the market. It is useful for checking blood pressure level at home and control of hypertension. Especially. It is very essential home device to check the health condition of blood circulation disease. Nowadays many product types are available. But the measurement accuracy of blood pressure is not enough compared to the mechanical type. It needs to be upgraded to assure the precise health data enough to use in the hospital. The structure, feature and output signal of capacitor type pressure sensors are analyzed. An improved design fa capacitor sensor is suggested. It shows more precise health data after use on a wrist band type health unit. They can be applied for remote u-health medical service.

• Proceedings of the KIEE Conference
• /
• 대한전기학회 1999년도 추계학술대회 논문집 학회본부 A
• /
• pp.258-260
• /
• 1999

The Single Machine Equivalent(SIME) is a hybrid method resulting from the coupling of a time-domain program with the equal-area criterion. This paper presents the efficient filtering algorithm using improved SIME for Transient Stability Assessment. The main feature of the method is cascading contingency filtering. First contingency filtering is conducted by using the first-swing stability of equivalent One Machine Infinite Bus(OMIB) system. This stability is evaluated by checking its time trajectory. Selected cases through the first step are assessed on the second step using SIME under the detailed model of power systems. The efficiency of the algorithm is tested on PSS/E test system.

• Journal of the Korea Computer Industry Society
• /
• 제3권2호
• /
• pp.243-258
• /
• 2002

The web-based multimedia development tool was implemented to create and edit multimedia contents under the graphic user interface environment with icons. The development process enables the developers to verify the contents being developed by checking for errors, exchanging feedbacks and utilizing the pre-execution feature. By applying the tree structure to the internal data format, the tool uses inherent display features among media objects with time and spatial relations to efficiently process the synchronism of media objects that participate in the presentation and asynchronism according to user interaction.

• Journal of Sensor Science and Technology
• /
• 제16권5호
• /
• pp.369-376
• /
• 2007

Recently, obesity that is increasingly becoming a major cause of various diseases is emerging as a serious social problem. In order to solve this problem, the necessity of measurement systems for overweight management has increased. This paper is a study on the measurement system for obesity management that can offer right medical services everywhere and allways by analyzing EMG (electromyograph) of the abdomen and then checking one's health state. For analyzing EMG signals of the abdomen, algorithms for energy detection, signal feature extraction, classification and recognition are presented. This paper proposes a system that provides an appropriate an estimation on the health status by evaluating the obesity degree and muscular strength of the abdomen through the system applying these algorithms.

• Annual Conference of KIPS
• /
• 한국정보처리학회 2012년도 춘계학술발표대회
• /
• pp.1176-1179
• /
• 2012

To ensure the correctness of high performance satisfiability (SAT) solvers, several proof formats have been proposed. SAT solvers can report a formula being unsatisfiable with a proof, which can be independently verified by a trusted proof checker. Among the proof formats accepted at the SAT competition, the Reverse Unit Propagation (RUP) format is considered the most popular. However, the official proof checker was not efficient and failed to check many of the proofs at the competition. This inefficiency is one of the drawbacks of SAT proof checking. In this paper, I introduce a work-in-progress project, vercheck to implement an efficient RUP checker using modern SAT solving techniques. Even though my implementation is larger and more complex, the level of trust is preserved by statically verifying the correctness of the code. The vercheck program is written in GURU, a dependently typed functional programming language with a low-level resource management feature.

• IEMEK Journal of Embedded Systems and Applications
• /
• 제15권6호
• /
• pp.307-316
• /
• 2020

Machine learning model data is highly affected by performance. preprocessing is needed to enable analysis of various types of data, such as letters, numbers, and special characters. This paper proposes a development environment that aims to process categorical and continuous data according to the type of missing values in stage 1, implementing the function of selecting the best performing algorithm in stage 2 and automating the process of checking model performance in stage 3. Using this model, machine learning models can be created without prior knowledge of data preprocessing.

• The Journal of the Korea Contents Association
• /
• 제10권3호
• /
• pp.72-79
• /
• 2010

A EAARS(Electronic Attendance-Absence Recording System) is the important LSS(Learning Support System) for blending a on-line learning in the face-to-face classroom. However, the EAARS based on the smart card can not identify a real owner of the checked card. Therefore, we develop the CS(Client-Sever) system that manages the attendance-absence checking automatically, which is used the self-organizing neural network for the face recognition. A client system creates the ID file by extracting the face feature, a server system analyzes the ID file sent from client system, and performs a student identification by using the Recognized weight file saved in Database. As a result, The proposed CS EAARS shows the 92% efficiency in the CS environment that includes the various face image database of the real classroom.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 한국방송∙미디어공학회 2021년도 추계학술대회
• /
• pp.290-293
• /
• 2021

In this paper, we implement a learning efficiency verification system to inspire learning motivation and help improve concentration by detecting the situation of the user studying. To this aim, data on learning attitude and concentration are measured by extracting the movement of the user's face or body through a real-time camera. The Jetson board was used to implement the real-time embedded system, and a convolutional neural network (CNN) was implemented for image recognition. After detecting the feature part of the object using a CNN, motion detection is performed. The captured image is shown in a GUI written in PYQT5, and data is collected by sending push messages when each of the actions is obstructed. In addition, each function can be executed on the main screen made with the GUI, and functions such as a statistical graph that calculates the collected data, To do list, and white noise are performed. Through learning efficiency checking system, various functions including data collection and analysis of targets were provided to users.

• Journal of KIISE:Software and Applications
• /
• 제36권6호
• /
• pp.431-442
• /
• 2009

The Software Product Line (SPL) engineering is one of the most promising software development paradigms. With Feature-Oriented Reuse Method (FORM), reusable and flexible components can be built to aid the delivery of various software products such as mobile phone and digital TV applications based on commonalities and variabilities identified during Feature modeling. Model Driven Architecture (MDA) is also an emerging technology which supports developing software products to work on different platforms with platform independent models (PIM). Combining advantages of these two approaches is helpful to build a group of software products which share common Features while working on various platforms. As first step to combine FORM with MDA, we extend UML2.0 with profiles by which FORM architectures and parameterized Statecharts can be modeled. Secondly, we provide rules to examine whether Features are allocated at positions of elements of Statecharts consistently between a Feature model and a parameterized Statechart. Some rules are designed to check the consistency between FORM architectures and parameterized Statecharts. A case study on an elevator control system is provided to demonstrate the feasibility of our modeling approach and consistency checking rules.

• The Journal of the Korea Contents Association
• /
• 제8권10호
• /
• pp.198-207
• /
• 2008

The purpose of this study supplies the basic data to plan the optimum mental health service that is reflected needs of the elderly people with mental illness by checking how their demographic-sociological distinctive feature and function level have an effect on their needs of mental health service by being absent situation of a study of the elderly people with mental illness. As results of analysis, the residental type, the disease period, and the decision person of admission-discharge control of demographic-sociological distinctive feature is much effect on needs of programs and also effect commonly on the needs of the health promotion program and the discharge support program. Generally, the function level of the elderly people with mental illness is favorable and the order of function level is the group activity program, the counseling program, and the resource network program.