• 한국정보과학회논문지:소프트웨어및응용
• /
• 제31권7호
• /
• pp.883-900
• /
• 2004

재사용성과 확장성을 높이는 객체지향 개발이 보편화되면서 새로운 소프트웨어를 개발할 경우 기 개발되어 검증된 객체지향 산출물을 재사용함으로써 개발기간을 단축하고 품질을 향상할 수 있다. 이렇게 성능이 검증된 기 개발된 객체지향 산출물을 이용하여 컴포넌트 기반 모델로 변환하면 짧은 기간에 고품질의 컴포넌트 기반 시스템을 구축할 수 있다. 본 논문에서는 이미 개발되어 있는 객체지향 설계 모델을 이용하여 컴포넌트 기반 설계로 변환하되 변환의 정확성을 위해 정형명세 기법을 사용한다. 컴포넌트 기반 설계를 정형명세하기 위해 컴포넌트 정형명세 언어를 정의한다. 그리고 객체지향 설계의 정적, 동적, 기능적 측면을 정형명세 언어 Object-Z를 사용하여 정형명세하는 기법을 제시한 후, 객체지향 정형명세를 컴포넌트 정형명세로 변환하는 기법을 제시한다. 사례연구는 제시된 변환 기법을 적용하여 객체지향 정형명세가 컴포넌트 기반 정형명세로의 변환과정을 설명한다.

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

Presented in the paper is a structured approach to modeling automated manufacturing system (AMS) in the form of an event graph. The proposed two-phase procedure for formal modeling is 1) reference modeling by schematic supervisory control modeling and 2) event graph transformation from supervisory control model. Also described is a formal model for a small-sized FMS in the form of an event graph.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 2002년도 ICCAS
• /
• pp.52.2-52
• /
• 2002

In this paper we consider an approach to a formal linearization for time-variant nonlinear systems. A time-variant nonlinear sysetm is assumed to be described by a time-variant nonlinear differential equation. For this system, we introduce a coordinate transformation function which is composed of the Chebyshev polynomials. Using Chebyshev expansion to the state variable and Laguerre expansion to the time variable, the time-variant nonlinear sysetm is transformed into the time-variant linear one with respect to the above transformation function. As an application, we synthesize a time-variant nonlinear observer. Numerical experiments are included to demonstrate the validity of...

• 한국멀티미디어학회논문지
• /
• 제3권2호
• /
• pp.174-183
• /
• 2000

시스템 수준의 프로토콜 명세를 위한 정형 기법들은 S/W 구현에 중심을 둔 반면, 성능의 향상을 위해서 프로토콜의 설계를 H/W로 구현하는 것에 대한 필요성이 증대되고 있다. 따라서, 특정한 프로토콜을 이용한 시스템의 S/W적 구현에서 H/W적 구현으로 기반 환경이 변화함에 따라 IP(Integrated Processing)기술의 도입이 필요하게 되었다. 또한, 정형 명세로부터 시작하는 H/W의 구현 방법은 정형 명세의 특성에 의해, 구현된 H/W의 정확성, 신뢰성을 보장할 수 있다. 본 논문에서는 형식기술기법중의 하나인 ESTELLE로 정형화된 프로토콜을 H/W언어인 VHDL로 변환하는 방법을 제시한다. 우선 ESTELLE 명세를 VHDL 명세로 변환하는 변환방법을 기술한다. 이는 개념적인 변환방법으로 프로토콜 명세화의 기본 단위인 computation unit과 communication unit의 동작과 H/W에서의 프로세스간 동작의 유사성 등을 비교 분석하였다. 그 후 변환 모델을 기술하고, Inres 프로토콜을 통하여 실제로 ESTELLE을 VHDL로 변환하는 예를 제시한다.

• 디자인학연구
• /
• 제4권1호
• /
• pp.31-37
• /
• 1991

