• 건축역사연구
• /
• 제3권1호
• /
• pp.161-172
• /
• 1994

This is part of a study on the origin of modernist forms and settings. Forms in Modern Architecture are totally new as though they seemed to be originated from some remote culture. Archaeological studies and Laugier's primitivist attitude to the classical architecture provided a way leading, in the end, to pure structures and abstract forms. An application of the classical elements was combined with the ultimate image of nobility, simplicity and rationality. What the seventeenth and eighteenth century theorists realized in the ruines of the classical structures were not the ones with their original organic vitality but the deteriorated, naked and abstracted ones. The essence of the classical structures has been the one of the main references of the modern white architecture. Ration and Nature were the quintessential terms in the design process of the Enlightenment architects of the late eighteenth and nineteenth centuries as they were in the twentieth century architecture. Pure geometric and symbolic forms were new inventions for the new revolutionary age after the development of architectural Styles, successive until Baroque and Roccoco, ceased to go on to the next phase. Many of their buildings appeared so modem in character, for they were omitted all but the essential structure and decoration. Other sides of rationality in the pre-modern age were evolved in terms of the paradigmatic research and the logic in structure. Durand developed a systematic typological approach to the forms. Geometry was the basis of his designs and his illustrations resembled endless simple geometrical problems. One of the other rational approaches was mainly developed by Viollet-le-Duc. To him, Gothic architecture was the model in which each members functioned actively and exerted counterpressure and the Middle Ages invented new fantastic forms. The several ways of rational approaches in architecture were led to the 'tabula rasa' planning in modern architecture. Nature was remained untouched and not deformed as Ledoux's houses in the $H{\hat{o}}tel$ de $Th{\acute{e}}lusson$ were setted on informal gardens. It is part of the modem image that Nature flows or interpenetrates through the white prisms of the strictest classical purity and machines.

• 컴퓨터교육학회논문지
• /
• 제9권2호
• /
• pp.37-45
• /
• 2006

현재 중학교에서 실시되고 있는 컴퓨터교육은 정보통신기술지침, 교육과정 그리고 관련문헌들을 분석한 결과 교육과정의 계열, 중복 그라고 일관된 체계 부족 등의 문제점이 발견되었고, 학습내용의 대부분이 소프트웨어 기능습득 위주로 편성되어 있어 논리적 사고와 문제해결력을 걸러내기가 매우 어렵다. 이에 본 연구는 중학교 컴퓨터교육과정을 개선하기 위해 컴퓨터과학 요소의 도입이 시급하다고 판단하고 미국의 ACM 컴퓨터과학 교육과정 모델, 플로리다 주 컴퓨터과학 교육과정 그리고 Unplugged Project 등 컴퓨터과학 지도 사례를 근거로 기존의 교육과정을 수정 보완하여 컴퓨터원리, 알고리즘 및 프로그래밍이 도입되고 정보윤리영역이 강화된 개선된 컴퓨터교육과정을 제안하였다.

• 한국음향학회지
• /
• 제13권2호
• /
• pp.76-85
• /
• 1994

정체형 칼만필터와 간단한 음성-비음성 판별알고리즘을 사용하여 비정체형 유색잡음을 감쇠시키는 방법을 제안하였다. 종래의 잡음감쇠알고리즘들이 대부분 백색 또는 정체형 잡음을 다룬데 비하여 본 연구는 대부분의 실제 잡음환경, 즉, 비백색 비정체성 잡음을 다루었다는 점이 다르다. 잡음감쇠기로서는 AR모델에 의거한 백터형 칼만필터를 사용하였고, 음성/비음성 판별에는 단구간에너지의 임계값논리를 사용하였다. 칼만필터에 필요한 잡음의 계수는 비음성구간에서 추산하였고, 음성의 계수는 EM반복법을 적용하여 추산하였다. 실험결과는 신호대 잡음비와 청취테스트로 제시하였다. 차량잡음을 사용한 실험결과, 비음성구간의 배경잡음은 거의 완전히 제거할 수 있었고, SNR이 0dB내지 -5dB로 낮아짐에 따라 왜곡이 심화 되는 경향을 보였으나, 음성의 명료도를 저하시키지는 않았다.

• 한국컴퓨터정보학회논문지
• /
• 제13권2호
• /
• pp.19-29
• /
• 2008

