• The KIPS Transactions:PartD
• /
• v.16D no.3
• /
• pp.371-380
• /
• 2009

Recently, lots of research on automated test data generation has been actively done. However, techniques for automated test data generation presented so far have been proved ineffective for programs with flag variables. It can present problems when considering embedded systems such as engine controllers that make extensive use of flag variables to record state information concerning devices. This paper introduces a technique for generating test data effectively for programs with flag variables. The presented technique transforms the test data generation problem into a SAT(SATisfiability) problem and makes advantage of SAT solvers for automated test data generation(ATDG). For the ends, we transform a program under test into Alloy which is the first-order relational logic and then produce test data via Alloy analyzer.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.28 no.2
• /
• pp.280-289
• /
• 2022

Internal Waters refer to the waters located at the landward side of a baseline and is completely under the sovereignty of a coastal state. However, the right of innocent passage of foreign-flag vessels is recognized in internal waters that are newly incorporated by establishing a straight baseline. Korea has a massive Internal Waters on its south-western coast where the straight baseline is adopted and has a wide Internal Waters that allows innocent passage. A foreign-flag vessel navigating the internal waters must be properly managed according to the interest of the coastal states such as the fishing·safety·security·environment around the Korean coast. Additionally, Territorial Sea comes under the sovereignty of a coastal state and it is a very important sea area for managing the interests of the coastal states. However, several collision accidents involving illegally anchored or drifted foreign-flag vessels have been occurring recently in the Korean Internal Waters and Territorial Sea, and such accidents are a threat to its interests. Thus, this paper analyzes the cases of collision of foreign-flag vessels that anchored or drifted without authorization, and examines domestic·international laws on the passage of foreign-flag vessel through Internal Waters and Territorial Waters. Finally, this paper suggests that unauthorized anchoring of foreign-flag vessels in Korean Internal Waters and Territorial Water violates the requirements for innocent passage and this violation is punishable according to related Acts; a desirable improvement plan for the legal system of passage through Internal Waters and Territorial Waters.

• International conference on construction engineering and project management
• /
• 2022.06a
• /
• pp.11-17
• /
• 2022

Design-bid-build (DBB) is the most common project delivery method among highway projects. State Highway Agencies (SHAs) usually apply a low-bid approach to select contractors for their DBB projects. In this approach, the Federal Highway Agency suggests SHAs heighten contractors' competition to lower bid prices. However, these attempts may become ineffective due to collusive bidding arrangements among certain contractors. One common strategy is the rotation of winning bidders of a group of contractors who bid on many of the same projects. These arrangements may also be specific to a particular region or vary in time. Despite the practices' adverse effects on bidding outcomes, an effective model to detect red-flag bidding patterns is lacking. This study fills the gap by proposing a novel framework that utilizes pattern mining techniques and statistical tests for unusual pattern detection. A case study with historical data from an SHA is conducted to illustrate the proposed framework.

• Proceedings of KOSOMES biannual meeting
• /
• 2005.05a
• /
• pp.185-193
• /
• 2005

• The Journal of Information Technology
• /
• v.8 no.3
• /
• pp.105-115
• /
• 2005

The CMA and MMA blind equalization algorithm has the inevitable large residual error caused by mismatching between the symbol constellation at a steady state after convergence. Stop-and-Go algorithm has a very superior residual error characteristics at a steady state but a relatively slow convergence characteristics. In this paper, we propose a SAG-Flagged MMA as a new adaptive blind equalization algorithm with a Stop-and-Go flag which follows a flagged MMA in update scheme of tap weights as appling the flag obtaining from Stop-and-Go algorithm to MMA. Using computer simulation, it is confirmed that the proposed algorithm has an enhancing performance from the viewpoint of residual ISI, residual error and convergence speed in comparison with MMA and Stop-and-Go algorithm. Algorithm has a new error function using the decided original constellation instead of the reduced constellation. By computer simulation, it is confirmed that the proposed algorithm has the performance superiority in terms of residual ISI and convergence speed compared with the adaptive blind equalization algorithm of CMA family, Constant Modulus Algorithm with Carrier Phase Recovery and Modified CMA(MCMA).

• Ocean policy research
• /
• v.33 no.2
• /
• pp.147-181
• /
• 2018

