• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1994.04a
• /
• pp.159-165
• /
• 1994

실세계에서 발생하는 많은 문제들은 주어진 제약조건들을 만족하는 범위내에서 해를 찾는 제약만족문제(CSP)의 개념으로 설명될 수 있으며, 이러한 문제들의 해결을 위해 인공지능 및 OR 분야에서 활발한 연구가 계속 되어왔다. 본 연구는 대표적 논리언어인 prolog에서 유한이산 도메인 및 수치 제약조건의 해결을 위한 제약해결기에 대한 연구이다. 본 연구에서 구현된 제약해결기에서는 포워드체킹(FC)을 사용하여 조합적 문제를 효과적인 도메인 여과를 통해 탐색공간 및 탐색시간을 축소시키며, 또한 최적화 문제의 해결에 있어서도 그 문제에 주어진 목적함수와 FC의 장점을 조화 시킴으로써 최적해를 더욱 효과적으로 발견한다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.5 no.2
• /
• pp.91-102
• /
• 2002

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

• Journal of KIISE:Software and Applications
• /
• v.34 no.2
• /
• pp.95-103
• /
• 2007

This paper describes an English-to-Korean automatic translation system for patent documents which is constructed by a method customizing from a general domain to a specific domain. The customizing method consists of following steps: 1) linguistically studying about characteristics of patent documents, 2) extracting unknown words from large patent documents and terminologically constructing, 3) customizing the target language words of existing terms, 4) extracting and constructing patent translation patterns peculiar to patent documents, 5) customizing existing translation engine modules according to linguistic study about characteristics of patent documents, 6) evaluation of automatic translation results. The English-to-Korean patent machine translation system implemented by these customization steps shows a translation accuracy of 81.03% and is improving.

• Journal of the Korean Society of Visualization
• /
• v.19 no.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.

• Annual Conference on Human and Language Technology
• /
• 2018.10a
• /
• 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 언어자원 구축 방법론이 다양한 도메인에서 활용될 수 있고 향후 자질기반 감성 분석에 중요한 자원이 될 것임을 확인하였다.

• Smart Media Journal
• /
• v.7 no.3
• /
• pp.57-63
• /
• 2018

With many types of data generated in the shift of business environment as a result of growth of an organization or enterprise, there is a need to improve the data-processing efficiency in smarter means with a single domain model such as Data Lake. In particular, creating a logical single domain model from physical partitioned multi-site data by the finite resources of nature and shared economy is very important in terms of efficient operation of computing resources. Based on the advantages of the existing Data Lake framework, we define the CDA-Concept (connected data architecture concept) and functions of Data Lake Framework over Abyss Storage for integrating multiple sites in various application domains and managing the data lifecycle. Also, it performs the interface design and validation verification for Interface #2 & #3 of the connected data architecture-concept.

• Smart Media Journal
• /
• v.7 no.4
• /
• pp.30-36
• /
• 2018

Single domain model like DataLake framework is in spotlight because it can improve data efficiency and process data smarter in big data environment, where large scaled business system generates huge amount of data. In particular, efficient operation of network, storage, and computing resources in logical single domain model is very important for physically partitioned multi-site data process. Based on the advantages of Data Lake framework, we define and extend the concept of Connected Data Architecture and functions of DataLake framework for integrating multiple sites in various domains and managing the lifecycle of data. Also, we propose the design of CDA-based AI service and utilization scenarios in various application domain.

• Journal of the Korea Society of Computer and Information
• /
• v.9 no.2
• /
• pp.105-113
• /
• 2004

If the protocol has fast operations and short key length, it can be efficient user authentication protocol Lenstra and Verheul proposed XTR. XTR have short key length and fast computing speed. Therefore, this can be used usefully in complex arithmetic. In this paper, to design efficient user authentication protocol we used a subgroup of Galois Field to problem domain. Proposed protocol does not use GF($p^6$) that is existent finite field, and uses GF($p^2$) that is subgroup and solves problem. XTR-ElGamal based user authentication protocol reduced bit number that is required when exchange key by doing with upside. Also, Proposed protocol provided easy calculation and execution by reducing required overhead when calculate. In this paper, we designed authentication protocol that is required to do user authentication.

• Journal of the Computational Structural Engineering Institute of Korea
• /
• v.26 no.4
• /
• pp.301-308
• /
• 2013

In this paper, an accuracy analysis of parallel method based on non-overlapping domain decomposition method is carried out. In this approach, proposed by Tak et al.(2013), the decomposed subdomains do not overlap each other and the connection between adjacent subdomains is determined via simple connective finite element named interfacial element. This approach has two main advantages. The first is that a direct method such as gauss elimination is available even in a singular problem because the singular stiffness matrix from floating domain can be converted to invertible matrix by assembling the interfacial element. The second is that computational time and storage can be reduced in comparison with the traditional finite element tearing and interconnect(FETI) method. The accuracy of analysis using proposed method, on the other hand, is inclined to decrease at cross points on which more than three subdomains are interconnected. Thus, in this paper, an accuracy analysis for a novel non-overlapping domain decomposition method with a variety of subdomain numbers which are interconnected at cross point is carried out. The cause of accuracy degradation is also analyze and establishment of countermeasure is discussed.

• Proceedings of the Computational Structural Engineering Institute Conference
• /
• 2009.04a
• /
• pp.63-66
• /
• 2009

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