• 국제학술발표논문집
• /
• The 5th International Conference on Construction Engineering and Project Management
• /
• pp.553-557
• /
• 2013

Roof and exterior wall are designed and constructed in a manner that prevents the accumulation of water within the wall and roof assembly in the formal building. However, in a freeform building there is no clear distinction between exterior wall and roof. In other words, the exterior walls and roof systems of the freeform building are integrated as a surface, unlike the formal building envelope. Therefore, freeform architecture needs a systemized envelope design method to perform functions of exterior wall and roof. However, in many cases, construction methods for roof and exterior wall are applied to freeform buildings without necessary alterations, which lead to incomplete design, leakage, cracks and other problems. Freeform architecture is thus designed and constructed differently from formal buildings. In order to more easily and inexpensively actualize freeform architecture, Building Information Modeling (hereinafter referred to as BIM) has recently been applied in the construction industry. The studies and case analysis are not sufficient to identify the implications and contributions of freeform buildings in future similar projects. Therefore, this research will study design and construction methods for freeform surfaces. This study attempts to analyze the pros and cons of each method for the concrete surface frame, and then presents the panel options for envelope system of the freeform architecture.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 봄 학술발표논문집 Vol.31 No.1 (A)
• /
• pp.181-183
• /
• 2004

Mission-Critical한 실시간 반응형 내장 시스템들의 설계과정에 있어 high-level abstraction과 formal(software 기반) modeling은 없어서는 안될 중요한 부분이다. 실시간 반응형 내장 system의 OS는 정형 명세 기법을 이용하여 시스템의 주요 component들을 설계하고 OS의 Formal model들을 모든 가능한 input들 아래 OS의 behavior를 엄격하게 검증함으로써 error가 없는 완벽한 OS를 개발할 수 있다. 본 논문에서는 uC/OS-11의 OS Scheduling 부분을 반응형 시스템 언어인 Esterel의 SyncCharts로 명세, 명세한 시스템의 요구조건을 정형기법을 이용친서 검증해보고자 한다.

• 한국정보보호학회:학술대회논문집
• /
• 한국정보보호학회 2003년도 동계학술대회
• /
• pp.533-537
• /
• 2003

보안 시스템의 안전성을 분석하기 위해서는, 정형적 방법론을 사용하여 보안 시스템에 대한 이론적인 수학적 모델을 정형적으로 설계하고, 보안 속성을 정확히 기술해야만 한다. 본 논문에서는 보안 시스템의 안전성을 검증하기 위한 보안모델의 구성요소와 안전성 검증방법을 설명한다. 그리고 보안모델을 설계하고 안전성을 분석하기 위한 SEW(Safety Evaluation Workshop)의 전체 구조와 SPR(Safety Problem Resolver) 정형검증도구의 검증방법 및 기능에 대해 소개하고자 한다.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1999년도 추계학술발표회요약집
• /
• pp.113.1-113
• /
• 1999

• 사회복지연구
• /
• 제48권4호
• /
• pp.91-120
• /
• 2017

본 연구에서는 WHO의 국제기능장애건강분류틀(ICF)을 기반으로 고령장애인의 만성질환과 다차원적 장애 간의 관계, 공식 비공식 지지와 다차원적 장애 간의 관계를 살펴보고 공식 비공식 지지의 조절효과를 확인하고자 하였다. 이를 위해 만 50세 이상 고령장애인 450명을 대상으로 2014년도 9차 한국복지패널자료를 사용하여 구조방정식모델(structural equation modeling)로 분석하였다. ICF에 근거하여 건강조건은 고령장애인의 만성질환 수준으로 측정하였고 다차원적 장애는 심리 정서적 기능, 일상활동 수행능력, 사회활동 참여로 측정하였으며 환경요인인 공식 지지와 비공식 지지는 각각 공적서비스 이용 총 수와 지각된 사적 사회적 지지 수준으로 측정하였다. 분석 결과, 만성질환은 심리 정서적 기능에 부정적인 영향을 미쳤고 비공식 지지는 심리 정서적 기능과 일상활동 수행능력에 긍정적인 영향을 미쳤다. 반면 공식 지지의 경우, 일상활동 수행능력과 부적 관계를 나타냈고 만성질환과 심리 정서적 기능의 부적 관계에 부정적 영향을 미치는 것으로 나타났다. 연구결과를 바탕으로 고령장애인의 기능수행(functioning) 제고를 위한 실천적 정책적 제언을 제시하고자 하였다.

