• 한국실내디자인학회논문집
• /
• 제16권2호
• /
• pp.163-171
• /
• 2007

The present study approached the characteristics of various space compositions in contemporary residential architecture through the concept of ex-formality, and found that ex-formal spaces are composed through the variation of floor, wall, ceiling or roof and derived four types of ex-formal space composition - ex-cubic space composition using folding, plastic space composition using the plasticity of concrete, atypical space composition using geometric manipulation, and non linear space composition using digital technology. Based on this, additionally, we derived elements expressing the characteristics of ex-formal space composition, which are obliqueness, inclination, flexibility in ex-cubic space composition using folding, plasticity and fluidity in plastic space composition using the plasticity of concrete, ex-construction, dynamism and asymmetry in atypical space composition using geometric manipulation, and flexibility, fluidity, self similarity and plasticity in non linear space composition using digital technology. On the other hand, this study purposed to help understand various space expression patterns of contemporary residential architecture by analyzing how these types of ex-formal space composition and polysemous expression characteristics have been represented in contemporary residential architecture since the 1990s.

• 한국산학기술학회논문지
• /
• 제8권3호
• /
• pp.620-626
• /
• 2007

본 연구는 셋백에 관한 예비조사를 통하여 셋백의 정의와 셋백발생의 배경 및 기능 등을 파악하고 셋백 사례들에 대한 분석의 틀을 물리적인 특성, 주요 발생 요인, 그리고 셋백유형의 세 가지 범주로 나누어 각 범주별 분석 항목들과 산정식들을 제시함으로써 셋백에 관한 분석의 체계를 마련하고자 하였다. 또한 이를 서울지역 초고층 주거건물의 사례들에 적용하여 기존 사례들에서 이루어진 셋백의 특징들과 한계점을 제시하였다.

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

컴포넌트 기반 소프트웨어 공학(CBSE)은 재사용 가능한 컴포넌트를 조립하여 시스템을 개발하는 방법이다. CBSE는 소프트웨어 개발비용과 기간을 단축할 수 있는 새로운 패러다임으로 평가되고 있다. 정형 명세를 사용하면 컴포넌트 구성 요소들 사이의 일관성과 정확성을 판단할 수 있기 때문에 컴포넌트 설계의 품질을 높일 수 있다. 현재까지 제안된 컴포넌트 정형 명세 언어들은 인터페이스간의 계약, 컴포넌트의 구조적인 측면과 동적인 측면, 컴포넌트 기반 시스템, 컴포넌트간의 결합, 가변성 중 일부만을 명세에 반영한다. 따라서 지금까지 발표된 정형 명세 언어를 컴포넌트 설계 과정의 모든 단계에서 사용하는 것은 적절치 않다. 본 논문에서는 컴포넌트 정형 명세 언어인 Component-Z를 제안한다. Component-Z는 Object-Z를 확장하여 컴포넌트 명세를 위한 새로운 표기법을 추가하고 의미론을 확장한다. Component-Z를 사용하여 인터페이스, 컴포넌트 내부 구조, 컴포넌트 내부 워크플로우와 인터페이스간의 워크플로우를 명세 할 수 있다. 또한 가변점(variation point), 가변치(variant), customization 인터페이스를 사용하여 가변성을 명세 할 수 있다. 인터페이스와 컴포넌트 사이의 관계는 매핑 스키마(mapping schema)를 사용하여 정의한다. 또한 병렬 연산자(parallel operator)를 사용하여 컴포넌트간의 결합을 명세 할 수 있고 컴포넌트 기반 시스템을 명세하여 컴포넌트가 배포된 상황을 표현할 수 있다. 따라서 본 논문에서 제안된 정형 명세 언어를 사용하여 컴포넌트 설계에 필요한 모든 요소를 표현 할 수 있다. 사례연구에서는 은행 계좌 관리 시스템을 명세하여 Component-Z가 컴포넌트 설계의 전 단계에서 사용될 수 있음을 보인다.

• 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.

• 복식문화연구
• /
• 제17권5호
• /
• pp.849-865
• /
• 2009

This research is a study of fashion design that applied formative features of formal beauty of architecture into clothing design; we focused on Gaudi's architectural style as well as Art Nouveau style that became popular from the end of the 19th century to the beginning of the 20th century. We noted that in general the simple and flat features of cloth impose a limitation on the expression of formal features in clothing design, but a unique diversity of designs can be achieved, evoking a sense of freshness by an ideal combination of flat patterns and draping. The aim of this research is to present a possibility of extending the sphere of design expression by creating three-dimensional clothes with pattern-cutting skills and applications of three-dimensional patterns as well as flat patterns found in Gaudi's works of architecture that are distinguished in curvaceousness and formal beauty. As for the research method, we reviewed previous studies by making a close review of books, papers, the pictures and web sites related to this topic. We made our clothes on the basis of this theoretical consideration. We found the following points. First, by presenting a work of fashion inspired by architectural designs, we realized that formal beauty in architect can become a motive for clothing design in a broad scale by noting the formal images, decoration details, and formative features of architectural works. Second, the characteristic lines of Gaudi's architecture are suitable to be adapted for expressing the detailed lines of decoration in clothes. Third, we can express formative beauty in clothes by highlighting the variation of shapes and lines through various attempts of change in background pattern, even though there is a limitation in the availability of cloth material because we must choose pieces of cloth with right texture and thickness that can be cut and sewn appropriately to express formative beauty. Fourth, we confirmed that it was possible to create unique formative designs by a creative application of both flat and three-dimensional cutting.

