• 한국실내디자인학회논문집
• /
• 제14권3호
• /
• pp.36-45
• /
• 2005

The aim of this study is to understand the meaning of Form drawing in which Louis 1. Kahn's principal thought is immanent through the detail analysis on design process of the Phillips Exeter Academy Library, based on his sketches and writings. The basic form is composed of three different space: one where students come together in the presence of books, another for the storage of books, and a third for reading in the light. Through the design process in the Exeter library, the basic form is maintained and it is derived from the consideration of the human activities in the library Particularly, the basic form is shaped around the idea that learning necessarily Involved two complementary activities: on the one hand, the quiet introspective act of reading, and the other, the interpersonal exchange of ideas. And the basic form plays an important role in controlling the relationship between program requirements and formal transformations in the design.

• 한국정밀공학회지
• /
• 제27권11호
• /
• pp.63-71
• /
• 2010

FormFactors is one of the most critical design factors in early development of mobile phone, and proper selection of FormFactors is necessary for smoothness of product development and customer satisfaction. Especially, emergence of mobile convergence added so various functions besides its original call function that importance of selecting FormFactors has increased because multiform FormFactors are needed. However there is problem such as frequent change of decision making in existing process because established process picks out FormFactors sensibly and arbitrarily through idea pull and so forth. We proposed FormFactors selection process by Axiomatic Design, set approach method and block approach method for reasonable and systematical FormFactors selection. First of all, we set the purpose of mobile phone development, and it is examined by Axiomatic Design. FormFactors design matrix is deduced through this process, the numbers of axes and rails are proposed using set approach method, and then patterns of FormFactors are embodied by block approach method. Particularly process application was tried through case study of mobile phone development, and we ensured that new FormFactors can be presented to a designer by systematical verification if change of customer requirements occurs through our process.

• 한국컴퓨터정보학회논문지
• /
• 제24권3호
• /
• pp.65-75
• /
• 2019

Non-Functional Requirements (NFR) play a crucial role during the software development process. Currently, NFRs are considered more important than Functional Requirements and can determine the success of a software system. NFRs can be very complicated to understand due to their subjective manner and especially their conflicting nature. Self-adaptive systems (SAS) are operating in dynamically changing environment. Furthermore, the configuration of the SAS systems is dynamically changing according to the current systems context. This means that the configuration that manages the trade-off between NFRs in this context may not be suitable in another. This is because the NFRs satisfaction is based on a per-context basis. Therefore, one context configuration to satisfy one NFR may produce a conflict with another NFR. Furthermore, current approaches managing Non-Functional Requirements trade-off stops managing them during the system runtime which of concern. To solve this, we propose fragmentizing the NFRs and their alternative solutions in form of Multi-entity Bayesian network fragments. Consequently, when changes occur, our system creates a situation specific Bayesian network to measure the impact of the system's conditions and environmental changes on the NFRs satisfaction. Moreover, it dynamically decides which alternative solution is suitable for the current situation.

• 한국컴퓨터정보학회논문지
• /
• 제24권4호
• /
• pp.91-97
• /
• 2019

Recently, UAV manufacturers are developing UAV system in a form that can be controlled by CS regardless of UAV kind and using STANAG 4586 interface standard considering Interoperability. STANAG 4586 is a NATO military standard developed to control various UAVs with standardized equipment. In such a case, UAV handover will inevitably occur and it is one of the most important function for safe UAV flight in platform using STANAG 4586. In the future combat situation where collaboration between AV and UAV is anticipated, seamless handover of UAV is a part of continuous research. In this paper, we propose requirements for UAV handover based on ARP 4761 safety assessment and analyze feasibility of the requirements by comparing UAV handover process in STANAG 4586. As a result of the comparative analysis, the proposed handover requirements based on ARP 4761 includes all the handover procedures of STANAG 4586 and present additional considerations for SOP creation and CS development. Applying the proposed handover requirements in the UAV development process can reduce the probability of loss of UAV control over the handover process and it can be expected to help improve the safety of UAV.

• 대한지역사회영양학회지
• /
• 제2권4호
• /
• pp.624-632
• /
• 1997

