• International Journal of Internet, Broadcasting and Communication
• /
• 제10권4호
• /
• pp.50-64
• /
• 2018

This paper describes a visual object detection approach utilizing ensemble based machine learning. Object detection methods employing 1D features have the benefit of fast calculation speed. However, for real image with complex background, detection accuracy and performance are degraded. In this paper, we propose an ensemble learning algorithm that combines a 1D feature classifier and 2D DNF (Disjunctive Normal Form) classifier to improve the object detection performance in a single input image. Also, to improve the computing efficiency and accuracy, we propose a feature selecting method to reduce the computing time and ensemble algorithm by combining the 1D features and 2D DNF features. In the verification experiments, we selected the Haar-like feature as the 1D image descriptor, and demonstrated the performance of the algorithm on a few datasets such as face and vehicle.

• 대한전자공학회논문지
• /
• 제27권6호
• /
• pp.954-962
• /
• 1990

Experties of recognizing an object despite of every possible occlusions among objects is difficult to be provided directly to a system. In this paper, we propose a method for inferring inherent shape-characteirstics of an object from training views provided. The method learns rules incrementally by alternating the rule induction process from limited number of training views and the rule verification process from the following taining views. The learned rules are represented using logical expressions to enhance the readability. Thr proposed method is tested by simulating occlusions on 2-dimensional objects to examine the learning process and to show improvement of recognition rate. Thr result shows that it can be applied to a practical system for 3-dimensional object recognition.

• 한국컴퓨터정보학회논문지
• /
• 제8권4호
• /
• pp.21-27
• /
• 2003

본 논문에서는 정확한 분석 모델을 제시하기 위해서 객체 모델을 정의하고, 이 모델을 정형화와 표준화에 필요한 형식명세로 변환하는 방법을 제안한다. VDM 형식으로 변환된 모델은 정확성, 일관성, 완전성을 제공할 수 있다. 증명의 대상인 VDM 명세에서 오류가 발생한다면 초기 객체 모델 단계에 적용하여 객체 모델의 검증이 가능하다. 검증된 객체 모델을 설계 단계의 기반 명세로 사용하므로 추후 개발 단계의 비용과 노력을 최소화하고 객체 모델 선택의 정확성을 높일 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권2호
• /
• pp.157-167
• /
• 2000

요구사항이 복잡하고 다양해지면서 정형적인 방법을 이용한 시스템 명세가 방대해지고 이해하기 어려워진다는 문제들이 생겨났다. 따라서 요구사항의 명세를 위해 모듈화 및 객체화 개념 등을 도입하고 있으며, 특히 복잡한 시스템의 경우에 있어서는 요구사항을 하향식 접근 방법에 의해 분할하고, 이들을 각각 정형적으로 명세하여 합성하는 접근 방법을 사용하고 있다. 본 연구에서는 이러한 추세에 따라 요구사항을 계층적으로 모델링하고, 객체지향 개념을 충분히 표현할 수 있는 정형적인 방법을 제안한다. 제안된 객체지향 페트리 넷인 HOONet은 모듈화, 객체화, 추상화, 및 상세화 등의 개념을 지원하도록 설계되었으며, 복잡한 요구사항을 체계적으로 명세할 수 있는 방법을 제공한다. 특히 요구사항이 부분적으로 제시되었거나, 분석이 전체적으로 완료되지 않은 상황에서도 명세 및 검증이 가능하도록 하였으며, 점진적인 명세의 합성을 통해 시스템 모델링이 이루어지도록 하였다.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2000년도 제14회 학술강연논문집
• /
• pp.8-8
• /
• 2000

In this paper are presented main power and gasdynamic characteristics of C-l6VK hypersonic test cell of Research Test Center of CIAM. Gasdynamic adjustment of the C-l6VK test cell was carried out with the working section constructed on scheme of Ramjet/scramjet test in free stream. Gasdynamic adjustment was conducted stage by stage in tile following sequence. First, check and preparation of all technical systems and checking measuring system. Than determination of the characteristics of test cell on cold (without the heating of air at entrance) regime and determination of the characteristics of test cell on regimes with the heating of air. Finally determination of tile characteristics of test cell with the loading of the working part by object. On tile final stage of gasdynamic adjustment two experiments with tile axisymmetric Scramjet model loaded into the working part of test cell were conducted. The first experiment was conducted with the purpose of determination of flow parameters with the object leaded into the working part and verification of experiment cyclogram. The second experiment was conducted with injection of hydrogen into the combustion chamber of object, that is tile conditions on test cell simulated Scramjet flight Mach number M = 6. Such methodology of gasdynamic adjustment allows to determine influence of experimental object on flow parameters in the working part at different conditions of experiment (with the burning in combustion chamber of object and without the homing), and also to compare flow characteristics in the object duct.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2002년도 춘계학술대회논문집
• /
• pp.61-65
• /
• 2002

