• 제목/요약/키워드: Logical Approach

검색결과 296건 처리시간 0.024초

유도무기체계 RAM분석을 위한 ILS M&S 설계 (Design of ILS M&S for RAM Analysis in Guided Weapon System)

  • 이용빈;이동욱;이주형;엄천섭;박장원
    • 한국시뮬레이션학회논문지
    • /
    • 제24권2호
    • /
    • pp.19-29
    • /
    • 2015
  • 국방분야에서 M&S 기법은 분석, 훈련, 획득 등 다양한 목적으로 활용되고 있으며 그 중요성은 더욱 증가하고 있다. 무기체계의 종합군수지원(ILS)요소 개발을 위한 RAM분석 시 M&S 기법을 활용하면 수리적인 기법만으로는 분석하기 어려운 시스템의 다양한 변수와 제약사항을 고려한 분석이 가능하다. 무기체계의 RAM분석을 위한 ILS M&S도구를 설계하기 위해서는 M&S의 목적 설정, 무기체계의 특성 및 유사 M&S Tool 기능 분석 등의 활동이 선행되어야 하며 이를 바탕으로 실제 현실을 프로그램으로 구현하기 용이한 형태의 수학적, 논리적 언어로 모델링해야 한다. 본 논문에서는 'OO유도무기체계'의 배치부터 폐기 시까지 발생하는 운용, 저장, 점검, 고장발생, 정비 등 제반 군수지원활동을 모의하여 유도무기체계의 수명주기 동안의 RAM 특성을 예측, 분석할 수 있는 M&S 도구의 모델링 과정을 제시하고자 하며 이는 유사 M&S 도구의 개발 시 참고자료로도 활용 가능할 것이다.

웹 응용 시스템 개발을 위한 업무모델 기반의 분석방법 (The Analysis Method based on the Business Model for Developing Web Application Systems)

  • 조용선;정기원
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제30권12호
    • /
    • pp.1193-1207
    • /
    • 2003
  • 여러 분야에서 인터넷의 사용이 대중화되면서 다양한 웹 응용들이 개발되고 있으나, 대부분의 경우 체계적인 분석작업을 수행하지 못하고 개발에 뛰어들거나, 대규모 개발 방법론을 적용하면서 어려움을 겪고 있다. 본 논문에서는 빠르고 효과적인 개발을 위하여 업무모델로부터 웹 응용을 위한 분석 모델들을 추출하는 방법을 제안하며, 이를 효과적으로 수행하기 위한 작업들과 기법들을 제시한다. UML 활동도의 표기법을 활용한 업무 모델로부터 사용사례도와 웹 페이지 리스트를 생성하며, 이를 기반으로 웹 페이지들의 흐름과 구조를 표현하는 페이지 다이어그램과 논리적, 물리적 데이타베이스 모델들을 작성한다. 이렇게 작성된 분석모델들은 상세설계 단계를 거쳐 정제된다. 제안한 분석방법과 기법들을 웹 기반의 경정비조합 지원시스템 개발에 적용하여 그 효용성을 확인하였다.

Constructing a Metadata Database to Enhance Internet Retrieval of Educational Materials

  • Oh Sam-Gyun
    • 한국문헌정보학회지
    • /
    • 제32권3호
    • /
    • pp.143-156
    • /
    • 1998
  • 이 논문은 미국 초중고교 교사들을 이용 대상자로 인터넷 상에 산재해 있는 강의안 및 교육자료의 메타데이터 DB를 구축한 GEM 프로젝트에 대한 보고이다. GEM 프로젝트에서는 현재 거의 표준으로 간주되는 더블린 코어의 15개 요소(Elements)를 채택하였고, 여기에 8개 요소를 첨가하여 검색을 원활히 하고자 하였다. GEM 메타데이터 DB의 구축에는 메타데이터 요소들간의 관계를 좀 더 명확히 표현할 수 있는 개념적 데이터 마들링을 사용하였고 메타데이터는 Sybase라는 관계형 데이터베이스에 저장했으며, 이 DB에 웹 인터페이스를 장착하는데에는 Microsoft 액티브 서버 페이지 (ASP) 기술을 이용하였다. GEM 메타데이터의 실제목록은 미국 전역에서 참가하고있는 컨소시엄 회원들에 의해서 이뤄지고 있으며, 그 결과는 인터넷을 통해 Sybase 관계형 데이터베이스에 자동적으로 입력된다. 이 논문에서는 더블린코어, GEM의 개념 및 논리 스키마들을 제시하는 한편, 메타데이터 DB의 구축에 개념적 데이터 마들링을 사용함으로써 얻어지는 장점들을 논하였다. GEM 프로토타입 시스템이 가동되고 있는 URL은 다음과 같다: http://lis.skku.ac.kr/gem/.

  • PDF