This study was conducted to evaluated the nutrition quality of the commercial supplementary foods for infants and young children and to seek a solution to the establishment of standards of nutrient requirements for supplementary foods in Korea. Information on food ingredients, nutrient contents, claims about usefulness of food components and instructions for feeding preparation were obtained from the labels of 33 commercial supplementary foods manufactured by 4 different domestic companies. According to the standard of supplementary foods for infants and young children described in the Korean Food Code, the commercial supplementary foods were categorized into two different types, weaning food and baby food. All the commercial weaning foods were in powder form and mainly composed of cereals, whereas all the baby foods were mainly composed of fruits in the form of canned juice. The weaning foods contained more nutrients than the baby foods did, and the nutrient levels of the weaning foods expressed as nutrient density on energy basis were higher than the RDA for infants aged 5 to 11 months, suggesting that the commercial weaning foods provide adequate amounts of nutrients. If one followed the instructions for feeding preparation appearing on the label, however, recommended amounts of intake of the weaning foods would provide too much energy as well as nutrients. There were many differences in nutrient standards of weaning foods between the Korean Food Code and Codex international food standard. In conclusion, the establishment of standards for nutrient requirements for the supplementary foods requires significant scientific studies on what nutrients are the most inadequate in Korean infants and young children feeds and what levels of nutrients should be added to the foods in order to supplement their nutrition. In addition, it is very important to have a strong scientific basis to support our standard when discrepancies exist between our standard and the international standard. (Korean J Community Nutrition 2(4) : 624-632, 1997)

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2017년도 춘계 학술논문 발표대회
• /
• pp.60-61
• /
• 2017

In free-formed formwork, there is a problem that the productivity of the construction is deteriorated due to the expensive form, the long manufacturing period, and the high degree of construction difficulty. In order to solve these limitations, there is a need to research improvement from the phase of manufacturing free-formed form. Therefore, this study is to derive significant technical characteristics using QFD approach as a preliminary study to develop manufacturing system of the free-formed form for improving the productivity of free-formed construction formwork. This study employs the QFD to reflect users' needs into technical characteristics, and analyze correlation between users' requirements and the technical characteristics, then weights them by their importance.

• 수산해양기술연구
• /
• 제39권4호
• /
• pp.298-304
• /
• 2003

In this paper a free-form hull design program and performance prediction program for planing boat is introduced. This program enables the designer to do complex geometric hull shape design on a personal computer and accurately to predict power requirements for a given loading and velocity. For a free form design, Bezier curve model is adopted as a basic representation tool of curves and surfaces, and this program has versatile functions to do fairing jobs with a convenient graphical user interface. After creating a hull form the geometric data is provided in a manner compatible with a variety of analysis tools including 'Motion Analysis(by Zarnick)' for prediction of motion characteristics in regular waves, 'Running Attitude (by Savitsky)' for prediction of the running attitude and required power.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2004년도 추계 학술발표회 제16권2호
• /
• pp.785-788
• /
• 2004

In order for concrete as a basic material constituting reinforced concrete structure to meet the required performance, it is necessary to satisfy various requirements in concrete construction. Among them, form work has significant effects not only on the process of molding fresh concrete but also on the quality and performance of hardened concrete. Recently, the decrease and aging of form workers is becoming a great problem in the construction industry and, as a result, it is required to rationalize form works and reduce labor costs for employing form workers.

• 해양환경안전학회지
• /
• 제8권1호
• /
• pp.161-167
• /
• 2002

This paper describes the types and features of amphibious ships which have been constructed and commissioned. The characteristics of hull form design also are studied. Design constraints due to general arrangement and the satisfaction of requirements are investigated. We represent the design concept of hull form based on the design data of the worldwide amphibious ships and our experiences.

• 정보기술과데이타베이스저널
• /
• 제6권2호
• /
• pp.29-43
• /
• 1999

Object-oriented development methodologies require consistent and seamless object-oriented paradigm to be applied from analysis to testing. Testing must focuses on the state of aggregated objects. This paper suggests testing methods that satisfy such requirements. In order to confirm appropriate implementation of the user requirements, the methods apply extended use case[Jacobson et al., 1992] that are prepared form analysis stage. Testing must be performed based on the use cases because the user requirements are formally documented in the use cases. The notations of the original use case are modified for the state-based testings. The testing methods consist of a unit testing and four-level of integration testing. Particularly, the level 0 testing is based on FREE state machine [Binder, 1995, 1996]. The testing methods have been applied to 3 projects and proved their practicability.