These days, in order to satisfy the complex and various demands of the customers, the telecommunication networks must provide rapid and flexible services, with the support of efficient service and network management systems. To satisfy these requirements, many objects for management have been released to manage network services and elements. But there are no efficient ways to manage these newly managed objects in object-oriented software. Therefore, we study several problems, when a subsystem using object-oriented technique is implemented. The first problem is that interface works between realized application programs using its technique. The second problem is that reusability of internal managed objects is difficult. In this paper, we will point out some problems and to solve these problems, we have proposed the Object Management System (OMS) architecture, which supports a transparent interface between object-oriented applications and the distributed data repositories. Also in order to manage efficient business objects stored in the different repositories, we suggest a method for integrating dynamic information resources in heterogeneous and distributed network environments. Finally, we applied OMS to TINA(Telecommunication Information Network Architecture) domain, implemented OMS, and verified it with SMV(Symbolic Model Verifier) which is model checking technology.

• 한국CDE학회논문집
• /
• 제14권4호
• /
• pp.225-233
• /
• 2009

The objective of this paper is to examine a construction method and verify PLC logic using the logical modeling and simulation of a virtual plant has complex manufacturing system and the domain of application is car body assembly line of automotive industrial operated by PLC Program. The proposed virtual plant model for the analysis of the construction method consists of three types of components which are virtual device, intermediary transfer and controller is modeled by logical model but it the case of the verification of PLC program, HMI and PLC logic in the field substitute for the controller. The implementation of the proposed virtual plant model is conducted PLC Studio which is an object-oriented modeling language based on logical model. As a result, proposed methods enable 3D graphics is designed in the analysis step to use for verification of PLC program without special efforts.

• 한국정보처리학회논문지
• /
• 제5권5호
• /
• pp.1204-1215
• /
• 1998

이 논문에서 우리는 OARTS(Object based Approach for Real-Time Systems)를 위한 시나리오를 표현하는 방법과 명세언어 및 확인기법을 제안한다. 이 방법은 지금까지 방법론 차원의 시나리오를 다루지 않았기 때문에 일반적인 모델링기법(사건추적도)에 명세언어와 확인방법을 포함한다. 본 논문은 객체에 기초한 통신 인터페이스인 외부 모듈 천이의 동기를 중심으로 내부 액션 천이와 외부 사건들의 열의 표현에 중점을 둔다. 실제의 예를 통하여 제안된 방법이 분석 단계의 요구사항들을 잘 반영하였으며 개념적인 확인기를 통하여 그 표현의 정당성을 확인할 수 있었다. 또한 이 방법은 일반적인 실시간 시나리오를 표현하기 위한 분석 도구로도 이용될 수 있을 것이다.

• 전력전자학회논문지
• /
• 제24권1호
• /
• pp.62-65
• /
• 2019

Wireless power transfer systems require an algorithm to determine the presence of the target object for mitigating standby power and safety issues. Although many schemes that sense various external objects have been actively proposed for inductive power transfer systems, not many studies on capacitive power transfer systems have been conducted compared with those on inductive power transfer systems. This study proposes a target object detection algorithm by monitoring the capacitance in transmitter-side electrodes without additional pressure sensors or distance sensors. The proposed algorithm determines the presence of a target object by monitoring the change in capacitance in transmitter-side electrodes using the step pulse of the microcontroller unit. The algorithm is verified by two step processes. First, the performance in capacitance measurement is compared with that of an LCR meter. Then, the verification is conducted in a 5-W capacitive power transfer hardware. Experimental result shows that the interelectrode capacitance increases by 6 times when the target object is fully aligned. Thus, the proposed scheme can successfully detect the presence of the target object.

• 국제학술발표논문집
• /
• The 6th International Conference on Construction Engineering and Project Management
• /
• pp.344-348
• /
• 2015

The image data of the web camera is used to identify the construction status of the site in a remote office and it can be used for safety management. This study develops a construction schedule simulation system based on the active nD object linked with real image data of web camera from the construction site. The progress control method by 4D object uses a method that the progress of each activity is represented with different colors by progress status. Since this method is still based on a virtual reality object, it is less realistic description for practical engineers. Therefore, in order to take advantage of BIM more realistic, the real image of actual construction status and 4D object of planned schedule in a data date should be compared in a screen simultaneously. Those methodologies and developed system are verified in a case project where a web camera is installed for the verification of the system.