• 제목/요약/키워드: 유한 도메인

검색결과 16건 처리시간 0.02초

인공지능에서 정수 프로그래밍을 위한 제약조건 해결기의 구현

  • 오윤상;조근식
    • 한국경영과학회:학술대회논문집
    • /
    • 대한산업공학회/한국경영과학회 1994년도 춘계공동학술대회논문집; 창원대학교; 08월 09일 Apr. 1994
    • /
    • pp.159-165
    • /
    • 1994
  • 실세계에서 발생하는 많은 문제들은 주어진 제약조건들을 만족하는 범위내에서 해를 찾는 제약만족문제(CSP)의 개념으로 설명될 수 있으며, 이러한 문제들의 해결을 위해 인공지능 및 OR 분야에서 활발한 연구가 계속 되어왔다. 본 연구는 대표적 논리언어인 prolog에서 유한이산 도메인 및 수치 제약조건의 해결을 위한 제약해결기에 대한 연구이다. 본 연구에서 구현된 제약해결기에서는 포워드체킹(FC)을 사용하여 조합적 문제를 효과적인 도메인 여과를 통해 탐색공간 및 탐색시간을 축소시키며, 또한 최적화 문제의 해결에 있어서도 그 문제에 주어진 목적함수와 FC의 장점을 조화 시킴으로써 최적해를 더욱 효과적으로 발견한다.

마이크로 스트립에 기초한 불연속 선로의 모델링 및 해석을 위한 유한차분법의 적용 (Applications to the FDTD Technique for Modeling and Characterization of Microstrip Based Discontinuity Structure)

  • Kim, Yoonsuk
    • 한국군사과학기술학회지
    • /
    • 제5권2호
    • /
    • pp.91-102
    • /
    • 2002
  • 불연속 전송선로를 해석하기 위한 유용한 방법으로서 유한요소법이나 공간도메인법등과 같은 주파수영역 해석법과 선로제작에 기초한 파라미터 측정법등이 사용된다. 시간영역의 유한차분법은 한번의 모의실험을 통해 주파수 의존적인 파라미터값을 구할수있어 불연속선로를 해석하는데 매우 효과적이다. 본 논문에서는 마이크로 스트립에 기초한 몇가지 형태의 2 포트 불연속 회로망 즉, 케스케이된 스텝 불연속 선로와 레이스트렉 지연선 및 단일 스터브 필터에 대한 정확한 모델링과 해석을 위하여 시간영역의 유한차분법의 적용방법이 논의된다. 2 포트 회로망으로 구성된 평면형 마이크로 스트립 불연속선로를 해석하기 위하여 일반적으로 분산 파라미터에 기초한 해석절차가 사용된다. 주파수 의존적인 분산 파라미터는 시간영역의 유한차분법에 의해 모니터된 입사, 반사 및 투과된 전압으로 부터 고속푸리에 변환을 통해 얻어지고, 또한 그 결과를 공간-스펙트랄 방법 및 모멘트 방법의 결과와 비교함으로써 시간영역의 유한차분법이 다양한 형태의 불연속 선로에 성공적으로 적용됨을 볼 수 있다.

