• Title/Summary/Keyword: 기능 모델링

Search Result 1,156, Processing Time 0.028 seconds

Design and Verification of Intrusion Detectioned Electronic Payment Protocol by Petri Net (페트리네트를 이용한 침입탐지 전자지불 프로토콜의 설계와 검증)

  • 유은진
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.10 no.1
    • /
    • pp.23-37
    • /
    • 2000
  • 본 논문은 인터넷 상에서 전자상거래가 이루어지는데 기본적으로 요구되는 보안성을 강화하기 위해 침입탐지 전자지불 프로토콜을 제안하였다. 여기서 침입탐지 기능이란 저보 전송이 이루어지는 순간마다 침입이 발생하였는지 탐지하도록 하므로써 신속한 탐지가 이루어지도록 하는 기능을 말한다. 제안된 침입탐지 전자지불 프로토콜의 타당성, 안정성을 분석하기 위해 페트리네트와 CPN(Coloured PetriNet)을 이용하여 모델링하였다. 또한 암호화 논리의 유용한 검증 도구로서 BAN(Burrows-Abadi-Needham)논리 시스템과 Kailar 논리 시스템을 이용하여 프로토콜의 타당성과 안정성을 확인 ·검증하였다.

A Design of DLL Plug-in Framework for Component Reuse (컴포넌트 재사용을 위한 DLL 플러그인 프레임워크 설계)

  • Shim, Jun-Yong;Lee, Yong-Heon;Kim, Sae-Hwan
    • Annual Conference of KIPS
    • /
    • 2010.11a
    • /
    • pp.232-235
    • /
    • 2010
  • 최근 국방 소프트웨어 분야에서는 모델링 및 시뮬레이션 기술이 각광받으면서 무기체계 개발을 위한 시뮬레이션 소프트웨어 개발 사업을 늘리고 있다. 특히, 시뮬레이션 요소의 재사용성 및 신뢰성 확보를 위한 개발 프레임워크 제공이 핵심기술로 떠오르면서, 시뮬레이션을 위한 공통 서비스를 제공하는 M&S 프레임워크가 개발되었다. 하지만 고객의 요구사항이 프레임워크의 기능 변경을 요구하는 경우 프레임워크가 적용된 모든 시뮬레이션 요소의 수정이 불가피하며, 추가 구성요소의 상호작용을 위한 인터페이스 재설계가 요구된다. 본 논문은 이러한 문제점을 해결하기 위해서 프레임워크의 요소를 DLL로 구현하여 기능 구성을 용이하게 하고, 구성요소 간 상호작용을 위해 데이터 기반 Publish-Subscribe 방식을 사용함으로써 프레임워크와 독립적으로 인터페이스를 설계할 수 있도록 한다. 특히, 프레임워크와 DLL 간 교환 메시지 객체에 대한 구조 설계를 제시한다.

3D Painting-based Metaverse Tourism Content (3D 페인팅 기반 메타버스 관광 컨텐츠)

  • Na-Young Kim;Hye-Rin Seo;Young-Eun Choi
    • Annual Conference of KIPS
    • /
    • 2023.05a
    • /
    • pp.722-723
    • /
    • 2023
  • 가속화되는 인구 감소와 COVID-19로 인하여 지방 도시 쇠퇴 현상이 심화되고 있다. 한편, 지역 활성화의 핵심 전략이자 수단이 되는 관광 산업은 트렌드에 맞는 새로운 컨텐츠가 부족하여 어려움을 겪고 있다[1]. 본 논문에서는 이러한 문제를 해결해보고자 가상현실(VR)과 증강현실(AR) 기술을 적용한 새로운 관광 컨텐츠를 제안한다. 실제 도시를 3D 모델링 한 배경과 3D 페인팅 기능을 통해 작품 만들기 서비스를 구현하였고, GPS 기능과 AR 카메라를 통해 작품 관람하기 서비스를 구현하였다. 이 프로그램은 메타버스 기술을 적용한 관광 컨텐츠의 사례로써 향후 지방 도시 활성화에 기여할 것으로 기대한다.

3D presentation MoreView (3D 프레젠테이션 MoreView)

  • Cheol-Hyeon Park;Ram-Un Kim;Jong-Geun Moon;Woo-jin Jeong
    • Annual Conference of KIPS
    • /
    • 2024.10a
    • /
    • pp.817-818
    • /
    • 2024
  • 모아뷰는 기존 PowerPoint 기능을 유연하게 활용하면서, 혁신적인 3D 모델링 기술을 통합한 프레젠테이션 플랫폼이다. 이 플랫폼은 2D 와 3D 자료를 자연스럽게 결합하여 콘텐츠를 더욱 포괄적이고 시각적으로 제시할 수 있다. 사용자들은 다양한 3D 오브젝트를 손쉽게 삽입하고 편집할 수 있으며, 3D 오브젝트 생성에 어려움을 겪는 이들을 위해 AI 를 통해 텍스트와 이미지 입력만으로도 다양한 3D 오브젝트를 자동으로 생성할 수 있는 기능을 제공한다.

