• 한국전자거래학회지
• /
• 제10권2호
• /
• pp.21-41
• /
• 2005

엔터프라이스 아키텍처 (EA) 프레임워크는 기업의 정보기술 요소들 사이의 상호 운영성을 증가시키기 위해 활용되는 EA를 구축하기 위한 도구이다. 본 논문은 엔터프라이스 아키텍처 유닛(AU), 참조모델, 그리고 도메인 모델 사이의 연관관계를 조합하여 정의한 ENAE (ENterprise Architecture Framework)이라는 엔터프라이스 아키텍처 프레임워크의 설계 기법을 정의한 것이다. 이 기법에서 정의하는 AU는 하나의 비즈니스 프로세스와 이를 지원하는 시스템 및 기술요소들을 연관관계를 포함하여 조합한 최소단위의 EA로서. 서로 연관이 있는 AU들의 조합을 통하여 EA의 구축이 가능하도록 하였다. UML과 같이 범용성있는 모델링 언어의 사용은 비즈니스 도메인을 표현하는데 한계가 있으므로, 비즈니스 도메인의 기술에 적합한 DSM의 개념을 도입하였으며, DSM으로 정의된 AU 들은 토픽 맵을 이용하여 EA를 생성할 수 있다. 논문의 2장은 EA 관련 연구 및 DSM, 토픽 맵에 대하여 기술하였으며, 3장은 본 연구에서 제안하는 EA 프레임워크의 설계 방법에 대하여 설명하였으며, 4장에서는 본 설계 기법을 적용한 사례에 대하여 설명하였다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1991년도 춘계공동학술대회 발표논문 및 초록집; 전북대학교, 전주; 26-27 Apr. 1991
• /
• pp.469-474
• /
• 1991

Recent interests in intelligent LP modeling aim to support MS/OR-naive users to be able to apply LP models to practical problems without the expert knowledges required. For more generalized LP modeling, a GPS(General Problem Solver)-based approach is suggested in this paper. It identifies modeling process as a means-ends analysis process. In view of this approach, a) we first divide the knowledges into domain specific assertive knowledges(state) and procedural knowledges about LP modeling(operator and macro) for model-domain independence, b) and then generate LP model according to the difference resolution techniques.

• 한국비블리아학회지
• /
• 제30권2호
• /
• pp.145-166
• /
• 2019

정보행태 연구 커뮤니티에서 그간 다수의 이용자 관련 모형들이 제시되어온바, 본 연구의 출발점은 정보검색 상호작용 모형을 포함한 대부분의 모형들이 포괄적 영역을 제시하는 다(多)영역 모형이라는 점이다. 본 연구는 다 영역 모형의 제한점을 논의한 후, 새로운 모형 유형 제시의 필요성을 제기한다. 이와 관련, 연구 커뮤니티내의 핵심 모형 네 가지를 분석 고찰한 후, 특정영역 초점 모형화(Specific Domain Focus Modeling - SDFM)에 기반한 새로운 모형 유형을 제시한다. 이러한 모형화의 예로써, 본 연구는 필자의 시스템-자료 군 연계정도 기반 정보검색 상호작용 모형을 제시한다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제37권7호
• /
• pp.548-557
• /
• 2010

본 연구는 IPTV의 지능형 검색을 가능하게 하는 VOD 어노테이션을 위해 효율적인 반자동 온톨로지 모델링 기법을 제안한다. 제안하는 방법은 워드넷(WordNet)으로 부터 특정 도메인(또는 장르)을 대표하는 콘텐츠에 관련된 키워드의 상 하위어와 동의어에 해당하는 부분 트리를 추출하고, 워드넷에 없는 외래어, 한자어 등은 확장하여 콘텐츠 온톨로지를 구축한다. 이 온톨로지는 보편적 계층구조와 특정 계층구조를 생성한다. 전자는 콘텐츠와 관련 키워드를 제약 기술(description)을 포함하는 클래스로 정의한 어휘의 의미 모델이다. 후자는 생성된 모델에 함의관계(subsumption) 추론 기술을 적용하여 키워드를 관련있는 콘텐츠로 추론한 모델이다. 어노테이션은 이 온톨로지를 기반으로 VOD에 콘텐츠와 장르의 메타데이터를 의미 기반으로 생성한다. 보편적 계층구조는 서비스 도메인에 독립적으로 재사용이 가능하며, 특정 계층구조는 서비스 목적에 맞는 완전하고 함축적인 모델을 생성한다. 제안하는 방법은 서비스 도메인에 상관없이 적용 가능한 알고리즘이며, 2,400건의 테스트 데이터로 어노테이션 결과를 평가하여 82%의 정확도를 보였다.

• 시스템엔지니어링학술지
• /
• 제13권2호
• /
• pp.49-56
• /
• 2017

Implementation of Model-based Systems Engineering(MBSE) depends on a model supporting efficient communication among engineers from various domains. And SysML is designed to create models supporting MBSE but unfortunately, SysML itself is not practical enough to be used in real-world engineering projects. SysML is designed to express generic systems and requires specialized knowledge, so a model written in SysML is less capable of supporting communication between a systems engineer and a sub-system engineer. Domain Specific Languages(DSL) can be a great solution to overcome the weakness of the standard SysML. A SysML based DSL means a customized SysML for a specific engineering domain. Unfortunately, current researches on SysML Domain Specific Language(DSL) for the plant engineering industry are still on the early stage. So as the first step, we have developed our own SysML based Piping & Instrumentation Diagram (P&ID) creation environment and P&ID itself of a specific plant system, using a widely used SysML authoring tool called MagicDraw. P&ID is one of the most critical output during the plant design phase, which contains all information required for the plant construction phase. So a SysML based P&ID has a great potential to enhance the communication among plant engineers of various disciplines.

