• The Journal of Engineering Geology
• /
• v.1 no.1
• /
• pp.121-136
• /
• 1991

The focal mechanism of the Hongsung Earthquake (1978. Oct. 7, M$_L$=5.0, Latitude 36.62N, Longitude 1 26.67E) was evaulated using the polarity distribution of the P-Waveforms. Through the non-linear computer process, the compatibility of polarity distributions of the 9 P-Waveforms observed at teleseismic distances from the Hongsung Earthquake epicenter was investigated to those of the focal mechanism determined from the varying strike, dip and rake angles. The resultant values for the strike and dip angle of the principal fault plane, which apparently matches very well the sunface lineament of the Hongsung region, are determined to be about 247 degree and 78 degree with uncertainties, respectively. However, the rake angle of the focal mechanism has wide range of 40 degree to 160 degree, which is mainly due to the poor coverage of the azimuthal angle of the observed seismic stations. Due to the consistency of principal stress axes, the resultant focal mechanism could support the current stress regime of that region, which may be caused by subduction of the Pacific Plate under the Eurasia Plate along the Japan Trench. It also provides information of seismic source characteristics of the part of the Korean Peninsula for aseismic design criteria such as Site Specific Response Spectrum and Strong Ground Motion Time History for the nuclear power plants and related nuclear waste disposal facility sites.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.5
• /
• pp.2103-2123
• /
• 2018

Ships built today are larger in scale and feature more complex structures. The ever-evolving systems used on board a ship require vast amounts of data processing. In the future, with the advent of smart ships, unmanned ships and other next-generation ships, the volumes of data to be processed will continue to increase. Yet, to date, ship data has been processed using wired networks. Placed at fixed locations, the nodes on wired networks often fail to process data from mobile devices. Despite many attempts made to use Wi-Fi on ships just as on land to create wireless networks, Wi-Fi has hardly been available due to the complex metal structures of ships. Therefore, Wi-Fi on ships has been patchy as the ship-wide total Wi-Fi coverage has not properly implemented. A new ship-wide wireless network environment is part of the technology conducive to the shipbuilding industry. The wireless network environment should not only serve the purpose of communication but also be able to manage and control multiple features in real-time: fault diagnostics, tracking, accident prevention and safety management. To better understand the characteristics of wireless frequencies for ships, this paper tests the widely used TETRA, UHF and Wi-Fi and sheds light on the features, advantages and disadvantages of each technology in ship settings. The proposed deployment of a Super Wi-Fi network leveraging the legacy UHF system of TMS generates a ship-wide wireless network environment. The experimental findings corroborate the feasibility of the proposed ship-wide Super Wi-Fi network environment.

• Journal of Korea Port Economic Association
• /
• v.22 no.3
• /
• pp.23-41
• /
• 2006

The objective of this study is to discuss damage to cargo caused by shipper's Liability. an analysis of the excepted perils of the carriers and the scope of marine insurance coverage reveals that the excepted perils of the carrier are covered by the most part by marine insurance. however damage to cargo caused by shipper's fault remains uncovered. Damage to cargo by insufficient packing is caused by the cargo owner's error or negligence, thus both the underwriter and the marine carrier are exmpted from responsibility. but a problem aries from the fact that there is no objective standard for full packaging. In order to solve these problems, it is required to specify the method of packaging for certain goods when making an individual agreement, so that the owner can be exmpted from responsibility for packaging conformed to the pertinent article.

• The Korean Journal of Air & Space Law and Policy
• /
• v.22 no.2
• /
• pp.27-51
• /
• 2007

The cumulative result of the work by the ICAO Secretariat, the Secretariat Study Group and the Council Special Group on the Modernization of the Rome Convention of 1952 are two draft Conventions, namely: "Draft Convention on Compensation for Damage Caused by Aircraft to Third Parties, in case of Unlawful Interference", and "Draft Convention on Compensation for Damage Caused by Aircraft to Third Parties" The core provisions of the former draft Convention are as follows: The liability of the operator is strict, that is, without the necessity of proof of fault. It would be liable for damage sustained by third parties on condition only that the damage was caused by an aircraft in flight(Article 3). However, such liability is caped based on the weight of the aircraft(Article 4). It is envisaged to create an independent organization called the Supplementary Compensation Mechanism, with the principle purpose to pay compensation to persons suffering damage in the territory of a State Party, and to provide financial support(Article 8). Compensation shall be paid by the SCM to the extent that the total amount of damages exceeds the Article 4 limits(Article 19). The main issues on the farmer draft Convention are relating to breaking away from Montreal Convention 1999, no limits on individual claims but a global limitation on air carrier liability, insurance coverage, cap of operators' strict liability, and Supplementary Compensation Mechanism. The core provisions of the latter draft Convention are as follows: the liability of the operator is strict, up to a certain threshold tentatively set at 250,000 to 500,000 SDRs. Beyond that, the operator is liable for all damages unless it proves that such damage were not due to its negligence or that the damages were solely due to the negligence of another person(Article 3). The provisions relating to the SCM and compensation thereunder do not operate under this Convention, as the operator is potentially for the full amount of damages caused. The main issues on the latter draft Convention are relating to liability limit of operator, and definition of general risks. In conclusion, we urge ICAO to move forward expeditiously on the draft Convention to establish a third party liability and compensation system that can stand ready to protect both third party victims and the aviation industry before another 9/11-scale event occurs.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.7
• /
• pp.1821-1841
• /
• 1997