단위 시험은 모듈의 소스 코드를 면밀히 검토하면서 논리적 오류나 문장 오류 등이 있는지 분석하는 화이트박스 시험이 가능하다. 반면 시스템 수준의 기능 시험은 규모가 크기 때문에 시험 데이터를 입력한 후 출력된 결과가 예상 결과와 같은지 비교하는 블랙박스 시험이 주를 이룬다. 이러한 시스템 시험 단계에서 사용하는 블랙박스시험은 오류를 발견하더라고 수정을 위해 소스 코드를 추적하기 어려운 문제점이 있다. 뿐만 아니라 시스템 시험 단계에 화이트박스 시험을 사용하는 것은 시험 대상의 추상 수준 달라 쉽지 않다. 이에 본 논문에서는 시스템의 기능처럼 높은 추상 수준을 시험 대상으로 하되 소스 코드 수준까지 화이트박스 스타일로 시험할 수 있는 현실적이고 통합된 시스템 수준의 수직적 시험에 대해 제안한다. 그리고 어떻게 수직적 시험을 적용하는지 UML명세 모델에서 소스코드까지 오류를 추적하는 방법을 사례를 통해 설명하고 더불어 오류 추적의 효과성을 보였다.

• 대한산업공학회지
• /
• 제40권1호
• /
• pp.84-99
• /
• 2014

In this study, determinant input-output variables are identified for calculating Data Envelopment Analysis (DEA) efficiency scores relating to evaluating the efficiency of government-sponsored research and development (R&D) projects. In particular, this study proposes a systematic framework of design and analysis of experiments, called "all possible DEAs", for pinpointing DEA determinant input-output variables. In addition to correlation analyses, two modified measures of time series analysis are developed in order to check the similarities between a DEA complete data structure (CDS) versus the rest of incomplete data structures (IDSs). In this empirical analysis, a few DEA determinant input-output variables are found to be associated with a typical public R&D performance evaluation logic model, especially oriented to a mid- and long-term performance perspective. Among four variables, only two determinants are identified : "R&D manpower" ($x_2$) and "Sales revenue" ($y_1$). However, it should be pointed out that the input variable "R&D funds" ($x_1$) is insignificant for calculating DEA efficiency score even if it is a critical input for measuring efficiency of a government-sonsored R&D project from a practical point of view a priori. In this context, if practitioners' top priority is to see the efficiency between "R&D funds" ($x_1$) and "Sales revenue" ($y_1$), the DEA efficiency score cannot properly meet their expectations. Therefore, meticulous attention is required when using the DEA application for public R&D performance evaluation, considering that discrepancies can occur between practitioners' expectations and DEA efficiency scores.

• 기술혁신학회지
• /
• 제15권4호
• /
• pp.815-836
• /
• 2012

기업부설연구소는 그동안 기술경쟁력 확보 등을 통해 우리나라 경제성장의 견인차 역할을 담당해 왔다. 본 연구는 R&D역량이 우수한 중소 중견기업 연구소를 발굴하여 육성하기 위한 연구라고 할 수 있다. 본 연구의 가장 큰 목적은 중소 중견기업 우수연구소를 선정하기 위한 논리를 수립하고, 이에 대한 적용방안을 제시하는 것이다. 본 논문에서는 우수연구소를 선정하기 위해 논리모형에 기반한 평가지표 체계를 제시하고, Pilot Test를 통해 지표의 타당성을 검증하고자 하였다. 연구결과로 도출된 평가지표는 우수연구소에 대한 R&D지원을 위한 참고자료로 유익하게 활용될 것으로 기대하였다. 특히 기업의 입장에서는 해당기업의 R&D역량에 대한 자가진단을 위한 목적으로도 활용할 수 있을 것이다. 마지막으로 본 연구에서는 우수연구소 선정의 효과를 극대화 하기 위해서 선정결과를 활용한 차별화된 정책적 지원방안을 함께 제시하고자 하였다.

• 산경연구논집
• /
• 제5권4호
• /
• pp.31-42
• /
• 2014

Purpose - According to the applied studies knowledge, management implementation can improve organizational performance. The main objective of this study is to develop an understanding of critical success factors that enhance the successful implementation of knowledge management. Research design, data, and methodology - This study used Analytical Hierarchy Procedure (AHP), which is a multi-criteria decision making model that works on fuzzy logic. Using this method, researchers can find the proportion of success due to the contribution of the critical success factors (CSFs). Results - The results show that more than 70% of respondents indicate the possibility of success in knowledge management implementation. Further, the results show that top management support has the greatest relationship with the success of knowledge management implementation. This was followed by information technology, performance measurement, and culture, which had a high relation with knowledge management success. Process and activities have a moderate positive relation, while education and training has a low relation with success. Because of an inappropriate p-value, knowledge management strategies show no relation to the success of knowledge management in the Iranian health Industry. Conclusions - This study was conducted because of a critical issue in the Iranian health industry that indicated that a significant portion of the workforce would retire in 5 to 10 years. Most highly experienced and knowledge oriented employees would become eligible for retirement. Therefore, knowledge management is presented as a complete solution in the Iranian health sector.