Statistical methods for modelling functional neuro-connectivity (뇌기능 연결성 모델링을 위한 통계적 방법)

  • Kim, Sung-Ho;Park, Chang-Hyun
    • The Korean Journal of Applied Statistics
    • /
    • v.29 no.6
    • /
    • pp.1129-1145
    • /
    • 2016
  • Functional neuro-connectivity is one of the main issues in brain science in the sense that it is closely related to neurodynamics in the brain. In the paper, we choose fMRI as a main form of response data to brain activity due to its high resolution. We review methods for analyzing functional neuro-connectivity assuming that measurements are made on physiological responses to neuron activation. This means that we deal with a state-space and measurement model, where the state-space model is assumed to represent neurodynamics. Analysis methods and their interpretation should vary subject to what was measured. We included analysis results of real fMRI data by applying a high-dimensional autoregressive model, which indicated that different neurodynamics were required for solving different types of geometric problems.

Secured Verification of Intrusion Prevention System Security Model Based on CPNs (CPN 기반의 침입방지시스템 보안모델의 안정성 검증)

  • Lee, Moon-Goo
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.48 no.3
    • /
    • pp.76-81
    • /
    • 2011
  • Intrusion prevention systems (IPS) are important solution about solved problems for inside system security or outsider attacks. When introduce this system, first consideration item is secured rather than multiple function. Colored Petri Nets (CPNs) used that in order to secured verification for user authentication function of intrusion prevention system security model. CPNs is a graphical modeling language suitable for modeling distributed, concurrent, deterministic or non-deterministic systems with synchronous. Like these CPNs was expressed every possible state and occurrence graph. Secured of IPS security model was verified because expression every state using CPN tool and as a result of analyzing the occurrence graph was without a loop or interruption.

I/O mapping for ubiquitous home devices with semantic networks (시맨틱 네트워크를 이용한 유비쿼터스 가정환경 장치의 입출력 매핑)

  • Song, In-Jee;Hong, Jin-Hyuk;Cho, Sung-Bae
    • 한국HCI학회:학술대회논문집
    • /
    • 2006.02a
    • /
    • pp.735-740
    • /
    • 2006
  • 유비쿼터스 가정환경에서 서비스를 제공하기 위한 다양한 장치들은 각기 고유한 인터페이스를 가진다. 사용자는 이 장치들을 제어하기 위해서 각각 다른 인터페이스에 익숙해야 하며, 결국 장치 수만큼의 인터페이스를 다루어야 한다. 이와 같은 불편을 해소하기 위해서는 하나의 입력 장치로 여러 장치들을 조작하는 사용자 인터페이스가 필요하다. 특히 유비쿼터스 가정환경에서는 다양한 장치들의 상태 및 기능 등이 동적으로 변하고, 장치가 설정되는 환경도 일정하지 않기 때문에 사용자 중심의 유비쿼터스 환경을 제공하기 위해서는 다양한 인터페이스를 통합할 필요가 있다. 사용자가 비슷하게 인지하는 이종 장치들의 기능을 통합하여 사용자 인터페이스의 동일한 입력으로 매핑한다면 사용자의 부담을 줄일 수 있을 것이다. 본 논문에서는 유비쿼터스 가정환경의 다양한 장비들과 인터페이스 사이의 입출력 관계를 분석하여 시맨틱 네트워크로 모델링하는 방법을 제안한다. 각 장치의 상태와 기능을 시맨틱 네트워크로 정의하고, 노드나 엣지 사이의 유사도를 평가하여 장치와 사용자 인터페이스 사이를 자동으로 매핑한다. 제안하는 방법을 가정환경 입출력장치에 적용하고, 입출력 매핑을 시뮬레이션하는 환경을 구현하여 유용성을 검증한다.

  • PDF

