• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.4
• /
• pp.91-103
• /
• 2009

A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software, When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided, However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0, Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.19 no.5
• /
• pp.720-724
• /
• 2009

This thesis analyze structure of consciousness of success factors of company project by applying FSM(Fuzzy Structural Modeling). FSM is a theory that implied fuzzy theory to ISM(Interpretive Structural Modeling) and is known to be more valid in recognizing a complex pluralistic value system and it is also designed to choose structure model that fits reality with when it is changed by parameter p and $\lambda$. It is desirable to conduct conformity assessment to complement even though selected structure model is considered as conformed because structure model is chosen without objective evaluation for conformity. Therefore, this paper present more objective structure model through conformity evaluation using structural equation modeling on success factors to achieve company project obtained by FSM and analyze the consciousness structure according to that structure.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.21 no.3
• /
• pp.378-382
• /
• 2011

This paper develops the core competencies of manufacturing workers, analyze the consciousness structure on the core competencies. As the analyzing method of consciousness structure, ISM(Interpretive Structural Modeling) and FSM(Fuzzy Structural Modeling) are used to classify layers and determine the connection state. However, the element of each layer is frequently changed by data. This paper suggests the method with the point of view that the structure is determined basically and the connection state of the structure model is changeable depending on the method; first to determine structure model by ISM, second to determine connection by FSM. By using this method, the objective structure model, analyzing the consciousness on the core competencies of manufacturing workers, is suggested with specialist confirm.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2004.10a
• /
• pp.509-512
• /
• 2004

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2006.05a
• /
• pp.317-321
• /
• 2006

게임의 재미요소를 증대 시키고, 게임 생명주기(Life-Cycle)를 늘어나게 하기 위해 다양한 방법이 연구 중이다. 현실감 있는 그래픽 효과와 뛰어난 음향 효과 등과 함께 게임 플레이어의 게임 스타일이 반영된 게임을 만들기 위한 방법이 대표적이 예라 할 수 있다. 그 중 게임 플레이어의 스타일을 게임에 다시 이용하기 위해서는 플레이어의 인지과정이 요구되며, 인지된 결과를 이용하여 플레이어를 모델링(User Modeling)한다. 하지만, 게임의 종류와 특성에 따라 다양한 게임이 존재하기 때문에 플레이어를 모델링하기 어렵다는 문제를 가지고 있다. 본 논문에서는 게임에서 정의된 FSM(Finite State machine)을 이용하여 플레이어가 선택한 행동 패턴을 분석하고 적용하는 방법과 다양한 게임에서 이용 할 수 있는 스크립트 형태의 NPC 행동 패턴 변경 방법을 제안한다. 플레이어의 데이터를 분석하여 얻은 결과는 FSM을 변경하여 새로운 행동을 보이는 NPC(Non-Player Characters)를 생성하는데 사용되며, 이 캐릭터는 게임의 특성과 플레이어의 최신 행동 패턴 경향을 학습한 적용형 NPC라 할 수 있다. 실험을 통하여 사용자의 행동과 유사한 패턴을 보이는 NPC의 생성을 확인할 수 있었으며, 게임에서 상대적인 또는 적대적인 캐릭터로 유용하게 사용 될 수 있다.

• Journal of Korea Port Economic Association
• /
• v.34 no.3
• /
• pp.113-132
• /
• 2018

Mokpo port marked the $131^{st}$ anniversary of its opening in 2018. while the Mokpo has taken the new port development initiatives, it is limited by inefficient port functioning due to the lack of maritime port policy and government investment. Hence, port logistics has not been activated. Additionally, studies on Mokpo port have not been conducted, and knowledge available on the port is declarative in nature. On the other hand, research on port competitiveness focuses on how to analyze the factors that determine port competitiveness. Therefore, this study was intended to expand the existing research on Mokpo port and conduct an analysis of non-competitiveness factors and suggested improvements by considering the operational aspect of Mokpo port. In this regard the importance of non-competitiveness factors was assessed through an analytic hierarchy process(AHP) analysis and the influence of the non-competitiveness factors was analyzed through an fuzzy structural modeling(FSM) analysis. The result of the AHP analysis show ed the important non-competitiveness factors included the deactivation of industrial complexes around Mokpo port, the number of liner route, the cost of the pilot and tug. Accor ding to the FSM analysis, the top level included the non-competitive factors at Mokpo port; the intermediate level included the number of liner routes, cost of pilot and tug, enrance and clearance fee, costs of inland transportation, fee for port facilities, and loading and unloading costs; and the bottom level comprised the most non-competitive factors including the deactivation of industrial complexes around Mokpo port, hinterland connectivity, access to international port, incentives, and cost of transportation and storage. Based on the results of analysis, improvements were suggested for non-competitive factors of Mokpo.

• The Journal of Society for e-Business Studies
• /
• v.8 no.3
• /
• pp.53-67
• /
• 2003

The importance of web Mining is highlighted with growth of Electronic Commerce. Web Mining is the important field of subject for studying customer's purchasing trend in Electronic Commerce. This research defined customer's purchasing process as Fuzzy environment in Electronic Commerce. And it suggests new methodology that introduces Fuzzy theory based on current Web Mining methodology

• Electronics and Telecommunications Trends
• /
• v.13 no.6 s.54
• /
• pp.94-107
• /
• 1998

연구 개발의 주된 내용은 SDL(Specification Description Language)을 위한 정형기법 지원도구 중 명세상에서 행위 부분에 대한 동적 특성을 검정하는 검정기 개발이다. 모델 검정기는 해당 프로토콜에 대해 생성된 중간 모델 I/O FSM(Input/Output Finite State Machine)에 Modal-calculus에 의해 검정대상인 deadlock, livelock, reachability 및 liveness에 대한 표현과 I/O FSM에 대해 해당 알고리즘 적용 및 분석 기능을 C++언어로 구현하였다. 또한 SDL Editer 기능과 관련된 도구들과 통합하여 사용자들이 쉽고 편하게 쓸 수 있도록 환경 및 통합 모듈을 구현한다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2004.11a
• /
• pp.343-348
• /
• 2004

Since the destruction of World Trade Center the attention of the united States and the wider international community has focussed upon the need to strengthen security and prevent terrorism. This paper suggests an analysis prior to risk factor and structure for anti-terrorism in the korean maritime society. For this, in this paper, maritime terror risk factor was extracted by type and case of terror using brainstorming method. Also, risk factor is structured by FSM method and analyzed for ranking of each risk factor by AHP. At the result, the evaluation of risk factor is especially over maximum factor for related external impact.

• Journal of Navigation and Port Research
• /
• v.29 no.6 s.102
• /
• pp.487-493
• /
• 2005

Since the destruction of World Trade Center the attention of the United States and the wider international community has focussed upon the need to strengthen security and prevent terrorism This paper suggests an analysis prior to risk factor and structure for anti-terrorism in the korean maritime society. For this, in this paper, maritime terror risk factor was extracted by type and case of terror using brainstorming method. Also, risk factor is structured by FSM method and analyzed for ranking of each risk factor by AHP. At the result, the evaluation of risk factor is especially over maximum factor for related external impact.