• 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.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.4
• /
• pp.71-76
• /
• 2014

In this paper, we propose a SMMA(Sliced-Multi Modulus Algorithm) adaptive blind equalization algorithm with Flag for high order QAM system. SMMA has improved characteristics by applying the multi contour to MMA. However, SMMA still has a limit that the mismatch problem causes the residual error in the steady state is large. In order to significantly reduce the residual error in the steady state, we propose SMMA, which is controlled by the binary Flag of '1 'or '0' obtained from SMMA and a decision-directed algorithm, and analyze the performance of the proposed algorithm. By computer simulation, it is confirmed that the proposed algorithm has improved performance highly in terms of a residual ISI and a residual error in the steady state compared with MMA and SMMA.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.19 no.2
• /
• pp.179-185
• /
• 2013

UNCLOS recognizes the right of innocent passage in the ocean but grants jurisdiction and governance to the state of the flag the vessel flies. However, by granting the right to determine vessel's nationality to each country in UNCLOS and by practically consenting inconsistency with the ownership and the state of flag has made the keeping of maritime order quite difficult. Especially, acknowledging the exclusive rights of the flag state on criminal jurisdiction hinders the owner state from exercising its rights and exposes the problem of not taking into account the opinion of the affected state party. This study addresses these issues and examines international regulations on vessels and flag states, mainly UNCLOS, and provides case studies on how criminal jurisdiction is determined when accidents occur at sea. Furthermore, it takes a deeper look into the mutual assistance system in criminal matters and proposes some alternatives on how to overcome these issues.

• The Journal of the Korea institute of electronic communication sciences
• /
• v.7 no.4
• /
• pp.753-760
• /
• 2012

This paper is to show the character coding rule in computer and information equipment etc to improve the transmission efficiency in telecommunications. In the transmission system, the transmission efficiency can be increased by applying the proper character coding method. In datalink layer, HDSL ptotocol use FLAG byte to identify the frame to frame which consists of data bit stream and other control bytes. FLAG byte constits of "01111110". When data bit stream consist of the consecutive 5-bit "1" after "0", the decoder can not distinguish whether the data bit sequence is flag bit stream or data bit stream. To solve the problem, when the line coder in transmitter detects the consecutive 5-bits "1" after "0" in the input data stream, inserts violently the "0" after 5th "1" of the consecutive 5-bit "1" after "0". As a result, when the characters are decoded with the above procedure, the efficiency of system should be decreased. This paper shows the character code rule to minimize the consecutive 5-bits "1" after "0" when the code is given to each characters.

• Journal of Fisheries and Marine Sciences Education
• /
• v.5 no.2
• /
• pp.138-146
• /
• 1993

In accordance with the establishment of 200 nautical miles EEZ regime as a customary international law since the mid - 1980s, the area of global high seas became reduced relatively. On the other hand, the importance of high seas fishing ground became serious for the distant-water fishing states like Korea. But it can be expected that international dispute on the jurisdictional problem of the fishing vessels engaging high sea fishery will occur frequently owing to institutional inertia of the UNLOS Convention on this matter. "The Draft Agreement to Promote Compliance with International Conservation and Management Measures by Fishing Vessels on the High Seas" as an international code of conduct for responsible fishing which was adopted by FAO in 1993 is providing the more consolidating and definiting rules for jurisdictional responsibility of flag states to make completion the loophole of the UNLOS Convention. As a precondition for the effective control and enforcement of activities of the fishing vessels engaging high sea fishery, the Draft Agreement is providing some articles allowing the flag states to hold the rights of granting nationality, fishery permission, fishery supervision and control with punishment for the fishing vessels entitled to fly their own flag. Accordingly it can be evaluated that this Draft Agreement does not deviate on the whole from the traditional practice and the basic legal principle of the UNLOS Convention.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.27 no.4
• /
• pp.465-473
• /
• 2021

Since the past, ships have hoisted national flags as a means of indicating their nationality. Both domestically and internationally, laws and conventions related to the nationality and hoisting of the flag have been enacted because it is significant that the nationality of a ship is a matter of the jurisdiction of the ship. Nevertheless, there are differences in domestic and international regulations related to the hoisting of the flag of a ship, and if the flag is not hoisted irrespective of the intention, there may be a difference in interpretation as to whether or not the ship will be regarded unconditionally as a stateless ship. However, there is no disagreement locally or abroad about the necessity of indicating the nationality of ships. Therefore, I would like to propose a method to indicate and confirm the nationality of the ship by using wireless communication equipment with hoisting the flag as the only way to express its nationality, reflecting the situation of the era such as high-speed, larger and unmanned ship. Representatively, the method utilizes the automatic identification system(AIS), which is one of the equipment legally installed in the ship, and includes the ship's nationality in its information. If the nationality information is included in the AIS, nationality can be identified earlier and even from a distance, and there will not be instances of nationality not being identified because the flag is not hoisted or the flag is damaged. In addition, it is expected that the problem of nationality indication can be solved even when vessels are unmanned in future.

