• Journal of Intelligence and Information Systems
• /
• v.10 no.3
• /
• pp.91-103
• /
• 2004

Multi-agent systems for semantic web applications require efficient implementation of agent architectures without sacrificing the flexibility and the level of abstraction that agent architectures provide. In this paper, we present an agent system, called VivAce, which is implemented in Java to achieve both high efficiency and the level of abstraction provided by the BDI agent architecture. VivAce (Vivid Agent Computing Environment) has the characteristics of a vivid agent through the BDI agent model. A vivid agent is a software-controlled system whose state comprises the mental components of knowledge, perceptions, tasks, and intentions, and whose behavior is represented by means of action and reaction rules. We first identify the requirements for multi-agent systems and then present the relevant features of VivAce and experimental results.

• Proceedings of the Korea Committee for Ocean Resources and Engineering Conference
• /
• 2004.05a
• /
• pp.73-78
• /
• 2004

For the preliminary stages of ship design it is necessary to develop a basic design, which specifies the main particulars of the vessel. based on the requirements given by the owner. An efficient design enables the shipyard to make a rough estimate of the construction costs and to put forward a favourable quote during the call for tenders. The parametric determination of the main particulars of the vessel involves the application of empirical formulae. These formulae have been created after detailed tests and research by maritime research institutions and researchers had been carried out. Here, the design of a medium sized Bulk Carrier (26000t dwt) with a service speed of 17 knots for carrying rice and rock phosphate has been illustrated. Medium sized Bulk Carriers (25,000t dwt - 50,000t dwt) are in steady demand among small shipping companies. They have a size advantage, in that port size restrictions do not affect their design tremendously. Nevertheless, structurally. they are one of the most difficult to build. During design, the rules of the maritime regulatory bodies were strictly adhered to.

• The Korean Journal of Air & Space Law and Policy
• /
• v.12
• /
• pp.36-65
• /
• 2000

The Montreal Convention markedly changed the rules governing the international carriage by air of passenger, baggage and cargo. The introduction of a considerable number of modernized major elements including electric ticketing system, the unlimited passenger liability regime and a supplementary (fifth) jurisdiction should help to remove aged scheme that now exists in the Warsaw Convention and other related instruments. The key issue of the electric ticketing system recognized by the Convention IS how to describe reasonably and adequately the terms of written notices, in the light of the principle of consumer protection. Regarding liability regime for passengers, an unlimited passenger liability regime is realized. The carrier, in the first tier, is subject to a strict liability regime of up to 100,000 SDRs, and in the second tire, a regime of presumed fault liability without numerical liability limits. To add to the present four fora, the fifth forum is permitted. Regarding damage resulting the death or injury of a passenger, an action for damages may also be brought in its home territory with the considerably qualified narrow requirements. A strange deviation from the well-established "Procedure for Approval of Draft Convention" carried out by the Legal Committee left a considerable number of unrefined and incomplete passages. In the near future, their modification should be required.

• Journal of Information Technology Applications and Management
• /
• v.17 no.3
• /
• pp.1-24
• /
• 2010

Most of enterprises depend on a data modeler during developing their management information systems. In formulating business requirements for information systems, they widely and naturally use the interview method between a data modeler and a field worker. But, the discrepancy between both parties would certainly cause information loss and distortion that lead to let the systems not faithful to real business works. To improve or avoid modeler-dependant data modeling process, many automated data design CASE tools have been introduced. However, since most of traditional CASE tools just support drawing works for conceptual data design, a data modeler could not generate an ERD faithful to real business works and a user could not use them without any knowledge on database. Although some CASE tools supported conceptual data design, they still required too much preliminary database knowledge for a user. Against these traditional CASE tools, we proposed a Requirement-Oriented Entity Relationship Model for automated data design tool, called ROERM. Based on Non-Stop Methodology, ROERM adopts inner systematic modules for complete and sound ERD that is faithful to real field works, where modules are composed of interaction modules with a user, rules of schema operations and sentence translations. In addition to structure design of ROERM, we also devise detailed algorithms and perform an experiment for a case study.

• Journal of Fisheries and Marine Sciences Education
• /
• v.20 no.3
• /
• pp.416-428
• /
• 2008

In the end of 2007, Korea Government promulgated the Rule of 'Basic Act of Logistics Policy' for improving international logistics forwarding business. The goals of these rules are to achieve the development of our nation's economics for providing the security and efficiency of logistics system and enforced competition of logistics enterprises. This is established the basic principles of the legal basis for expanding into the Logistics Hub Center of North-east Asia. However In May 1999 new licensing requirements for ocean freight forwarders and NVOCCs operating in the USA were established by the US Federal Maritime Commission(FMC). Due to these regulations, each ocean transportation service provider in the USA acting as ocean freight forwarder, NVOCCs, or NVOCC agent must obtain a license to operate as Ocean Transportation Intermediary(OTI) before it begins operations. Only licensed OTIs may act as US transportation agents or receiving agents of other NVOCCs, on both US exports and imports. In this context, I think this study will be contributes for the development of korean freight forwarding system by analysis and comparing with between the Rule of the Basic Act of Logistics Policy of Korea and OTI freight forwarder & NVOCCs of USA.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.29 no.2
• /
• pp.94-99
• /
• 2021

