• Journal of the Korean Institute of Navigation
• /
• v.25 no.4
• /
• pp.477-486
• /
• 2001

Although the ports are actually competing with various strategies, the definition and structural understanding of port competitive power are not known very much. Therefore this study has launched from this fact, and has the objective of obtaining the structural model of the competitive power, and understanding the components of the port competitive power. The following are the results of the study. First, the process began by abstracting the components that composed the port competitive power through recent research, and grouping it by the most core components using the KJ method. Also, by using the FSM(Fuzzy Structural Modeling) method to understand the structure of the grouped components, and the structural model of the port competitive power was able to obtain as the result. Second, when analyzing the obtained structural model, port expenses, main trunk location, port congestion and port facility came out to be the most important component groups, and especially port expenses was the most effective component that effected all the other components overall. Third, the component groups that were relatively less important, effected by most of the other components, and located on the top level of the structure model were the hinterland accessibility, port ownership, customs duties speed, and large ship port entrance possibility etc. Fourth, the results of this study will be able to be used when establishing competing strategies for our country's ports by proposing the relatively important components with the port competitive rower considered.

• The KIPS Transactions:PartD
• /
• v.14D no.6
• /
• pp.633-640
• /
• 2007

As the embedded systems closely related with our living become complex by interoperating each other via internet, the safety issue of embedded systems begins to appear For checking safety properties of the system interactions, it is necessary to describe the system behaviors in formal methods and provide a systematic safety analysis technique. In this research, the behaviors of an embedded system are described by Labeled Transition Systems(LTS) and its safety properties are checked on the system model. For enhancing the existing compositional safety analysis technique, we perform the safety analysis techniques by checking the behavioral equivalence of the reduced model and a property model after reducing the system model in the viewpoint of the property.

• Journal of Navigation and Port Research
• /
• v.27 no.5
• /
• pp.493-498
• /
• 2003

Ship is being operated under a highly dynamic environments and many factors are related with ship's collision and those factors are interacting. So, An analysis on the ship's collision muses is very important to prepare countermeasures which will ensure the safe navigation. And the analysis confirmed that ship's collision is occurred most frequently and the muse is closely related with human factor. The main purpose of this study is to build a model of human factors in ship's collision muse using SD(System Dynamics} approach and to measure a effect which is risk control countermeasures of ship's collision. To achieve this aim, the structure analysis on the muses of ship's collision using FSM are performed, and the structure was changed by quantitative, qualitative factors and their feedback loops in casual map. This model was performed over 20 years(1993-2012) in a standard simulation model and 8 policy simulation models.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.11a
• /
• pp.183-186
• /
• 2006

NPC(Non playable Character)모델은 온라인 게임뿐만 아니라 가상공간 시스템 구축 시 빠질 수 없는 중요한 요소이다. 현재 가장 널리 사용되는 인공지능 처리방식의 하나인 FSM(Finite State Machine)은 NPC의 행동양식을 표현하기 위해 유한한 개수의 상태를 이용하는 알고리즘이다. 인공지능이 적용된 NPC 모델 설계시 정확한 명세는 구현 단계에서 발생되는 자원의 손실을 막아주고 요구명세에 따른 검증을 가능하게 한다. 본 논문에서는 해저가상공간 구축 시 발생되는 어류 객체의 행동패턴을 분석하여 속성을 정의하였으며, 환경변화에 따른 행동 특성의 상호관계를 설정하여 정형화하였다. 정의된 속성을 가진 NPC 모델을 FSM 알고리즘을 적용해 설계하고 구현한다. 설계된 NPC모델은 CTL기반의 모델체커인 SMV(Symbolic Model Verification)를 통해 검증함으로써 설계에 대한 타상성을 입증하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2019.01a
• /
• pp.349-350
• /
• 2019

게임에서 장르를 불문하고 모든 몬스터와 NPC는 AI를 가지고 있다. 따라서 적 몬스터 캐릭터와 전투를 즐기는 액션 게임의 경우 그만큼 인공지능이 게임 안에서 차지하는 비율이 높다고 할 수 있을 것이다. 본 논문에서는 FSM, HFSM, BT와 같은 AI 기법을 비교하여 분석하였다. 각 기법에는 주의해야 할 점이 명확하게 존재하기 때문에 구체적으로 어떠한 문제점들이 존재하는지에 대한 결과를 얻는데 연구 목적이 있다. 따라서 몬스터 AI를 구현할 때 각 인공지능 기법의 장단점을 고려하여 설계하여 유지 보수를 줄이는 방법을 연구해야 한다는 것을 확인할 수 있었다.

• Journal of Navigation and Port Research
• /
• v.27 no.5
• /
• pp.569-576
• /
• 2003