This paper presents an automated protocol conformance test sequence generation based on formal methods for LOTOS specification by using and applying many existing related algorithms and technique, such as the testing framework, Rural Chinese Postman tour concepts. We use the state-transition graphs obtained from LOTOS specifications by means of the CAESAR tool. This tool compiles a specification written in LOTOS into an extended Petri net, from which a transition graph of a event finite-state machine(EvFSM) including data is generated. A new characterizing sequence(CS), called Unique Event sequence(UE sequence) is defined. An UE sequence for a state is a sequence of accepted gate events that is unique for this state. Some experiences about UE sequence, partial UE sequence and signature are also explained. These sequences are combined with the concept of the Rural Chinese Postman Tour to obtain an optimal test sequence which is a minimum cost tour of the reference transition graph of the EvFSM. This paper also presents a fault coverage estimation experience of an automated method for optimized test sequences generation and the translation of the test sequence obtained by using our tool to TTCN notation are also given. A prototype of the proposed framework has been built with special attention to real application in order to generated the executable test cases in an automatic way. This formal method on conformance testing can be applied to the protocols related to IN, PCS and ATM for the purpose of verifying the correctness of implementation with respect to the given specification.

• The Korean Journal of Air & Space Law and Policy
• /
• v.29 no.2
• /
• pp.3-54
• /
• 2014

The Republic of Korea enacted the Air Transport Act in Commercial Law which was entered into force in November, 2011. The Air Transport Act in Korean Commercial Law was established to regulate domestic carriage by air and damages to the third party which occur within the territorial area caused by aircraft operations. There are some problems to be reformed in the Provisions of Korean Commercial Law for the aircraft operator's liability of compensation for damages to the third party caused by aircraft operation as follows. First, the aircraft operator's liability of compensation for damages needs to be improved because it is too low to compensate adequately to the third party damaged owing to the aircraft operation. Therefore, the standard of classifying per aircraft weight is required to be detailed from the current 4-tier into 10-tier and the total limited amount of liability is also in need of being increased to the maximum 7-hundred-million SDR. In addition, the limited amount of liability to the personal damage is necessary to be risen from the present 125,000 SDR to 625,000 SDR according to the recent rate of prices increase. This is the most desirable way to improve the current provisions given the ordinary insurance coverage per one aircraft accident and various specifications of recent aircraft in order to compensate the damaged appropriately. Second, the aircraft operator shall be liable without fault to damages caused by terrorism such as hijacking, attacking an aircraft and utilizing it as means of attack like the 9 11 disaster according to the present Air Transport Act in Korean Commercial Law. Some argue that it is too harsh to aircraft operators and irrational, but given they have also some legal duties of preventing terrorism and in respect of helping the third party damaged, it does not look too harsh or irrational. However, it should be amended into exempting aircraft operator's liability when the terrorism using of an aircraft by well-organized terrorists group happens like 9 11 disaster in view of balancing the interest between the aircraft operator and the third party damaged. Third, considering the large scale of the damage caused by the aircraft operation usually aircraft accident, it is likely that many people damaged can be faced with a financial crisis, and the provision of advance payment for air carrier's liability of compensation also needs to be applied to the case of aircraft operator's liability. Fourth, the aircraft operator now shall be liable to the damages which occur in land or water except air according to the current Air Transport Act of Korean Commercial Law. However, because the damages related to the aircraft operation in air caused by another aircraft operation are not different from those in land or water. Therefore, the term of 'on the surface' should be eliminated in the term of 'third parties on the surface' in order to make the damages by the aircraft operation in air caused by another aircraft operation compensable by Air Transport Act of Korean Commercial Law. It is desired that the Air Transport Act in Commercial Law including the clauses related to the aircraft operator's liability of compensation for damages to the third party be developed continually through the resolutions about its problems mentioned above for compensating the third party damaged appropriately and balancing the interest between the damaged and the aircraft operator.