도메인 특화 방법에 의한 영한 특허 자동 번역 시스템의 구축 (Construction of English-Korean Automatic Translation System for Patent Documents Based on Domain Customizing Method)

  • 최승권;권오욱;이기영;노윤형;박상규
    • 한국정보과학회논문지:소프트웨어및응용
    • /
    • 제34권2호
    • /
    • pp.95-103
    • /
    • 2007
  • 본 논문은 웹과 같은 일반적인 도메인의 영한 자동 번역기를 특정 도메인으로 특화하는 방법에 의해 구축된 영한 특허 자동번역 시스템을 기술하는 것을 목표로 한다. 특정 도메인으로서의 특허 자동번역기를 위한 특화 방법은 다음과 같은 단계로 이루어진다: 1) 대용량 특허 문서의 수집 및 언어학적 특성 분석, 2) 전문용어 추출 및 대역어 구축, 3) 기보유한 용어의 대역어 특화, 4) 특허 고유의 번역 패턴추출 및 구축, 5) 언어학적 특성 분석에 따른 기보유 번역 엔진 모듈의 특화 및 개선, 6) 특화된 번역 지식 및 번역 엔진 모듈에 따른 번역률 평가. 이와 같은 특화 절차에 따른 특허 영한 자동 번역기는 특허 전문번역가의 평가에 의해 전분야 평균 81.03%의 번역률을 내었으며, 분야별로는 기계(80.54%), 전기전자 (81.58%), 화학일반(79.92%), 의료위생(80.79%), 컴퓨터(82.29%)의 성능을 보였으며 계속 개선 중에 있다.

수면 위 자유 낙하 및 충돌하는 강체 구의 수치해석 연구 (Numerical study of a freely falling rigid sphere on water surface)

  • 구본헌;판디 디팍 쿠마르;임희창
    • 한국가시화정보학회지
    • /
    • 제19권2호
    • /
    • pp.15-25
    • /
    • 2021
  • Numerical studies on the hydrodynamics of a freely falling rigid sphere in bounded and unbounded water domains are presented having investigation on the drag coefficient, normalized velocity, surface pressure and skin friction coefficient as a function of time. Two different conditions of the bounded and unbounded domains have been simulated by setting the blockage ratio. Four cases of bounded domains (B.R. = 1%, 25%, 45%, 55%, 65% and 75%) have been taken, whereas the unbounded domain has been considered with 0.01%. In the case of the bounded domain (higher values of B.R.), a substantial reduction in normalized velocity and increase in the drag coefficient have been found in presence of the bounded domain. Moreover, bounded domains also yield a significant increase in the pressure coefficient when the sphere is partially submerged, but the insignificant effect is found on the skin friction coefficient. In the case of the unbounded domain, a significant reduction in normalized velocity occurs with a decrease in Reynolds number (Re) and also increase in the drag coefficient.

화장품 후기글의 자질기반 감성분석을 위한 다단어 표현의 유한그래프 사전 및 문법 구축 (Building Korean Multi-word Expression Lexicons and Grammars Represented by Finite-State Graphs for FbSA of Cosmetic Reviews)

  • 황창회;유광훈;최성용;신동혁;남지순
    • 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
    • /
    • 한국정보과학회언어공학연구회 2018년도 제30회 한글 및 한국어 정보처리 학술대회
    • /
    • pp.400-405
    • /
    • 2018
  • 본 연구는 한국어 화장품 리뷰 코퍼스의 자질기반 감성 분석을 위하여, 이 도메인에서 실현되는 중요한 다단어 표현(MWE)의 유한상태 그래프 사전과 문법을 구축하는 방법론을 제시하고, 실제 구축된 사전과 문법의 성능을 평가하는 것을 목표로 한다. 본 연구에서는 자연어처리(NLP)에서 중요한 화두로 논의되어 온 MWE의 어휘-통사적 특징을 부분문법 그래프(LGG)로 형식화하였다. 화장품 리뷰 코퍼스에 DECO 한국어 전자사전을 적용하여 어휘 빈도 통계를 획득하고 이에 대한 언어학적 분석을 통해 극성 MWE(Polarity-MWE)와 화제 MWE(Topic MWE)의 전체 네 가지 하위 범주를 분류하였다. 또한 각 모듈간의 상호관계에 대한 어휘-통사적 속성을 반복적으로 적용하는 이중 증식(double-propagation)을 통해 자원을 확장하였다. 이 과정을 통해 구축된 대용량 MWE 유한그래프 사전 DECO-MWE의 성능을 테스트한 결과 각각 0.844(Pol-MWE), 0.742(Top-MWE)의 조화평균을 보였다. 이를 통해 본 연구에서 제안하는 MWE 언어자원 구축 방법론이 다양한 도메인에서 활용될 수 있고 향후 자질기반 감성 분석에 중요한 자원이 될 것임을 확인하였다.

  • PDF