Currently, we are living in the era of the 4th industrial revolution. In the field of shipping industry, the MASS is a revolutionary game changer in the making arising out of such an industrial and technical innovation in the pursuit of radically challenging the pre-existing system of a human-operated vessel. Given this trend, the entire maritime regulatory regime, which has been designed by, and intertwined with, human seaworthiness, abruptly faces the most unprecedented normative confrontations now and increasingly in the coming days. As the constitution of ocean, UNCLOS, provides, every flag state is obliged to effectively exercise its jurisdiction to secure technical and human seaworthiness. Moreover, the coastal state may institute protective proceedings against vessels in respect of any violations of its laws to protect its marine environment in maritime zones of the coastal state. Further, UNCLOS acknowledges that the port state's authority extends to take administrative measures to prevent sub-standard ships from sailing within the ports or offshore-terminals of the state. These three jurisdictional functions will be required to more closely interface with each other than ever over the legal and political implications created by MASS. Although states' jurisdictional nuances are significant in this present world tilting back to protectionism, there are few articles to present jurisdictional issues of states and conceivable normative discourse with regard to MASS. This articles visits potential jurisdictional conflicts underlying MASS and tries to strike balance between contradictory interpretive approaches under UNCLOS while it is undeniable that this doctrinal research tends to strive to find justifications within the current framework of international law.

• Journal of Multimedia Information System
• /
• v.7 no.3
• /
• pp.215-220
• /
• 2020

Many state agencies and companies collect personal data for the purpose of providing public services and marketing activities and use it for the benefit and results of the organization. In order to prevent the spread of COVID-19 recently, personal data is being collected to understand the movements of individuals. However, due to the lack of technical and administrative measures and internal controls on collected personal information, errors and leakage of personal data have become a major social issue, and the government is aware of the importance of personal data and is promoting the protection of personal information. However, theory-based training and document-based intrusion prevention training are not effective in improving the capabilities of the privacy officer. This study analyzes the processing steps and types of accidents of personal data managed by the organization and describes measures against personal data leakage and misuse in advance. In particular, using Capture the Flag (CTF) scenarios, an evaluation platform design is proposed to respond to personal data breaches. This design was proposed as a troubleshooting method to apply ISMS-P and ISO29151 indicators to reflect the factors and solutions to personal data operational defects and to make objective measurements.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.63 no.9
• /
• pp.1286-1293
• /
• 2014

Typically, studies through the simulation system have been progressed, because the evaluation of the driver's arousal state about the service of a actual train has risk of safety for the driver. When configured event same as the real in simulation system, the ability to cope with an accident situation may be the same each other. But the difference in the state of tension or arousal will occur. In this study, requested to cooperate with the railways in order to escape from these constraints, and the target of the experiment was to real engineer service. I was set about experiment when the train was stopped as safe as possible. As a result, the beta wave of EEG signals that representing complex calculations or anxiety is increased rapidly on the basis of a flag station from at the time of departure. The size of the electrodermal activity signal in response to movement of the body gave a noticeable. In terms of HRV, if the train approach a flag station gradually and the R-R interval is narrowed. So that the driver can be estimated as arousal state. In accordance with this study, if the quantitative standard of arousal state be based on the driver's biosignals will provide, it will be able to take advantage of development the system that would prevent train accidents caused by human error.

• Proceedings of KOSOMES biannual meeting
• /
• 2003.05a
• /
• pp.41-58
• /
• 2003

A recent trend of global shipping industry adopting Port State Control (PSC) system is recognized as a proficient mechanism in preventing costal traffic accident and protecting marine environment. Disadvantages of Korean shipping companies in PSC inspection are unavoidable as Tokyo MOU imposed priority listed flag to Korea. Having stated above, appropriate research and prompt preparation in compliance with current PSC requirements for the Korean shipping companies have become an immediate need. The objectives of this study are : First, to review in understanding of PSC in overall and foundation of enforcement. Second. to study interaction of international treaties regarding PSC. Third, to compare practical compliance among the countries and to open up a case study on Korean shipping companies in adopting PSC. Last, to suggest direction to the Korean shipping companies the most proficient way in compliance with the current Tokyo MOU requirement. Korean flagged vessels have become prioritized target in PSC inspection as Tokyo MOU imposed priority listed flag to Korea due to high detention rate of its fleet. Disadvantage of a priority listed flag is a burden in its proficient fleet operation. This study suggests solutions to the disadvantages as below. : 1) Change shore management system, and provide continuous & quality education to crew members 2) Form a network in sharing PSC information among the Korean shipping companies 3) Form a centralized function in which government, Korean Shipping register and shipowners can treat problems in a prompt manner.

• Korea Trade Review
• /
• v.41 no.5
• /
• pp.213-233
• /
• 2016

In an FTA, rules of origin are decided by an agreement between countries directly involved and provided through a written agreement, considering the characteristics of each industry and the situations of the countries, for the characteristics of each item. The PSR on fishery products by item are broadly divided into an agreement that applies the wholly-obtained criterion and an agreement that applies the Change of Chapter (CC). Fishery products belong to HS Code Chapter 3, which are generally produced through obtaining by raising or fishing. This study compared each agreement from this point of view. For the fishery products caught, an error in the job-related judgment may occur in a situation in which the persons in charge do not have any background knowledge involved with high sea fisheries. Since ships may sail, hoisting the flag of the country of registration according to an international agreement, involved with requirements for the recognition of ships for the judgment of the country of origin, the principle of the exclusivity of the flag state should be taken into consideration.