• 인터넷정보학회논문지
• /
• 제10권4호
• /
• pp.139-149
• /
• 2009

본 논문에서는 데이터 보호 규정에 관련된 요구사항들이나 규칙들이 소프트웨어에 잘 표현되어 있는지를 검증하기 위하여 도메인 고유의 언어인 DSML(Domain Specific Modeling Language)을 사용해 정책을 정규화 혹은 계산적 표현에 관련된 솔루션을 제시하고 있다. 모든 정책들은 공식적으로 프롤로그( Prolog) 언어 기반으로 표현된 후 DSML에 통합되며 정책검증은 요구사항 준수가 언제 평가되어야 하는지에 따라 정적 정책검증과 동적 정책검증의 두가지 정책이 존재한다.

• Journal of Electrochemical Science and Technology
• /
• 제13권3호
• /
• pp.323-338
• /
• 2022

Heat generation and temperature of a battery is usually presented by an equation of current. This means that we need to adopt time domain calculation to obtain thermal characteristics of the battery. To avoid the complicated calculations using time domain, 'state of charge (SOC)' can be used as an independent variable. A SOC based calculation method is elucidated through the comparison between the calculated results and experimental results together. Experiments are carried for rapid resistive discharge of a large-capacitive lithium secondary battery to evaluate variations of cell potential, current and temperature. Calculations are performed based on open-circuit cell potential (SOC,T), internal resistance (SOC,T) and entropy (SOC) with specific heat capacity.

• 정보처리학회논문지A
• /
• 제12A권5호
• /
• pp.451-460
• /
• 2005

본 논문은 ffGA상에서 에너지 효율이 높은 데이터 경로 설계 방법론을 제안한다. 에너지, 처리시간, 그리고 면적간의 트레이드오프를 이해하기 위하여, 도메인 특성 모델링, coarse-grained 성능평가, 설계공간 조사, 그리고 로우-레벨 시뮬레이션 과정들을 통합한다. 도메인 특성 모델링 기술은 도메인의 특성에 따른 시스템 전체의 에너지 모에 영향을 미치는 여러 가지 구성요소와 파라미터들을 식별함으로써 하이-레벨 모델을 명시한다. 도메인이란 주어진 어플리케이션 커널의 알고리즘에 대응하는 아키텍쳐 패밀리이다. 하이-레벨 모델 또한 에너지, 처리시간 그리고 면적을 예측하는 함수들로 구성되어 트레이드오프 분석을 용이하게 한다. 설계 공간 조사(DSE)는 도메인에 명시된 설계 공간을 분석하여 설계 셋을 선택하도록 한다. 로우-레벨 시뮬레이션은 설계 공간 조사(DSE)에 의해 선택된 설계와 최종 선택된 설계의 정확한 성능평가를 위하여 사용된다. 본 논문에서 제안한 설계 방법은 매트릭스 곱셈에 대응하는 알고리즘과 아키텍쳐 패밀리를 사용한다. 제안된 방법에 의해 검증된 설계는 에너지, 처리시간과 면적간의 트레이드오프를 보인다. 제안된 설계 방법의 효율성을 보이기 위하여 Xilinx에서 제공되는 매트릭스 곱셈 커널과 비교하였다. 성능 비교 메트릭으로 평균 전력 밀도(E/AT)와 에너지 대 (면적 x 처리시간)비를 사용하였다. 다양한 문제의 크기에 대하여 Xilinx설계들과 비교하였을 때 제안한 설계 방법이 전력밀도(E/AT)에서 평균 $25\%$우수하였다. 또한 본 논문에 제안한 설계의 방법을 MILAN 프레임워크를 이용하여 구현하였다.

• 한국정보시스템학회지:정보시스템연구
• /
• 제5권
• /
• pp.149-173
• /
• 1996

This paper focus on the development of object-oriented model bases for Structured Modeling. For the model base organization, object modeling techniques and model typing concept which is similar to data typing concept are used. Structured modeling formalizes the notion of a definitional system as a way of dscribing models. From the object-oriented concept, a structured model can be represented as follows. Each group of similar elements(genus) is represented by a composite class. Other type of genera can be represented in a similar manner. This hierarchical class composition gives rise to an acyclic class-composition graph which corresponds with the genus graph of structured model. Nodes in this graph are instantiated to represent the elemental graph for a specific model. Taking this class composition process one step further, we aggregate the classes into higher-level composite classes which would correspond to the structured modeling notion of a module. Finally, the model itself is then represented by a composite class having attributes each of whose domain is a composite class representing one of the modules. The resulting class-composition graph represent the modular tree of the structured.

• 천문학회보
• /
• 제44권2호
• /
• pp.46.2-46.2
• /
• 2019

The software group in Giant Magellan Telescope Organization (GMTO) is developing the GMT Software Development Kit (SDK) for the device control and the telescope operations. The SDK is dived into the modeling and the operation defining. In the modeling process, Domain Specific Language (DSL) can validate the availability of a model and generate a skeleton code automatically. After the modeling, the developer can simply define the device operation. All devices are connected via EtherCAT, and the SDK simplifies the network connection. This presentation will give an overview of the modeling process and development examples using the GMT SDK.