• Journal of the Korean Institute of Intelligent Systems
• /
• v.27 no.1
• /
• pp.7-14
• /
• 2017

Theoretically, it is known that common beliefs and/or common knowledge cannot be attained in asynchronously distributed multiagent environments, however, it show that some propositions with deadlines can be attained as common beliefs among a set of fully trusted agents even when they communicate to each other asynchronously. Generally, in the multiagent environment, the attainment of common beliefs is approached as a problem of communication, and for the common beliefs paradox that the common beliefs is not attained on a system without communication time restriction is applied to loose coarser granularity and it prove that forming common beliefs is possible by relaxing necessary requirements through the KakaoTalk chatting model. I also experimented with the reasoning function that confirms the common beliefs by inquiring about the common belief generated by implementing the inference function in each agent of the KakaoTalk chatting model. Through utilizing metalogic programming, a formalization of the presentation and reasoning of common beliefs has been achieved, and the group chatting model of KakaoTalk was adopted in experiments to show that common beliefs can be formed among distributed agents using asynchronous communication.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.13 no.9
• /
• pp.1964-1972
• /
• 2009

This paper proposed a distributed web environment for developing robot services using a 4-legged robot and MSRS. The proposed development environment of the robot services enabled a high-level complicated robot application to operate in a distributed web environment by implementing robot functions as services which can be run on network nodes using Microsoft MSRS. The environment has been also implemented using a 4-legged robot, Genibo as a robot platform. In experiment, we showed the developed robot services are enable to be executed and configured dynamically and support a remote monitoring in a distributed web environment. Finally the feasibility and the effectiveness of the proposed environment has been verified by creating a robot application using the developed robot services in Visual Program Language which helps student to create a complicated robot application system easily.

• Journal of Korea Society of Industrial Information Systems
• /
• v.19 no.4
• /
• pp.87-104
• /
• 2014

This paper proposes regionally centralized multistage reverse logistics (cmRL) networks and regionally decentralized multistage reverse logistics (dmRL) networks. cmRL considers whole area of RL network, while dmRL regionally distributed area of RL network. Each type is formulated by the mixed integer programming (MIP) models, which are realized in genetic algorithm (GA) approach. Two types of numerical experiments using RL network are presented and various measures of performance are used for comparing the efficiency of the cmRL and the dmRL. Finally, it is proved that the performance of the cmRL is superior to that of the dmRL.

• 제어로봇시스템학회:학술대회논문집
• /
• 2003.10a
• /
• pp.1071-1076
• /
• 2003

In this work, we propose a new framework of robot control for a variety of applications to our unstructured everyday environments. Programming robots can be a very time-consuming process and seems almost impossible for ordinary end users. To cope with this, this work is to provide a software framework for building robot application programs automatically, where we have robots learn how to accomplish a commanded task from the object. An integrated sensing and computing tag is embedded into every single object in the environment. In the robot controller, only the basic software libraries for low-level robot motion control are provided from the robot manufacturer. The main contributions of this work is to develop a server platform that we call Omniscient Server that generates the application programs and send them to the robot controller through the network. The object-related information from the object server merges into robot control software to generate a detailed application program based on the task commands from the human. We have built a test bed and demonstrated that a robot can perform a common household task within the proposed framework.

• ETRI Journal
• /
• v.18 no.4
• /
• pp.265-286
• /
• 1997

This paper presents a new software development environment that supports an integrated methodology for covering all phases of software development and gives integrated methods with tools for ITUT (Telecommunication Standardization Section of the International Telecommunication Union) languages. The design of the environment to improve software productivity and quality is based on five main concepts: 1) formal specifications based on SDL (Specification and Description Language) and MSC (Message Sequence Charts) in the design phase, 2) verification and validation of those designs by tools, 3) automatic code generation and a safe separate compilation scheme based on CHILL (CCITT High-Level Language) to facilitate programming-in-the-many and programming-in-the-large. 4) debugging of distributed real-time concurrent CHILL programs, and 5) simulation of application software for integrated testing on the host machine based on CHILL. The application results of the environment compared with other approaches show that the productivity is increased by 19 % because of decreasing implementation and testing cost, and the quality is increased by 83 % because of the formal specifications with its static and dynamic checking facilities.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.14 no.3
• /
• pp.1301-1312
• /
• 2020

