• Title/Summary/Keyword: description method

Search Result 1,372, Processing Time 0.032 seconds

Development of an ADL tool set that supports the description of C2-style architecture (C2 스타일의 아키텍쳐 기술을 지원하는 ADL 지원도구의 개발)

  • Sin, Dong-Ik;No, Seong-Hwan;Choe, Jae-Gak;Jeon, Tae-Ung;Lee, Seung-Yeon
    • The KIPS Transactions:PartD
    • /
    • v.8D no.6
    • /
    • pp.645-656
    • /
    • 2001
  • Recently, component-based development (CBD) is rapidly spreading as a way of improving the reusability, productivity, and quality of software. For CBD to be effective in achieving such design objectives, the creation and integration of components must be based on a well-defined architecture that guides the correct composition and cooperation of application components. Software architecture must be described using an architecture description language (ADL) to ensure the correctness and preciseness of architecture models. In this paper, we propose the system architecture of an ADL tool set that can effectively support the use of CBD based on the domain architecture and we describe each component of the proposed system architecture. We also modify and redefine C2SADL that was developed to support the use of the description of C2 architectural style by UCI (University of California in Irvine) to facilitate the integration of separately described architecture models, and introduce the method of design and implementation of our ADL processor that partially implements the proposed ADL system architecture.

  • PDF

Investigation on the Description Method of Extrusion Die Surface using NURBS Surface and Area Mapping Method (NURBS 곡면과 면적 사상법을 이용한 압출 금형곡면의 표현 방법에 관한 연구)

  • 유동진;권혁홍;임종훈
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 2003.05a
    • /
    • pp.343-346
    • /
    • 2003
  • In order to construct the extrusion die surface of arbitrarily shaped sections, an automatic surface construction method based on NURBS surface and area mapping method is proposed in the present work. In the present study, a center point for area mapping is determined by introducing the marring concept based on constant area proportionality between original billet and final product. The characteristic points of inlet profile is determined using the traditional area mapping method and the root finding numerical method. The inlet and outlet profiles are precisely described with NURBS curves using the characteristic points of entry and exit sections. For the construction of NURBS surface, an interpolation method for the pre-determined two section curves has been developed to be used in the generation of interior control points and weights. To show the validity of the proposed method, automatic die surface generation is carried out for the several kinds of shaped sections.

  • PDF

Investigation on the Description Method of Extrusion Die Surface using NURBS Surface and Area Mapping Method (NURBS 곡면과 면적사상법을 이용한 압출 금형 곡면의 표현방법에 관한 연구)

  • 유동진;권혁홍;임종훈
    • Transactions of Materials Processing
    • /
    • v.12 no.4
    • /
    • pp.348-357
    • /
    • 2003
  • In order to construct the extrusion die surface of arbitrarily shaped sections, an automatic surface construction method based on NURBS surface and area mapping method is proposed in the present work. A center point fur area mapping is determined by introducing the mapping concept based on constant area proportionality between original billet and final product. The characteristic points of inlet profile are determined using the traditional area mapping method and the root finding numerical method. The inlet and outlet profiles are precisely described with NURBS curves using the characteristic points of entry and exit sections. For the construction of NURBS surface, an interpolation method for the pre-determined two section curves has been developed to be used in the generation of interior control points and weights. To show the validity of the proposed method, automatic die surface generation is carried out for the several kinds of shaped sections.