Abyss Storage Cluster 기반 DataLake Framework의 Connected Data Architecture 개념 설계 및 검증 (Design and Verification of Connected Data Architecture Concept employing DataLake Framework over Abyss Storage Cluster)

  • 차병래;차윤석;박선;신병춘;김종원
    • 스마트미디어저널
    • /
    • 제7권3호
    • /
    • pp.57-63
    • /
    • 2018
  • 조직과 기업의 비즈니스 시스템의 규모가 커지면서 다양한 대량의 데이터들이 생성되는 비즈니스 환경의 변화와 데이터를 보다 스마트하게 처리하여 효율성을 높일 수 있는 방법으로 DataLake와 같이 단일 도메인 모델이 필요한 상황이다. 특히, 자원의 유한성과 공유 경제에 의한 물리적인 분할된 멀티 사이트의 데이터를 논리적인 단일 도메인 모델을 만드는 것은 컴퓨팅 자원의 효율적 운영 측면에서 매우 중요하다. 기존의 Data Lake 프레임워크의 장점을 기반으로 다양한 응용 영역의 멀티 사이트들을 통합 및 데이터 라이프 사이클을 관리하기 위한 Abyss Storage 기반 DataLake 프레임워크의 Connected Data Architecture 개념 (connected data architecture-concept)과 기능들을 정의하고, Connected Data Architecture 개념을 위한 인터페이스 설계 및 인터페이스(Interface) #2와 #3의 유효성 검증을 수행한다.

Connected Data Architecture 개념의 확장을 통한 AI 서비스 초안 설계 (Draft Design of AI Services through Concept Extension of Connected Data Architecture)

  • 차병래;박선;오수열;김종원
    • 스마트미디어저널
    • /
    • 제7권4호
    • /
    • pp.30-36
    • /
    • 2018
  • DataLake 프레임워크와 같은 단일 도메인 모델은 비즈니스 시스템의 규모 확장과 대량의 다양한 데이터들이 생성되는 빅데이터 환경, 그리고 데이터를 보다 스마트하게 처리하여 효율성 및 활용도를 높일 수 있는 방법으로 주목 받고 있다. 특히, 논리적인 단일 도메인 모델은 컴퓨팅 리소스의 유한함과 공유 경제에 의한 물리적으로 분할된 멀티 사이트의 데이터 처리를 위한 네트워크, 스토리지, 그리고 컴퓨팅 자원의 효율적 운영이 매우 중요하다. 기존의 Data Lake 프레임워크의 장점들을 기반으로 다양한 영역의 멀티 사이트들을 통합 및 데이터의 라이프 사이클을 관리하기 위한 DataLake 프레임워크의 Connected Data Architecture 개념과 기능들의 확장을 통한 다양한 응용 영역에 활용 가능한 CDA 기반 AI 서비스의 초안 설계 및 시나리오를 제안하고자 한다.