Design and Implementation of a TMN Agent Platform based on a Multi-thread Parallel Processing Architecture (멀티쓰레드 기반 병렬처리 구조를 이용한 TMN 에이젼트 플랫폼 설계 및 구현)

  • Kim, Seong-U;Kim, Yeong-Tak
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.5 no.6
    • /
    • pp.793-800
    • /
    • 1999
  • TMN Agent Platform은 망 요소의 운영상태와 자원들을 GDMO에 따라 관리객체(Managed Object : MO)로 모델링 하고, 자원들의 현재 상태를 유지하며, 관리자(Manager)로부터의 망 관리 기능 요구에 따라 조작된다. 그러므로, 에이전트의 성능향상은 전체적인 통신망 관리의 성능향상에 직접적인 영향을 미친다.본 논문에서는 TMN 에이전트의 기능요구 사항을 분석하고, 이를 토대로 성능향상을 위해 멀티스레드 기법을 사용하는 병렬 처리 구조의 TMN Agent Platform의 기능구조를 제시한다. 또한 에이전트와 다양한 자원들간의 효율적인 메시지전달을 위한 체계를 제시하며, 구현된 TMN Agent Platform의 성능을 분석한다.Abstract TMN Agent manages the operational status and real-resources of network elements, such as switching nodes and transmission systems. It performs the requested management functions from manager and maintains consistent status data of real-resource. The performance of agent system affects directly the performance of network management operation. If the agent is implemented by sequential processing scheme with single process, the agent processing can be delayed or blocked according to the status of real-resources. This problem can be solved by parallel and distributed processing scheme.To improve the processing performance of TMN Agent, we propose a TMN Agent Platform's functional architecture that is based on parallel processing with multi-tread and effective message transferring scheme between agent and various real-resource. We analyze the performance of the implemented TMN Agent Platform.

Fire and Evacuation Simulation Analysis of Large-Scale Domestic Data Centers (국내 대규모 데이터센터 화재 및 피난 시뮬레이션 분석 )

  • Kim, Dong-Min;Go, Eun-Seong;Park, Hyeong-Gyoon;Gwak, Ji-Hyeon
    • Proceedings of the Korean Society of Disaster Information Conference
    • /
    • 2023.11a
    • /
    • pp.347-348
    • /
    • 2023
  • 본 논문에서는 실제 규모 데이터센터의 3D 모델링을 기반으로 대상 공간별 화재 시나리오를 선정하여 화재 및 피난 시뮬레이션을 수행하였다. FDS와 Pathfinder는 full coupling 방식을 사용할 수 없는 한계가 있으며 semi coupling의 경우 가시화에는 도움이 되나 결과에 영향을 주지 않는다. 따라서 재실자의 피난 상황 시 경로에 대한 안전성과 화재 위험 노출 정도를 시각적으로 분석하는 것이 가능한 semi coupling과 시뮬레이션 결과 데이터 분석을 병행하여 수행하였다. 전산실의 경우 서버의 기능상실 한계 온도가 32도이기 때문에 서버 기능 정지 상황에 도달하는 시간을 중점적으로 분석하였다. 전산실은 업무 및 고객 서비스와 관련된 모든 데이터들을 저장하기 위해 항시 기동 되어야 하는데 전산실 내 화재가 발생할 경우 1~2분 이내 서버 기능이 정지되는 상황이 발생하였다. 따라서, 서버가 안전하게 계속 동작하기 위해서는 전력 계측 및 제어 케이블 열화, 서버 장치의 건전성이 유지되어야 하며 초기 화재를 빠르게 감지하여 진압하여야 한다. 피난 시뮬레이션의 경우 가시도를 상실하게 되는 시간이 약 195초(5m 미만) 인근으로 인원이 해당 층을 완전히 벗어나는 데 걸리는 시간이 약 125.6초였던 것을 보면 대피하기에 충분한 허용 피난시간(ASET)을 확보하고 있음을 알 수 있었다.

  • PDF

Process Design and Case Study for Efficient Function Point Measurement Based on Object Oriented (객체지향 기반 효율적인 기능점수 측정 프로세스 설계 및 사례연구)

  • Kim, Dong-Sun;Yoon, Hee-Byung
    • The KIPS Transactions:PartD
    • /
    • v.15D no.3
    • /
    • pp.375-386
    • /
    • 2008
  • Recently, development paradigm of information system is turning into object oriented and component based, and this methodology is leading the software industry. To acclimatize aptly to this trend, users demand the assessment of software expenses to change with the appropriate model of computing costs of the environment, and some people are actually studying the concept of Object Oriented Function Point and UCP method. Especially, Object Oriented Function Point Measurement Process has good points in overcoming the bound of LOC and the existing the Function Point Measurement Process because Object Oriented Function Point Measurement Process is applicable to the early stage of development project mainly with the used cases, and valid to the life long period as the each stage of software products develops, and always understandable to communicate with users by the UML mark rules. Accordingly, this research is to measure Functional Point at ROFP and AOFP in accordance with the development project of information system by the national defense CBD methodology procedures and UML Interrelation Analysis that are recently and widely used in the developmental environment of object oriented information system. Furthermore, this study suggests the measurement method to obtain Functional Point, and identifies service function and object/class function in the correlation analysis of use case and class based on the products and UML modeling via traditional FPA model and object oriented FPA model. Above all, this study is to demonstrate the improvement of traditional Function Point Measurement Process, IFPUG-CPM and software cost basis, and reveal Function Point Measurement Process, which is appropriate to the development of object oriented information system, and suggest the evaluation results of the compatibility through case studies.