• 한국정보과학회논문지:소프트웨어및응용
• /
• 제27권1호
• /
• pp.1-12
• /
• 2000

모델체킹은 검증하려는 대상 시스템의 동작 모델이, 그 시스템이 만족해야 할 성질을 만족시키는지를, 시스템의 상태공간을 검사해 봄으로써 알아보는 정형 검증 기법의 하나이다. 이러한 모델체킹 기법을 병렬 객체지향 시스템에 적용하기 위해 기존의 모델체커인 SPIN에서 지원하는 모델링 언어인 Promela를 병렬객체지향 개념을 추가하여 확장한 언어인 APromela를 제안하였다. 이는 Promela가 프로세스를 단위로 하는 병렬성만을 지원하는데 반해, 액터 모델에 기반한 객체지향 병렬성을 지원한다. 또한 우리는 이 언어로 작성된 모델을 자동으로 Promela로 변환하는 규칙을 제안하였다. 이를 통해, 기존의 모델체커를 이용해 병렬 객체지향 시스템의 검증을 수행할 수 있다. 이 언어의 응용으로 UML 로 기술된 명세의 검증을 수행하는 과정을 제시하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2022년도 제34회 한글 및 한국어 정보처리 학술대회
• /
• pp.300-304
• /
• 2022

본 논문은 한국어 법률 텍스트 처리를 위해 세 가지 서로 다른 사전 학습 모델을 미세 조정하여 그 성능을 평가하였다. 성능을 평가하기 위해 타겟 판결 요지에 대한 판결 요지 후보를 추출하여 판결 요지 간의 유사도를 계산하였다. 또한 유사도를 바탕으로 추출된 판결 요지가 실제 법률 전문가와 일반 언어학자의 직관에 부합하는지 판단하기 위해 정성적 평가를 진행하였다. 그 결과 법률 전문가가 법률 전문 지식이 없는 일반 언어학자에 비해 판결 요지 간 유사도를 낮게 평가하였는데 법률 전문가가 법률 텍스트의 유사성을 판단하는 기준이 기계와 일반 언어학자와는 달라 전문가 자문에 기반한 한국어 법률 AI 모델 개발의 필요성을 확인하였다. 최종 연구 결과로 한국어 법률 AI 프레임워크를 제안하였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1997년도 추계학술대회 논문집
• /
• pp.647-650
• /
• 1997

A complete dome structure is based on a basic dome modeling, and the basic dome modeling affects safety of the dome structure. In other to save the manufacture expenses, an optimum shape modeling of a dome structure is necessary work of before manufacture of the dome. In this study, modeling of the triangle optimum shape in the surface of an aluminum dome is more focused to optimize shape of the dome and save manufacture expenses. After being made the systematic procedure of the basic modeling, the programming work of the procedure is performed. The program is made by C language, and the trust of the program is proved by comparison between output data of the program and basic modeling in PATRAN.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1993년도 춘계학술대회 논문집
• /
• pp.315-319
• /
• 1993

A dynamic modeling, analysis, and optimum design issuess for the Hybrid type of robot are addressed. The dynamic modeling can be used to describe acceleration and velocity properties of the system explicitly in terms of the actuating forces is coded in C language based on the kinematic influence coefficients(KIC). By using this modeling simulation, the actuating forces needed for the robot follows the given trajectory are calculated. Also, for the design concept, the optimum geometric configuration of the system that minimizes the maximum actuating forces is found by using the optimization techique.

• 한국시뮬레이션학회논문지
• /
• 제8권1호
• /
• pp.113-138
• /
• 1999

Driven by the explosive expansion and acceptance of the Internet and its multimedia front-end, the Web, a new generation of the modeling and simulation tools have come up with the name of Web-Based Simulation (WBS). Most of WBS libraries inherit its powerful advantages from Java. However, there are cases where explicit specification of models or interface objects is more desirable than the black-box programs. This paper presents an XML-based DEVS (Discrete Event System Specification) markup language for sharing simulation models on the Web. DEVS provides a system-theoretic formalism for the language while XML supports platform-independent data access. This paper focuses on the design of such a language.

• 한국CDE학회논문집
• /
• 제3권3호
• /
• pp.168-176
• /
• 1998

This paper deals with an application on the mould machining of air intake hose product by using 3-dimensional parametric modeling techniques. The detailed domain is the 3-dimensional product with similar shapes and different sizes which needs too much working time for preparation of modeling or machining due to making a trial and errors repeatedly. Decision making rules for selection of modeling order and technique, and for calculation of cutting conditions, and for determination of sequence and method concerning machining operations are required by interview of expert engineers in the field. The developed expert system of modeling and machining is programmed by using a user programming language under the CAD/CAM software of the Personal Designer. The developed system that aids a mould engineer who is working in the modeling and machining section which deal with air intake hose product provides strong and useful capabilities.

• International Journal of Computer Science & Network Security
• /
• 제23권6호
• /
• pp.1-12
• /
• 2023