Systems Engineering Approach to develop the FPGA based Cyber Security Equipment for Nuclear Power Plant

  • Kim, Jun Sung;Jung, Jae Cheon
    • 시스템엔지니어링학술지
    • /
    • 제14권2호
    • /
    • pp.73-82
    • /
    • 2018
  • In this work, a hardware based cryptographic module for the cyber security of nuclear power plant is developed using a system engineering approach. Nuclear power plants are isolated from the Internet, but as shown in the case of Iran, Man-in-the-middle attacks (MITM) could be a threat to the safety of the nuclear facilities. This FPGA-based module does not have an operating system and it provides protection as a firewall and mitigates the cyber threats. The encryption equipment consists of an encryption module, a decryption module, and interfaces for communication between modules and systems. The Advanced Encryption Standard (AES)-128, which is formally approved as top level by U.S. National Security Agency for cryptographic algorithms, is adopted. The development of the cyber security module is implemented in two main phases: reverse engineering and re-engineering. In the reverse engineering phase, the cyber security plan and system requirements are analyzed, and the AES algorithm is decomposed into functional units. In the re-engineering phase, we model the logical architecture using Vitech CORE9 software and simulate it with the Enhanced Functional Flow Block Diagram (EFFBD), which confirms the performance improvements of the hardware-based cryptographic module as compared to software based cryptography. Following this, the Hardware description language (HDL) code is developed and tested to verify the integrity of the code. Then, the developed code is implemented on the FPGA and connected to the personal computer through Recommended Standard (RS)-232 communication to perform validation of the developed component. For the future work, the developed FPGA based encryption equipment will be verified and validated in its expected operating environment by connecting it to the Advanced power reactor (APR)-1400 simulator.

비선형 스토리텔링보드 구성과 종적 횡적 장면의 맥락 유지 (Composition of a Nonlinear Storytelling Board while Maintaining Vertical and Horizontal Context of Scenes)

  • 박홍식;최수현;이태구
    • 문화기술의 융합
    • /
    • 제9권4호
    • /
    • pp.423-430
    • /
    • 2023
  • 본 논문은 비선형적인 스토리텔링 보드 구성에 관한 연구로, 등장인물의 맥락적 관점을 유지하는 방법을 설명하고자 한다. 스토리텔링은 다양한 요소들이 상호작용하여 감독의 창의적 의도를 반영하며, 원인과 결과에 대한 논리적인 이야기 구성을 가능하게 한다. 이는 시청자의 공감과 감정이입을 증대시키는 주요 목적이 있다. 이에 따라, 스토리텔링과 스토리보딩 간의 구별된 인식에 관한 심층적인 연구의 필요성이 제기되었다. 아울러 스토리텔링과 스토리보딩의 통합적인 접근은 이야기 구성과 시각화 과정을 이해하는 데 학문적 가치가 있다. 따라서 본 연구는 비선형적인 스토리텔링 보드 구성 방법을 제안하며, 분리된 카메라의 관점과 맥락적 장면의 연속성을 고려하여 시각적 복잡성과 상관성을 이해하는 데 기여할 것이다. 이러한 접근은 캐런 펄먼이 언급한 물리적 리듬, 감정의 리듬, 사건의 리듬 등 장면의 시각적 복잡성을 통합적이고 동시적으로 고려하여 사고를 심화시키는 상관성을 이해할 수 있다.

계층적 분석기법을 이용한 도로시설 자산관리정보시스템 평가에 관한 연구 (A Study on a Measure of Asset Management Information Systems for Highway Transportation Facilities using AHP)

  • 정성윤;최원식;김우제
    • 대한토목학회논문집
    • /
    • 제30권6D호
    • /
    • pp.663-673
    • /
    • 2010
  • 본 연구에서는 사회기반시설에 사전 대응적 방식의 자산관리 체계를 도입하기 위해 자산관리정보시스템을 개발하고 있다. 본 연구는 향후 자산관리정보시스템의 개발과 운영을 위한 방향을 모색하기 위한 목적으로, 자산관리정보시스템의 예상되는 성과를 평가하기 위한 사용자 만족도와 자산관리기능이 유지관리 업무에 미치는 영향정도를 분석하기 위해 연구 모형을 체계화하고 평가기준을 선정하였다. 선정된 평가기준에 따라 중요도를 산정하기 위해 AHP 분석 방법을 사용하였다. 중요도의 논리적 일관성을 검증하였으며 한쪽으로 편중된 이상치를 최소로 반영하기 위해 대용가능지수를 계산하였다.

