• 대한조선학회논문집
• /
• 제48권3호
• /
• pp.207-214
• /
• 2011

Ship design requirements described in the building specification should be reflected in the design process. This paper identifies the configuration of requirements mentioned in the building specification using Ontology Representation Language (OWL). Ontology-based semantic search system specifies the requirement items. Through this extraction, building specifications mentioned for each entry are configured to the tree. Tracking requirements for ship design and a set of procedures to instruct is also used for the V model of systems engineering. The semantic search engine of robot agent and ontology can search the requirements specification document and extract the design information. Thereafter, design requirements for the tracking model that proposes the relationship between the associated BOM(bill of material) and product structure.

• 산업공학
• /
• 제21권1호
• /
• pp.18-32
• /
• 2008

In recent, a general trend is observed towards more customized products and shorter product life cycles in manufacturing companies. In these companies, customers often wish to influence the product they order and to get a variant of product that meets their requirements. This environment is called as a customer-oriented manufacturing companies. This paper presents a procedure of product specification management for customer-oriented manufacturing companies by using product specification framework. This framework is founded on the product specification based product structure which is made of model, specification, function, and part. Also, a product specification management system(PSMS) is implemented by using the proposed product specification framework and is a core system in product data integration system. To illustrate an utilization of the proposed framework and procedure, a case of a ship engine product is applied. As a result, PSMS reduces delivery time and improves customer relationships. Moreover, the case shows that PSMS can be used as a tool for improving inter-department coordination within a company during product life cycle.

• 정보처리학회논문지C
• /
• 제10C권6호
• /
• pp.769-778
• /
• 2003

XML 보안 명세 중 하나인 XML 키 관리 명세(XKMS)는 다양하고 복잡한 기능의 웹 서비스 애플리케이션에서 XML 문서의 서명을 검증하거나 암호화하는 공개키의 관리를 위한 프로토콜을 정의한다. 본 논문에서는 XML 표준 명세를 준수하는 XML 키 정보 프로토콜 서비스 모델을 제시하고, 표준에 근거한 프로토콜 컴포넌트의 참조 모델을 구현하였다. 또한 XML 기반 보안서비스 특성에 착안하여 안전한 XML 웹서비스를 위한 키 정보 서비스에 대한 분석과 보안 방안에 대해 기술한다. 프로토콜 컴포넌트는 식별정보가 주어졌을 때, 필요로 하는 공개키 위치와 식별자 정보, 공개키 연결 기능을 제공한다. 구현된 참조 모델은 향후 국내 e-비즈니스 프레임워크 구성 시 표준적인 보안 모델을 구현할 수 있는 지침을 제공할 것이다.

• 정보보호학회논문지
• /
• 제14권3호
• /
• pp.85-100
• /
• 2004

모든 정보시스템은 보안기능이 강화된 정보보호시스템이라 할 수 있으며, 정보보호시스템의 품질을 높이기 위해서는 초기 요구사항 분석 단계에서 보안요구사항을 정형적이며 일관적으로 분석 및 명세하여야 한다. 본 논문에서는 UML의 Use Case 모델을 확장한 Misuse Case 모델을 이용하여 보안요구사항을 분석 및 명세하는 모델과 프로세스를 제시하였으며, 도출된 보안기능요구사항들을 제품화한 비용효과적인 보안제품 선정 알고리즘을 제시하였다. 제시한 모델 및 프로세스를 통해 개발된 정보보호시스템의 품질을 제고할 수 있을 것이다

• 한국시뮬레이션학회논문지
• /
• 제27권3호
• /
• pp.23-36
• /
• 2018

이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하고 있어 이산사건시스템 모델링 시뮬레이션 (M&S)에 많이 사용되어 왔다. 이러한 수학적 표현 대신에 DEVS 다이어그램은 복잡한 시스템을 보다 직관적이며 편리한 표현력을 제공한다. 본 논문은 DEVS 다이어그램을 이용하여 표현된 모델을 시뮬레이션 코드로 체계적으로 구현하며 검증하는 DEVS 클린룸 프로세스를 제안하였다. 구체적으로, 주어진 다이어그램 모델의 적합성 검사, 테이블 DEVS 모델로의 변환, 마지막으로 시뮬레이션 소스코드로 변환하는 방법과 역으로 추적성을 기반으로 한 검사기법을 통해 정적 검증하는 구체적인 방법을 제시하였다. 간단한 예제를 통해 제안된 프로세스를 적용하는 구체적인 방법을 설명하였으며, 적용사례 통해 제안된 기법이 실용적으로 적용 가능한 효과적인 프로세스임을 확인하였다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 하계종합학술대회 논문집(2)
• /
• pp.137-140
• /
• 2000

