• Proceedings of the Korean Information Science Society Conference
• /
• 2000.04a
• /
• pp.576-578
• /
• 2000

본 논문은 ATM(Abstract Timed Machine)에서의 시간 명세 방법에 대해서 기술한다. ATM은 임무 위급 시스템과 같은 실시간시스템을 명세, 분석 및 검증 할 수 있는 LTS(Labeled Transition System) 정형 기법이다. 실시간 시스템이 요구하는 많은 속성 중 특히 시간 제약에 대해서는 사용자나 개발자 모두에게 명확하고 간결한 명세기법이 요구된다. ATM에서는 전이와 모드의 시간 제약을 간략하게 표현할 수 있는 방법을 제공한다. 또한 주기적 동작을 패턴인식하여 보여주는 주기 주제 모드를 통하여 주기와 관련된 동작과 시간 제약을 쉽게 파악할 수 있게 하며 주기적 동작을 선택적으로 간략화하는 방법을 제공한다. 본 논문은 ATM의 다양한 시간에 대한 요구사항에 대한 표현방법을 기술하고 예를 통해서 살펴본다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.683-686
• /
• 2002

본 논문은 시간 제약 조건하에서 수행 시간을 개선한 CPLD 기술 매핑 알고리즘을 제안하였다. 제안된 기술 매핑 알고리즘은 주어진 시간 제약 조건을 고려하여 가장 빠른 시간에 기술 매핑을 수행 할 수 있도록 속도의 개선에 중점을 두었다. 입력된 회로를 DAG로 표현한 후 입력부터 출력의 방향으로 노드들을 검색하여 매핑 가능 클러스터를 생성한다. 생성된 매핑 가능 클러스터들 중에서 시간 제약 조건에 적합한 매핑 가능 클러스터를 선택하여 기술 매핑을 수행함으로서 전체 수행 시간이 다른 알고리즘에 비해 빠르게 수행된는 결과를 나타내었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.292-294
• /
• 2004

이동통신사가 선택한 컨텐츠만이 사용자들에게 서비스 될 수 있는 환경에서 다양한 컨텐츠 서비스의 제공을 기대하기는 어려운 실정이다. 이 같은 문제를 해결하기 위해 서비스 제공자들은 이동통신회사의 전송망을 대여하여 자신들의 모바일 포털 서비스를 통해 사용자들에게 다양한 컨텐츠를 제공할 수 있다. 그러나 개별적으로 관리되는 사용자 인증 서버를 통한 인증과정은 사용자들에게 반복적인 인증정보제공절차를 강요한다. 이러한 보안정보의 빈번한 노출로 인하여 잠재적인 보안 취약성이 야기된다. 단일인증이 보안정보 노출의 최소화를 위한 대안이 될 수 있지만 모바일 기기들의 성능적인 제약은 모바일 및 유비쿼터스 환경에 단일인증을 적용하는데 걸림돌이 되고 있다. 본 논문에서는 유무선 통합 환경에서 단일인증을 제공하기 위해 모바일 단말기와 유선도메인 간에 인증정보를 교환하는 profile을 정의하여 모바일 단말기의 성능적인 제약을 극복하기 위한 방안을 제시한다.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.431-446
• /
• 2007

Executable composite Web services are selected by binding a given abstract workflow with the specific Web services that satisfy given QoS requirements. Considering the rapidly increasing number of Web services and their highly dynamic QoS environment, the fast selection of composite services is important. This paper presents a method for quality driven comosite Web services selection based on a workflow partition strategy. The proposed method partitions an abstract workflow into two sub-workflows to decrease the number of candidate services that should be considered. The QoS requirement is also decomposed for each partitioned workflow. Since the decomposition of a QoS requirement is based on heuristics, the selection might fail to find composite Web services. To avoid such a failure, the tightness of a QoS requirement is defined and a workflow is determined to be partitioned according to the tightness. A mixed integer linear programming is utilized for the efficient service selection. Experimental results show that the success rate of partitioning is above 99%. Particularly, the proposed method performs faster and selects composite services whose qualities are not significantly different (less than 5%) from the optimal one.

• Nuclear industry
• /
• v.38 no.6
• /
• pp.21-32
• /
• 2018

원자력 발전은 지난 수십 년 동안 대한민국에서 가장 중요하고 청정한 전기 에너지 공급원 역할을 감당해왔다. 그렇지만 한국 정부는 원자력 발전의 점유율을 줄이고 재생에너지의 비중을 높이는 것을 목표로 하는 에너지 전환 정책 로드맵을 발표하였다. 그러나 한국의 높은 인구밀도를 놓고 볼 때, 전력 생산의 최대 에너지원을 재생에너지로 전환하겠다는 구상은 무리일 수밖에 없다. 그 이유는 재생에너지 발전량만으로는 다 감당할 수 없는 원자력 발전량의 감축 부분을 어떻게 보충하겠다는 언급이 한국 정부의 로드맵에는 없기 때문이다. 암묵적으로 받아들여지고 있는 대안은 결국 화석연료인 것 같은데, 한국정부가 어떤 화석연료를 선택하느냐 하는 문제는 온실가스 배출량 감축이라는 문제와 직결되므로 그것이 최종 결정의 핵심적 요소가 될 것이다. 우리는 시나리오 분석 방법을 통해 한 가지 재생에너지를 선택한다는 가정과 함께 두 종류의 화석연료를 주로 사용하게 되는 경우를 분석해 보았다. 아울러 우리는 다른 나라들의 세 가지 에너지계획과 비교 분석한 사항을 바탕으로 원자력 에너지 외에 한국 정부가 선택할만한 에너지원의 타당성과 각 에너지 별 선택에 따른 제약사항을 밝히면서 최악의 결과를 방지하기 위한 기술-경제상의 필수적인 조건들을 제안하려 한다.