A study on the Preconditions of Space Program Validation of Healthcare Architecture for Application of BIM Technology (병원건축의 BIM적용을 위한 공간프로그램유효성평가의 전제조건에 관한 연구)

  • Seong, Joonho;Kim, Khilchae
    • Journal of The Korea Institute of Healthcare Architecture
    • /
    • v.19 no.2
    • /
    • pp.19-30
    • /
    • 2013
  • Purpose: The planning and design of hospital generally requires the participation and consultation of skilled experts since it has more complex space program than any other buildings. Therefore, the BIM systems for the planning of hospital have been tried continuously. The purpose of this study is to identify the precondition for space Program validation of healthcare architecture based on BIM, which is recently receiving wide attention. Method: For this study, United States, Australia and Finland's guidelines were analyzed among the description space program validation system in 14 overseas BIM Guidelines. And the propose precondition that can be applied to healthcare architecture from among these description of space program validation items, target, process etc for General building. Result: 1) spatial program validation is the following four evaluation phase. Step 1: Standard setting phase Step 2: BIM model accuracy assessment phase Step 3: space validation phase Step 4: Performance evaluation phase 2) The standards for the building elements at Standards Setting stage is considered to the standards for the architectural elements of General building. 3) Healthcare Architecture Area calculation method is considered to be reasonable that borrowing the area calculation standard of general architecture according to the UIA of international standards. However, Be proposed of measuring method that reflect the efficiency of the design process step-by-step area calculation method. The performance assessment indicators of reflect the Hospital uniqueness have to developed. And the research needs to be carried out continuously according to the purpose for healthcare architecture of feature-oriented. Implications: In this paper like to understanding that precondition of space program validation considering the BIM. As a result, understanding to condition about step of the evaluation, the evaluation standards. Is expected to keep the focus on the development of performance indicators that reflect the uniqueness of the hospital for the efficient evaluation of the Hospital building.

Non-Dialog Section Detection for the Descriptive Video Service Contents Authoring (화면해설방송 저작을 위한 비 대사 구간 검출)

  • Jang, Inseon;Ahn, ChungHyun;Jang, Younseon
    • Journal of Broadcast Engineering
    • /
    • v.19 no.3
    • /
    • pp.296-306
    • /
    • 2014
  • This paper addresses a problem of non-dialog section detection for the DVS authoring, the goal of which is to find meaningful section from the broadcasting audio, where audio description can be inserted. The broadcasting audio involves the presence of various sounds so that it first discriminates between speech and non-speech for each audio frame. Proposed method jointly exploits the inter-channels structure and speech source characteristics of the broadcasting audio whose number of channel is stereo. Also, rule based post-processing is finally applied to detect the non-dialog section whose length is appropriate for audio description. Proposed method provides more accurate detection compared to conventional method. Experimental results on real broadcasting contents show that qualitative superiority of the proposed method.

Force limited vibration testing: an evaluation of the computation of C2 for real load and probabilistic source

  • Wijker, J.J.;de Boer, A.;Ellenbroek, M.H.M.
    • Advances in aircraft and spacecraft science
    • /
    • v.2 no.2
    • /
    • pp.217-232
    • /
    • 2015
  • To prevent over-testing of the test-item during random vibration testing Scharton proposed and discussed the force limited random vibration testing (FLVT) in a number of publications. Besides the random vibration specification, the total mass and the turn-over frequency of the load (test item), $C^2$ is a very important parameter for FLVT. A number of computational methods to estimate $C^2$ are described in the literature, i.e., the simple and the complex two degrees of freedom system, STDFS and CTDFS, respectively. The motivation of this work is to evaluate the method for the computation of a realistic value of $C^2$ to perform a representative random vibration test based on force limitation, when the adjacent structure (source) description is more or less unknown. Marchand discussed the formal description of getting $C^2$, using the maximum PSD of the acceleration and maximum PSD of the force, both at the interface between load and source. Stevens presented the coupled systems modal approach (CSMA), where simplified asparagus patch models (parallel-oscillator representation) of load and source are connected, consisting of modal effective masses and the spring stiffness's associated with the natural frequencies. When the random acceleration vibration specification is given the CSMA method is suitable to compute the value of the parameter $C^2$. When no mathematical model of the source can be made available, estimations of the value $C^2$ can be find in literature. In this paper a probabilistic mathematical representation of the unknown source is proposed, such that the asparagus patch model of the source can be approximated. The chosen probabilistic design parameters have a uniform distribution. The computation of the value $C^2$ can be done in conjunction with the CSMA method, knowing the apparent mass of the load and the random acceleration specification at the interface between load and source, respectively. Data of two cases available from literature have been analyzed and discussed to get more knowledge about the applicability of the probabilistic method.