In this paper, we have proposed an efficient test generation method for asynchronous circuits. The test generation is based on specification level, especially on Signal Transition Graph(STG)〔1〕 which is a kind of specification method for asynchronous circuits. To conduct a high-level test generation, we have defined a high-level fault model, called single State Transition Fault(STF) model on STG and proposed a test generation algorithm for STF model. The effectiveness of the proposed fault model and its test generation algorithm is shown by experimental results on a set of benchmarks given in the form of STG. Experimental results show that the generated test for the proposed fault model achieves high fault coverage over single input stuck-at fault model with low cost. We have also proposed extended STF model with additional gate-level information to achieve higher fault coverage in cost of longer execution time.

• 한국인터넷방송통신학회논문지
• /
• 제13권1호
• /
• pp.63-70
• /
• 2013

기존 연구에서는 비즈니스 프로세스 프레임워크에서 정보 추출 및 검색을 위해 비즈니스 프로세스 시스템 질의 언어(BPSQL)를 제안했고, 기존 질의(Query)언어를 그대로 사용하기 위해 비즈니스 프로세스 프레임워크 내 각 레이어 정보들을 테이블화했지만, 레이어 정보의 스펙을 가지고 데이터베이스 구축을 수작업하는 단점이 있다. 이런 문제를 해결하기 위해 메타모델 기반의 모델-텍스트 변환기법을 적용하여, 5 레이어의 비즈니스 프로세스 모델 스키마 기반의 구축 자동 방법을 제안한다. 이를 위한 단계절차는 전체 구조와 데이터베이스 스키마의 메타 모델 정의, 모델 변형 규칙 정의 순이다. 통합정보시스템 설계의 메타 모델링을 통한 각 레이어 스펙정의와 전체 레이어 모델정보 테이블 스키마 스펙을 정의하고, 이 두 스펙 정의를 가지고 모델-텍스트 변환기법을 통해 자동으로 전체 시스템이 구축 된다. 이를 통해서 통합정보시스템 구축이 효율적으로 될 수 있다.

• Journal of Advanced Marine Engineering and Technology
• /
• 제27권4호
• /
• pp.467-478
• /
• 2003

Automotive shock absorber may not be regarded as only one(simple) damping machine because it is composed of many components, and shows non-linear damping characteristics. No matter how advanced form of shock absorber is developed, the oil shock absorber can not be neglected. because their structures are based on the oil shock absorber. Therefore it is essential to accurately analyze the dynamic characteristics of oil shock absorber. It stands mainly roi damper valve tuning which nowadays is still exhaustively done by means of ride work. In this study, damping mechanism and dynamic characteristics for oil shock absorber of twin tube type are analyzed, based on the mathematical model considering internal flow and pressure. For the reliability of numerical prediction. the database is constructed within the limit of adequate reliability. Finally, the programmed system that gives out necessary specification by inputting damping specification and tolerance is to be constructed.

• 한국시뮬레이션학회논문지
• /
• 제8권4호
• /
• pp.137-154
• /
• 1999

In this paper, we propose a software design method that will track the effects of modifications in a component to the rest of the components in the design phase. The prediction of the effects due to the design modifications before coding can be a valuable aid for the complex and large software development. Within the method, the target system is represented by the structured I/O system level specification which is one of the system representation level defined by the system theory. Then it is abstracted to the I/O system level. The DEVS (Discrete Event System Specification) model is constructed based on tile I/O system level specification. Finally, the DEVS model is simulated to generate the behavior of the software by the abstract simulator in DEVS simulation environment. As an application, the graphic user interface system of a metal grating production scheduling system is presented.

• 한국CDE학회논문집
• /
• 제15권1호
• /
• pp.11-23
• /
• 2010

A flexible and correct model of the activity flows is required for workflows in product development environments. In particular, the design activity flows are not known until run-time, and conventional approaches have limit to handle this situation because they cannot predefine all the potentially reachable paths. Thus, the structure of the workflow model must be flexible enough to describe variety in workflow design and accommodate dynamic changes during workflow execution. In this paper, we provide the general primitive axioms and change patterns based on event calculus for dynamic workflow specification and execution mechanisms in product development environments. Also, we describe how to execute the workflow dynamically based on the workflow specification and workflow change patterns using abductive planning technique.