• 한국건설관리학회논문집
• /
• 제15권4호
• /
• pp.95-106
• /
• 2014

비정형 건축물의 건설에서 가장 어려운 공정은 복잡한 디자인으로 이루어진 외장패널을 제작 및 시공하는 것이다. 설계자는 비정형 건물의 부드러운 곡면형태를 훼손하지 않는 범위 안에서 복잡한 곡면을 갖는 패널의 양을 축소하여 패널제작 및 시공비용을 최적화함이 필요하다. 특히 설계초기단계에서 다양한 건축외관을 디자인하고 각 설계대안의 예상공사비를 추정하면서 설계의도를 충족하는 적절한 대안을 찾는 것은 대단히 중요하다. 하지만 대부분의 설계사무소들은 비정형 건축물의 패널최적화에 대한 이해, 기술 및 데이터가 부족하여 초기설계 단계에서 예상공사비 산정, 설계 대안 비교를 통한 예상공사비 조정등의 업무를 효과적으로 수행하지 못하고 있는 실정이다. 본 연구는 비정형 건축물 설계자가 쉽게 접할 수 있는 범용 어플리케이션을 이용하여 비정형 건축물의 외장패널을 최적화하는 방법을 제시하며 최적화 결과와 국내 비정형 건설프로젝트의 외장공사에 대한 실적공사비를 접목하여 최적화 진행에 따른 공사비 변화정도를 산출하는 방법을 제시한다. 연구결과의 적용성을 검증하기 위해 국내에서 최근 완공된 비정형 건축프로젝트의 사례연구를 수행한다.

• 대한정형외과스포츠의학회:학술대회논문집
• /
• 대한정형외과스포츠의학회 2002년도 제12차 학술대회
• /
• pp.15-15
• /
• 2002

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 1998년도 추계종합학술대회 논문집
• /
• pp.111-114
• /
• 1998

본 논문에서는 CPU의 역할을 최대한으로 줄이고, 고속으로 트패픽을 정형화 하는 효율적인 정형화기를 설계하였다. 기존에 제시되었던 대부분의 정형화 알고리즘들은 큐를 가지고 CPU에 의해 소프트웨어적으로 트래픽 정형화를 수행하게 된다. 본 논문에서는 주로 하드웨어적으로 정형화 작업을 수행하여 CPU의 부하를 줄여 고속으로 정형화를 수행할 수 있도록 BOP(Bandwidth Oriented Priority) Markovian 정형화기와 Circular 정형화기를 설계하고 시뮬레이션을 수행하였다.

• 한국수학교육학회지시리즈E:수학교육논문집
• /
• 제19권1호통권21호
• /
• pp.271-290
• /
• 2005

오래 전부터 수학과의 연구는 학생들의 문제 해결력에 관하여 집중되어 온 것이 사실이다. 그럴 때마다 수학적 사고력에 관한 연구도 상당히 많은 부분이 있어 왔다. 본고에서는 학생들의 수학적 사고를 돕기 위한 방법으로 메타 인지를 강조함으로써 보다 까다로운 (비정형) 문제들의 문제 해결을 돕고자 하였다. 따라서 메타 인지를 유발하는 수업(소수 학습)을 통하여 학생들의 문제 해결력(정형 - 비정형)에서 유의미한 차이가 있는지를 알아보고, 궁극적으로는 메타 인지적 사고가 비정형 문제들을 해결하는 데 미치는 영향을 밝혀 수학 학습의 발전 방안을 찾고자 한다.

• 정보보호학회지
• /
• 제5권1호
• /
• pp.25-46
• /
• 1995

소프트웨어 개발에서, 사용자 요구 사항을 잘 표현하면 할수록 시스템은 오류가 적고, 사용자가 요구하는 시스템으로 만들어지며, 시스템 검증이 쉬워지는 것 같이, 정형적 사양(formal specification)은 시스템 개발 전반에 영향을 준다. 이 정형적 사양은 암호 프로토콜이 완전(completeness)하고 안전(soundness)한가를 검증하는 데에도 유용하게 사용될 수 있다. 암호 프로토콜을 사양하고 분석하는 방법은 크게 대수적, 논리적, 상태 변환적 접근 방법등과 통신 프로토콜의 검증에 쓰는 패트리넷을 이용한 방법등이 있다. 이들 방법중에는 프로그램으로 구현되어 자동 검증 tool로 개발된 사례도 있다. 본 고에서는 암호 프로토콜을 위한 사양 기법과 그에 따른 분석 기법을 알아보고 그것들을 비교, 분석하였다.

