• Title/Summary/Keyword: Logical

Search Result 2,661, Processing Time 0.026 seconds

M&S와 AI간의 유기적 통합을 위한 시간기반 전문가 시스템 설계 (Time-based Expert System Design for Coherent Integration Between M&S and AI)

  • 신석훈;지승도
    • 한국시뮬레이션학회논문지
    • /
    • 제26권2호
    • /
    • pp.59-65
    • /
    • 2017
  • M&S의 발전과 더불어 국방 M&S등 인간의 의사결정을 포함하는 분야의 요구가 증대되는 현실에서 AI기술을 활용한 모델링 연구가 각광받고 있다. AI는 복잡한 문제 해결을 위한 방법임은 분명하나 M&S에서 요구되는 입력시점과 처리시간 등의 논리적 시간을 고려하지 않았다. 따라서 본 논문에서는 대표적인 AI 기술인 규칙기반 전문가시스템을 논리적 시간을 고려한 규칙구조 "IF-THEN-AFTER"와 추론엔진으로 재설계한 시간기반의 전문가 시스템을 제안하고, 기존의 규칙기반 전문가 시스템과의 차이를 설명하기 위한 간단한 예제를 들어 논리적 분석을 시도하였다. 그 결과로 제안하는 시간기반의 전문가 시스템 모델은 일반적인 규칙기반 전문가시스템과 다르게 입력시점과 추론시간에 따라 다른 결과를 보임을 알 수 있으며, 이는 M&S에서 요구되는 논리적 시간을 고려한 AI의 문제해결이 가능함을 의미한다.

Design and Simulation of a Flow Mobility Scheme Based on Proxy Mobile IPv6

  • Choi, Hyon-Young;Min, Sung-Gi;Han, Youn-Hee;Koodli, Rajeev
    • Journal of Information Processing Systems
    • /
    • 제8권4호
    • /
    • pp.603-620
    • /
    • 2012
  • Proxy Mobile IPv6 (PMIPv6) is a network-based mobility support protocol and it does not require Mobile Nodes (MNs) to be involved in the mobility support signaling. In the case when multiple interfaces are active in an MN simultaneously, each data flow can be dynamically allocated to and redirected between different access networks to adapt to the dynamically changing network status and to balance the workload. Such a flow redistribution control is called "flow mobility". In the existing PMIPv6-based flow mobility support, although the MN's logical interface can solve the well-known problems of flow mobility in a heterogeneous network, some missing procedures, such as an MN-derived flow handover, make PMIPv6-based flow mobility incomplete. In this paper, an enhanced flow mobility support is proposed for actualizing the flow mobility support in PMIPv6. The proposed scheme is also based on the MN's logical interface, which hides the physical interfaces from the network layer and above. As new functional modules, the flow interface manager is placed at the MN's logical interface and the flow binding manager in the Local Mobility Anchor (LMA) is paired with the MN's flow interface manager. They manage the flow bindings, and select the proper access technology to send packets. In this paper, we provide the complete flow mobility procedures which begin with the following three different triggering cases: the MN's new connection/disconnection, the LMA's decision, and the MN's request. Simulation using the ns-3 network simulator is performed to verify the proposed procedures and we show the network throughput variation caused by the network offload using the proposed procedures.

