• Journal of electromagnetic engineering and science
• /
• v.16 no.4
• /
• pp.248-253
• /
• 2016

Two substrate integrated waveguide (SIW)-based antennas for the application of software-defined radar are proposed and investigated herein. It is usually well known that SIWs are easily integrated, lightweight, have low insertion loss, and low interference levels compared to conventional microstrip structures. The primary function of the proposed antennas is to transmit continuous waves for indoor motion detection, with the lowest amount of loss and an appropriate amount of gain. Moreover, the results of this study show that the size of the antenna can be reduced significantly (i.e., by about 40%) by applying a meander line structure. The operating frequencies of the proposed antennas are both within the industrial, scientific, and medical band (i.e., 2.4-2.4835 GHz). Measured results of return loss are -16 dB and -20 dB at 2.435 GHz and 2.43 GHz, respectively, and the measured gain is 8.2 dBi and 5.5 dBi, respectively. Antenna design and verification are undertaken through commercially available full electromagnetic software.

• ETRI Journal
• /
• v.32 no.5
• /
• pp.713-721
• /
• 2010

E-textile technology has earned a great deal of interest in many fields; however, existing wearable network protocols are not optimized for use with conductive yarn. In this paper, some of the basic properties of conductive textiles and requirements on wearable personal area networks (PANs) are reviewed. Then, we present a wearable personal network (WPN), which is a four-layered wearable PAN using bus topology. We have designed the WPN to be a lightweight protocol to work with a variety of microcontrollers. The profile layer is provided to make the application development process easy. The data link layer exchanges frames in a master-slave manner in either the reliable or best-effort mode. The lower part of the data link layer and the physical layer of WPN are made of a fabric serial-bus interface which is capable of measuring bus signal properties and adapting to medium variation. After a formal verification of operation and performances of WPN, we implemented WPN communication modules (WCMs) on small flexible printed circuit boards. In order to demonstrate the behavior of our WPN on a textile, we designed a WPN tutorial shirt prototype using implemented WCMs and conductive yarn.

• Journal of KIISE:Software and Applications
• /
• v.35 no.11
• /
• pp.661-670
• /
• 2008

In some applications of software engineering such as the verification of software model or embedded program, SAT solver is used. To practical use a SAT solver, a problem is encoded to a CNF formula, but because the formula has lower expressiveness than software models or source codes, optimal CNF encoding is required. In this paper, we propose optimal encoding techniques for the problem of "Selecting adjacent $k{\leq}n$ among n objects," Through experimental results we show the proposed constraint is efficient and correct to solve Japanese puzzle. As we know, this paper is the first study about CNF encoding for adjacency in BCC.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.6 no.2
• /
• pp.219-224
• /
• 2011

The quality management for mobile internet voice services currently being used widely cannot be achieved by the conventional quality management depending on a specific measurement equipment. For more systematic quality management, a real-time or preventive quality management scheme is proposed. The proposed scheme required a quality management software installed in a service user's terminal. In order to implement and realize the proposed scheme, it is a very important issue to ensure the reliability of the measurement results from the developed quality management software. Therefore, we have performed a large number of tests to verify the reliability of the software and discuss on the results in this paper.

• ETRI Journal
• /
• v.39 no.1
• /
• pp.135-144
• /
• 2017

Recently, mobile phones have been recognized as the most convenient type of mobile payment device. However, they have some security problems; therefore, mobile devices cannot be used for unauthorized transactions using anonymous data by unauthenticated users in a cloud environment. This paper suggests a mobile payment system that uses a certificate mode in which a user receives a paperless receipt of a product purchase in a cloud environment. To address mobile payment system security, we propose the transaction certificate mode (TCM), which supports mutual authentication and key management for transaction parties. TCM provides a software token, the transaction certificate token (TCT), which interacts with a cloud self-proxy server (CSPS). The CSPS shares key management with the TCT and provides simple data authentication without complex encryption. The proposed self-creating protocol supports TCM, which can interactively communicate with the transaction parties without accessing a user's personal information. Therefore, the system can support verification for anonymous data and transaction parties and provides user-based mobile payments with a paperless receipt.

