• 한국산학기술학회논문지
• /
• 제15권1호
• /
• pp.449-459
• /
• 2014

시각적인 클래스 모델로 기 제시된 2+1 View 통합 메타모델은 비정형적인 명세에 기인하여 명확하게 모델의 구문을 표현하지 못하고 있으며, 또한 그 모델의 정확성을 보장할 수 없다. 본 논문은 Z와 Object-Z를 사용해서 2+1 View 통합 메타모델의 구문적 의미를 정형적으로 명세하고, Z/Eves 툴을 통해 메타모델의 정확성을 검사하는 것이다. 정형 명세는 클래스 모델과 Z/Object-Z간의 변환규칙을 적용해서 2+1 View 통합 메타모델의 구문과 정적 시멘틱에 대해 Z와 Object-Z 스키마로 각각 표현한다. 메타모델의 검사는 Z 스키마 명세에 대해 Z/Eves 도구를 사용하여 구문, 타입 검사 그리고 도메인 검사를 수행하여 메타모델의 정확성을 입증한다. 이로서, 2+1 View 통합 메타모델 메타모델의 Z/Object-Z 변환을 통해 구조물의 구문적 의미를 명확하게 표현할 수 있으며, 또한 그 메타모델의 정확성을 검사할 수 있다.

• 정보관리학회지
• /
• 제17권3호
• /
• pp.147-170
• /
• 2000

RDF는 모든 자원을 독립적으로 취급하며, 특정 자원과 관련한 자원을 연결하는 모형을 제공하는 인터넷 자원 기술을 위한 통합기술모형이다. 본 연구는 인터넷의 분산된 정보환경에서 탐색과 접근을 제공하는 의미와 구조, 구문의 공통적인 규칙인 RDF의 모형과 구문, 스키마 명세와 메타데이터 기술요소인 Dublin Core의 이론적인 검토를 수행하였다. 이를 통해 XML의 응용인 RDF를 기반으로 Dublin Core 요소의 DTD 및 스키마, 메타데이터 설계를 구현하였다.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 춘계학술대회 논문집
• /
• pp.1398-1401
• /
• 2004

In case the problem came into the headlight composed of a bulb, lens and reflecting mirror, it has a sealed-beam type which must exchange all and semi-sealed beam type which can exchange only bulb. The headlight of train must be used at the time of going into tunnel and atmospheric phenomena such as heavy snow, rain and foggy as a rule, also it can be used with whistle blow when the dangerous article appears. In this study, general technical specification to improve headlight of the KTX and G7 high speed train is described throughout investigation technique of the industrialized country and headlight specification of train which is on commercial service.

• 한국IT서비스학회지
• /
• 제10권2호
• /
• pp.223-234
• /
• 2011

Loosely coupled properties of SOA(Service Oriented Architecture) services do not guarantee that service applications always work properly. Service errors may also influence other services of SOA. These characteristics adversely affect software reliability. Therefore, it is a challenge to effectively manage system change and errors for operating services normally. In this study, we propose a SOA based framework using AOP(Aspect Oriented Programming) for reliable service applications. AOP provides a way to manipulate cross-cutting concerns such as logging, security and reliability and these concerns can be added to applications through weaving process. We define a service specification and an aspect specification for this framework. This framework also includes service provider, requester, repository, platform, manager, and aspect weaver to handle changes and exceptions of applications. Independent Exception Handler is stored to exhibited external Aspect Service Repository. When exception happened, Exception Handler is linked dynamically according to aspect rule that is defined in aspect specification and offer function that handle exception alternate suitable service in systematic error situation. By separating cross-cutting concerns independently, we expect that developer can concentrate on core service implementation and reusability, understanding, maintainability increase. Finally, we have implemented a prototype system to demonstrate the feasibility of our framework in case study.

• 정보처리학회논문지D
• /
• 제11D권4호
• /
• pp.929-936
• /
• 2004

컴포넌트 기반 플랫폼이 갖는 주 한계점은 컴포넌트 기반 시스템이 갖는 컴포넌트간 상호작용과 관련된 행위에 대한 기술과 추론에 대한 적당한 수단을 제대로 제공하지 못한다는 것이다. 현 컴포넌트 기반 플래폼이 CORBA의 IDL과 같은 컴포넌트에 대한 시그네쳐 수준에서의 기술을 위한 방법을 제공하기는 하지만, 이는 컴포넌트들간 상호작용과 같은 행위 기술을 저 수준에서 제공하는 것에 불과하다 컴포넌트 기반 시스템에서 중요한 과제 중 하나는 바로 컴포넌트들간 상호작용과 같은 행위를 기술하는 것과 이를 바탕으로 행위에 대한 검증이 필요하다. 본 논문에서는 프로세스 대수를 이용하여 컴포넌트 인터페이스의 명세 정의와 추상화된 소프트웨어 아키텍처를 어떻게 만족시킬 것인가를 보장받기위한 role의 결합방법, 생성된 아키텍처에 대한 전개규칙, 시각화방법을 연구한다. 또한 사례연구를 통해 본 논문에서 제안한 명세기법 및 정의의 타당함을 보였다.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• pp.965-969
• /
• 1995