원전 방사화 콘크리트 차폐벽의 확률 기반 성능변화 예측 (Probability-Based Performance Prediction of the Nuclear Contaminated Bio-Logical Shield Concrete Walls)

  • 권기현;김도겸;이호재;서은아;이장화
    • 한국건설순환자원학회논문집
    • /
    • 제7권4호
    • /
    • pp.316-322
    • /
    • 2019
  • 본 연구에서는 환경적·물리적 인자들의 불확실성을 반영하는 확률론적 접근법을 적용하여, 원자로 가동기간 동안 장시간 방사능에 노출된 원전 콘크리트 차폐벽의 재료적 특징 및 강도에 대한 영향을 평가하였다. 방사화에 따른 콘크리트의 재료적 특성 변화를 조사하였으며, 중성자 노출량과 시간과의 관계를 나타내는 중성자속 분석을 통해 차폐 콘크리트 의 시간의존적 압축강도와 인장강도의 변화를 예측하였다. 압축강도와 인장강도 각각의 변화에 따른 차폐 콘크리트의 파괴확률을 몬테카를로 시뮬레이션(Monte Carlo Simulation) 기법을 적용하여 추정하였다. 본 연구에서는 가동 40년 만인 2017년에 영구정지한 고리 1호기의 해체 안전성 평가를 위해, 이와 유사한 원전유형 및 관련 자료를 활용하여 콘크리트 생체차폐벽의 성능변화를 예측하였다.

Grove를 이용한 구조적 SGML문서의 저장 및 검색 (A Storage and Retrieval System for Structured SGML Documents using Grove)

  • 김학균;조성배
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제8권5호
    • /
    • pp.501-509
    • /
    • 2002
  • 플랫폼에 관계없이 한번 작성된 문서의 정보를 이기종 시스템간 공유하고 다양한 문서 형식을 지원하기 위해 SGML(1508879)이 사용되고 있다. SGML 문서는 내용뿐만 아니라 구조정보를 가지고 있다. SGML 문서가 널리 보급됨에 따라서 구조적 정보를 이용한 데이타베이스의 구축 및 검색 시스템에 대한 필요성이 고조되고 있다. 그러나, 기존의 색인어를 이용한 전문 검색 엔진으로는 문서의 구조정보를 활용할 수 없다. 본 논문에서는 DSSSL 및 HyTime의 문서 모델인 Grove를 변형한 데이타 모델을 이용하여 문서 형식에 독립적이면서, 문서 형식과 내용을 분리하여 저장하는 SGML 문서 저장 시스템을 개발하였다. 구조정보를 손실없이 저장할 수 있도록 객체 지향형 데이타베이스 시스템인 오브젝트 스토어(Object Store)를 이용하였다. 또한 엘리먼트에 대해 관계형 DBMS와 유사한 인덱스 구조를 생성하여 검색 성능을 향상시켰고, 내용기반 검색과 구조기반 검색을 효율적으로 결합한 사용자 인터페이스를 구축하였다.

'Dolittle'을 활용한 프로그래밍 수업이 논리적 사고에 미치는 효과 (The Effects of Programming Lessons using 'Dolittle' on Logical Thinking)

  • 권창미;권보섭
    • 한국정보통신학회논문지
    • /
    • 제13권7호
    • /
    • pp.1467-1474
    • /
    • 2009
  • 지식정보 사회에서 살아갈 사람들에게 중요시되는 능력은 새로운 상황에 당면했을 때, 새로운 아이디어를 개발하고 이를 적용해 주어진 문제를 해결할 수 있는 논리적 사고력이 요구된다. ACM은 논리적 사고력 향상을 위해 프로그래밍언어를 통한 교육이 필요하다고 제시하고 있으나 현재 사용되고 있는 교육용 프로그래밍언어는 개념 중심이며 차후학습으로의 연계성이 상당히 부족하다. 이에 이 논문에서는 보다 효과적인 논리적 사고력 형성을 위해 교육용프로그래밍 언어인 '두리틀'을 소개하고 이를 실제 수업에 적용하여, 인지발달 수준과 논리적 사고력 형성 및 구체적 하위 논리에 미치는 효과를 분석해 본 결과 논리적 사고력 향상에 효과적임을 확인할 수 있다.