Process of thinking on the form in product design includes the process in which unclear requirements are transformed into defined concepts, and the process in which the design as a form conforming to the concepts in conc1uded.(The former is called fconceptualizationJ which deals with abstract matters, and the latter "manipulation of the formJ which deals with more embodied matters) In conceptualization process the operation which transform the diverse requirements in the initial phase of de\ulcornersign to related linguistic expressions or to an image that directly suggests the form is executed. In the process of manipulation of the form the transformation to design as the description of relationships between the formal elements of the design solution resulted from the transformed requirements. It is the job of selecting the most suitable formal elements, balancing the relationships between them, out 01 the possibilities that reside in the individual attributes of formal elements, and finally leading to the design as the end solution. This writing focuses down to the wilfulness and ambiguity of design, and the diversity of design solution after the requirements, formal elements, and the process of relating the formal attributes to each other is built up the two phases.ases.

• 대한안전경영과학회지
• /
• 제17권1호
• /
• pp.179-192
• /
• 2015

In an automated industry PLC plays a central role to control the automation system. Therefore, fault free operation of PLC controlled automation system is essential in order to maximize a firm's productivity. A prior test of control system is a practical way to check fault operations, but it is a time consuming job and can not check all possible fault operation. A formal verification of PLC program could be a best way to check all possible fault situation. Tracing the history of the study on formal verification, we found three problems, the first is that a formal representation of PLC control system is incomplete, the second is a state explosion problem and the third is that the verification result is difficult to use for the correction of control program. In this paper, we propose a transformation method to reproduce the control system correctly in formal model and efficient procedure to verify and correct the control program using verification result. To demonstrate the proposed method, we provided a suitable case study of an automation system.

• 대한가정학회지
• /
• 제44권12호
• /
• pp.167-178
• /
• 2006

The purpose of this study is to analyze the transformed fashion design based on the principles of visual design. Wucius Wong classified the kinds of transformation techniques as internal variation, external variation, extension, superimposition, transfiguration, dislocation, and distortion, which create and modify the shape. And the kinds of shape grammar for transformation are rule deletion, rule addition, and rule transformation, which are applied to interpretate for the change of wearing, the specialization & development of clothes, and the avant-garde styles in subculture groups. The formative meanings of the transformed fashion design are multi-transformation with complexity, formal beauty pretending confusion, and the basis for new trend.

• 한국항해항만학회지
• /
• 제33권5호
• /
• pp.361-368
• /
• 2009

지금까지의 집합주거를 살펴보면 건축의 역사를 통해 일반적 혹은 보편적으로 생각되는 형태가 존재함을 알 수 있다. 왜냐하면 집합주거는 형태적으로 변화가 어렵기 때문이다. 최근 세계적인 해양강국인 네덜란드에는 이러한 전형적인 형태와는 매우 다른 집합주거 작품들이 많이 건립되었다. 이 연구는 바로 이러한 작품들의 형태적 특징에 초점을 둔다. 네덜란드 독특한 집합주거들은 현대사회의 다양한 요구를 만족시키기 위한 시도임과 동시에 근대건축의 전형적인 형태들을 탈피하고자 하는 노력의 결과이다. 일반적인 형태의 집합주기에 대하여 이러한 독특한 형태의 건축물은 유형학적 측면에서 볼 때 건축적 신-유형이라 할 수 있다. 이러한 맥락에서 이 연구의 목적은 현대 집합주거건축의 유형적 변화에 내재된 의미를 밝히는 것이다.

• 한국가구학회지
• /
• 제21권2호
• /
• pp.144-156
• /
• 2010

Since late 1960s, we have had the discourse about the way of succession of korean traditional architectural heritage. Through 60s and 70s, the formal mimesis and transformation was pretty much dominated in domestic design currents. After 80s, we could see a kind of different ways of design to deal with traditions in architectural practices. These methodology can be summarized as spatiality, abstraction and diversity. These discourses acted as bases for aesthetic and formal stream which might be needed to present the formal possibilities for various commercial needs. Especially, the interior design field utilized those ideas in order to show korean identity for the commercial needs such as korean restaurant, korean bar, or korean costume shop. Interior designers positively adapted the ideas from architectural discourse and created their own vocabulary after 90s. Before 90s, interior designers did very representational mimesis to express korean identity designing commercial facilities. However from mid 90s they could establish new tendencies in expressing korean traditional moods. These tendencies are a focus on spatial relationship, abstraction and materiality, utilization of traditional objects and lighting method.

• 한국의류학회지
• /
• 제48권2호
• /
• pp.382-396
• /
• 2024

"Keunmeori", the grand headdress with various decorations attached to thickly braided and raised hair has been used as a bride's formal attire since the Joseon Dynasty, and in the modern period, new styles known as goegye and hyuche appeared as formal attire for civil weddings. Goegye was formed from a round wooden pillar wrapped with hair and decorated richly with ornaments; getting married with goegye meant that the wife was officially married. Hyuche was made by braiding the hair into two long plaits and decorating it with colorful fluttering hairpins and gold leaf hair ribbons. Hyuche was originally formal attire for a princess at her wedding, and it is thought to have been less frequently used in the private sector due to its higher cost than goegye. The style of goegye appears to have been influenced by the susik, the highest formal attire for a queen, and in particular, the decorations on the circular top part of the susik were presumed to have been similarly reproduced in folk weddings. Goegye changed in various aspects according to the social environment and atmosphere of the times, and was also used as formal attire for a prince's wife.