• 제어로봇시스템학회:학술대회논문집
• /
• 2000.10a
• /
• pp.59-59
• /
• 2000

In this paper, we present a framework for modeling and control of multiple mobile robots which cowork within a bounded workspace and limited resources. To achieve this goal, we adopt a formalism of discrete event system and supervisory control theory based on Petri nets. We can divide our whole story into two parts: first, we search the shortest path using the distance vector algorithm, and then we construct the control scheme from which a number of mobile robots can work within a bounded workspace without any collision. The use of Petri net modeling allows us In synthesize a controller which achieves a control specification for the desired closed-loop behavior efficiently. Finally, the usefulness of the proposed Petri net formalism is illustrated by a simulation study.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.22 no.7
• /
• pp.1579-1589
• /
• 1997

This paper introduces a monolithic chip 3.3V high-performance continuous-tune filter used in a CDP that can reconstruct the PDM or PWM signal output of a .SIGMA..DELTA. D/A converter. We also mentioned an active RC filter structure and filter order satisfying high-linearity and the design specification. In desigining the OP-AMP, using a structure that accepts some distortion we could reduce the chip area, and reducing the DC path using a new biascircuit gave us better power performance. The designed.SIGMA..DELTA. D/A converter post-processing filter does its smoothering operations and reconstructs the data without reducing the performance of the system.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.15 no.4
• /
• pp.410-416
• /
• 2012

In recent years, unmanned underwater vehicles(UUVs) have emerged as viable technical solution for conducting underwater search, surveillance, and clearance operations in support of mine countermeasure missions(MCMs) because of her autonomy and long time endurance capability. It is necessary for UUV for MCM system design to define system specification from various configuration alternatives. This paper introduces a simulation model for mine countermeasure mission effectiveness analysis and presents some simulation results under various tide conditions for validation of the proposed simulation model.

• Journal of Biosystems Engineering
• /
• v.38 no.1
• /
• pp.18-24
• /
• 2013

Purpose: This study was conducted to develop an optimal combine scheduling program using Max-Coverage algorithm which derives the maximum efficiency for a specific location in harvest seasons. Methods: The combine scheduling program was operated with information about combine specification and farmland. Four operating types (Max-Coverage algorithm type, Boustrophedon path type, max quality value type, and max area type) were selected to compare quality and working capacity. Result: The working time of Max-Coverage algorithm type was shorter than others, and the total quality value of Max-Coverage algorithm and max quality value type were higher than others. Conclusion: The developed combine scheduling program using Max-Coverage algorithm will provide optimal operation and maximum quality in a limited area and time.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.29 no.10
• /
• pp.47-53
• /
• 2015

IPMSM(Insert Permanent Magnet Synchronous Motor) is a very high degree of freedom in the design according to the permanent magnet insertion position. And the performance of IPMSM is affected a lot on barrier shape which determines the magnetic flux path from magnet. Thus the position of permanent magnet and the barrier shape has to be designed by considering both specification and operation condition. In the paper, the permanent magnet and barrier shape which is suitable for direct drive motor of washing machine has been studied. In addition, in order to verify the validity of the study, the test was evaluated by making a prototype motor.

• Journal of Advanced Information Technology and Convergence
• /
• v.8 no.2
• /
• pp.147-157
• /
• 2018

In this study, we analyzed an outdoor visible light communication system and implemented it through a simulation. We designed a Reed-Solomon encoder, a variable interleaver structure, and set it to the Institute of Electrical and Electronics Engineers (IEEE) 802.15.7 PHY I specification mode. We also analyzed the performance of an additive white gaussian noise (AWGN) channel environment using a root-raised-cosine (RRC) filter, implemented a MATLAB simulation and analyzed its performance. The results showed a requirement for an additional signal-to-noise ratio (SNR) of approximately 1.5 dB in a 3-ray multipath visible light channel environment than in an AWGN environment.

• Journal of Intelligence and Information Systems
• /
• v.18 no.3
• /
• pp.35-51
• /
• 2012

