• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.563-565
• /
• 1999

실시간 시스템은 응용분야의 특성상 높은 신뢰성을 요구하므로 설계시 시스템의 정확성과 안전성을 보장하는 것은 매우 중요하다. 신뢰성 보장을 위한 방법으로 정형기법(formal method)을 이용한 명세 방법이 연구되어 왔다. 정형적인 명세를 사용하는 경우 원하는 시스템의 특성에 대한 검증이 가능하며 자연어로 명세한 경우보다 모호함이 줄어들어 의사소통을 하는데 있어서 명확성을 제공한다. 그러나 이런 장점에도 불구하고 객체 지향 개발 방법론에서의 정형적인 명세에 관한 연구가 미흡하다. 본 논문에서는 객체 지향적 모델을 기반으로 하는 실시간 시스템을 위한 정형명세 언어인 Timed State Chart(TSC)를 제안한다. TSC는 Statecharts와 같은 계층적 상태 기계 모델(state machine model)로서 다양한 시간 제약사항의 명세를 위해 클릭 변수(clock variable)를 도입하여 실시간 객체(Real-Time Object 또는 RTO)를 명세한다. TSC를 이용하여 기존의 연구에서 표현할 수 없었던 주가와 마감시간과 같은 실시간 시스템의 다양한 요구사항을 효과적으로 표현할 수 있다.

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

인터넷 상에서 전자상거래에 필요한 데이터 교환 포맷을 정의하는데 XML이 첫 번째 선택으로 부상하고 있고 비록 이상을 실현하지는 못했지만 EDI의 그 동안의 비즈니스 프로세스에 관련된 상당한 노하우를 연결하여 새롭게 XML의 관점으로 프로세스 및 관련 구조를 기술한 ebXML이라는 표준이 제정되기에 이르렀다. 그러나 기업의 일반 비즈니스 담당자는 ebXML에 관한 전문지식이 없고 또한 그들의 비즈니스를 어떤 식으로 ebXML 표준에 맞게 표현을 해야 하는지도 알지 못한다. 이에 본 논문에서는 사전에 워크시트 기반으로 비즈니스 프로세스를 분석하고 그 결과를 UMM Metamodel에 매핑시킨 뒤 의미적인 부분만을 발취해 ebXHL Business Process Specification Schema의 각 엘리먼트를 채워나가는 형식의 Business Process Editor를 개발하였다. 비즈니스 프로세스의 구조적인 적합성과 비즈니스 프로세스를 구성하는 각 엘리먼트의 속성 값의 적합성 또한 사전에 검증이 되며 트랜잭션 사이의 이동 상태를 그래픽한 인터테이스로 표현해 사용자의 이해와 편의를 도모했다.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2014.10a
• /
• pp.416-417
• /
• 2014

SNOMED CT is a standard clinical terminology to provide a standardized way for recording and managing of clinical records in EMR systems. However, because of its huge expressive power, it is very difficult to consistently record patients' status such as diagnosis and procedure. The reason is that one clinical meaning can be expressed in variety of ways using multiple terminologies and vice versa. This paper proposes a novel requirement of effective search browser for SNOMED CT terminologies by analyzing duplicated or similar terminologies.

• Annual Conference of KIPS
• /
• 2009.04a
• /
• pp.613-615
• /
• 2009

서비스 기반 아키텍쳐(SOA)는 최근에 많은 관심을 끌고 있다. SOA 는 독립된 컴포넌트 기반 소프트웨어 아키텍쳐로서 소프트웨어의 기능이 독립된 서비스로서 제공되는데 독립된 서비스를 다양하게 구성하여 복잡한 또는 새로운 기능의 서비스를 제공할 수 있다는 장점을 가진다. 하지만 QoS 또는 Safety 를 보장할 수 없다는 한계점을 가지고 있으며 우리는 동적 시맨틱스를 사용하여 이를 극복할 수 있는 방법을 제안하고자 한다. 동적 시맨틱스는 Finite State Machine 과 시맨틱스를 결합한 형태로 구성되며 서비스의 기능적 요소를 시맨틱스로 표현하고 서비스의 비기능적 요소를 천이가 가능한 상태들로 표현하자는 것이다. 이러한 동적 시맨틱스를 상용하여 서비스의 사용자 또는 복합서비스의 설계자는 서비스의 성능을 예상할 수 있으며 이를 통하여 보다 신뢰도 높은 서비스를 제공할 수 있을 것으로 예상한다.

• Annual Conference on Human and Language Technology
• /
• 2019.10a
• /
• pp.333-338
• /
• 2019

인코더-디코더(Encoder-decoder)는 현대 기계 번역(Machine translation)의 가장 기본이 되는 모델이다. 인코딩은 마치 인간의 뇌가 출발어(Source language) 문장을 읽고 이해를 하는 과정과 유사하고, 디코딩은 뇌가 이해한 의미를 상응하는 도착어(Target language) 문장으로 재구성하는 행위와 비슷하다. 그렇다면 벡터로 된 인코더 표현은 문장을 읽고 이해함으로써 변화된 뇌의 상태에 해당한다고 볼 수 있다. 사람이 어떤 문장을 잘 번역하기 위해서는 그 문장에 대한 이해가 뒷받침되어야 하는 것처럼, 기계 역시 원 문장이 가진 의미를 제대로 인코딩해야 향상된 성능의 번역이 가능할 것이다. 본 논문에서는 뇌과학에서 뇌 동기화(Brain-to-brain coupling)라 일컫는 현상을 모방해, 출발어와 도착어의 공통된 의미를 인코딩하여 기계 번역 성능 향상에 도움을 줄 수 있는 이중 번역 기법을 소개한다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2022.05a
• /
• pp.486-486
• /
• 2022