This paper deals with effective using the IGES file for flexible data exchange among the other CAD/CAM system. If a data exchange between STL file and the neutral IGES file in Stereolithography system is available, a product design becomes more flexible. THere can be many restrictions and difficulties intranslating these data. First, an STL file follows two rules, such as right-hand rule, and vertex-to-vertex rule, thus requires a structural verification. Second, translation should be performed with minmal errors. It becomes very important to translate IGES file of limited kinds of entities fot the purpose of geometric information into STL file with minor data manipulation. The developed system suggests a good approach of translating the sampled B-spline surface of IGES and shows a potential linkage between IGES and STL format file.

• 한국농공학회지
• /
• 제43권6호
• /
• pp.187-196
• /
• 2001

In this study, by using the natural language processing of the field of artificial intelligence, automated index was performed. And then, the Natural Language Processing Interface for knowledge representation(NALPI) has been developed. Furthermore, the DEsign KnOwledge DataBase(DEKODB) has been also developed, which is designed to interlock the knowledge base. The DEKODB processes both the documented design-data, like a concrete standard specification, and the design knowledge from an expert. The DEKODB is also simulates the design space of structures accordance with the production rule, and thus it is determined that DEKODB can be used as a engine to retrieve new knowledge and to implement knowledge base that is necessary to the development of automatic design system. The application field of the system, which has been developed in this study, can be expanded by supplement of the design knowledge at DEKODB and developing dictionaries for foreign languages. Furthermore, the perfect automation at the data accumulation and development of the automatic rule generator should benefit the unified design automation.

• 한국전산구조공학회:학술대회논문집
• /
• 한국전산구조공학회 1997년도 가을 학술발표회 논문집
• /
• pp.181-188
• /
• 1997

This work proposes possible use of the hyperdocument as a companion for structural steel designers and also as a part of any expert system to be used for the design of steel structures. AISC Specification for Structural Steel Buildings - Allowable Stress Design and Plastic Design, June 1, 1989-has been thoroughly hyperdocumented. Database for the most of AISC standard sections has been built for easier reference to sectional properties and even for search for the relevant sections. Hardy and wxCLIPS from AIAI, The University of Edinburgh were used as development tools. Hardy is integrated with NASA's rule-based and object-oriented language CLIPS 6.0 to enable users to rapidly develop diagram-related applications. Currently this work does not include any sophisticated rule-bases. Rather, this work will form a part of the expert systems for the steel structural design to be developed later. Nevertheless, the hyperdocument of this work will make a good companion for structural steel designers in its own right.

• 한국CDE학회논문집
• /
• 제15권6호
• /
• pp.440-448
• /
• 2010

At the early design stage, a designer would develop a design through reviewing various alternatives. However, the limitation of human information handling capacity restricts what makes various alternatives. A way to overcome the limitation is to create the alternatives with computer power and the generative design concept with computer has been used. For the generative design, even if a great deal of methodologies has been presented, the core of methodologies would be the process of shapes which examine interrelationship among shapes and how shape can be changed with the interrelationship. The interrelationship can be represented as rules. To represent the rule, the shape grammar is suggested by Stiny in 1972 with the article of "Shape Grammars and the Generative Specification of Painting and Sculpture". The aim of this paper is to present a way of using generative design based on shape grammar for generating alternatives in 3D manner.

• 산업공학
• /
• 제2권2호
• /
• pp.51-62
• /
• 1989

A computer-aided simulation modeling system has been developed to allow the automatic construction of complete discrete simulation models for queueing systems. Three types of knowledge are used in the specification and construction of a simulation modeling: Knowledge of queueing system, simulation modeling, and a target simulation language. This knowledge has been incorporated into the underlying rule base in the form of extraction and construction rule, and implemented via the expert system building tool, OPS5. This paper suggested a knowledge based approach for automatic programming to enable a user who lacks modeling knowledge and simulation language expertize to quickly build executable models.