• Title/Summary/Keyword: proof process

Search Result 315, Processing Time 0.028 seconds

A Study on the Landscape Planning Evaluation on Apartment Artificial Ground (아파트 단지 인공지반의 계획적 평가에 관한 연구)

  • 김유일;오정학;김인혜;윤홍범
    • Journal of the Korean Institute of Landscape Architecture
    • /
    • v.26 no.3
    • /
    • pp.297-311
    • /
    • 1998
  • Landscaping on artificial ground is currently served as a means to imposing a greenery benefit on high-density and high-rise apartment sites. It functions as a sub-hierarchy in apartment planning such as ornamental element from the past. Major parking space tends to be allocated on the basement area in response to the required parking regulation. Therefore, competitive relatioinship between the parking and greenery space I limited outdoor of apartments leads to the development planning strategy and technology of artificial ground. This study aims at evaluating landscape planning on artificial ground of apartment complex through several approaches such as site survey, plan drawing analysis, and interview with related field experts. 15 survey apartment sites including Bundang Model, Shindaebang-dong, Pyoungchon Hyundai Apartments have been selected for conducting the research. Main results of this study are summarized below : First, scattering allocation of artificial ground between apartment building units is a dominant plan layout type among the survey sites. Even though unifying allocation type has an advantage to maximize underground parking space, it has a difficulty in maintaining proper soil ground base for nurturing plants. Therefore, underground parking space should be planned by unifying allocation type placed separately from apartment units. This plan type can provide a balanced planting between soil and artificial ground on surface level. Second, It is strongly recommended to integrate the whole planting base which involves architectural structure, drainage, and water proofing above the planting design. When considering that process as a professional subject dealing with natural material such as trees and shrubs, those tasks should be directed by landscape architectural divison and landscape architect. And planting area for artificial ground has to be specified in initial phase of architectural design. This step provides an opportunity to make a proper decision on structural load, drainage, and water proof design as an integrated part of the management.

  • PDF

On the Operation Theory of the Tractatus (『논리-철학 논고』의 연산 이론에 관하여)

  • Park, Jeong-il
    • Korean Journal of Logic
    • /
    • v.22 no.3
    • /
    • pp.417-446
    • /
    • 2019
  • The operation theory of the Wittgenstein's Tractatus Logico-Philosophicus is the essential basis of the philosophy of mathematics of the Tractatus. Wittgenstein presents the definition of cardinal numbers on the basis of operation theory, and suggests the proof of "$2{\times}2=4$" by using the theory of operations in 6.241. Therefore, in order to explicate correctly the philosophy of mathematics, it is required to understand rigorously the theory of operations in the Tractatus. Accordingly in this paper, I will endeavor to explicate operation theory of the Tractatus as a preliminary study for explicating the philosophy of mathematics of the Tractatus. In this process, we can ascertain Frascolla's important contributions and fallacies in his reconstruction of 6.241. In particular, we can understand the background that in 6.241 Wittgenstein made mistakes and that there he dealt with the addition operation of the theory of operations, and on the basis of this, we can reconstruct correctly 6.241.

The Truth of the Photograph and its Representation of Observer Appeared in the Painting of History (역사그림에 나타난 사진의 진실과 관찰자적 재현)

  • Lee, Kyung-Ryul
    • Cross-Cultural Studies
    • /
    • v.29
    • /
    • pp.25-53
    • /
    • 2012
  • The attitude of observer in the painting of history is to exclude a prejudice and a subjective view of an artist and to introduce a photograph, which is a record of objectivity, in the process of painting. Its ultimate intent is to redescribe the fact of an event's image intactly without any prejudice and to represent the event as a proven evidence that it was. The representation of history based on fact had already been conceived in imagination of renowned artists such as Francisco Goya or $Th{\acute{e}}odore$ $G{\acute{e}}ricault$ even before cameras were invented. What they portrayed was their own truth of reality which is gained through their observation, not a history that have corresponded to political ideologies, for all reliance on a limited tool of representation, painting. Furthermore, history was necessary for 19th century impressionism artists to be represented under proven fact in a neutral perspective excluding all subjective prejudice, not based on the representation with imagination. Edouard Manet in particular reconstited an instant moment on the basis of real proof of photograph without personal prejudice or opinion as if today's photojournalism. The catastrophic series by Andy Warhol and the photographic painting by Gerhard Richter show another role of painting in the realm of art, each of them implying information distortion and abuse by current media and intentional deformation toward history as Manet's painting of history. Today, the representation of an historical event that we experience in the era of the Internet and social networks having a great deal of information already came to be the exclusive property of the cutting edge mass media. Nevertheless, the attitude of observer which is realistic and contemplative in the realm of art is the crucial point in terms of artists' act as ever.