의료 정보 검사코드 표준화를 위한 LOINC 자동 매핑 프레임웍 (An Automatic LOINC Mapping Framework for Standardization of Laboratory Codes in Medical Informatics)

  • 안후영;박영호
    • 한국멀티미디어학회논문지
    • /
    • 제12권8호
    • /
    • pp.1172-1181
    • /
    • 2009
  • 전자의무기록(Electronic Medical Record, EMR)은 모든 검사 과정이 텍스트 기반의 데이터 형태로 저장되는 의료 분야의 의무기록 시스템을 의미한다. 그러나 국내의 전자의무기록 시스템은 각 의료기관마다 고유한 의료정보검사코드 형태를 이용하여 기록하는 방식으로 정보를 저장하기 때문에 병원 간의 의료검사 기록 형태들의 공유, 해석, 분석에 많은 문제점들을 가진다. 위의 문제들을 해결하기 위하여 표준화 되어 있지 않은 병원들의 검사코드들을 LOINC (Logical Observation Identifiers Names and Code)로 표준화하려는 연구들이 많다. 현재까지의 연구들은 로컬 의료정보검사코드를 수동으로 LOINC로 변환하는 방법이 연구되었다. 또한 대용량 의학 정보들을 다루기에 적절하지 않은 파일 기반에서 코드들을 관리하는 연구들이 이루어져왔다. 기존의 문제점을 해결하기 위하여 본 논문에서는 의료 용어 표준화 알고리즘을 제안하고, 구현하여 해결하였다. 또한, 대표적인 상용시스템이 가졌던 문제점인 검색어를 의사가 직접 생성해야 했던 부분을 LOINC 의 여섯 가지 자동 속성 추출 및 검색어 자동 생성 기능을 구현하여 해결하였다. 또한, 기존의 시스템들이 고려하지 않았던 대용량 데이터의 매핑 부분을 파일 시스템 기반이 아닌 데이터베이스 기반 검색 프레임웍을 구축하였다.

  • PDF

XML문서에서 어노테이션의 위치재생성 기법 (Annotation Repositioning Methods in XML Documents)

  • 손원성;김재경;고명철;임순범;최윤철
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제32권7호
    • /
    • pp.650-662
    • /
    • 2005
  • 어노테이션 시스템에서 원본문서가 갱신되었을 경우 어노테이션이 항상 적절한 위치를 유지하기 위해서는 로버스트(robust)한 위치재생성(repositioning) 기능이 필요하다. XML 문서환경에서 어노테이션에 대한 위치재생성을 위해서는 텍스트 정보뿐만 아니라 구조문서 특성을 포함할 수 있어야 한다. 이를 위하여 본 논문에서는 XML 기반의 원본문서 및 어노테이션 정보를 논리구조트리(logical structure tree)로 표현하고, 각 트리간의 대응관계를 분석하여 복수의 후보 앵커들을 생성한다 또한 복수의 후보 앵커들 중 최적의 후보 앵커를 선택하기 위하여 논리구조트리 앵커 노드의 문자열(textual data) 및 레이블 정보에 기반한 단계별 앵커링 기준을 제시한다. 그 결과 본 논문에서는 구조문서 환경에서 다양한 형태의 컨텍스트 갱신이 발생하였을 경우에도 로버스트한 위치재생성이 가능하다.

SSD 플래시 변환 계층 상에서 논리 주소 매핑의 성능 향상을 위한 HAMM(Hybrid Address Mapping Method) (HAMM(Hybrid Address Mapping Method) for Increasing Logical Address Mapping Performance on Flash Translation Layer of SSD)

  • 이지원;노홍찬;박상현
    • 정보처리학회논문지D
    • /
    • 제17D권6호
    • /
    • pp.383-394
    • /
    • 2010
  • 최근 플래시 메모리 기반 SSD(Solid State Disks)는 데이터 처리 속도가 빠르고, 외부 충격에 강하며 전력소모가 작다는 우수한 특성과 함께 그 용량의 증가와 가격 하락으로 인하여 차세대 저장 매체로 부각되고 있다. 하지만 SSD는 하드디스크와는 달리 읽기, 쓰기 및 지우기의 단위 및 수행 시간이 다르며 덮어쓰기가 불가능하다는 특징이 있다. 이 때문에 SSD는 기존의 하드디스크 기반 시스템 상에서는 그 동작의 효율성이 떨어지며, 이를 보완하기 위해 플래시 변환 계층이 설계되었다. 본 논문에서는 플래시 변환 계층의 역할 중 하나인 논리 주소 매핑 기법을 개선하여 SSD의 성능을 높일 수 있는 HAMM(Hybrid Address Mapping Method)를 제안한다. HAMM은 기존에 존재하는 슈퍼 블록 매핑 기법과 블록 매핑 기법의 단점을 보완하고 장점을 살릴 수 있도록 설계된 논리 주소 매핑 기법이다. SSD 시뮬레이터를 제작하여 실험하였으며, 실험을 통하여 HAMM은 같은 크기의 쓰기 버퍼 상에서 슈퍼 블록 매핑 기법에 비해 SSD의 저장공간을 효율적으로 사용하는 것으로 나타났으며, 또한 블록 매핑 기법에 비해 매핑 테이블을 구성하는데 적은 양의 메모리를 사용하면서 비슷한 성능을 보이는 것으로 나타났다.

