• Title/Summary/Keyword: 결정성 검증

Search Result 2,383, Processing Time 0.047 seconds

하우징의 가변성 - 디자인의 연구 및 적용(6)

  • Park, Jin-Ho
    • Korean Architects
    • /
    • no.9 s.437
    • /
    • pp.93-101
    • /
    • 2005
  • 지난 몇 년간의 연구와 출간된 글, 그리고 디자인 스튜디오 등 일련의 실험과정을 '하우징의 가변성 - 디자인의 연구 및 적용'이란 하나의 주제로 묶어 연재한다. 근본적으로, 이 연구 및 실험은 두가지 틀 속에 그 근간을 두고 있다. 첫째는 '이론과 실무'이고, 둘째는 '분석과 종합'이다. 건축 활동에 있어 이론과 실무는 불가분의 관계에 있다. 우리에게 흔히 '건축10서'라고 알려져 있고 현존 가장 오래된 건축 저서인 비트루비우스의 'De Architectura'의 첫번째 책, 첫 장 '건축가의 교육에 관하여'에서 비트루비우스는 건축가의 이론과 실무능력의 겸비를 강조하고 있다. 건축 디자인을 함에 있어 구체적이고 체계화된 이론과 그 이론의 디자인으로의 적용을 통한 상호 보완관계를 강조한다. 즉 디자인 작업이란 연구, 분석, 실험 행위로 구성되는 연속 과정을 하나의 전체로 종합시켜 이루어지는 결정체이다. 따라서 건축 디자인은 그 근본이 되는 이론적 지식의 습득과 연구 그리고 디자인으로의 실험적인 적용 및 응용을 통한 상호 보완관계 위에서 전개, 발전되어야 한다. 따라서 디자인 작업이 '이론과 실무'의 상호 보완적인 작업이라는 전제하에 연재를 이어간다. 접근 방식으로는 '분석과 종합'의 변증법적인 통합에 기초한다. 건축 디자인의 형태적 체계를 인식하거나 구성하기 위한 방법으로 분석과 종합은 서로 불가분의 관계를 가진다. 여기서의 분석은 논리적인 사고나 원리에 근거한 디자인을 비교 검증하는 과정으로 해석하고 디자인에 나타나는 어떤 공통 특징을 인식하는 것이고, 이에 의거해 정련하고 개괄하여 새로운 디자인을 만들어가는 것이 종합이다. 즉, 건축가의 작품의 분석적 작업을 통해 이론과 원리를 추출하고, 이 원리들을 다양한 새로운 디자인으로의 적용 가능성을 디자인 스튜디오 작업을 통해 그 가능성을 타진해 보는 방법을 말한다.

  • PDF

Application of KModSim Model with Reservoir Operation Rules in Geum River Basin (저수지 운영율을 반영한 KModSim 모형의 금강유역 적용)

  • Cheong, Tae-Sung;Kang, Shin-Uk;Ko, Ick-Hwan;Hwang, Man-Ha
    • Proceedings of the Korea Water Resources Association Conference
    • /
    • 2008.05a
    • /
    • pp.1364-1368
    • /
    • 2008
  • 우리나라의 한강, 낙동강, 금강, 섬진강, 그리고 영산강 유역에는 하나 이상의 저수지가 포함되어 있어 유역통합관리를 위한 의사결정지원시스템에 있어 저수지 운영기술은 필수적인 항목 중 하나이다. 반면, 적정한 저수지 운영율이 확립되어 있지 않아 저수지 운영을 고려한 유역통합관리에 어려움이 있으며, 저수지 운영율을 통합관리시스템에 적용하기 위한 적용방법 또한 확립되어 있지 않은 형편이므로 이에 대한 방안이 필요하다. 본 연구에서는 실적자료를 이용하여 금강유역의 용담댐과 대청댐 운영율을 구하고 수문학적상태를 이용하여 운영율을 적용방법을 제안하였다. 운영율을 구하기 위하여 금강유역에서 25년간의 일단위 유량자료와 저수지 운영자료를 수집하였으며, 수집된 자료를 토대로 실제 운영에 기반한 운영율을 개발하였다. 기존에 개발 검증된 금강유역의 네트워크 시스템에 개발된 운영율을 적용하기 위하여 수문학적상태를 사용하며 그 결과를 조절점의 실측유량 및 실적저수위, SSDP 저수위, SSDP-CoMOM 저수위를 사용한 명시적인 저수지 운영결과와 비교함으로써 개발된 운영율의 적용성을 검토하였다.

  • PDF