유한체의 부분군을 이용한 효율적인 사용자 인증 프로로콜 설계 (Design of an Efficient User Authentication Protocol Using subgroup of Galois Field)

  • 정경숙
    • 한국컴퓨터정보학회논문지
    • /
    • 제9권2호
    • /
    • pp.105-113
    • /
    • 2004
  • 본 논문에서는 최근 증가되고 있는 사이버스페이스 상에서의 다양한 전자상거래를 효율적이고 안전하게 거래하기 위하여 유한체 부분군 기반의 효율적인 사용자 인증 프로토콜을 설계하였다. Lenstra와 Verheul에 의해 제안된 XTR은 짧은 키 길이와 빠른 연산 속도의 장점을 가지고 있기 때문에 복잡한 연산에 유용하게 사용될 수 있다. 이를 기반으로 하여 문제 도메인을 기존의 유한체인 GF($p^6$)을 사용하지 않고, GF($p^6$)의 부분군인 GF($p^2$)을 이용하여 문제를 해결하는 XTR-ElGamal기반의 사용자 인증 프로토콜을 제안하였다. XTR-ElGamal 기반의 사용자 인증 프로토콜은 유한체 상의 부분군들을 이용함으로써 키 교환 시 요구되는 키의 비트 수를 줄였다. 또한 계산 시 필요한 오버헤드를 줄여 빠른 계산과 실행을 제공하였다. XTR기반에서 사용자 인증을 하기 위한 과정에서 필요한 인증 프로토콜을 설계하였다. 따라서 통신량과 계산량이 적게 요구되는 환경에서도 유용하게 이용될 수 있도록 하였다

  • PDF

비중첩 영역 분할기법 기반 병렬해석의 정확도 분석 (Accuracy Analysis of Parallel Method based on Non-overlapping Domain Decomposition Method)

  • 탁문호;송유섭;전혜관;박대효
    • 한국전산구조공학회논문집
    • /
    • 제26권4호
    • /
    • pp.301-308
    • /
    • 2013
  • 본 논문에서는 새로운 비중첩 영역 분할 기법을 바탕으로 한 병렬해석의 정확도 분석이 수행된다. Tak 등(2013)에 의해 제안된 이 방법에서 분할된 하위도메인들은 서로 중첩되지 않으며 계면요소(interfacial element)라 불리는 가상연결유한요소를 통해 서로 간의 관계가 결정된다. 이 접근법의 주요 장점은 영역 분할시 floating 도메인에서 발생할 수 있는 특이강성행렬(singular stiffness matrix)을 계면요소의 결합을 이용하여 가역행렬(invertible matrix)로 변환할 수 있다는 것과 기존의 FETI법에 비하여 해석시간과 스토리지(storage) 사용을 줄일 수 있다는 것이다. 반면에 3개 이상의 하위도메인들이 한 점에서 연결되는 경우를 의미하는 cross point에서는 해석의 정확도가 저하되는 경향이 나타났다. 따라서 본 논문에서는 새로운 비중첩 영역 분할기법에 대해 다양한 영역분할의 경우에 따라 발생하는 하나의 cross point에 접촉하는 하위도메인의 개수에 따른 정확도 분석이 수행되고 정확도가 저하되는 원인분석 및 대책이 논의된다.

트림영역이 있는 NURBS 평면의 스플라인 유한요소해석 (Spline FEM for Trimmed NURBS Surfaces)

  • 김현중;서유덕;윤성기
    • 한국전산구조공학회:학술대회논문집
    • /
    • 한국전산구조공학회 2009년도 정기 학술대회
    • /
    • pp.63-66
    • /
    • 2009
  • 본 논문에서는 트림영역이 있는 NURBS 평면을 등기하 해석할 수 있는 방법을 제시한다. 기존 등기하 해석법으로 트림 NURBS 곡면을 해석하기 위해서는 해석 도메인이 여러 개의 사각형 패치로 분할되어있어야 한다. 그러나 본 연구에서 제안한 방법은 CAD에서 제공하는 트림곡선의 정보를 해석에 직접 사용할 수 있기 때문에 CAD 모델을 별도로 재구성해야하는 번거로움이 없다. NURBS 곡선 투영법을 이용하여 트림되는 요소를 찾고, 트림된 요소는 쿼드트리 분할법과 NEFEM에서 사용된 적분방법을 동시에 고려하면 어떤 경우의 트림 요소라도 적분이 가능하다. 다양한 수치 예제를 통하여 제안한 해석 방법을 검증하고, 기존의 등기하해석법으로 해석하기 어려운 다수의 트림영역이 존재하는 NURBS 평면을 해석하여 본 방법의 유용성을 검토한다.

  • PDF