UTM is an air traffic management ecosystem under development for autonomously controlled operations of UAS by the FAA, NASA, other federal partner agencies, and industry. They are collaboratively exploring concepts of operation, data exchange requirements, and a supporting framework to enable multiple UAS operations beyond visual line-of-sight at altitudes under AGL 500ft in airspace where air traffic services are not provided. Minimum Safe Altitude is a generic expression, used in various cases to denote an altitude below which it is unsafe to fly owing to presence of terrain or obstacles. The European drone regulation mentions that the UAS is maintained within 120 metres from the closest point of the surface of the earth during flight, except when overflying an obstacle. This study attempted to develop a minimum flight altitude database system. Based on domestic and international rules and regulations on setting the minimum flight altitude it is expected that it can be applied to the operation of aircraft and unmanned aerial system in UTM environments for specific area in Korea.

• Journal of the Korean Society for Aviation and Aeronautics
• /
• v.30 no.2
• /
• pp.61-69
• /
• 2022

Since the MPL (Multi-Crew Pilot License) Program was introduced in Korea in 2009, there has not been a single pilot licensed under the MPL Program. To successfully implement the MPL Program in Korea, it is necessary for an Approved Training Organization to develop the MPL Flight Instructor Training Program and foster excellent MPL Flight Instructors. However, there are no rules or guidelines regarding the MPL Flight Instructor Training Program in Korea. This study suggests the Training Specification for the MPL Flight Instructor, including the training syllabus, training and assessment methods. The MPL Flight Instructor Training Program should be composed of minimum 14-hour academic and practical training, which includes the concept of Competency-Based Training, CRM, Competency, Behavior Indicator and Assessment. To be qualified for the MPL Flight Instructor, candidates need to successfully complete the course and pass the practical test. In order to maintain the qualification, MPL Flight Instructors should comply to recency and recurrent training requirements.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.139-141
• /
• 2006

Quantum-dot Cellular Automata (QCA) is one of the most promising next generation nano-electronic devices which will inherit the throne of CMOS which is the domineering implementation technology of large scale low power digital systems. In late 1990s, the basic operations of the QCA cell were already demonstrated on a hardware implementation. Also, design tools and simulators were developed. Nevertheless, its design technology is not quite ready for ultra large scale designs. This paper proposes a new approach which enables the QCA designs to inherit the verification methodologies and tools of CMOS designs, as well. First, a set of disciplinary rules strictly restrict the cell arrangement not to deviate from the predefined structures but to guarantee the deterministic digital behaviors. After the gate and interconnect structures of the QCA design are identified, the signal integrity requirements including the input path balancing of majority gates, and the prevention of the noise amplification are checked. And then the digital logic is extracted and stored in the OpenAccess common engineering database which provides a connection to a large pool of CMOS design verification tools. Towards validating the proposed approach, we designed a 2-bit QCA adder. The digital logic is extracted, translated into the Verilog net list, and then simulated using a commercial software.

• Journal of the Korean Society of Manufacturing Process Engineers
• /
• v.16 no.3
• /
• pp.146-152
• /
• 2017

Stabilizing the operation of dual fuel diesel engines is very important. The shipbuilding industry is rapidly growing, but gear components requiring reliability are still imported from other countries. The reasoning for this is three-fold. Firstly, it is compulsory that all ships must use devices that meet the performance standards specified in the Safety of Life at Sea (SOLAS) and the convention of MARine POLlution (MAPOL) to prevent pollution caused by ships. Secondly, most ships must comply with the ship classifications specified by ship owners. Therefore, it is specified that key engine gear components must be inspected and authorized for the quality and performance specified by the Ship Register Authority. Thirdly, it is essential that devices (engine gear) for human safety in ships comply with quality standards specified in the regulations and rules by the government. The Ship Register Authority's strict quality standards and approval requirements contribute to the reduction of motivation towards new investment and technology development by device component manufacturers. Therefore, this study aims to develop a method for using infrared thermography to examine gear reliability in order to ensure gear component reliability and national competitiveness in the global market.

• Magazine of the Korean Society of Agricultural Engineers
• /
• v.36 no.2
• /
• pp.44-55
• /
• 1994

This paper describes the development of real-time irrigation reservoir operation models that adequately allocate available water resources for paddy rice irrigation. Water requirement deficiency index(WRDI) was proposed as a guide to evaluate the operational performance of release schemes by comparing accumulated differences between daily release requirements for irrigated areas and actual release amounts. Seven reservoir release rules were developed, which are constant release rate method (CRR), mean storage curve method(MSC), frequency analysis method of reservoir storage rate(FAS), storage requirement curve method(SRC), constant optimal storage rate method (COS), ten-day optimal storage rate method(TOS), and release optimization method(ROM). Long-term forecasting reservoir operation model(LFROM) was formulated to find an optimal release scheme which minimizes WRDIs with long-term weather generation. Rainfall sequences, rainfall amount, and evaporation amount throughout the growing season were to be forecasted and the results used as an input for the model. And short-term forecasting reservoir operation model(SFROM) was developed to find an optimal release scheme which minimizes WRDIs with short-term weather forecasts. The model uses rainfall sequences forecasted by the weather service, and uses rainfall and evaporation amounts generated according to rainfall sequences.