Propose of Elevator System for Effective Management based on IOT (IOT기반 효율적 관리를 위한 엘리베이터 시스템 제안)

  • Park, Joo-Bong;Shin, Seung-Jung
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.14 no.6
    • /
    • pp.163-167
    • /
    • 2014
  • From Korea Elevator Safety Institute's report, the major accident factor of elevator is user's mistake, 60%. It means that the necessity of simple monitoring system. In this paper, we explain the standard of elevator safety check and the rate of accidents, then compare with old elevator managing system and new elevator managing system based on IOT technology. Also, we explain the reliability statistics of smart managing system based on expert's decision. Finally, we propose the smart managing system as the alternative method for decreasing the accident factor of elevator.

Development of Size Measurement and Inspection Algorithm for Autoclaves Lightweight Concrete Block by Image Processing (영상처리에 의한 경량기포 콘크리트 블록의 치수측정 및 불량경사 알고리즘 개발)

  • 김성훈;허경무
    • Journal of the Institute of Electronics Engineers of Korea CI
    • /
    • v.40 no.4
    • /
    • pp.206-213
    • /
    • 2003
  • In this paper, we propose a design method of automatic thickness measurement and defect inspection system, which measures the thickness of the autoclaved lightweight concrete block and inspects the defect on a real-time basis. The image processing system was established with a CCD camera, an image grabber, and a personal computer without using assembled measurement equipment. For the realization of proposed algorithm, the preprocessing method that can be applied to overcome uneven lighting environment, threshold decision method, unit length decision method in uneven condition with rocking objects, and the curvature calibration method of camera using a constructed grid are developed. From the experimental results, we have found that the required measurement accuracy specification is sufficiently satisfied using our proposed method.

External Context-Based Selective Resource Utilization Control Technique for Reducing Boot Time of Linux-Based Robot System (리눅스 기반 로봇 시스템의 부트 시간 단축을 위한 외부 컨텍스트 기반 선별적 자원 사용률 조정 기법)

  • Lee, Eunseong;Kim, Jungho;Yang, Beomjoon;Hong, Seongsoo
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2017.01a
    • /
    • pp.147-150
    • /
    • 2017
  • 지능형 로봇의 사용자 품질을 결정하는 주요 요소들 중 하나는 짧은 부트 시간이다. 로봇 시스템에서는 부팅 과정 중에 침입자인지, 자택 순찰, 개인 비서, 엔터테인먼트와 같은 다수의 응용들이 동시에 초기화되는데, 고품질의 사용자 경험을 제공하기 위해서는 사용자 응답성이 중요한 응용들이 우선적으로 초기화되어야한다. 이를 위해 리눅스 기반 로봇 시스템에서 부트 시간을 단축하기 위한 다양한 연구들이 진행되어 왔다. 하지만 이들은 단일 응용 각각에 대한 초기화 시간을 단축하는 연구들이며, 응용들 간에 CPU, 메모리, I/O와 같은 자원 경쟁에 의한 지연 요소를 고려하지 않고 있다. 본 논문에서는 응용들 간의 각종 자원경쟁들을 고려하여 사용자 응답성이 중요한 응용을 우선적으로 초기화하기 위한 외부 컨텍스트 기반 선별적 자원 사용률 조정기법을 제안한다. 이를 리눅스 기반 시스템 상에 구현하여 검증한 결과 응용의 부트 시간이 기존 대비 33.02% 단축됨을 확인했다.

  • PDF