• 정보처리학회논문지D
• /
• 제16D권1호
• /
• pp.83-92
• /
• 2009

현실 세계의 복잡한 비즈니스 로직들이 프로그램 내부에 투영되면서 시스템의 복잡도는 갈수록 높아지고 있다. 이러한 높은 복잡도를 가지는 프로그램도 그 생명주기 동안 재공학을 거쳐야 하는 것은 필연적일 것이다. 다양한 목적으로 가해지는 재공학 작업에서 그 작업의 대상이 되는 핫 스팟 예측은 매우 중요하다. 일반적으로 레거시 시스템의 재공학 작업은 UML과 코드 분석을 기반으로 예측한다. 또한 그 예측 단위는 클래스 혹은 유닛(함수) 단위가 된다. 그러나 함수 내부의 코드의 량이 갈수록 커져가고 있고 더 미세한 핫 스팟을 찾기 위하여 클래스 단위의 탐색보다 더 미세한 부분의 탐색이 필요하다. 본 논문에서는 AOP를 이용한 문장 단위의 핫 스팟 검출 기법을 제안한다. 기존의 기법에서 요구하던 핫 스팟 검출을 위한 UML과 코드 분석, 또한 이 둘 사이의 일치성과 관계없이 동적으로 AOP를 이용하여 레거시 시스템의 실행 정보를 기록하는 동적 이벤트 로그 데이터를 생성한다. 이를 바탕으로 핫 스팟을 예측하고 슬라이싱하는 방법을 제안하였다.

• 한국추진공학회지
• /
• 제17권2호
• /
• pp.71-83
• /
• 2013

항공기 가스터빈의 운용율을 극대화 하고 정비 비용을 최소화하기 위해 최근 모델기반방법이나 인공지능방법을 이용한 첨단상태진단기법들을 적용하고 있다. 이 진단 방법들 중 비선형 GPA방법과 유전자 알고리즘을 이용한 엔진 진단방법들이 선형 GPA, 퍼지 로직 및 신경망 이론 등의 타 방법들에 비해 장점을 가지고 있는 것으로 알려졌다. 이에 본 연구에서는 항공기용 AE3007H 터보팬엔진의 상태진단에 비선형 GPA기법과 유전자 알고리즘을 적용한 후 비교를 통해 센서 노이즈와 바이어스가 있는 경우 유전자 알고리즘이 보다 우수한 진단 기법임을 확인하였다.

• 한국시뮬레이션학회논문지
• /
• 제25권4호
• /
• pp.21-30
• /
• 2016

최근 자동 생산 시스템은 PLC (Programmable Logic Controller) 제어 프로그램을 일반적으로 사용하고 있다. 생산제품의 수명 주기가 길지 않기 때문에 공법과 라인 및 설비 변경이 자주 일어난다. 대부분, 기존 공정을 바탕으로 이루어지고 설비의 위치 및 제어정보를 수정한다. PLC 제어 프로그램 또한 기존 공정을 바탕으로 수정이 이루어진다. 새로운 제어 프로그램을 검증하기 위해서는 실제 생산 시스템을 구축하기 전에 가상의 공간에서 실제 공정과 같이 구성하여 순차적으로 공정이 진행되는 지 확인할 수 있는 방법이 필요하다. 본 연구는 순차제어(sequential control)와 병목현상 처리에 유용한 Timed-FSA를 기반으로 하는 논리적인 모델링 방법을 사용한다. 기존에 연구되었던 I-O 모델링과 I-O 모델링에서 요구되었던 하나의 설비에 다양한 상태의 정의를 통해 사용자의 시간과 공수를 절감하기 위한 기존 모델링에 페트리네트의 토큰(Petri Nets Coloured Token) 개념을 추가한 확장된 I-O 모델링 방법을 제안한다. 예제 설비를 통하여 사용자의 모델링 시간을 절감하는 실험과 사용자 평가를 통해 제안하는 확장된 I-O 모델링의 편의성을 검증한다.