• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.42 no.5
• /
• pp.398-405
• /
• 2014

Recently the embedded software has been widely applied to the safety-critical systems in aviation and defense industries, therefore, the higher level of reliability, availability and fault tolerance has become a key factor for its implementation into the systems. The integrity of the software can be verified using the static analysis tools. And recent developed static analysis tool can evaluate code integrity through the mathematical analysis method. In this paper we detect the autocode error and violation of coding rules using the formal verification tool, Polyspace(R). And the fundamental errors on the flight control law model have been detected and corrected using the formal verification results. As a result of verification process, FBW helicopter control law autocode can ensure code integrity.

• Journal of the Korea Safety Management & Science
• /
• v.15 no.4
• /
• pp.113-121
• /
• 2013

The rate that women's EMTs(emergency medical technicians) in fire department occupy is increasing, but my general plan is aimed at suggesting the improving plan for the working environment of women's EMTs paying attention to the duty stresses of increasing women's EMTs, because improvement for the working environment of women's EMTs is being proceeded slowly. I suggested my improving plan for solving the working stress on the basis of a survey of the Recognition against women's EMTs as follows. Firstly, I suggested that physical strength of women's EMTs should be managed well continually via program establishment and a defined evaluation not only by employing a professional person in charge for physical strength in firehouse, but also by replenishing the suitable number for the urgent mobilization. Secondly, I suggested that the suitable number for the urgent mobilization should be increased to 3 including an ambulance driver. Thirdly, I suggested necessity such as the fruitful education and the creation of circumstances that can focus on education for improving participation rate, development of various new educational program, incentive program and penalty. finally, I suggested the fact that is related to the actual re-amendment of the concerned law and ordinance such as not only the smooth treatment of penalty for a traffic signal violation of ambulance and the legal remedy system due to aggravation of a patient's condition during a first-aid course, but also workshop and meeting among the periodical EMTs and administration of special therapy program and sufficient recess.

• Journal of Korean Society of Transportation
• /
• v.31 no.6
• /
• pp.34-42
• /
• 2013

The reasons of traffic accidents can be classified into the vehicle, road environment and human factors. In development of vehicle and road technologies, the human factor is the most important. The emotion research recently carried out showed that emotions play an important role in human judgment and decision making. They are also expected to partly determine driving behavior. The purpose of this study was to investigate the effects of drivers' emotions on their driving behavior. The results of this study showed that positive emotions do not affect driving behavior. As for negative emotions, however, safe driving(SD) and comfort driving(CD) factors have a negative correlation, and violence driving(VD) and regulation violation(RO) factors have a positive correlation. This study is significant as a basic study for establishing and determining a policy for reducing traffic accidents and for educating drivers.

• Journal of Digital Convergence
• /
• v.10 no.8
• /
• pp.29-37
• /
• 2012

Defamation is one of the most frequently occurring daily legal violation because it can easily be done by words. In the internet generation with flooding internet forum websites and social network services, internet defamation is becoming one of the most serious problems in many leading IT countries including Korea and the United States. Being such a critical issue that can lead to a suicide, Korean policy makers has undertaken efforts to prevent the internet defamation by defining the liabilities of internet users and internet service providers. Many of the policies and laws including "the Telecommunication Information Usage Promotion and Security Protection Act of 2007" are modeled after that of the United States. Thus, the study aims to explore American defamation law and internet defamation law analyzing "the Communications Decency Act of 1996" and a recently decided precedent, "Brodie" case, in Maryland state court.

• The Journal of The Korea Institute of Intelligent Transport Systems
• /
• v.11 no.5
• /
• pp.7-14
• /
• 2012

We frequently confront with cars interfering into our lane on the ramp. We suffered from serious traffic congestion due to the interfering cars. But the police enforcement has not done actively because it's hard to enforce. In this study, we have evaluated the systems to enforce cutting-in cars through the field test. Generally, the image processing method depends on the weather. To overcome this limitation we proposed a new algorithm combined with section detection method. In the filed test we concluded the results as follows. Whereas the violation detection rate of the general image processing was 58.2%, a new algorithm proposed by this study was 74.5%. And, an error rate enforcing vehicles that do not violate was 0.0%. Also, we can use the existing facilities, such as street light because of compact and lightweight systems which are integrated camera with controller. Therefore, we concluded that it is possible to enforce the interfering Cars using vehicle enforcement systems.

• Journal of Arbitration Studies
• /
• v.28 no.1
• /
• pp.43-75
• /
• 2018

