• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.27 no.3B
• /
• pp.202-211
• /
• 2002

Because wireless links are subject to disturbances and failures, it is important to support disconnected operations in mobile computing. Many schemes have been proposed to support the efficient disconnected operations. In this paper, we analyze and measure the computation time including disconnected operations to evaluate the performance of mobile computing on error prone wireless links. Mobile computation consists of three states: data hoarding, disconnected operation, and block states. We estimate the computation time using various parameters; error rate and recovery rate of wireless link, hoarding overhead, logging overhead, and reintegration overhead, etc. We can choose efficient strategies for disconnected operations and predict the performance using the results of this analysis.

• Health Policy and Management
• /
• v.22 no.4
• /
• pp.703-710
• /
• 2012

Purpose : The aim of this study is to review the current status of healthcare provision and its human resources administrative management and propose a coordinated human resource management plan for the more efficient operations of healthcare organizations. Methods : We reviewed the literature and held discussions with officials from the United States Department of Health and Human Services to survey United States Public Health Service Commissioned Corps operations. In addition, we surveyed the literature to analyze the current structure and responsibilities of governing bodies involved in public healthcare in Korea. Results : In Korea, there are several administrative offices involved in public health: the Ministry of Health and Welfare, the Ministry of Defense, the Environment Ministry and others. Since these diverse agencies don't integrate their operations, it is difficult to grasp their management of both public healthcare services and their personnel. A potential model is the United States Public Health Service Commissioned Corps, a sub-group of the Department of Health and Human Services and an elite team of highly qualified, public health professionals, which coordinates and manages the overall work and personnel of diverse healthcare organizations. Conclusion : We suggest the establishment of a federal level, public health administrative department of human resource management to centralize and coordinate the existing, disparate healthcare administrative agencies.

• The Korean Journal of Air & Space Law and Policy
• /
• v.30 no.1
• /
• pp.31-64
• /
• 2015

The Chicago Convention and Annexes have become the basis of aviation safety regulations for every contracting state. Generally, aviation safety regulations refer to the SARPs provided in the Annexes of the Chicago Convention. In order to properly reflect international aviation safety regulations, constant studies of the aviation fields are of paramount importance. Treaties duly concluded and promulgated under the Constitution and the generally recognized rules of international law shall have the same effect as the domestic laws of the Republic of Korea. Each contracting state to the Chicago Convention should meet ICAO SARPs about AOC and FAOC. According to ICAO SARPs, Civil Aviation Authorities shall issue AOC to air carriers of the state, but don't require to issue for foreign air carrier. However some contracting states of the Chicago Convention issue FAOC and/or Operations Specifications for the foreign operators. This FAOC is being expanded from USA to the other contracting states. Foreign operators have doubly burden to implement AOC of the ICAO SARPs because FAOC is an additional requirement other than that prescribed by the ICAO SARPs In Article 33, the Chicago Convention stipulates that each contracting state shall recognize the validity of the certificates of airworthiness and licenses issued by other contracting states as long as they are equal to or above the minimum standards of the ICAO. In ICAO Annex 6, each contracting state shall recognize as valid an air operator certificate issued by another contracting state, provided that the requirements under which the certificate was issued are at least equal to the applicable Standards specified in this Annex. States shall establish a programme with procedures for the surveillance of operations in their territory by a foreign operator and for taking appropriate action when necessary to preserve safety. Consequently, it is submitted that the unilateral action of the states issuing the FAOC to the foreign air carriers of other states is against the Convention. Hence, I make some proposals on the FAOC as an example of comprehensive problem solving after comparative study with ICAO SARPs and the contracting state's regulations. Some issues must be improved and I have made amendment proposals to meet ICAO SARPs and to strengthen aviation development. Operators should be approved by FAOC at most 190 if all states require FAOC. Hence, it is highly recommended to eliminate the FAOC or reduce the restrictions it imposes. In certain compliance-related issues, delayed process shall not be permitted to flight operations. In addition, it is necessary for the ICAO to provide more unified and standardized guidelines in order to avoid confusion or bias regarding the arbitrary expansion of the FAOC. For all the issue mentioned above, I have studied the ICAO SARPs and some state's regulation regarding FAOC, and suggested some proposals on the FAOC as an example of comprehensive problem solving. I hope that this paper is 1) to help understanding about the international issue, 2) to help the improvement of korean aviation regulations, 3) to help compliance with international standards and to contribute to the promotion of aviation safety, in addition.

• Journal of the military operations research society of Korea
• /
• v.16 no.1
• /
• pp.35-55
• /
• 1990