An Adaptive Scalable Encryption Scheme for the Layered Architecture of SVC Video (SVC 비디오의 계층적 구조에 적응적인 스케일러블 암호화 기법)

  • Seo, Kwang-Deok;Kim, Jae-Gon;Kim, Jin-Soo
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.35 no.4B
    • /
    • pp.695-703
    • /
    • 2010
  • In this paper, we propose an adaptive scalable encryption scheme for the layered architecture of SVC video. The proposed method determines an appropriate set of encryption algorithms to be applied for the layers of SVC by considering the importance and priority relationship among the SVC video layers. Unlike the conventional encryption method based on a fixed encryption algorithm for the whole video layers, the proposed method applies differentiated encryption algorithms with different encryption strength the importance of the video layers. Thereupon, higher security could be maintained for the lower video layer including more important data, while lower encryption strength could be applied for the higher video layer with relatively less important data. The effectiveness of the proposed adaptive scalable encryption method is proved by extensive simulations.

Design and Development of a Language-based Mathematics-Educational Authoring Tool using Cooperative Work among Learners (학습자간 협력작업을 이용한 수학교과용 언어기반 저작도구의 설계 및 개발)

  • Kim, Yong-Beom
    • The Journal of the Korea Contents Association
    • /
    • v.8 no.5
    • /
    • pp.268-275
    • /
    • 2008
  • Providing appropriate and cooperative work among learners is an essential factor of a successful educational authoring system. Although from the viewpoint of beginning authors, many authoring functions are employed in existing authoring tool, there has been little research to solve authoring difficulties by companion's assist and to keep pace with learning. Therefore, in this paper, we designed and developed a educational authoring tool using mathematical language and cooperative work among learners, verified the validity. The authoring tool proposed has key features to hide authoring handicaps and keep pace with learning and cooperate with each other by using networked and language-based authoring tool.

A New RFID Tag Anti-Collision Algorithm Using Collision-Bit Positioning (충돌 비트 위치를 활용한 RFID 다중 태그 인식 알고리즘)

  • Lee Hyun-Ji;Kim Jong-Deok
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.31 no.4A
    • /
    • pp.431-439
    • /
    • 2006
  • RFID Anti-Collision technique is needed to avoid collision problem caused by Radio interference between tags in the same RFID Reader area. It affects the performance and reliability of the RFID System. This paper propose the QT-CBP(Query Tree with Collision-Bit Positioning) Algorithm based on the QT(Query Tree) algorithm. QT-CBP Algorithm use precise collision bit position to improve the performance. We demonstrated the proposed algorithm by simulation. Our algorithm outperformed when each tag bit streams are the more duplicate and the number of tags is increased, compared with QT.

Vector Quantization of Reference Signals for Efficient Frame-Based Classification of Underwater Transient Signals (프레임 기반의 효율적인 수중 천이신호 식별을 위한 참조 신호의 벡터 양자화)

  • Lim, Tae-Gyun;Kim, Tae-Hwan;Bae, Keun-Sung;Hwang, Chan-Sik
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.34 no.2C
    • /
    • pp.181-185
    • /
    • 2009
  • When we classify underwater transient signals with frame-by-frame decision, a database design method for reference feature vectors influences on the system performance such as size of database, computational burden and recognition rate. In this paper the LBG vector quantization algorithm is applied to reduction of the number of feature vectors for each reference signal for efficient classification of underwater transient signals. Experimental results have shown that drastic reduction of the database size can be achieved while maintaining the classification performance by using the LBG vector quantization.

ID-based signcryption with improved security (안전성을 보완한 ID기반 signcryption 기법)

  • Kwak Byeong-Ok;Jeong Yoon-Su;Lee Sang-Ho
    • Journal of the Korea Society of Computer and Information
    • /
    • v.11 no.2 s.40
    • /
    • pp.239-251
    • /
    • 2006
  • Zheng's signcryption scheme is a new encryptical scheme of which can save more expense than those of the current signature encryption by using digital signature and symmetric key encryption logically. The current signcryption schemes have a problem that is to be exposed the secret key of the receiver in the case of checking repudiation of origin by the third party. To solve this problem, a solution suggested in this paper is to use multi-purpose ID-based signcryption scheme with anonymity and unlinkability. This solution is safe and more efficient than current signcryption schemes because the suggested scheme keeps the security of the random oracle model as using Weil-pairing in encryption. and follows a formal proof of semantic security of the decisional Diffie-Hellman problem.

  • PDF