A Converting Method from Topic Maps to RDFs without Structural Warp and Semantic Loss (NOWL: 구조 왜곡과 의미 손실 없이 토픽 맵을 RDF로 변환하는 방법)

  • Shin Shinae;Jeong Dongwon;Baik Doo-Kwon
    • Journal of KIISE:Databases
    • /
    • v.32 no.6
    • /
    • pp.593-602
    • /
    • 2005
  • Need for machine-understandable web (Semantic web) is increasing in order for users to exactly understand Web information resources and currently there are two main approaches to solve the problem. One is the Topic map developed by the ISO/IEC JTC 1 and the other is the RDF (Resource Description Framework), one of W3C standards. Semantic web supports all of the metadata of the Web information resources, thus the necessity of interoperability between the Topic map and the RDF is required. To address this issue, several conversion methods have been proposed. However, these methods have some problems such as loss of meanings, complicated structure, unnecessary nodes, etc. In this paper, a new method is proposed to resolve some parts of those problems. The method proposed is called NOWL (NO structural Warp and semantics Loss). NOWL method gives several contributions such as maintenance of the original a Topic map instance structure and elimination of the unnecessary nodes compared with the previous researches.

A Comparative Study of Formal Methods for Safety Critical Software in Nuclear Power Plant

  • Sedo Sohn;Seong, Poong-Hyun
    • Nuclear Engineering and Technology
    • /
    • v.32 no.6
    • /
    • pp.537-548
    • /
    • 2000
  • The requirement of ultra high reliability of the safety critical software can not be demonstrated by testing alone. The specification based on formal method is recommended for safety system software. But there exist various kinds of formal methods, and this variety of formal method is recognized as an obstacle to the wide use of formal method. In this paper six different formal method have been applied to the same part of the functional requirements that is calculation algorithm intensive. The specification results were compared against the criteria that is derived from the characteristics that good software requirements specifications should have and regulatory body recommends to have. The application experience shows that the critical characteristics should be defined first, then appropriate method has to be selected. In our case, the Software Cost Reduction method was recommended for internal condition or calculation algorithm checking, and statechart method is recommended for the external behavioral description.

  • PDF

Coupling of Meshfree Method and Finite Element Method for Dynamic Crack Propagation Analysis (무요소법과 유한요소법의 결합에 의한 동적균열전팍문제의 해석)

  • 이상호;김효진
    • Proceedings of the Computational Structural Engineering Institute Conference
    • /
    • 2000.04b
    • /
    • pp.324-331
    • /
    • 2000
  • In this study, a new algorithm analyzing dynamic crack propagation problem by the coupling technique of Meshfree Method and Finite Element Method is proposed. The coupling procedure of two methods is presented with a short description of Meshfree Method especially, Element-free Galerkin (EFG) method. The elastodynamic fracture theory is presented, and a numerical implementation procedure for dynamic fracture analysis by Meshfree Method is also discussed. A couple of dynamic crack propagation problems illustrate the performance of the propsed technique. The accuracy of numerical solutions by the developed algorithm are compared with those of analytical solutions and experimental ones.

  • PDF

Computation of unsteady wind loading on bluff bodies using a discrete vortex method

  • Taylor, I.J.;Vezza, M.
    • Wind and Structures
    • /
    • v.2 no.4
    • /
    • pp.285-303
    • /
    • 1999
  • A discrete vortex method (DVM) has been developed at the Department of Aerospace Engineering, University of Glasgow, to predict unsteady, incompressible, separated flows around closed bodies. The basis of the method is the discretisation of the vorticity field, rather than the velocity field, into a series of vortex particles that are free to move in the flow. This paper gives a brief description of the method and presents the results of calculations on static and transversely oscillating square section cylinders. The results demonstrate that the method successfully predicts the character of the flow field at different angles of incidence for the static case. Vortex lock-in around the resonance point is successfully captured in the oscillatory cases. It is concluded that the vortex method results show good agreement, both qualitatively and quantitatively, with results from various experimental data.