CMOL FPGA 자동 레이아웃 설계 (Automatic Layout Design of CMOL FPGA)

  • 김교선
    • 대한전자공학회논문지SD
    • /
    • 제44권11호
    • /
    • pp.56-64
    • /
    • 2007
  • 본 논문은 CMOS-나노 혼성 소자들 중 실현 가능성이 높은 CMOL 회로 설계 자동화 전용 시스템을 최초로 제안한다. CMOL 아키텍처는 NOR 게이트를 이용하여 조합회로의 구현한다. 이 CMOS-나노 혼성 구조는 논리 함수 및 연결 구조가 동일 나노 소자 하드웨어 자원을 공유하는 특징을 가진 새로운 설계 자동화 문제를 제기한다. CMOL의 물리 설계 자동화를 위해 먼저 CMOL 하드웨어 아키텍처 모델을 개발하고 이 CMOL 구조를 위한 배치 배선 문제에서 CMOL만의 특수한 제약조건을 도출하였으며 배치 알고리즘과 게이트 지정 알고리즘을 루프 형태로 조합하여 해를 구하는 접근 방법을 제안하였다. 제안된 접근 방법을 사용하여 CMOL 나노 전자 아키텍처를 위한 전용 설계 자동화 시스템을 개발하였으며 이 시스템을 이용하여 마이크로프로세서 설계에 실제 사용되는 모듈들을 구현함으로써 그 효용성을 증명하였다.

An Identity-based Ring Signcryption Scheme: Evaluation for Wireless Sensor Networks

  • Sharma, Gaurav;Bala, Suman;Verma, Anil K.
    • IEIE Transactions on Smart Processing and Computing
    • /
    • 제2권2호
    • /
    • pp.57-66
    • /
    • 2013
  • Wireless Sensor Networks consist of small, inexpensive, low-powered sensor nodes that communicate with each other. To achieve a low communication cost in a resource constrained network, a novel concept of signcryption has been applied for secure communication. Signcryption enables a user to perform a digital signature for providing authenticity and public key encryption for providing message confidentiality simultaneously in a single logical step with a lower cost than that of the sign-then-encrypt approach. Ring signcryption maintains the signer's privacy, which is lacking in normal signcryption schemes. Signcryption can provide confidentiality and authenticity without revealing the user's identity of the ring. This paper presents the security notions and an evaluation of an ID-based ring signcryption scheme for wireless sensor networks. The scheme has been proven to be better than the existing schemes. The proposed scheme was found to be secure against adaptive chosen ciphertext ring attacks (IND-IDRSC-CCA2) and secure against an existential forgery for adaptive chosen message attacks (EF-IDRSC-ACMA). The proposed scheme was found to be more efficient than scheme for Wireless Sensor Networks reported by Qi. et al. based on the running time and energy consumption.

  • PDF

인허가관련 설계품질검토 자동화를 위한 건축법규 문장 관계논리에 관한 연구 (Relational Logic Definition of Articles and Sentences in Korean Building Code for the Automated Building Permit System)

  • 김현정;이진국
    • 한국CDE학회논문집
    • /
    • 제21권4호
    • /
    • pp.433-442
    • /
    • 2016
  • This paper aims to define the relational logic of in-between code articles as well as within atomic sentences in Korean Building Code, as an intermediate research and development process for the automated building permit system of Korea. The approach depicted in this paper enables the software developers to figure out the logical relations in order to compose KBimCode and its databases. KBimCode is a computer-readable form of Korean Building Code sentences based on a logic rule-based mechanism. Two types of relational logic definition are described in this paper. First type is a logic definition of relation between code sentences. Due to the complexity of Korean Building code structure that consists of decree, regulation or ordinance, an intensive analysis of sentence relations has been performed. Code sentences have a relation based on delegation or reference each other. Another type is a relational logic definition in a code sentence based on translated atomic sentence(TAS) which is an explicit form of atomic sentence(AS). The analysis has been performed because the natural language has intrinsic ambiguity which hinders interpreting embedded meaning of Building Code. Thus, both analyses have been conducted for capturing accurate meaning of building permit-related requirements as a part of the logic rule-based mechanism.

효과적인 교통정보 수집체계 구축을 위한 Paramics 기반의 AVI 성능 요구사항 분석 기법 (A Tool for Analyzing Performance Requirements of Automatic Vehicle Identification (AVI) Techniques Based on Paramics)

  • 오철
    • 대한교통학회지
    • /
    • 제23권8호
    • /
    • pp.147-152
    • /
    • 2005
  • 본 연구에서는 구간의 교통상황을 보다 정확하게 관측할 수 있는 기법 중의 하나인 차량자동인식기법(AVI, Automatic Vehicle Identification)의 성능 요구사항 (performance requirements)을 분석할 수 있는 기법을 처음으로 제시하였다. 미시적 교통시뮬레이터인 Paramics를 이용하여 개별차량의 재인식(re-identification)을 통한 AVI 성능요구사항 분석을 몬테카를로 시뮬레이션을 적용하여 구현하였다. 본 연구에서 제안한 기법은 목표로 설정한 통행시간의 정확도를 달성하기 위한 매칭률(matching rate)과 오매칭률(mis-matching rate)의 조합을 찾고, 나아가 이에 부합하는 AVI 기술을 선정하는데 사용될 수 있다. 본 연구에서 제안한 기법은 AVI를 통한 정확하고 신뢰성 있는 교통정보의 수집 및 가공을 위한 의사결정지원 수단으로 유용하게 사용될 것으로 기대된다.