• 대한가정학회지
• /
• 제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.

• Asian Pacific Journal of Cancer Prevention
• /
• 제16권13호
• /
• pp.5237-5242
• /
• 2015

Background: Socioeconomic factors are associated with screening in terms of reducing the risk of cervical cancer. This study aimed to clearly establish the effect of screening on variation in socio-economic factor-specific survival estimates. Materials and Methods: Survival estimates were calculated using the life table method for 165 women from the routine care control arm and 67 from the visual inspection with acetic acid screening arm diagnosed with cervical cancer during 2000-2006 in rural south India. Kaplan-Meier survival curves were plotted to compare the variation in survival by socioeconomic factors. Results: Whereas there was a significant variation in survival estimates of the different categories of age at diagnosis among the screen-detected cancers with women aged<50 years having an improved survival, no significant variation was noted among women diagnosed with cervical cancer from the control arm. Compared to the variation among the cancer cases detected in the unscreened control group, screening widened the variation in survival estimates by age and type of house, and reduced the variation by education. The direction of the magnitude of the survival estimates was reversed within the different categories of occupation, marital status and household income in the screen-detected cancer cases compared to control group cancer cases. Also, women diagnosed with stage 1 disease had a very good survival. Conclusions: Screening changed the pattern of survival by socio-economic factors. We found improved survival rates in screened women aged <50 years, with no formal education, manual workers and married women.

• 한국경영과학회:학술대회논문집
• /
• 한국경영과학회 2004년도 추계학술대회 및 정기총회
• /
• pp.250-278
• /
• 2004

The product rate variation problem, to be called the PRVP, is to sequence different type units that minimizes the maximum value of a deviation function between ideal and actual rates. The PRVP is an important scheduling problem that arises on mixed-model assembly lines. A surge of research has examined very interesting methods for the PRVP. We believe, however, that several issues are still open with respect to this problem. In this study, we consider convex bipartite graphs, perfect matchings, permanents and balanced sequences. The ultimate objective of this study is to show that we can provide a more efficient and in-depth procedure with a graph theoretic approach in order to solve the PRVP. To achieve this goal, we propose formal alternative proofs for some of the results stated in the previous studies, and establish several new results.

• 한국의류학회지
• /
• 제40권5호
• /
• pp.830-843
• /
• 2016

The world wide increase of obesity and demands for various plus-size fashion are expanding the global plus-size fashion market. This study is to understand the market status of the US (the biggest plus-size fashion market) as well as analyze women's fashion shown in power blogs on the plus-size fashion trend. For research methods, photos from the top 10 globally ranked plus-size power blogs on Alexa.com were collected and divided into 5 plus-size body types based on: design factors, style, color, item, and texture. Pants with tops or completed outfits including pants, tops, and outer were the most common for casual styles; in addition, a tendency to pursue comfortable and naturally fitted clothes was also indicated. As for colors, the most common were blue colors and white or pastel toned colors; in addition, soft, hard, and transparent were all evenly used for materials. One-piece items were the most popular formal style that were mostly a one-tone color made with hard materials indicated by the pursuit of the fanciness and formality of a dress for a formal occasion. Black was the most common color, and the color variation was less diverse compared to that of casual styles. The most common for semi-formal styles were outfits with movability and more fanciness such as wearing a casual outer on top of a formal one-piece. When examining the fashion in plus-size blogs, there are differences in the frequency of design factors due to the diversity of body-types; in addition, different items were shown to be preferred in accordance with styles. The results of this study will help fashion companies who want to enter the global plus-size women's fashion market (including the US market); in addition, research on plus-size fashion that is changing the fashion and aesthetic paradigm is expected to contribute to academia.

• Journal of Advanced Marine Engineering and Technology
• /
• 제19권2호
• /
• pp.10-19
• /
• 1995

Heat trnasfer for absorbing and emitting media in laminar layer along the cylinders has been analyzed. Governing equation are transformed to local nonsimilarity equations by the dimensional analysis. The effects of the Stark number, Prandtl number, Optical radius and wall emissivity are mainly investigated. For the formal solution a numerical integration is performed and the results are compared with those obtained by P-1 and P-3 approximation. The results show that boundary layers consist of conduction-convection-radiation layer near the wall and convection-radiation layer far from the wall. As the Stark number of wall emissivity increases the local radiative heat flux is increased. The Pradtl number or curvature variations do not affect the radiative heat flux from the wall, but The Prandtl number or wall emissivity variations affect the conduction heat flux. Consequently the total heat flux from the wall are affected by the Prandtl number or wall emissivity variation.