파이썬을 활용한 탐색 알고리즘 수행시간 분석이 초등학생의 논리성에 미치는 효과 (Effect of search algorithm execution time analysis education on logical thinking of elementary school student)

  • 양영훈;공기표;김종훈
    • 정보교육학회논문지
    • /
    • 제23권2호
    • /
    • pp.179-188
    • /
    • 2019
  • 본 연구는 초등학생의 논리성 향상을 위해 파이썬을 활용한 탐색 알고리즘 기반 수행시간 비교 및 분석 교육 프로그램을 개발하고 적용하여 그 효과를 분석했다. 본 교육 프로그램은 ${\bigcirc}{\bigcirc}$ 도내 초등학교 6학년 133명을 대상으로 실시한 사전 요구분석 결과를 활용하였고, ADDIE 모형의 절차에 따라 개발하였다. 개발한 교육 프로그램의 효과를 검증하기 위해서 ${\bigcirc}{\bigcirc}$대학교에서 실시한 교육기부 프로그램의 지원자 25명을 대상으로 6일간 42차시 수업을 진행하였고, GALT검사를 통해 교육의 사전 사후 효과를 비교 분석하였다. 분석해 본 결과, 본 연구에서 개발한 SW교육 프로그램이 초등학생의 논리성에 긍정적인 영향을 줄 수 있다는 것을 알 수 있었다.

한국군의 UN평화활동에 대한 성과기반 평가모델개발과 적용 (Result Based Evaluation Model and Its Application to Peace Operation of the ROK Military Contingent to UN Mission)

  • 권구순
    • 국제지역연구
    • /
    • 제21권1호
    • /
    • pp.303-324
    • /
    • 2017
  • 유엔임무단에 파병되는 한국군의 평화활동 성과를 측정하는 현행평가방식에 대해 적절성, 타당성, 신뢰성문제가 불가피하게 제기되고 있다. 이에 본고는 유엔현장임무단과 국제개발커뮤니티에서 널리 채택한 바 있는 성과기반평가(RBE)모델을 한국군 파병부대의 평화활동에 부합하도록 보완 및 적용하는 방안을 제시하고자 한다. 연구결과, 논리체계모형을 토대로 기획과 평가단계를 통합하는 RBE모델을 토대로 파병 전기획, 파병기간 중 모니터링과 단계적 평가, 파병 후 영향평가의 사이클로 귀결되는 틀을 제안하였다. 둘째, 현행 한국군 평화활동의 모니터링과 평가체계를 RBE모델 기준을 적용하여 검증한 결과, 평가조직 운용 및 논리체계모형에 해당되는 요소들이 기준을 충족하지 못하거나 부분적으로만 충족하였고 파병사후 영향평가는 거의 수행하지 않은 것으로 나타났다. 결론적으로 전술한 문제점들의 해결방안과 민-관-군 분야 전문가가 참여하는 합동조사단 운용을 정책제안으로 제시하였다.