Cloud computing is internet-based computing where computing resources are offered over the Internet as scalable and on-demand services. In particular, in case a number of various cloud services emerge in accordance with development of internet and mobile technology, to select and provide services with which service users satisfy is one of the important issues. Most of previous works show the limitation in the degree of user satisfaction because they are based on so called concept similarity in relation to user requirements or are lack of versatility of user preferences. This paper presents cloud service selection reasoning which can be applied to the general cloud service environments including a variety of computing resource services, not limited to web services. In relation to the service environments, there are two kinds of services: atomic service and composite service. An atomic service consists of service attributes which represent the characteristics of service such as functionality, performance, or specification. A composite service can be created by composition of atomic services and other composite services. Therefore, a composite service inherits attributes of component services. On the other hand, the main participants in providing with cloud services are service users, service suppliers, and service operators. Service suppliers can register services autonomously or in accordance with the strategic collaboration with service operators. Service users submit request queries including service name and requirements to the service management system. The service management system consists of a query processor for processing user queries, a registration manager for service registration, and a selection engine for service selection reasoning. In order to enhance the degree of user satisfaction, our reasoning stands on basis of the degree of conformance to user requirements of service attributes in terms of functionality, performance, and specification of service attributes, instead of concept similarity as in ontology-based reasoning. For this we introduce so called a service attribute graph (SAG) which is generated by considering the inclusion relationship among instances of a service attribute from several perspectives like functionality, performance, and specification. Hence, SAG is a directed graph which shows the inclusion relationships among attribute instances. Since the degree of conformance is very close to the inclusion relationship, we can say the acceptability of services depends on the closeness of inclusion relationship among corresponding attribute instances. That is, the high closeness implies the high acceptability because the degree of closeness reflects the degree of conformance among attributes instances. The degree of closeness is proportional to the path length between two vertex in SAG. The shorter path length means more close inclusion relationship than longer path length, which implies the higher degree of conformance. In addition to acceptability, in this paper, other user preferences such as priority for attributes and mandatary options are reflected for the variety of user requirements. Furthermore, to consider various types of attribute like character, number, and boolean also helps to support the variety of user requirements. Finally, according to service value to price cloud services are rated and recommended to users. One of the significances of this paper is the first try to present a graph-based selection reasoning unlike other works, while considering various user preferences in relation with service attributes.

• Journal of the Institute of Electronics Engineers of Korea TC
• /
• v.43 no.10 s.352
• /
• pp.27-34
• /
• 2006

This paper has implemented a very small($1.4{\times}2.8[Cm^2]$) 13.56[MHz] RFID reader ensuring machine ID recognition correctly in a noise space of Tag-to-Reader within 3Cm. For operation of the RFID system, at first, this paper has designed the loop antenna of a reader and the fading model of back-scattering on microwave propagation following to 13.56[MHz] RFID Air Interface ISO/IEC specification. Secondly, this paper has proposed the automatically path selected RF switching circuit and the firmware operation relationship by measuring and analyzing the very small RFID RF issues. Finally, as a very small reader main body, this paper has shown the DSP board and software functions made for extraction of $1{\sim}2$ machine ID information and error prevention simultaneously with carrying of 13.56[MHz] RFID signals that the international standard specification ISO/IEC 18000-3 defined.

• Journal of the Korean Society for Railway
• /
• v.13 no.2
• /
• pp.222-228
• /
• 2010

In this paper, we propose a optimization approach for the Electric Locomotive Overhaul Maintenance Facility (ELOMF), which aims at the simulation optimization so as to meet the design specification. In simulation design, we consider the critical path and sensitivity analysis of the critical (dependent) factors and the design (independent) parameters for the parameter selection and reduction of the metamodel. Therefore, we construct the multi-objective non-linear programming. The objective function is normalized for the generalization of design parameter while the constraints are composed of the simulation-based regression metamodel for the critical factors and design factor's domain. Then the effective solution procedure based on the pareto optimal solution set is proposed. This approach provides a comprehensive approach for the optimization of Train Overhaul Maintenance Facility(TOMF)'s design parameters using the simulation and metamoels.

• Journal of Korea Multimedia Society
• /
• v.8 no.1
• /
• pp.79-87
• /
• 2005

In e-commerce applications, a public key cryptosystem is an important and indispensible element for the basic security operations such as authentication, digital signaturing, and key distribution. In wired network environments, the public key infrastructure certificate, which is based on X.509 specification, has been widely used. On the other hand, it still remains difficult to use the certificate information in wireless network environments due to the inherent limitations of the hand-held devices such as low computational power and short battery life. In this paper, we facilitate a codesign approach by implementing a software public-key cryptosystem and classifying its internal computation overheads quantitatively using a software profiling technique. Moreover, we propose a method to analyze the profiled data and apply it to the problem of software/hardware partitioning in a codesign approach. As an illustrative example, we analyze the computational overheads of an EC-Elfagamal application and examine a critical computational path.