With the rapid increase of user generated data on digital platforms, the task of categorizing and classifying theses huge data has become difficult. Topic modeling is an unsupervised machine learning technique that can be used to get a summary from a large collection of documents. Topic modeling has been widely used in English content, yet the application of topic modeling in Arabic language is limited. Therefore, the aim of this paper is to provide a systematic review of the application of topic modeling algorithms in Arabic content. Using a well-known and trusted databases including ScienceDirect, IEEE Xplore, Springer Link, and Google Scholar. Considering the publication date from 2012 to 2022, we got 60 papers. After refining the papers based on predefined criteria, we resulted in 32 papers. Our result show that unfortunately the application of topic modeling techniques in Arabic content is limited.

• 정보처리학회논문지D
• /
• 제19D권1호
• /
• pp.81-94
• /
• 2012

FORM 아키텍처 모델은 소프트웨어 프로덕트 라인 내의 제품 개발에 재사용될 수 있는 아키텍처로서 FORM 방법론의 핵심적인 역할을 한다. 하지만 기존의 FORM 아키텍처 모델을 실무에 적용할 때 다음과 같은 문제점들이 있다. 첫째, UML(Unified Modeling Language)과 같이 표준화된 모델이 아니므로, 이 모델을 작성하기 위해서는 고유한 모델링 도구가 필요하다. 둘째, FORM 아키텍처 모델은 휘처모델과의 대응 관계를 통해 가변성을 관리만 할 뿐, 아키텍처의 가변성을 명시적으로 나타내지 않았다. 본 논문에서는 이러한 FORM아키텍처 모델의 문제점을 해결하기 위해서, 먼저 FORM 아키텍처 모델을 UML 모델로 표현할 수 있는 방법을 개발하였다. 이는 FORM 아키텍처 모델링에 다양한 UML모델링 도구를 이용할 수 있는 장점이 있다. 또한, 휘처모델과의 대응관계를 통해서 FORM 아키텍처 모델의 가변성을 효과적으로 관리할 뿐만 아니라 표현 할 수 있는 방법을 개발하였다.

• International Journal of Computer Science & Network Security
• /
• 제21권4호
• /
• pp.103-114
• /
• 2021

A conceptual model can be used to manage complexity in both the design and implementation phases of the system development life cycle. Such a model requires a firm grasp of the abstract principles on which a system is based, as well as an understanding of the high-level nature of the representation of entities and processes. In this context, models can have distinct architectural characteristics. This paper discusses model multiplicity (e.g., unified modeling language [UML]), model singularity (e.g., object-process methodology [OPM], thinging machine [TM]), and a heterogeneous model that involves multiplicity and singularity. The basic idea of model multiplicity is that it is not possible to present all views in a single representation, so a number of models are used, with each model representing a different view. The model singularity approach uses only a single unified model that assimilates its subsystems into one system. This paper is concerned with current approaches, especially in software engineering texts, where multimodal UML is introduced as the general-purpose modeling language (i.e., UML is modeling). In such a situation, we suggest raising the issue of multiplicity versus singularity in modeling. This would foster a basic appreciation of the UML advantages and difficulties that may be faced during modeling, especially in the educational setting. Furthermore, we advocate the claim that a multiplicity of views does not necessitate a multiplicity of models. The model singularity approach can represent multiple views (static, behavior) without resorting to a collection of multiple models with various notations. We present an example of such a model where the static representation is developed first. Then, the dynamic view and behavioral representations are built by incorporating a decomposition strategy interleaved with the notion of time.

• 한국지구과학회지
• /
• 제21권6호
• /
• pp.719-733
• /
• 2000

요약: 수치지질도는 디지털 포맷으로 지리적인 정보와 연계된 공간 도형정보와 지질학적인 데이터베이스 속성정보를 갖는 지도로 정의가 가능하며, 지질정보의 수치 도면화와 지공간 정보처리가 가능한 두 가지 측면으로 활용될 수 있다. 그러나 지질 정보가 근본적으로 자연현상에 대한 실체와 다양한 원인에 기인한 복합 대상체에 대한 해석을 목적으로 하기 때문에 수치지질도 작업은 기존에 GIS의 주요 응용 분야인 도시정보시스템이나 지도 자동 도면화 등과 같이 인공지물을 다루는 방법을 바로 적용하는 경우 많은 문제점이 있다. 또한 GIS 소프트웨어의 근간을 이루는 정보기술분야의 급속한 발전과 GIS 활용분야의 확대에 따라 각 활용분야의 고유한 특성과 그에 따른 모델은 수치지질정보화에 대한 중요성 요소로 작용하게 된다. 본 연구에서는 이와 관련하여 우선 지질 데이터 모델에 대한 주요한 개념을 설명하고 지질데이터 모델에 대한 그간의 선행연구와 접근 방법을 소개하고자 한다. 또한 최근에 부각되고 있는 객체지향 모델링 방법의 핵심인 UML접근 방법과 이를 이용한 시험적인 모델을 소개하고자 한다. 이러한 접근 방법을 통하여 재사용성을 고려한 개념적인 모델과 이에 상응하는 실용적인 시스템 개발 및 표준화 연구측면에서 기존 방식에 비교하여 많은 장점을 보일 수 있다. 결론적으로 UML 접근방법을 통한 시스템 아키텍처와 이를 기반으로 한 지질정보시스템은 지구과학분야에서 GIS 활용을 위한 새로운 핵심적인 접근방식을 제공하게 될 것으로 예상된다.