• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.07a
• /
• pp.21-24
• /
• 2017

본 논문은 함정 전투체계의 아키텍처를 설계하고 세부 기능을 분석 및 구현하기 위한 방안 연구를 위해 작성되었다. 함정 전투체계와 같이 복잡도 높은 대규모 시스템에서 문서 산출물에 근거한 개발은 산출물 간 유기적인 연결이 어렵고 요구조건의 변화에 따른 영향 요소 식별 및 반영이 어렵다는 단점을 갖는다. 이에 대한 대안으로 제시된 모델 기반 개발 방법론을 함정 전투체계에 적용하기 위해 미 국방 분야 표준 아키텍처인 DoDAF와 이를 지원하는 UPDM, 시스템 엔지니어링과 소프트웨어 엔지니어링 분야의 모델링을 지원하는 SYSML/UML을 살펴보고 함정 전투체계에 적합한 모델 구성 및 각 개발 단계 별 모델링을 수행하는 절차에 대한 가이드라인을 제시한다.

• Journal of Intelligence and Information Systems
• /
• v.29 no.4
• /
• pp.287-308
• /
• 2023

After launching its service in November 2022, ChatGPT has rapidly increased the number of users and is having a significant impact on all aspects of society, bringing a major turning point in the history of artificial intelligence. In particular, the inference ability of large language models such as ChatGPT is improving at a rapid pace through prompt engineering techniques. This reasoning ability can be considered as an important factor for companies that want to adopt artificial intelligence into their workflows or for individuals looking to utilize it. In this paper, we begin with an understanding of in-context learning that enables inference in large language models, explain the concept of prompt engineering, inference with in-context learning, and benchmark data. Moreover, we investigate the prompt engineering techniques that have rapidly improved the inference performance of large language models, and the relationship between the techniques.

• Journal of KIISE:Software and Applications
• /
• v.26 no.3
• /
• pp.412-421
• /
• 1999

소프트웨어 개발 및 시스템을 구현하기 위해 사용되고 있는 대표적인 프로세스 모델이 IEEESTD1074-1991, ISO/IEC DIS12207-1, SPICE 모델, MIL-STD 498이다. 이들을 실제 국내 프로젝트들에 적용하기 위해 여러 가지 해결방안이 연구되고 있다. 일반적으로 프로젝트을 수행할 때, 개발 이전 단계 프로세스 설계의 실패는 전체 프로젝트 공정에 영향을 준다. 본 논문에서는 프로세스 중심 소프트웨어 엔지니어링 환경을 기반으로 하여 개발 이전 단계의 프로세스를 설계하는 방법을 제안한다. 이 방법은 프로세스, 활동, 테스크들의 연관관계를 도식화하고 있다. 그리고 설계된 결과를 국내 프로젝트들에 적용, 그 결과를 분석한다.

• Journal of KIBIM
• /
• v.12 no.1
• /
• pp.10-22
• /
• 2022

Prefabricated bridges require strict management of tolerance during fabrication and assembly. In this paper, digital engineering models for prefabricated bridge components such as deck, girder, pier, abutment are suggested to support information delivery through the life-cycle of the bridge. Rule-based modeling is used to define geometry of the members considering variable dimensions due to fabrication and assembly error. DfMA(design for manufacturing and assembly) provides the rules for ease of fabrication and assembly. The digital engineering model consists of geometry, constraints and corresponding parameters for each phase. Alignment and control points are defined to manage tolerances of the prefabricated bridge during fabrication and assembly. Quality control by digital measurement of dimensions was also considered in the model definition. A pilot bridge was defined virtually to validate the suggested digital engineering models. The digital engineering models for DfMA showed excellent potential to realize prefabricated bridges.

• Proceedings of the KIEE Conference
• /
• 2006.11a
• /
• pp.308-310
• /
• 2006

TEC61850은 변전소 자동화에 있어서 변전소 감시, 보호, 제어, 운전에 필요한 모든 부분에 IT 기술을 적용한 디지털 제어 기반의 차세대 변전소 자동화 시스템을 설계 개발 운용하는 기술로서 변전소 운전의 자동화 및 무인화를 위한 핵심 기술이다. 본 논문은 국제 표준인 IEC 61850 기반의 변전소 자동화 시스템 프로토타입에 대하여 다루고 있다. 먼저 IEC 61850 기반 변전소 자동화 시스템의 구성에 대해 설명하고, 시스템 구현에 있어서 실제 데이터 모델을 설계하고 통신 모듈을 구현하는 방법에 대해 설명하였다. 또한 SCL을 이용한 엔지니어링 하는 방법 및 전체 시스템 구현 방법에 대하여 서술하였다.