• 한국시뮬레이션학회:학술대회논문집
• /
• 한국시뮬레이션학회 2001년도 The Seoul International Simulation Conference
• /
• pp.484-484
• /
• 2001

The sophistication of current software applications results in the increasing cost fur software development time. The component-based software development framework is proposed to overcome the difficulty and time-consuming requirements by modularity and reusability. As is the general software case, a component-based simulation framework encourages the reusability of the real system model based on the modularity of the applied simulation methodology. This paper presents a component-based simulation environment that is based on the DEVS/COM run-time infrastructure. The DEVS (Discrete Event System Specification) formalism provides a formal modeling and simulation framework for the generic dynamic systems [1] and Microsoft's COM (Component Object Model) is one of the strongest competitor fur the component standard. The reusability by the DEVS/COM simulation environment saves model development time remarkably and component technology make simulator itself to be a subparts of real application.

• Journal of Computing Science and Engineering
• /
• 제3권3호
• /
• pp.143-164
• /
• 2009

This article surveys recent research in the area of language modeling (sometimes called statistical language modeling) approaches to information retrieval. Language modeling is a formal probabilistic retrieval framework with roots in speech recognition and natural language processing. The underlying assumption of language modeling is that human language generation is a random process; the goal is to model that process via a generative statistical model. In this article, we discuss current research in the application of language modeling to information retrieval, the role of semantics in the language modeling framework, cluster-based language models, use of language modeling for XML retrieval and future trends.

• 한국인터넷방송통신학회논문지
• /
• 제9권5호
• /
• pp.169-174
• /
• 2009

본 논문에서는 정확한 분석 모델을 제시할 수 있는 객체 모델링과 정형화 방법을 통해 개발자와 사용자간 효과적인 의사소통을 제공하고 객체모델의 정형화와 표준화에 필요한 형식명세로의 변환 규칙을 제안한다. 사용자의 요구에 따라 최적의 객체모델 선택을 위한 객체 모델 검색 프로토타입을 제시한다. 이를 통해서 적합한 모델을 선택할 수 있으므로 소프트웨어 개발시 비용과 노력을 최소화할 수 있다.

• 복식
• /
• 제38권
• /
• pp.31-49
• /
• 1998

This study is the primary basic study about the spatial feature of modeling of Fashion Design. Then, this researcher lays significance in establishing the basic system about the character of dress and its ornaments as modeling in spatial-formal, dimension, examining the feature of modeling closely through perception principle and offering the basic principle to plan and organize the modeling space for dress and its ornaments on the basis of it. To generalize the findings is as follows : First, the spatial system of modeling for dress and its ornaments is made with 3 elements such as space, human beings and dress and its ornaments. Second, the form of dress and its ornaments and the spatial organization start from the structural basis which is human body, and the sensible system of body is made through inter-action, but the aesthetic expression is complet-ed by the moment of body. Third, the characteristic principle of model-ing for dress and its ornaments which was suggested in Chapter IV is based on the visuo-per-ceptional modeling experience, and these thinking contents are inputted in cognition course as the invisible in formation in the new space plan and organization and activate the apperception course and aim at the action about aesthetic judgement.

• Nuclear Engineering and Technology
• /
• 제36권1호
• /
• pp.83-103
• /
• 2004

The methodological framework of the Level 2 PSA appears to be currently standardized in a formalized fashion, but there have been different opinions on the way the sources of uncertainty are characterized and treated. This is primarily because the Level 2 PSA deals with complex phenomenological processes that are deterministic in nature rather than random processes, and there are no probabilistic models characterizing them clearly. As a result, the probabilistic quantification of the Level 2 PSA CET / APET is often subjected to two sources of uncertainty: (a) incomplete modeling of accident pathways or different predictions for the behavior of phenomenological events and (b) expert-to-expert variation in estimating the occurrence probability of phenomenological events. While a clear definition of the two sources of uncertainty involved in the Level 2 PSA makes it possible to treat an uncertainty in a consistent manner, careless application of these different sources of uncertainty may produce different conclusions in the decision-making process. The primary purpose of this paper is to characterize typical sources of uncertainty that would often be addressed in the Level 2 PSA and to provide a formal guidance for quantifying their impacts on the PSA Level 2 risk results. An additional purpose of this paper is to give a formal approach on how to combine random uncertainties addressed in the Level 1 PSA with subjectivistic uncertainties addressed in the Level 2 PSA.