• 대한정형외과스포츠의학회지
• /
• 제6권1호
• /
• pp.27-32
• /
• 2007

골연골 병변에 관한 논문들을 살펴본 결과, 연구 방법, 각기 다른 치료 방법에 의해 얻어진 결과가 상당한 가변성을 보였다. 현 시점에서 골연골편 제거술 및 병변의 변연 절제와 천공술 그리고 자가 골연골 이식술 등이 가장 널리 이용되고 있으며 효과적인 치료 방법으로 사료된다. 그러나 가장 적절한 치료 수단이 무엇인지에 대한 명확한 결론을 유추하기 위해서는 무작위 임상 실험과 동일한 연구 방법에 의한 결과 측정의 비교가 우선되어져야 할 것으로 사료된다.

• 정보처리학회논문지D
• /
• 제8D권1호
• /
• pp.62-70
• /
• 2001

소프트웨어 컴포넌트의 기능에 대한 정확한 서술은 컴포넌트의 활용을 위한 필수 조건이며 특히, 실시간 시스템과 같은 엄밀성을 요하는 분야에는 더욱 중요한 요소로 작용한다. 본 논문에서는 컴포넌트의 이해를 높이는 수단으로 패턴에 기반한 정형적 표현 및 검증에 관한 내용을 소개한다. 특히 본 논문은 컴포넌트 기능 서술 시 VDM++를 이용하는 명세 방법, 주어진 명세에 대한 정제와 정합성 검증에 관한 정형기법의 활용방법을 제시한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.25-27
• /
• 2002

반응형 실시간 시스템의 특성을 가진 원자력 발전소 제어시스템은 안정성이 크게 중요시되며, 소프트웨어의 오류가 많은 인적 물질적 피해를 줄 수 있는 시스템이므로 높은 신뢰도를 가지고 있는 소프트웨어가 요구된다. 높은 신뢰도를 뒷받침하기 위해 내장되는 소프트웨어는 적합한 정형명세기법과 정형검증기법의 적용이 필요하다. 소프트웨어 개발시 적용되는 정형기법은 명세의 모호성을 제거하고 검증을 수행하기에 용이하게 하므로, 높은 신뢰도를 요구하는 반응형 실시간 시스템인 원자력 분야의 소프트웨어 개발에 유용하다. 그러므로, 본 논문에서는 반응형 실시간 시스템의 특성을 가진 원자력분야의 소프트웨어 개발시 유용하게 적용할 수 있는 정형기법을 기반으로 한 소프트웨어 개발 방법론을 제시하고자 한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
• /
• pp.421-423
• /
• 2002

정형적 명세를 이용하면 원시코드의 복잡함에 방해받지 않고 필요한 구현 정보를 테스트 프로그래머가 얻을수 있다. 특히 웹 기반 소프트웨어는 정형적 명세로 시스템에 대한 외부 입력과 반응을 잘 나타낼 수가 있다. 복잡하고 구성요소가 다양한 웹 프로그램의 기능을 정형적 명세를 이용하여 핵심적으로 나타내고 이를 이용하여 웹 프로그램의 실행 동작을 테스트할 수 있는 과정을 제안하고 실험하였다. 실험 대상은 웹 뱅킹 업무로 정하고 정형화 명세에서 상태 천이도를 구성하고 테스트 시나리오를 추출하는 방법을 기술하였다. 제안한 방법은 웹 프로그램의 사용 기반 테스트 기법과 결합하여 웹 소프트웨어의 테스트 자동화에 중요란 요소가 될 수 있다.

• 한국지진공학회논문집
• /
• 제5권1호
• /
• pp.37-44
• /
• 2001

면진기술은 주로 저층 구조물의 내진설계에서 적용되는 방법으로 건물과 기초사이에 면진장치를 설치하여 상부로 전달되는 지진하중을 효과적으로 감소시킨다. 그러나 이 방법은 중.고층 구조물에 그대로 적용하기에는 여러 가지 기술적 문제가 따르므로, 구보물의 중간층 일부를 분리시켜 상부로 전달되는 지진력을 감소시킬 수 있을 것이다. 본 노문에서는 저층 뿐만 아니라, 중.고층 정형구조물의 주상복합건물과 같은 비정형 구조물에 대하여 구조물의 중간층 일부를 비선형 면진장치로 면진시키고 그 효과를 분석하였다. 이러한 중간층 면진 구조물의 경우, 고정기초 구조물에 비하여 적은 층간변위나 층전단력이 발생하였으며, 특히 주상복합건물에서 상당한 효과를 볼 수 있었다.