A Study on the User Acceptance and Change upon Exhibitions of National Archives (국가기록 전시의 의미화에 대한 이용자 수용과 변화에 관한 연구)

  • Jo, Min-ji
    • The Korean Journal of Archival Studies
    • /
    • no.57
    • /
    • pp.5-33
    • /
    • 2018
  • Records, especially the authentic records the nation secured, have an ontological feature of proof that is able to persuade the current present of the past present, and inherent in it is faith that originates from fundamental objectivity. Therefore the image of silence that such strictness of records creates realizes the detonation of specific memories through the act of visual exhibition. This research started from the notion that records achieve social vitality and return through its exhibition, as well as the critical awareness that it 're-mediate' the past and memory through interactions with image. The reason for viewing the archival exhibition as the subject of user analyzation is that in the process where exhibition sorts and arranges records, it is the tool and mediation that most distinctly exposes the identity of the archives. Hence, this research first analyzes national archives, particularly the exhibition of "presidential" records, which is in the center of memory conflict, in the viewpoint of the cultural practice of memory. Afterwards, it discusses empirical research and results on how users accept and resist the meaning of the exhibition through actual surveys of users after their viewing of an exhibition.

Functional Status and Development Direction of Standard Records Management System (표준기록관리시스템(RMS)의 기능 현황 및 발전방향 10년의 운영 경험과 기능 개선 사항을 중심으로)

  • Yu, Young Moon
    • The Korean Journal of Archival Studies
    • /
    • no.57
    • /
    • pp.235-279
    • /
    • 2018
  • Electronic records produced by central administrative agencies are transferred to the National Archives of Korea. In the absence of defects or errors in electronic records, it is a proof that the government's electronic records management system is operating normally. Various problems have been found in this process, and there still remain problems to be solved. At the heart of it is a standard records management system, which has been continuously improved. In this paper, I introduce the functional improvement of the record management functions of the standard records management system. Among them, the important matters describe the background and reason for the improvement. In addition, the direction of development of the standard records management system was examined in terms of recognition conversion of recordkeepers, strengthen collaboration between recordkeepers and developers, improving records management metadata quality, linking related systems, automating records management, and IT environment change.

Bonding Technologies for Chip to Textile Interconnection (칩-섬유 배선을 위한 본딩 기술)

  • Kang, Min-gyu;Kim, Sungdong
    • Journal of the Microelectronics and Packaging Society
    • /
    • v.27 no.4
    • /
    • pp.1-10
    • /
    • 2020
  • This paper reviews the recent development of electronic textile technology, mainly focusing on chip-textile bonding. Before the chip-textile bonding, a circuit on the textile should be prepared to supply the electrical power and signal to the chip mounted on the fabrics. Either embroidery with conductive yarn or screen-printing with the conductive paste can be applied to implement the circuit on the fabrics depending on the circuit density and resolution. Next, chip-textile bonding can be performed. There are two choices for chip-textile bonding: fixed connection methods such as soldering, ACF/NCA, embroidery, crimping, and secondly removable connection methods like a hook, magnet, zipper. Following the chip-textile bonding process, the chip on the textile is generally encapsulated using PDMS to ensure reliability like water-proof.