This research paper examines the Navy of the Republic of Korea (ROK) and the Japanese Maritime Self-Defense Force (JMSDF) to determine if the two navies can cooperate to enhance the security of Northeast Asia. This paper reviews the advantages and limitations of naval cooperation between the ROK and Japan, describes the threats to both, and evaluates domestic, regional and international factors to answer the questions : Is naval cooperation possible? How would might it take? what secunity burdens might the ROK Nayy and the JMSDF be reasonably expected to assume from the United States? Paper conclusions are based on the studies within the framework of today's realities. Consequently, the conclusions may seem undramatic. However, they are based on not what could happen if all parties agreed to accept radical change, but rather upon the assumption that all parties will want to change the least for the greatest benefit.

• Journal of the military operations research society of Korea
• /
• v.17 no.2
• /
• pp.44-53
• /
• 1991

This paper is aimed to develop a Lanchester type combat model for the direct-fire engagement. This model incorporates number of combatants, inter-firing time, detection time by movement, detection probability by the signature of fire, where the inter-firing time and the detection time are assumed to follow a negative exponential distribution. The approach to modeling is as follows : in the process of an engagement, a combatant takes one of the states('observing' state or 'firing' state), a combatant is initially in the observing state, if the combatant detects a target, he changes his state from 'observing' to 'firing' and will cause attrition to the opposing forces. Thus this transition mechanism is embodied into the differential equation form with each transition rate. A limited examination of the validity has been conducted by comparison with the Monte-Carlo simulation model 'BAGSIM', and with a traditional Deterministic Lanchester model.

• The KIPS Transactions:PartD
• /
• v.16D no.4
• /
• pp.527-540
• /
• 2009

State diagrams describe the dynamic behavior of an individual object as a number of states and transitions between these states. In this paper, we propose an automated technique to the generation of a state diagram from class operations with pre/post conditions. And I also develop a supporting tool, SDAG (State Diagram Automatic Generation tool). Additionally, we propose a complexity metric and a state diagram generation approach concerning types of each operation for decreasing complexity of generated state diagram.

• Research in Mathematical Education
• /
• v.19 no.2
• /
• pp.89-100
• /
• 2015

The study investigated pre-service teachers' knowledge and computational skills by using Triangular Arithmagon. Participants included 90 pre-service teachers from two schools in the United States and Taiwan. The Triangular Arithmagons Test (TAT) was used to measure pre-service teachers' performance in whole number, fractions, and decimals operations (i.e., addition, subtraction, multiplication, and division), each of which included level-1 (basic) and level-2 (advanced) tests. MANOVA analysis was performed to compare the performance between teachers from the United States and Taiwan. Results indicated that overall, pre-service teachers in Taiwan outperformed those in the United States, especially on the advanced-level tests. Pre-service teachers in the United States were found to have poor ability of solving complex operation problems. Different curriculum plans and teaching methods may lead to the performance gap between the two countries.

• Journal of Electrical Engineering and information Science
• /
• v.3 no.1
• /
• pp.1-7
• /
• 1998

High-Level synthesis of digital circuits calls for automatic translation of a behavioral description to a structural design entity represented in terms of components and connection. One of the critical steps in high-level synthesis is to determine a particular scheduling algorithm that will assign behavioral operations to control states. A new scheduling algorithm called Data Availability Scheduling (DAS) for high-level synthesis is presented. It can determine an appropriate scheduling algorithm and minimize the number of states required using data availability and dependency conditions extracted from the behavioral code, taking into account of states required using data availability and dependency conditions extracted from the behavioral code, taking into account resource constraint in each control state. The DAS algorithm is efficient because data availability conditions, and conditional and wait statements break the behavioral code into manageable pieces which are analyzed independently. The output is the number of states in a finite state machine and shows better results than those of previous algorithms.

• Journal of the military operations research society of Korea
• /
• v.25 no.1
• /
• pp.179-198
• /
• 1999

This study concerns logistics support analysis record(LASR) which provides guaranteed support, and is needed in various weapon systems development and acquisition to develop the optimal factor for integrated logistics support(ILS) by reflecting the results of logistics support analysis(LSA). We observe and analyze the logistics management information(LMI) system used in the United States under the integrated data environment(IDE), and analyze the differences between logistics management information system and the LOADERS(logistic support analysis data entry and retrieval system) which is currently used in Korea. Based on the analyzed results, a improvement model that corresponds to reality and can be applied is presented.

• Journal of the military operations research society of Korea
• /
• v.29 no.2
• /
• pp.111-130
• /
• 2003

This paper deals with the improvement of doctrine, organization, and training for Weapon systems during the defense acquisition process. We analyze the combat development element such as doctrine, organization, and training which is working in the United States of America. then we apply the ideas to our proposal for the improvement of doctrine, organization, and training for weapon systems. This paper will be contributed to the improvement of doctrine, organization, and training and the efficiency of defense acquisition program management.