• 제목/요약/키워드: Logical Decomposition

검색결과 7건 처리시간 0.022초

독립 공리를 이용한 구조 최적화 방법론 개발 (A Structural Optimization Methodology Using the Independence Axiom)

  • 이광원;박경진
    • 대한기계학회논문집A
    • /
    • 제24권10호
    • /
    • pp.2438-2450
    • /
    • 2000
  • The Design Axioms provide a general framework for design methodologies. The axiomatic design framework has been successfully applied to various design tasks. However, the axiomatic design has been rarely utilized in the detailed design process of structures where the optimization technology is generally carried out. The relationship between the axiomatic design and the optimization is investigated and Logical Decomposition method is developed for a systematic structural optimization. The entire optimization process is decomposed to satisfy the Independence Axiom. In the decomposition process, design variables are grouped according to sensitivities. The sensitivities are evaluated by the Analysis of Variance(ANOVA) to avoid considering only local values. The developed method is verified through examples such as the twenty -five members transmission tower and the two -bay-six-story frame.

기계 제품의 개념 설계를 위한 하향 설계 지원 CAD시스템의 개발 (Framework of a CAD System to Support Design Process Modeling of Mechanical Products)

  • 홍진웅;이건우
    • 한국CDE학회논문집
    • /
    • 제5권4호
    • /
    • pp.359-372
    • /
    • 2000
  • Current CAD systems are good enough to be used as a tool to manipulate three-dimensional shapes. This is a very important capability to be owned by a design tool because a major portion of designers'activities is spent on the shape manipulation in the design detailing process. However, the whole design process involves a lot more than the, shape manipulation. Currently, these remaining tasks, mostly logical reasoning process for the function realization together with structure decomposition in the top-down manner, are processed in the designer's brain. To support the top-down functional design process of a mechanical product, a system integrating the functional, structural and geometrical aspects of a product design in a unified environment is presented. Using this system, a designer can perform function decomposition, structure decomposition, and geometry detailing, and function verification activities in parallel and the whole design process it modeled resultantly. Once the whole design process is modeled, any redesign task can be automatically performed with the verification of the desired functions.

  • PDF

Development of logical structure for multi-unit probabilistic safety assessment

  • Lim, Ho-Gon;Kim, Dong-San;Han, Sang Hoon;Yang, Joon Eon
    • Nuclear Engineering and Technology
    • /
    • 제50권8호
    • /
    • pp.1210-1216
    • /
    • 2018
  • Site or multi-unit (MU) risk assessment has been a major issue in the field of nuclear safety study since the Fukushima accident in 2011. There have been few methods or experiences for MU risk assessment because the Fukushima accident was the first real MU accident and before the accident, there was little expectation of the possibility that an MU accident will occur. In addition to the lack of experience of MU risk assessment, since an MU nuclear power plant site is usually very complex to analyze as a whole, it was considered that a systematic method such as probabilistic safety assessment (PSA) is difficult to apply to MU risk assessment. This paper proposes a new MU risk assessment methodology by using the conventional PSA methodology which is widely used in nuclear power plant risk assessment. The logical failure structure of a site with multiple units is suggested from the definition of site risk, and a decomposition method is applied to identify specific MU failure scenarios.

An Approach to Automatic Generation of Fourth Normal Form for Relational Database

  • Park, Sung-Joo;Lee, Young-Gun;Cho, Hyung-Rae
    • 한국경영과학회지
    • /
    • 제13권1호
    • /
    • pp.51-64
    • /
    • 1988
  • A new approach to the logical design of 4NF database shceme, which can be easily automated, is proposed. The main features of the approach are : introduction of a single attribute right hand side, extension of the concept of independent relations, semantic analysis, and adaoption of dependency matrix. The underlying viewpoints of functional relationships of the approach are different from Fagin's in that we distinguish functional and multivalued dependency in terms of cardinality. An algorithm for automatic generation of fourth normal form is presented and implemented.

  • PDF

Axiomatic Design 기법을 이용한 연료전지 냉시동 특성 개선에 관한 연구 (Investigation on the cold start characteristics of PEMFC using Axiomatic Design approach)

  • 서정도;이성호;안병기;임태원;유하나;이대길
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 한국신재생에너지학회 2008년도 추계학술대회 논문집
    • /
    • pp.17-20
    • /
    • 2008
  • Cold start of a fuel cell system is a major obstacle should be overcome as to commercialize it, especially for passenger vehicle applications. However, the cold start characteristics is so complicated since it involves various phenomenon such as ice-blocking in GDL, ionic conductivity in membrane affected by water activity with phase change, heat transfer through components such as bipolarplates or endplates, electro-chemical reactions affected by circumferential temperature and humidity as well. Axiomatic design provides a systematic method to investigate the complex phenomenon although it was developed as a methodology to establish logical design procedure by Nam P. Suh in 1990s. This paper presents a framework to approach the complex cold start problem using Axiomatic Design which features simplifying a problem through hierarchical decomposition and decoupling from the view of functional requirements and design parameters.

  • PDF

