• Nuclear Engineering and Technology
• /
• 제32권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.

• 한국의류학회지
• /
• 제34권10호
• /
• pp.1581-1595
• /
• 2010

This paper investigates the regional characteristics of street fashion in China. Yanji, Beijing, Shanghai were chosen as three different cities in terms of location, weather, population, and industrial structure. A total of 592 pictures were collected through an internet and fashion magazine search for street fashion in Beijing and Shanghai in addition photos were taken for those in Yanji. Pictures of each city were classified into groups based on overall images covering top, bottom, and accessories to identify the characteristics of style in each group. The classification process included 2 stages. In the first stage, it produced 2 groups: formal and casual. The second stage divided formal into business formal and retro formal; casual was divided into II sub-groups that were easy, sporty, feminine, sexy, ethnic, girlish, nippon, trendy, bulky, military, and mixed. Easy casual showed the highest frequency for 3 cities and military style showed the lowest. Shanghai showed higher frequency in sporty, trendy, and military style than other cities. Each style exposed the similarities and differences in the cities that reflected different regional characteristics.

• 한국실내디자인학회논문집
• /
• 제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.

• 한국의류학회지
• /
• 제20권3호
• /
• pp.481-492
• /
• 1996

The purposes of the present study were (1) to examine the differences between the experienced group in buying foreign-brand formal wear and the non-experienced group in terms of demographic characteristics, clothing expenditures, and purchase behaviors of formal wear, and (2) to investigate the purchase behaviors of and the extent of post-purchase satisfaction to foreign-brand formal wears for purchase group of foreign-brand formal wear. By using questionnaire consisting of 20 questions, data were collected from 754 female consumers in age range of 20~59. Chi-square analysis and t-test were used for data analysis. Significant differences were found between the groups in educational levels, monthly clothing expenditures, monthly household income, the number of formal wear purchased per season, store patronage, items often purchased, perceived proper price per item, and criteria for selecting stores and evaluating products. The group with experiences in purchasing foreign-brand formal wear showed high satisfaction levels with the quality of foreign-brand formal wears. When buying foreign-brand formal wears, the experienced group considered styles and color as important evaluative criteria, and favored stores having sales with wide assortmetsn.

• 한국실내디자인학회논문집
• /
• 제16호
• /
• pp.175-181
• /
• 1998

The purpose of this study was to analyze the characteristics of expression and formal principle of universalism in Architectural Composition. Theorical category is to find universal system with the connection between idea of society and tradition in compositional frame the results were as follows : First it is the pursuit of divine. Through Middle Age and Renaissance universalism of principles in Architectural Composition is appeared a numerical order and human proportion with applying of cosmology. Second it is the pursuit of schema. With the simplicity of formal image it represented to the geometrical form for its clearness. Third it is the pursuit of typology. As to play a role of decisive factor in formal construction type represented the model with abstraction of shape.

• 생물정신의학
• /
• 제28권2호
• /
• pp.70-77
• /
• 2021

Objectives Our study aimed to present the distinctive correlates of formal thought disorder in patients with schizophrenia, using the Clinical Language Disorder Rating Scale (CLANG). Methods We compared clinical characteristics between schizophrenia patients with (n = 84) and without (n = 82) formal thought disorder. Psychometric scales including the CLANG, the Brief Psychiatric Rating Scale (BPRS), the Young Mania Rating Scale (YMRS), the Calgery Depression Scale for Schizophrenia (CDSS) and the Word Fluency Test (WFT) were used. Results After adjusting the effects of age, sex and total scores on the BPRS, YMRS and WFT, the subjects with disorganized speech presented significantly higher score on the abnormal syntax (p = 0.009), lack of semantic association (p = 0.005), discourse failure (p < 0.0001), pragmatics disorder (p = 0.001), dysarthria (p < 0.0001), and paraphasic error (p = 0.005) items than those without formal thought disorder. With defining the mentioned item scores as covariates, binary logistic regression model predicted that discourse failure (adjusted odds ratio [aOR] = 5.88, p < 0.0001) and pragmatics disorder (aOR = 2.17, p = 0.04) were distinctive correlates of formal thought disorder in patients with schizophrenia. Conclusions This study conducted Clinician Rated Dimensions of Psychosis Symptom Severity (CRDPSS) and CLANG scales on 166 hospitalized schizophrenia patients to explore the sub-items of the CLANG scale independently related to formal thought disorders in schizophrenia patients. Discourse failure and pragmatics disorder might be used as the distinctive indexes for formal thought disorder in patients with schizophrenia.

