• 한국어정보학회:학술대회논문집
• /
• 2017.10a
• /
• pp.167-171
• /
• 2017

자연어 생성은 특정한 조건들을 만족하는 문장을 생성하는 연구로, 이러한 조건들은 주로 표와 같은 축약되고 구조화된 의미 표현으로 주어지며 사용자가 자연어로 생성된 문장을 받아야 하는 어떤 분야에서든 응용이 가능하다. 본 논문에서는 SC(Semantically Conditioned)-GRU기반 encoder-decoder모델을 이용한 자연어 생성 모델을 제안한다. 본 논문에서 제안한 모델이 SF Hotel 데이터에서는 0.8645 BLEU의 성능을, SF Restaurant 데이터에서는 0.7570 BLEU의 성능을 보였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.01a
• /
• pp.189-190
• /
• 2017

인공망막의 효율성을 높이기 위해 생물학적 인간의 시각정보과정에 여러 연구가 진행 중이다. 인간의 시각정보처리과정에는 시각정보를 축약하는 특성을 가지고 있다. 본 논문에서는 인간의 시각체계를 기반으로 영상 자체를 인식하지 않고 정보를 압축한 후 복원된 영상에 대한 인식 모델을 제안하고자 한다. 실험결과, 제안된 인식 모델과 일반적 인식모델과의 차이가 없음을 알 수 있었다.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 1994.10a
• /
• pp.238-243
• /
• 1994

본 논문에서는 여러가지 형태의 결합부에 적용할 수 있는 일반적인 모델링 기법에 대하여 기술하였다. 기존의 해석방법은 특정한 결합부에만 적용이 가능하고 유한요소해석과 실험이 상호 보완적인 관계를 가진 형태의 해석방법이므로 실험이 불가능한 경우에 대해서는 적용하기 어려운 경우도 있다. 본 논문에서는 별도의 실험을 수행하지 않고 결합부 영역만을 상세하게 유한요소 모델링을 하여서 선택된 자유도에 대한 유연성 행렬(Flexibility Matrix)을 구하여 결합부의 특성을 구하는 일반적 모델링 기법을 제시하였다. 이 방법은 수치적으로 축약할 수 없는 모델-결합부가 접촉면(Contact Surface)을 가지고 있는 구조물을 효과적으로 축약할 수 있는 장점이 있다. 또한 모델링되는 결합부의 경계조건의 영향을 배제할 수 있으며 결합부에 존재하는 비선형성도 적정범위내에서 선형화할 수 있다. 제시한 일반적 모델링 기법을 나사 결합부, 접착제 결합부(Glued Joints), 볼트 결합부에 적용하여 결합부이 특성을 구하였으며 실험을 통하여 제시한 해석방법의 타당성을 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10c
• /
• pp.595-597
• /
• 2002

현재 인터넷의 발달에 인한 다양한 공격의 가능성의 이유로 침입 탐지 시스템(IDsystem, IDS)의 중요성은 날로 커지고 있으며 네트워크의 보안을 보장하기 위한 방안으로서 널리 이용되고 있다. 그러나 작은 네트워크 환경에서도 IDsystem에 적용되는 audit data의 양이 많아짐으로서 시간당 처리속도와 IDsystem의 설정을 위한 시간이 더욱더 요구되며 전체적인 효율성이 감소하게 된다. 본 연구에서는 IDsystem으로 빠른 훈련과정과 일반화 능력, 구조적인 단순함으로 다양한 분야에서 연구가 진행 중인 신경망 모델 중 하나인 Radial Basis Function(RBF)를 사용하였으며, 효율성 제고를 위하여 RBF에 적용 할 입력 간들의 중요성을 선 처리 단계에서 판별하여 불필요한 입력 값들을 축약하기 위해 결정계수(R-square)같을 측정, 알려지지 않은 공격과 알려진 공격들을 판별 할 수 있는 IDsystem을 제안하였다.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.9 no.7
• /
• pp.1594-1600
• /
• 2005

Recently many researches have been studied in the human vision model to solve the Wblem of the machine vision. Starting from research on the human visual system, first, we investigate the mechanisms of retina through physiological and biological evidence. In retina, input data was processed information processing that was data reduction edge detection, and emphasizing region. The processed image was recognized by region. In this paper, we proposed retinal algorithms that process data reduction and edge detection by the wavelet transform and emphasize region contrast. In experiments, the proposed model simulates processing the retina outputs in the levels and compares with outputs.

• Proceedings of the KIEE Conference
• /
• 1997.07c
• /
• pp.878-879
• /
• 1997