• Journal of KIBIM
• /
• v.5 no.1
• /
• pp.44-53
• /
• 2015

Recently, BIM has been widely applying in civil engineering projects centering on the private construction industry in order to establish self guidelines for spreading in practice. However, most BIM technologies and software are based on the architectural projects. In these environments, it is not easy to apply the BIM to a infrastructure field. Even BIM standards with IFC (Industry Foundation Classes) are also focusing on architectural projects. Especially, both private and public sectors do not know about how BIM delivery system should be performed, and how such deliverable should be submitted to the government yet. Thus, we need to analyze an application level of BIM S/W (Software) in real projects and verify their interoperability. Besides, since there are not any common standards that can exchange IFC models for civil engineering projects, we have many issues in converting as-built infrastructure models into IFC and delivering their design documents to the government. Accordingly, this study aims to perform a BIM process with commercial software for real road project after a detailed design process is finished and verify interoperability between diverse BIM software for securing BIM data reliability.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.3
• /
• pp.157-163
• /
• 2014

This paper demonstrates the benefit of using MOOS-IvP in the development of control system for Unmanned Underwater Vehicles(UUV). The demand for autonomy in UUVs has significantly increased due to the complexity in missions to be performed. Furthermore, the increased number of sensors and actuators that are interconnected through a network has introduced a need for a middleware platform for UUVs. In this context, MOOS-IvP, which is an open source software architecture, has been developed by several researchers from MIT, Oxford University, and NUWC. The MOOS software is a communication middleware based on the publish-subscribe architecture allowing each application to communicate through a MOOS database. The IvP Helm, which is one of the MOOS modules, publishes vehicle commands using multi-objective optimization in order to implement autonomous decision making. This paper explores the benefit of MOOS-IvP in the development of control software for UUVs by using a case study with an auto depth control system based on self-organizing fuzzy logic control. The simulation results show that the design and verification of UUV control software based on MOOS-IvP can be carried out quickly and efficiently thanks to the reuse of source codes, modular-based architecture, and the high level of scalability.

• The KIPS Transactions:PartD
• /
• v.16D no.6
• /
• pp.921-926
• /
• 2009

Vulnerabilities in software can result in many social and economic problems once it has already been deployed and put to use. Thus, the vulnerabilities should be seriously taken into consideration from the beginning step of software development. A modeling and simulation method for software can be adopted as a testing tool for establishing vulnerability inspection strategies. For verification of usability of this strategy, in this paper, we modeled the behavior of a DNS system using Ptolemy and the simulation was performed. The result shows that a well-known vulnerability of DNS server could be effectively found, which confirms that the modeling and simulation can be used for vulnerability testing.

• Journal of the Korean Solar Energy Society
• /
• v.29 no.1
• /
• pp.24-31
• /
• 2009

The aim of this study is to develop a software tool of thermal performance and economic analysis of windows, called WEPTools which helps architects, builders, and engineers quickly identify the most cost-effective window system in the very early stages of the design process. This software is suitable for examining middle or Large-sized commercial and residential buildings that are characterized by one thermal zone. To establish the reliability of the simulation results, we adopt TRNSYS algorithm of which verification has already well approved. Therefore it performs whole-building energy analysis for 8760 hours/year, including dynamic thermal calculation.

• Journal of Advanced Navigation Technology
• /
• v.17 no.3
• /
• pp.346-353
• /
• 2013

The dominant trend in software development is the globalisation of the software industry. This development is faced with diverse problems, which require solution by the adoption of new processes and development techniques. eXtreme Programming (known as XP) is one methodology which is now at the leading edge of software development. This recent trend in XP allows organisation members to cooperate towards the development of new software independently of the existing developers. This is achieved functionally between the members by the development of distributed pair programming, this is not IDE plug-in shape of text, simple screen sharing or chatting function based.