• 한국산학기술학회논문지
• /
• 제15권10호
• /
• pp.6372-6378
• /
• 2014

본 논문은 미스 반 데어 로에의 독일시대 사무소 프로젝트의 형태 유형과 그에 따라 형성되는 공공 공간을 분석하는 것을 주제로 삼는다. 사무소 계획안들의 투시도와 도면을 통해 형태 유형의 발생과 변화, 유형과 공공 공간의 관계, 위계에 따른 형태와 공공 공간 구성 등을 분석하였다. 본 연구의 결론을 요약하면 아래와 같다. 1. 초기에는 ㄷ자, ㅡ자 유형을 사용했고 후에 곡선 유형을 도입하여 ㅡ자 유형과 함께 형태들로 분절했다. 2. 단순한 형태 유형들 전면에는 진입광장을 계획했고 곡선 유형과 함께 다양한 위계의 중정과 후원을 형성했다. 3. 미스가 여러 시도를 통해 형태 유형과 공공 공간에 대한 생각을 구축해 가던 시기였음을 알 수 있다.

• 한국실내디자인학회:학술대회논문집
• /
• 한국실내디자인학회 2007년도 춘계학술대회 논문집
• /
• pp.222-226
• /
• 2007

Buildings form interior space when part of an external environment is limited by a physical surface. And, the interior space forms an appearance of building when space-defining elements, such as floor, wall, and roof. An appearance or a form of building has a lot of meanings depending on the physical and psychological conditions, as well as symbolism. Especially, the prevailing meaning of form in the modern age was, "Form follows function," was quite different from the meaning of form in the architectural era of Louis I. Kahn, who asserted "Form always supercedes function," when functional modernism was still existed even after some 50 years later. Existing studies on Louis I. Kahn usually analyzed his architectural terminology and philosophical concepts of Centrality, Light, Order, Form, and Design; or they were focused on an overall plane and the principle of composition. The purposes of this study are: (1) to investigate how the formal composition characteristics of building are expressed on skylights; and (2) to demonstrate that the formal composition characteristics of skylights plays an important role in constructing a whole structure of building in relation with other architectural elements.

• 한국실내디자인학회논문집
• /
• 제13권5호
• /
• pp.74-81
• /
• 2004

The three basic elements of human life -clothing, food and shelter- had been evolved through different periods and cultural realms, as their spatial applications show distinct characteristics that are manifested through sensibilities only inherent to its specific culture. Especially in the interior spaces, possibilities to approach them in three-dimensional aspects allow formal characteristics to be expressed that are distinct to the country. Formal sensibilities embedded in interior space In Korea also follows such pattern, developed through various contemporary interpretations of Korean traditional formal sensibilities, including harmony with nature, simplicity, lightness, real and fake, and principle of harmony are being redefined by spatially expressed in contemporary language. That is, traditional formal sensibilitiesare filtered through various application methods such as composition, negotiation and modification, accommodating spatial manifestations to be not simply preserved nor replicated, but rather reconstructed through metaphor, symbol, abstraction and contrast. From this perspective, the Korean traditional formal sensibilitiesis not a notion fixed in the past, but a distinct perspectives evolving throughout periods of time that are constantly reconsidered and reinterpreted in our interior space. By examining Korean sensibilities manifested in interior space in the both diachronic aspects of tradition vs. contemporary, as well as synchronic aspects among various disciplines simultaneously, we would be able to generate a linkage to the dichotomous categories of tradition and contemporary.

• The Journal of Asian Finance, Economics and Business
• /
• 제8권11호
• /
• pp.97-106
• /
• 2021

The condition of financial services in Indonesia is unique, based on various characteristics, behaviors, and preferences. Therefore, the study of finance and banking is interesting to study as a recommendation for government policies. This paper aims to analyze the barriers to accessing formal financial services in Indonesia and why informal financial services are preferred. This paper presents a case study of financial inclusion in selected provinces in Indonesia using the SOFIA dataset from the Ministry of National Development Planning. Overall, this data consists of 20,000 individuals from 4 provinces and 93 regions representing the population in eastern Indonesia. The analysis was carried out by processing individual-level cross-sectional data surveyed in 2017 using the probit binary logistic method. The results identify the individual barriers in accessing formal financial services, including account ownership, saving, and credit activities in the formal financial institutions, and amplify the image by analyzing what determinants affect people to choose informal institutions. We found that some individual characteristics such as age, gender, education, income, employment status, residence, and access to technology significantly affect the barrier to formal financial services in East Indonesia.