• Proceedings of the Korean Society of Marine Engineers Conference
• /
• 2006.06a
• /
• pp.101-102
• /
• 2006

XML 기반의 Single Window은 국제 표준에 입각하여 해운 분야의 전자문서를 사용하여 국제해사기구와 전세계적으로 공통된 양식을 사용한다. 이는 동일한 양식의 전자문서를 사용하는 사용자들 간은 통용될 수 있다는 의미이며, 민원인 입장에서는 정보의 재사용성과 중복 입력의 불합리함을 줄일 수 있다. 이로써 민원인들은 입출항 수속 간소화 뿐만 아니라 해운 업무 자체에 많은 업무 개선 효과를 볼 수 있다. 본 고에서 제안한 XML 인프라스트럭처(XML infrastructure for Single Window)는 ebXML 기반의 Single Window에 적합하도록 설계 및 구현되었으며, 자원의 재사용성과 중복 투자를 방지할 수 있도록 하였다. 즉, 사용 환경에 유동적으로 적용가능 하도록 컴포넌트 방식으로 구성되었으며, 기존 시스템을 최대한 활용하도록 구성할 수 있도록 하였다.

• Journal of Advanced Marine Engineering and Technology
• /
• v.36 no.5
• /
• pp.683-693
• /
• 2012

Recently, statistical machine translation (SMT) has received many attention with ease of its implementation and maintenance. The goal of our works is to build bidirectional Korean-Japanese SMT system by using MOSES [1] system. We use Korean-Japanese bilingual corpus which is aligned per sentence to train the translation model and use a large raw corpus in each language to train each language model. The proposed system shows results comparable to those of a rule-based machine translation system. Most of errors are caused by noises occurred in each processing stage.

• Journal of KIISE
• /
• v.44 no.12
• /
• pp.1307-1312
• /
• 2017

Due to their convergence with state-of-the-art ICT technologies, the complexity and reliability demands of industrial automation systems have been rapidly increasing. In recent years, to cope with these demands, several research works have been carried out to adopt formal methods to the application development cycle at the early design stage. In this paper, we propose an automated code generation framework for industrial automation applications, based on a timed automata model. As a case study, we developed a formal model for a traffic light control system and verified the timing properties described in the specification. We finally demonstrated that the operation of a test-bed based on the auto-generated native code was identical to that of the model specification.

• Journal of Advanced Marine Engineering and Technology
• /
• v.41 no.1
• /
• pp.56-61
• /
• 2017

This paper presents a data prediction method and its application to haptic-based teleoperation systems. In general, time delays inevitably occur during data transmission in a network environment, which degrades the overall performance of haptic-based teleoperation systems. To address this situation, this paper proposes an autoregressive moving average (ARMA) model-based data prediction algorithm for estimating model parameters and predicting future data recursively in real time. The proposed method was applied to haptic data captured every 5 ms while bilateral haptic interaction was carried out by two users with an object in a virtual space. The results showed that the prediction performance of the proposed method had an error of less than 1 ms when predicting position-level data 100 ms ahead.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10a
• /
• pp.442-444
• /
• 2001

정보통신 인프라가 발전됨에 따라, 기존의 정보시스템은 웹기반 정보시스템으로 이주되고 있다. 따라서, 기존의 오프라인 비즈니스 프로세스는 온라인(웹기반) 형태로 튜닝(리엔지니어링) 되어야 하며, 새로운 웹기반 정보시스템은 성능과 수익성이 보장되어야만 한다. 이를 위한 이론과 기술을 개발함으로써 이주 비용을 최소화할 수 있다. 본 논문에서는 기존의 BPR기술 및 프로세스 모델링 기술, 프로세스 평가 기술, 성능모델 기술, UML 기술을 조사 및 활용, 개량하여 비즈니스 프로세스 튜닝 방법론(비즈니스 프로세스의 모델링 방법 및 새로운 프로세스 설계 휴리스틱스 제시, 그리고 비즈니스 프로세스들의 성능 및 비용 평가 방법)을 제시하였다.