• International Journal of Internet, Broadcasting and Communication
• /
• v.10 no.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.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.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.

• Journal of the Korea Society of Computer and Information
• /
• v.8 no.4
• /
• pp.21-27
• /
• 2003

In these paper, we define object models in order to represent a correct analysis model, propose translation method to formal specification necessary to uniform and standard. The translated model provide to correctness, consistency and completeness. If it is happen to error in the VDM specification, we can verify model to adapt initial object model step. It increase correctness to retrieval, reduce the costs and efforts of after development because of the verified model used to basic specification in design step.

• Journal of KIISE:Software and Applications
• /
• v.27 no.2
• /
• pp.157-167
• /
• 2000

As the requirements of a software system become large and complex, it causes some problems such that requirements specification using formal methods becomes larger in its size and less understandable. In order to solve such problems, the concepts of modularity and object are adopted to specify the requirements. In addition, top-down and compositional approach to handle such requirements are also adopted. In our paper, we suggest an object-oriented Petri net, called HOONet, to hierarchically specify and verify the complex requirements by incorporating the concepts of modularity, object, abstraction and refinement into a formal method. Our HOONet method supports the incremental specification and verification of partially described or not yet fully analyzed requirements. We also show the applicability of our method by modeling and verifying the requirements of a reactor safety control system.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2000.04a
• /
• 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.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• 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.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.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.

• The Transactions of the Korean Institute of Power Electronics
• /
• v.24 no.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.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• 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.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.5
• /
• pp.1204-1215
• /
• 1998

In this paper, we propose a scenario representing method, a specification language, and a verification technique for OARTS(Object based Approach for Real-Time Systems). As well as the general modeling method(event trace diagram), this study includes a specification language and a verification technique because there was no study about methodological level technique for scenario development as yet. Centering around the synchronization problem of transition of external modules which are the communication interfaces based on the objects, we lay stress on the representation of sequence of external events and internal action transitions. From the results of practical experiences, it has been ascertained that the proposed method reflect well the requirements in the analysis step, and its validity of the representation has been identified by a conceptual verifier. We support that it can serve as an analyzing tool for representing a general real-time scenarios also.