• Proceedings of the KIEE Conference
• /
• 2007.07a
• /
• pp.1852-1853
• /
• 2007

지난 수 십년 동안 소량의 저속 데이터 통신 특성에 적합하게 개발되어온 현재의 전력 운영시스템은 각 전력회사로 부터 신뢰성 있는 전력설비 운영이라는 목표를 가장 잘 만족시키는 기술의 선택에 의해 전력회사의 요구를 훌륭히 만족시키며 운영되어 왔다. 하지만 저속 데이터 통신의 제약 뿐 아니라 이용 할 수 있는 데이터의 한계는 전력회사에게 계통운영의 신뢰성 유지 목표이외의 다른 것을 고려하도록 하지 않았을 뿐 아니라 이들 기술들이 지닌 상호 운영성 결여 및 배타적인 환경구성 요건은 전력회사에게 처음 선택한 기술이외의 다른 대안을 생각할 수 없게 만들어 왔다. 본 논문은 지능형 전력기기의 확산과 전력산업 디지털화가 확대되면서 전력시스템 전 영역에 걸쳐 발생되는 새로운 데이터의 활용과 전력회사들이 처음 선택한 기술에 의한 기술 종속으로부터 자신들의 요구에 맞는 다양한 기술을 취사선택할 수 있는 기술 독립적 전력시스템 참조 아키텍처에 대하여 기술하였다.

• Journal of the Korea Society for Simulation
• /
• v.16 no.2
• /
• pp.45-54
• /
• 2007

In this article, we propose a different modeling approach, which aims at the simulation optimization so as to meet the design specification. Generally, Multi objective optimization problem is formulated by dependent factors as objective functions and independent factors as constraints. However, this paper presents the critical(dependent) factors as objective function and design(independent) factors as constraints for the selection of design factors directly. The objective function is normalized far the generalization of design factors while the constraints are composed of the simulation-based regression metamodels fer the critical factors and design factor's domain. Then the effective and fast solution procedure based on the pareto optimal solution set is proposed. This paper provides a comprehensive framework for the system design using the simulation and metamodels. Therefore, the method developed for this research can be adopted for other enhancements in different but comparable situations.

• KIISE Transactions on Computing Practices
• /
• v.22 no.2
• /
• pp.107-112
• /
• 2016

The Sejong Electronic(machine-readable) Dictionary, developed by the 21st century Sejong Plan, contains systematically organized information on Korean words. It helps to solve problems encountered in the electronic formatting of the still-commonly-used hard-copy dictionary. The Sejong Electronic Dictionary, however has a limitation relate to sentence structure and selection-restricted nouns. This paper discuses the limitations of word-sense disambiguation(WSD) that uses subcategorization information suggested by the Sejong Electronic Dictionary and generalized selection-restricted nouns from the Korean Lexico-semantic network. An alternative method that utilized semi-supervised learning, the chi-square test and some other means to make WSD decisions is presented herein.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.33 no.4C
• /
• pp.321-329
• /
• 2008

H.264/AVC video coding standard enables a considerably higher improvement in coding efficiency compared with previous standards such as MPEG-2, H.263 and MPEG-4. To achieve this, for each macro-block in H.264/AVC, Rate-Distortion Optimization (RDO) technique is employed to select the best motion vector, reference frame, and macro-block mode. As a result, computational complexity is increased significantly whereas RDO achieve higher improvement. This paper presents fast intra mode selection algorithm based on constraints of frequency characteristics which are derived from intra coding modes of H.264/AVC. First of all, we observe the features of each intra mode through the frequency analysis of image. And then proposed Frequency Error Costs (FECs) are calculated to select the best mode which has minimum cost. Computational complexity is considerably reduced because rate-distortion costs only calculate the candidate modes which are set of best mode and its neighbouring two modes. Experimental results show that proposed algorithm reduces the complexity dramatically maintaining the rate-distortion performance compared with H.264/AVC reference software.

• Computational Structural Engineering
• /
• v.11 no.1
• /
• pp.217-226
• /
• 1998

The purpose of this study is to develop a technique for the shape analysis of plane truss structures under prescribed displacement modes. The shape analysis is performed based on the existence theorem of the solution and the Moore-Penrose generalized inverse matrix. In this paper, the homologous deformation of structures was proposed as prescribed displacement modes, the shape of the structure is determined from these various modes and applied loads. In general, the shape analysis is a kind of inverse problem different from stress analysis, and the governing equation becomes nonlinear. In this regard, Newton-Raphson method was used to solve the nonlinear equation. Three different shape models are investigated as numerical examples to show the accuracy and the effectiveness of the proposed method.