Although the Free Trade Zone(FTZ) are actually competing with various strategies, the definition and structural understanding of activation strategies are not known very much Therefore this study has launched from this fact, and has the objective of obtaining the structural model for activation strategies in Gunsan FTZ, and understanding the components of activation in these region The process began by abstracting the components that composed the success factors in FTZ through recent research, and grouping it by the most core components. Also, by using the FSM(Fuzzy Structural Modeling) method to understand the structure of the grouped components, and the structural model for activation of FTZ was able to obtain as the result. When analyzing the obtained structural model, expansion of tax reduction, flexibility of law systems and good business environment came out to be the most important component groups, and especially flexibility of law systems and good business environment were the most effective component that effected all the other components overall.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.25 no.12
• /
• pp.1914-1919
• /
• 2021

With the development of advanced industries, research on image processing hardware is essential, and timing verification at the gate level is required for actual chip operation. For FPGA-based verification, DDR3 memory interface was previously applied. But recently, as the FPGA specification has improved, DDR4 memory is used. In this case, when a previously used memory interface is applied, the timing mismatch of signals may occur and thus cannot be used. This is due to the difference in performance between CPU and memory. In this paper, the problem is solved through state optimization of the existing interface system FSM. In this process, data read speed is doubled through AXI Data Width modification. For actual case analysis, ZC706 using DDR3 memory and ZCU106 using DDR4 memory among Xilinx's SoC boards are used.

• Journal of Navigation and Port Research
• /
• v.27 no.2
• /
• pp.137-143
• /
• 2003

The prevention of marine accidents has been a important topic in marine society for long time, and various safety policies and countermeasures have been developed and applied to prevent those accidents. In spite of these efforts, however, significant marine accidents have taken place intermittently. Ship is being operated under a highly dynamic environments, and many factors are related with ship's collision, whose factors are interacting. So, the analysis on ship's collision causes are very important to prepare countermeasures which will ensure the safe navigation. This study analysed the ship's collision data over the past 10 years(1991-2000), which is compiled by Korea Marine Accidents Inquiry Agency. The analysis confirmed that‘ship's collision’is occurred most frequently and the cause is closely related with human factor. The main purpose of this study is to analyse human factor. For this, the structure of human factor is analysed by the questionnaire methodology. Marine experts were surveyed based on major elements that were extracted from the human factor affecting to ship's collision. FSM has been widely adopted in modeling a dynamic system which is composed of human factors. Then, the structure analysis on the causes of ship's collision using FSM are performed. This structure model could be used in understanding and verifying the procedure of real ship's collision. Furthermore it could be used as the model to prevent ship's collision and reduce marine accidents.

• Journal of the Korean Society of Marine Environment & Safety
• /
• v.17 no.1
• /
• pp.53-60
• /
• 2011

In this study, the priority was assessed and the compensation relationships were analyzed with regard to the issue of port development with conflicts among decision makers. First, the assessment factors were selected by the relevant literatures on port development, and fuzzy structure modeling was used to select assessment factors via structuralization analysis. Second, the local residents, port users, and local government were chosen as the main port-development related entities, and the analytic hierarchy process was used to calculate the total assessment value. Third, the justice based on majority power rule method was used as an assessment method that would minimize the amount of complaints according to the total assessment results and the alternative selection when a partnership was formed among the assessment entities. Moreover, the compensation issue according to the alternative selection was quantified, and the compensation relationships were analyzed. As a result, it was found that port development in Busan must be the top priority in terms of port development in South Korea, that awareness of environmental issues must be promoted among the port users, and that the local governments must promote environmental incentive policies for Environment-friendly port development.

• Journal of KIISE:Computer Systems and Theory
• /
• v.26 no.2
• /
• pp.232-241
• /
• 1999

기존의 연구는 FSM을 기본으로 제어흐름만을 분석하거나 시험목적을 시험열 생성 단계에서 고려하지 않음으로써 시험열의 실제 적용에 있어 많은 문제점을 갖는다. 따라서 이 연구에서는 SDL로 기술된 프로토콜 명세서를 시멘틱 모델인 LTS로 변환 후 LTS로부터 서브투어 단위로 시험열을 생성하였다. 그리고 생성된 시험열을 TTCN으로 변환하고 단위 테스트를 위한 추가 정보로서 프리앰블, 포스트앰블, 리셋 정보등을 LTS로부터 생성하였다. 또한 LTS로부터 한 노드에서 전이 가능한 모든 경로를 트리로 표현함으로서 향상된테스트 커버리지를 갖는 서브투어를 생성하였으며 SDL을 시맨틱 모델인 STS로의변환 EH한 기존의 입력과 출력만을 고려하는 FSM에서 발생하는 비결정성 문제를 해결할 수 있다. 따라서 이 연구에서의 테스트 목적이 고려된 TTCN 표현의 테스트 케이스 생성은 적합성 시험을 위한 테스스 케이스의 실제 적용 및 프로토콜 구현의 생산성을 높일 수 있으며 테스팅 환경의 기반을 제공한다.