• KIPS Transactions on Software and Data Engineering
• /
• v.2 no.7
• /
• pp.451-460
• /
• 2013

In order to achieve high test coverage, it is usual to generate test data using various techniques including symbolic execution, data flow analysis or constraints solving. Recently, a technique for automated test data generation that fulfills high coverage effectively without those sophisticated means has been proposed. However, the technique shows its weakness in the generation of test data that leads to high coverage for programs having branch conditions where different memory locations are binded during execution. For certain programs with flag conditions, in particular, high coverage can not be achieved because specific branches are not executed. To address the problem, this paper presents dynamic branch coverage criteria and a test data generation technique based on the notion of dynamic branch. It is shown that the proposed technique compared to the previous approach is more effective by conducting experiments involving programs with flag conditions.

• Journal of Advanced Navigation Technology
• /
• v.7 no.2
• /
• pp.199-205
• /
• 2003

In this paper, CSMA/CA protocol is modified for aeronautical VHF communication through collision alleviation and the change of retransmission slot selection method in flag used transmission. When collision occurred in the contention period of CSMA/CA process, it is generally waiting for retransmission delay and it has the double size of CW(Contention Window). To solve this problem, this paper modifies the change procedure of original contention window size and reduces the state transition in collision among the whole of it. Also, in this paper we reduces the second collision probability through the station has to enter Backoff mode with increased contention window in the first collision. In the result of simulation, it is verified that it has good property in throughput and delay, So the proposed protocol is suitable for aeronautical VHF communication.

• Korean Journal of Childcare and Education
• /
• v.15 no.1
• /
• pp.37-55
• /
• 2019

Objective: This study investigated whether executive function has a significant relationship to concrete, picture, and language clue tasks of the arithmetic story problem-solving ability, and its effects. Methods: The participants in the study were 112 young children at childcare centers. The following methods were used to evaluate executive function: Day-Night/Flag-Raising tasks, DCCS tasks, and digit span-reverse digit span methods. To measure the arithmetic story problem-solving ability concrete, picture, and language clue tasks were evaluated. Results: First, the higher the child's age, the higher their executive function and arithmetic story problem-solving abilities were. Second, there is a significant positive correlation between a young child's executive function and arithmetic story problem-solving ability. Third, when the task presentation method varied for concrete, picture, and language clue tasks, the effect of the subordinate factor of the execution function of the arithmetic story problem-solving ability also varied. Conclusion/Implications: Analysis confirmed the relationship between young children's executive function and arithmetic story problem-solving ability. The results are meaningful in showing that the sub-factors of the executive function have different influences on concrete, picture, and language clue tasks of the arithmetic story problem-solving ability.

• Journal of the Korean Society of Costume
• /
• v.55 no.4 s.94
• /
• pp.1-15
• /
• 2005

For every country, the flag is a major symbol that represents the country. Establishing image though the use of the country's symbol is more important for achieving national competitiveness in this global age. In Korea, Taekuki has not been actively applied to fashion products, however Korean people began to realize the Taekuki as a motif of fashion with 2002 World Cup. Thus, research on fashion product development applying Taekuki is needed. This research developed designs for fashion product development applying Taekuki. In addition, through suggesting various applied motives, this research explored the product possibility of global fashion design that represents Korean identity and fashion. For research method, after research on fashion design process, design development was progressed according to the 4-phases that comprehends processes previous researchers presented. First, in the problem recognition phase, background on the introduction of Taekuki to products and Taekuki fashion during 2002 World Cup was analyzed. Then, the need and possibility of fashion product development applying Taekuki's formative characteristics were found. Second, in research and analysis phase, meaning and history of Taekuki as well as flag fashion product developments in the U.S. and England examples were reviewed. Also, individual interviews with experts and consumers were conducted to collect qualitative data regarding product and design direction. Third, in idealization for problem solving phase, 62 designs including 43 apparels and 19 accessories were emerged. Finally, in evaluation phase, 40 university students majoring design evaluated designs' creativity, function, uniqueness, symbol, aesthetics, and harmony. Through this research, it is expected that fashion products applying Taekuki will be formly established as a fashion item. Furthermore, it is also expected that product development in other categories, brand planning, and product development using other national symbols such as name, anthem, and flower will be followed.