미세플라스틱은 해양, 육상, 담수 및 대기환경에서 광범위하게 검출되고 있고 미세플라스틱에 대한 사람들의 우려가 커지고 있다. 담수환경에서의 미세플라스틱의 이동, 분포, 축척에 대한 연구는 해양환경에 비해 한정적으로 이루어지며, 하천은 종종 내륙에서 해양으로 미세플라스틱을 운반하는 경로로만 고려된다. 추후의 미세플라스틱의 저감정책 수립이나 이행에 있어서 미세플라스틱의 거동파악은 우선적으로 이루어져야한다. 따라서 오염의 생성에 영향을 미치는 유역의 작용을 가장 잘 표현하고, 단순히 전체의 상태를 설명하기보다는 인과관계를 밝히는 데에는 모델이 적합하다. 기후, 표면 유출, 토양이나 영양물질을 비롯한 오염물질의 부하 등을 잘 표현하고 수체 내부에서의 수질까지 동시에 시뮬레이션 가능한 기존의 잘 개발된 유역 모델의 주요 변수들은 미세플라스틱의 하천에서의 거동을 모의할 수 있다. 그 예로서 본 연구에서 HSPF의 유사(Sediment) 컴포넌트를 수정하여, 유역모델을 활용한 미세플라스틱 거동 모의 가능성을 입증하려고 한다.

• Annual Conference of KIPS
• /
• 2007.11a
• /
• pp.340-343
• /
• 2007

복잡하고 난해한 웹 응용을 이해하고 테스트하는 것은 사용자가 요구하는 품질을 만족시키기 위한 필수적인 과정이지만 실제로 이 과정을 제대로 수행하는 것은 쉬운 일이 아니다. 지금까지 웹 응용의 테스트를 위해 여러 가지 프레임워크가 제시되어 사용되고 있지만 이러한 프레임워크의 효율성은 어떤 접근법을 사용하느냐에 의존적인 경우가 많다. 본 논문에서는 웹 응용 상태를 표현하는 도메인 모델과 테스트 활동 그래프를 통해 객체의 활동과 의존성을 표현하여 웹 응용의 정확성을 검증하는 테스트 기법을 제안하고자 한다. 이 기법은 웹 응용을 사용자가 이해하기 쉬운 활동으로 모델링하여 테스트할 수 있도록 도와줄 수 있으므로 업무의 효율성과 편의성을 증대시킬 수 있을 것으로 기대된다.

• Journal of the Korean Geotechnical Society
• /
• v.35 no.2
• /
• pp.37-51
• /
• 2019

This study focuses on the numerical simulations of the cone penetration tests in a sand ground. The mechanical responses of sand were described using the modified Mohr Coulomb plasticity model based on the critical state soil mechanics. In the plasticity model, the dilatancy angle was not a constant, but a function of the distance to the critical state line from the current state of void ratio and mean effective stress. To simulate cone penetration tests numerically, this study relied on Lagrangian finite element method under the axisymmetric condition. To enable penetration of the cone penetrometer without tearing elements along the symmetric axis, the penetration guide concept was adopted in this study. The results of numerical simulations on the calibration chamber cone penetration tests had good agreement with the experimental results.

• Journal of Korea Multimedia Society
• /
• v.14 no.1
• /
• pp.121-132
• /
• 2011

A healthcare system is a type of medical information system that performs early detection and prevention in diseases by checking one's health condition periodically. Such a healthcare system is based on the signal obtained from the body. However, the developed existing system represents certain differences in the storage and description of vital signs according to medicare devices and the evaluation method of the system. It brings some disadvantages, such as lacks in the interoperability between systems, increases in the development cost of systems, and absence of a unified system. Thus, this study develops a healthcare system based on a meta model. For establishing this objective, this study describes and stores vital sign data based on the standard meta model of HL7 and applies OCL, which is a mathematical specification language, for defining wellness indexes and extracting data in order to evaluate health risk appraisals in health. In addition, this study implements components based on OSGi and assemble them in order to easily extend various devices and systems. By describing vital data based on the meta model, it represents some advantages that it makes possible to ensure the interoperability between systems and introduce the standardization of the evaluation method of health conditions through defining the wellness index using OCL. Also, it provides dear specifications.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.16 no.6
• /
• pp.134-142
• /
• 2012

This paper presents a study of system identification on the tilt response of the L-type retaining wall located at Tanhyun 11th ACE Apartment, Ilsan in order to understand mechanism how the structure behaves in operational conditions and to provide a reference tilt values for assessing structural abnormality. The retaining wall was extraordinarily tall (14m) in urban area so the long-term monitoring system had been installed with 3 tilts-meters and 9 temperature sensors operational from Oct 2004 upto Nov 2007. By using 5-months continuous data in which all the 12 channels were up and running, the two prediction models, 1) the linear model, and 2) the state-space equation (SSE) model, have been identified by finding the best fitness model among all possible 511 combinations of input temperatures out of the 9 temperatures. The linear model which was simple in the model structure achieved the validation fittness of 68% due to the fact that the static model wasn't able to represent thermal dynamics. The SSE model achieved the validation fitness of 90% which was quite accurate considering various unexpected noises happening in field measurements.