The Court of Arbitration for Sport (CAS) was created to focus on the procedural complexity in the resolution of sports-related disputes, confidentiality, the matter of expenses, and the necessity of prompt settlement in the field of international sports. The CAS had originally launched as one of bodies of International Olympic Committee (IOC), but later it became properly operational as an independent organization to facilitate sports-related disputes when the International Council of Arbitration for Sport (ICAS), which came into force in accordance with the Paris Agreement in 1984 and has acted in place of IOC, took responsibility for the administration and financing of the CAS. The CAS is composed of four divisions, the Ordinary Arbitration Division and the Appeals Arbitration Division, the Ad hoc Division created later in 1996 and the CAS Anti-Doping Division (CAS ADD) established as from 2016 only to conduct proceedings and to issue decisions on an alleged anti-doping rule violation, and two (Sydney and New York) permanent decentralized offices. The head office of the CAS is Lausanne, Switzerland. Since CAS ADD was established, CAS Ad hoc Division has had jurisdiction over the appeal case against a decision pronounced by the IOC, an NOC, an international Federation or an Organizing Committee for the Olympic Games. Although there are so many virtues of CAS as a resolution authority for sports-related disputes in terms of its organization, arbitration rules and procedures, it is also true that the CAS has not been showing the consistency. The CAS should overcome these issues through much more advanced system and its instant and fair decisions.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.25 no.5
• /
• pp.1281-1291
• /
• 2015

Compared to the past, people can control end devices via open channel. Although this open channel provides convenience to users, it frequently turns into a security hole. In this paper, we propose a new human-centered security risk analysis method that puts weight on the relationship between end devices. The measure derives from the concept of entropy rate, which is known as the uncertainty per a node in a network. As there are some limitations to use entropy rate as a measure in comparing different size of networks, we divide the entropy rate of a network by the maximum entropy rate of the network. Also, we show how to avoid the violation of irreducible, which is a precondition of the entropy rate of a random walk on a graph.

• THE INTERNATIONAL COMMERCE & LAW REVIEW
• /
• v.71
• /
• pp.195-216
• /
• 2016

In determining the content of the FET standard, the tribunals stated protection of investor's legitimate expectations, due process and denial of justice, transparency, discrimination and arbitrariness, good faith, etc. The most major elements of the FET standard is the protection of the investor's legitimate and reasonable expectations. It is necessary to consider whether it is possible to what the expectations of investors are protected as legitimate and it is formed under any circumstances. If host state frustrate investor's legitimate expectations, it found a breach of the FET. The host state's specific assurance may reinforce investor's expectations, but such explicit statement is not always necessary. The host state must preserve a stable environment for investments. However, It must not be understood as the inalterability of the host state's legal framework. It implies that the host state's subsequent changes should be made consistently and predictably. The host state is entitled to exercise a reasonable regulatory authority to respond to changing circumstances in the public purpose. Therefore, whether the violation FET shall be determined through a balanced against the investor's legitimate expectations and the host state's reasonable regulatory exercise in the public interest. And investor should keep in mind that the principle of proportionality is applied unless host state provides stabilization clause or similar commitments to investor. Also host state should establish the basis of an argument about reasonable regulatory authority for public interest.

• Journal of Korean Society on Water Environment
• /
• v.16 no.4
• /
• pp.431-443
• /
• 2000

Water quality data from water treatment plants in Korea during 1994-1998 were investigated to find out the characteristics of their non compliance. The number of plants surveyed were approximately 600 and the number of samples were over 30,000. Ten parameters of water quality selected in this study and their non compliance % (inside parenthesis) were as follows: Heterotrophic plate count (0.14%), Total coliforms (0.08%), $NH_3$-N (0.29%), $NO_3$-N (0.14%), THMs (0.02%), Turbidity (0.11%), Residual chlorine (5.5%), $KMnO_4$ consumption (0.04%), Hardness (0.03%), pH (0.07%). These levels of non compliance were compared to those obtained from WIDB (Water Industry Database, 1996) of American Water Works Association. This study strongly supported that small water plants (<10,000 tons/day) were more vulnerable in meeting the regulation criteria of many water quality parameters such as Heterotrophic plate count. Total coliforms, $NO_3$-N, THMs, Turbidity, Residual chlorine, $KMnO_1$ consumption, Hardness and pH. The $NH_3$-N concentration was especially high in winter and its violation was frequently found in the specific areas such as the downstream of major rivers. The average THMs concentration was surprisingly low, indicating $13{\mu}g/L$ which is 43% of US. Accordingly, these characteristics must be reflected in establishing the effective management of water quality policy of drinking water in Korea.

• International Journal of Highway Engineering
• /
• v.10 no.2
• /
• pp.91-100
• /
• 2008

The quality of service on urban roadways have been evaluated mainly based on such quantitative measures as travel speed and delay. However, in addition to the quantitative aspects, drivers traveling on urban roadways are subject to be influenced by qualitative measures such as aesthetic aspects of the roadway and other drivers' violation of traffic laws. Based on this notion, this study attempts to identify roadway service quality indices, considering both qualitative and quantitative aspects and evaluate the quality of service using the modified Importance-Performance Analysis (IPA), a technique often applied in the field of marketing. The modified IPA is proposed in this study as a way to evaluate the service quality, reflecting the relative performance between study areas and performance indices. A case study is implemented over the Gangnam and Gangbuk areas in Seoul, resulting in identifying the items needed to be improved for each study area.