Providing Payment Atomicity Using Verifiable Encryption (확인 가능한 암호기법을 사용한 지불의 원자성 보장 방법)

  • 최형섭;김상진;오희국
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.13 no.2
    • /
    • pp.69-80
    • /
    • 2003
  • Verifiable encryption is an encryption technique with which one can verify what has been encrypted even if one can not decrypt the ciphertext. This technique can be used in fair exchange to convince the counterpart of his or her receiving an item by presenting an encrypted form in advance. In this paper, a method that can guarantee the payment atomicity is proposed by applying verifiable encryption to an electronic cash system based on the representation problem. With the new method, the process of dispute settlement is improved in the fact that the trusted third party do not have to interact with the bank to resolve disputes. This method is also flexible in a sense that clients and shops can request for dispute settlement regardless of any deadline constraint. However, additional proof is necessary to apply verifiable encryption during payment. We discuss the security and the atomicity of our method, and compare ours with others.

The Study of technique to find and prove vulnerabilities in ActiveX Control (ActiveX Control 취약점 검사 및 검증 기법 연구)

  • Sohn, Ki-Wook;Kim, Su-Yong
    • Journal of the Korea Institute of Information Security & Cryptology
    • /
    • v.15 no.6
    • /
    • pp.3-12
    • /
    • 2005
  • To provide visitors with the various services, Many web sites distribute many ActiveX controls to them because ActiveX controls can overcome limits of HTML documents and script languages. However, PC can become dangerous if it has unsecure ActiveX controls, because they can be executed in HTML documents. Nevertheless, many web sites provide visitors with ActiveX controls whose security are not verified. Therefore, the verification is needed by third party to remove vulnerabilities in ActiveX controls. In this paper, we introduce the process and the technique to fad vulnerabilities. The existing proof codes are not valid because ActiveX controls are different from normal application and domestic environments are different from foreign environments. In this paper, we introduce the technique to prove vulnerabilities in ActiveX control.

Real Estate Transaction System in Private Blockchain Environment (프라이빗 블록체인 환경에서의 부동산 거래 시스템)

  • Kim, Seugh-Ho;Kang, Hyeok;Lee, Keun-Ho
    • Journal of Internet of Things and Convergence
    • /
    • v.8 no.1
    • /
    • pp.11-16
    • /
    • 2022
  • Efforts to incorporate blockchain into various fields are continuing as cryptocurrency transactions become more active. Blockchain has the characteristic that once recorded facts cannot be modified or deleted. Due to these characteristics, the use in the field of recording and proving certain facts, such as voting or proof of ownership, is attracting attention. In this paper, users who want to participate in the transaction process using private blockchain, one of the types of blockchain, are divided into real estate brokers, building owners, and purchasers (lessors), and roles are assigned to each user. In addition, we would like to propose a system to increase reliability through the participation of institutions. Through this, we intend to not only present a real estate transaction system that prevents damage from real estate fraud related to false sales and fraudulent contracts, but also enhances reliability and contributes to finding ways to utilize blockchain in the future.

Energy Use Prediction Model in Digital Twin

  • Wang, Jihwan;Jin, Chengquan;Lee, Yeongchan;Lee, Sanghoon;Hyun, Changtaek
    • International conference on construction engineering and project management
    • /
    • 2022.06a
    • /
    • pp.1256-1263
    • /
    • 2022
  • With the advent of the Fourth Industrial Revolution, the amount of energy used in buildings has been increasing due to changes in the energy use structure caused by the massive spread of information-oriented equipment, climate change and greenhouse gas emissions. For the efficient use of energy, it is necessary to have a plan that can predict and reduce the amount of energy use according to the type of energy source and the use of buildings. To address such issues, this study presents a model embedded in a digital twin that predicts energy use in buildings. The digital twin is a system that can support a solution of urban problems through the process of simulations and analyses based on the data collected via sensors in real-time. To develop the energy use prediction model, energy-related data such as actual room use, power use and gas use were collected. Factors that significantly affect energy use were identified through a correlation analysis and multiple regression analysis based on the collected data. The proof-of-concept prototype was developed with an exhibition facility for performance evaluation and validation. The test results confirm that the error rate of the energy consumption prediction model decreases, and the prediction performance improves as the data is accumulated by comparing the error rates of the model. The energy use prediction model thus predicts future energy use and supports formulating a systematic energy management plan in consideration of characteristics of building spaces such as the purpose and the occupancy time of each room. It is suggested to collect and analyze data from other facilities in the future to develop a general-purpose energy use prediction model.

  • PDF