Using decode-and-forward relaying in the cognitive radio networks, the spectrum efficiency can improve furthermore. The optimization algorithm of the spectrum sensing estimation time is presented for the cognitive relay networks in this paper. The longer sensing time will bring two aspects of the consequences. On the one hand, the channel parameters are estimated more accurate so as to reduce the interferences to the authorized users and to improve the throughput of the cognitive users. On the other hand, it shortens the transmission time so as to decease the system throughput. In this time, it exists an optimal sensing time to maximize the throughput. The channel state information of the sub-bands is considered as the exponentially distributed, so a stochastic programming method is proposed to optimize the sensing time for the cognitive relay networks. The computer simulation results using the Matlab software show that the algorithm is effective, which has a certain engineering application value.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.7 no.2
• /
• pp.27-36
• /
• 2001

This study aims to provide space organization of the Postpartum Care Center and basic data for architectural planning in the reasonable size. Nurturing method of infants at independent Postpartum Care Center combines rooming-in and non rooming-in and space organization is planned accordingly. Types of the existing floor plans are classified as a type centered on maternity protection room, a type of the separate space for multipurpose, a near type to the infants' room. New types of plane are presented as follows a core type concentrate upon nurse room, the infants' room and the same environmental and balanced corridors between the both. When an average capacity of 20 at Postpartum Care Center is planned, proper suitable floor space of Postpartum Care Center is above $753.9m^2$ and $37.69m^2$ per postpartum woman is required. It is indicated that an average floor space per postpartum woman of the reviewed facilities is smaller than one of the Postpartum Care Center in a plan and plane distributed by function too lack in nursing space. Expansion of space for the Postpartum Care Center is generally required, also the enlargement of nursing space is necessary to be harmonized with the management of a medical facilities and those mutual cooperation.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.32 no.10
• /
• pp.12-19
• /
• 2004

An aerodynamic design optimization system for three-dimensional wing was developed as a part of the future MDO framework. The present design optimization system includes four modules such as geometry design, grid generation, flow solver and optimizer. All modules were based on commercial softwares and programmed to have automated execution capability in batch mode utilizing built-in script and journaling. The integration of all modules into the system was accomplished through programming using Visual Basic language. The distributed computational environment based on network communication was established to save computational time especially for time-consuming aerodynamic analyses. The distributed aerodynamic computations were performed in conjunction with the global optimization algorithm of response surface method, instead of using usual parallel computation based on domain decomposition. The application of the design system in the drag minimization problem demonstrated considerably enhanced efficiency of the design process while the final design showed reasonable results of reduced drag.

• The Transactions of the Korea Information Processing Society
• /
• v.3 no.1
• /
• pp.107-117
• /
• 1996

This paper proposes a conceptual model for distributed problem solving(DPS), where cooperation and communication among agents are based on virtual shared memory (VSM) In this model, all agents in a DPS system view all the memory in a distributed computer system as a single shared memory in which data, tasks, and results can in a distributed computer system as a single shared memory, in which data, tasks, and results can / be accessed by any of the agents. Several agents cooperatively solve a complex problem, as agents write data, intermediate results of execution, and tasks requested to other agents to VSM and other agents read or execute them. Also, in order to develop DPS systems based on the proposed conceptual model, this paper designs a DPS system development environment(DPS-VSM)using Network Linda. Thi spaper shows utility ofthe proposed model by presenting an example of simulation a VSM-based DPS system, and analyzes the model by comparing the features of DPS- VSM with some other DAI programming shells.

• Journal of Advanced Navigation Technology
• /
• v.18 no.4
• /
• pp.401-408
• /
• 2014

Hadoop is composed with MapReduce programming model for distributed processing and HDFS distributed file system. Hadoop is suitable framework for big data processing, but processing of mass small files have many problems. The processing of mass small file in hadoop have problems to created one mapper per one file, and it have problems to needed many memory for store of meta information of file. This paper have comparison evaluation processing method of mass small file with various method in hadoop platform. The processing of general compression format is inadequate because of processing by one mapper regardless of data size. The processing of sequence and hadoop archive file is removed memory problem of namenode by compress and combine of small file. Hadoop archive file is faster then sequence file about combine time of small file. The processing using CombineFileInputFormat class is needed not combine of small file, and it have similar speed big data processing method.