본 논문에서는 전자기 과도현상 해석을 위한 다단자 회로망 등가표현법을 제안한다. 이 방법은 M개의 경계모선을 가진 축약대상 계통의 과도특성을 시간 영역에서 분석하며 이를 이용해 M 개의 노톤형 이산시간 등가 어드미턴스 필터꼴의 등가시스템을 구현한다. 이 때 각각의 등가 어드미턴스 필터 모델들은 해당 경계모선에서의 구동점 어드미턴스 특성을 나타내는 부분과 나머지 M-1 개의 등가 종속전류원으로 구성된다. 또한 이 등가 종속전류원들은 각 경계모선을 연결하는 분포정수 회로요소들로 인한 시지연 효과를 명확하게 반영할 수 있는 구조를 갖는다. 완성된 M 단자쌍 모델을 해석대상 시스템에 대한 이산시간 표현형과 쉽게 결합하여 원하는 전자기 과도현상 모의해석을 수행할 수 있다. 축약대상 시스템과 2 개의 경계모선을 통해 연결된 시험계통을 대상으로 모선지락 사고시 과전압과 스위칭 써지를 모의해석한 결과 제안하는 방법이 타당함을 확인할 수 있었다.

• Elastomers and Composites
• /
• v.44 no.4
• /
• pp.378-383
• /
• 2009

In this study, the use of a condensed model is proposed for the simulation of forming of sandwich sheet with pyramid core. A corresponding finite element analysis for L-type bending is carried out to prove the accuracy and the effectiveness. In order to improve the accuracy of forming analysis, more precise modeling of core shape and consideration of work-hardening of previous core forming are carried out. Simulation results are compared with those of experiment. Deformation shape and post-buckling behavior by simulation are in good agreement with those of experiment for the considerable range of deformation. From the comparison of force-displacement curve, it is shown that the proposed model shows good prediction of post-buckling behavior.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1996.11a
• /
• pp.833-840
• /
• 1996

중립면은 셸 (솔리드 모델) 유한 요소 생성, 로보트 이동 경로 계산, 특징 형상 판별 등에서 사용될 수 있다. 그러나 기존 중립면 계산 알고리즘들은 연립 방정식을 수렴성이 보장되지 않는 수치 해법으로 풀어야 했기 때문에 발전이 미비했다. 본 논문은 복셀-이등분 면의 교자성을 이용한 중립면 계산 알고리즘을 제시한다. 교차성은 보로노이 영역을 사용, 단순한 기하학적 요소간의 거리 비교로 판별한다. 이런 기하학적인 접근 방법은 기본적으로 수렴성 문제가 배제된다.

• The KIPS Transactions:PartD
• /
• v.11D no.1
• /
• pp.115-122
• /
• 2004

Software system modeling has a goal for finding and solving system's problems by describing and analyzing system model in formal notations. Petri nets, as graphical formalism, have been used in describing and analyzing the software systems such as parallel systems, real-time system, and protocols. In the analysis of Petri nets, general system properties such as deadlock and liveness are analyzed by the reachability analysis. On the other side, specific properties such as functional requirements and constraints are checked by model-checking. However, since these analysis methods are based on enumeration of ail possible states, there nay be state explosion problem, which means that system states exponentially increase as the size of system is larger. In this paper, we propose a new method for mechanically checking system properties with avoiding state explosion problem. At first, system properties are described in property nets then the system model and the property net are composed and analyzed. In the compositional analysis, system parts irrelevant to the specific property are reduced to minimize the analysis domain of the system. And it is possible to mechanically check whether a specific property is satisfied or not.

• Annual Conference on Human and Language Technology
• /
• 2023.10a
• /
• pp.75-79
• /
• 2023

문서에서 테이블은 중요한 정보들을 축약하여 모아 놓은 정보 집합체라고 할 수 있다. 이러한 테이블을 대상으로 질의응답하는 테이블 질의응답 기술이 연구되고 있으며, 이 중 언어모델을 이용한 연구가 좋은 결과를 보이고 있다. 본 연구에서는 최근 주목받고 있는 생성형 언어모델 기술을 테이블 질의응답에 적용하여 언어모델과 프롬프트의 변경에 따른 결과를 살펴보고, 단답형 정답과 생성형 결과의 특성에 적합한 평가방법으로 측정해 보았다. 자체 개발한 EXAONE 1.7B 모델의 경우 KorWiki 데이터셋에 대해 적용하여 EM 92.49, F1 94.81의 결과를 얻었으며, 이를 통해 작은 크기의 모델을 파인튜닝하여 GPT-4와 같은 초거대 모델보다 좋은 성능을 보일 수 있음을 확인하였다.