우리나라 초등학교 1학년 수학 교과서 <수와 연산> 영역의 지도 내용 검토 - 짝수.홀수, 수의 합성.분해, 받아올림.받아내림이 있는 계산 - (A review on teaching contents in area of Korean math textbook for first grade - even and odd number, composition and decomposition of numbers, calculation with carrying or with borrowing -)

  • 이승은;최경아;박교식
    • 한국학교수학회논문집
    • /
    • 제18권1호
    • /
    • pp.1-14
    • /
    • 2015
  • 본 논문에서는 짝수와 홀수, 수의 합성과 분해, 받아올림과 받아내림이 각각 있는 (몇)+(몇), (십 몇)-(몇)과 관련된 지도 내용의 개선을 위해 ${\ll}$수학 1-1${\gg}$, ${\ll}$수학 1-2${\gg}$에서의 해당 지도 내용을 검토하였다. 이러한 검토를 통해 얻은 시사점은 다음 세 가지이다. 첫째, 짝수와 홀수의 정의를 재고할 필요가 있다. 또, ${\ll}$수학 1-1${\gg}$에서 짝수와 홀수를 취급하는 것이 합리적인지 재고할 필요가 있다. 둘째, 20 이하의 수의 합성 분해를 취급할 필요가 있다. 즉, 10을 기준으로 하여 '10과 (몇)으로 (십 몇)', '(십 몇)으로 10과 (몇)'이라는 합성 분해의 취급을 고려할 필요가 있다. 또, 10의 합성 분해를 (십 몇)의 합성 분해보다 먼저 취급하는 지도 순서를 고려할 필요가 있다. 셋째, 계산 과정에서의 논리적 비약을 해소할 필요가 있다. 즉, 받아올림이 있는 (몇)+(몇)과 받아내림이 있는 (십 몇)-(몇)의 계산에서 10을 기준으로 하여 '10과 (몇)으로 (십 몇)', '(십 몇)으로 10과 (몇)'이라는 수의 합성 분해의 사용을 고려할 필요가 있다. 또, 필산 형식의 지도에서 일관성을 유지할 필요가 있다.

지구과학 예비교사들의 컴퓨팅 사고에 대한 인식 탐색 (Exploring Pre-Service Earth Science Teachers' Understandings of Computational Thinking)

  • 박영신;박기락
    • 한국지구과학회지
    • /
    • 제45권3호
    • /
    • pp.260-276
    • /
    • 2024
  • 이 연구의 목적은 공학기반 파력발전소 주제의 STEAM 수업을 통해서 지구과학전공 예비교사들의 컴퓨팅 사고에 대한 인식형성 및 개선이 있는지를 탐색하는 것이다. STEAM 수업은 가장 효율적인 파력발전소 모형을 제작해보는 내용으로 구성되었다. 컴퓨팅 사고 실천 인식을 알아보는 설문지는 연구자가 기존의 연구를 중심으로 설문 문항을 개발하여 15명의 예비교사들에게 투입하였다. STEAM 수업은 파도를 이용해서 터빈이 돌아가는 과학적 원리 이해를 바탕으로 모둠별로 효율적인 파력발전소 모형을 개발하도록 하였으며 수업 중에 문제를 인식하고(문제해결), 코딩작업을 해서(코딩 및 프로그래밍) 3D 프린터로 파력발전소를 제작하였으며(모델 설계 및 구축), 제작된 산출물을 평가하여 오류를 수정하는(문제 오류 수정) 동안에 '논리적 사고'를 통한 높은 수준의 컴퓨팅 사고 실천 인식이 파악되었다(14개 중에 앞의 5개 실천은 평균 5점). 하지만 용어에 대한 정확한 정의를 알지 못하고 실시한 수업에서 '추상화'. '문제분해', 및 '빅 데이터 활용'에 대한 인식은 오히려 수업 후의 인식은 더 낮아졌다(3개의 실천). STEAM 수업 후에는 컴퓨팅 사고 실천은 '온라인 게임하기'는 아니라는 것에 인식개선이 있었지만(4.06→0.86; 역문항) 아직도 컴퓨터를 이용해서 해야 하는 컴퓨팅 사고 실천으로 인식하고 있어 개선되지 않음이 확인되었다(컴퓨터처럼 생각하기, 컴퓨터를 사용하여 통계하기). 문제 인식에 해당하는 '문제해결'(3.73→4.33), '패턴 인식'(3.53→3.66), 그리고 '최상의 도구 선택'(4.26→4.66)의 3개 실천은 인식이 약하게 개선되었다. 컴퓨팅 사고 실천과 같은 역량 함양을 위해서는 실습위주의 교육양성과정이 개설되어야 하며, 특히 본 연구에서는 다른 주제의 추가적인 STEAM 수업을 했다면 개선이 일어나지 않거나 약하게 인식되었던 컴퓨팅 사고 실천에 대해서는 확실한 개선이 있을 수 있다는 결론을 내릴 수 있다. 다회적인 상황학습의 교육실습 교육과정이 개설되어야 한다.