형식언어의 의미론

이건원 서울대학교철학과 1978 哲學論究 Vol.6 No.-

아파트 단지의 외부 공간유형에 따른 미세먼지 확산 특성 및 저감 방안 - 도로 발생 미세먼지의 확산 분석을 중심으로 -

이건원,정윤남 한국생태환경건축학회 2023 한국생태환경건축학회 논문집 Vol.23 No.3

Purpose: This study aimed to derive effective methos for reducing and managing particulate matter coming from outside the apartment complex. Methods: To achieve this, the characteristics of particulate matter were identified through literature reviews and a research framework was established. Next, particulate matter reduction and management techniques were listed through case analysis. After obtaining input data for CFD simulation through AWS data and field measurements, the distribution of particulate matter was analyzed through CFD simulation for the entire Godeok-Gangil District 2. Next, the diffusion of particulate matter over time was analyzed through CFD simulation for Complex 3. Finally, outdoor spaces were classified in consideration of the concentration and diffusion path of particulate matter, importance of outdoor space, etc., and particulate matter reduction and management measures were proposed for each type. Results: As a result of the CFD simulation, complex 3 was found to be the most vulnerable to particulate matter, and the outdoor spaces in complex 3 were classified into 13 types, considering the concentration and the diffusion path of particulate matter, and the importance of outdoor space. Among them, measures to reduce and manage particulate matter were presented for eight types of high importance and high concentrations of particulate matter. These results are expected to be used to develop guidelines for reducing particulate matter in outdoor spaces of apartment complexes in the future.

공간 특성에 따른 라이다 스캐닝 결과의 정확도 비교

이건원,김정인,안요섭 대한건축학회지회연합회 2024 대한건축학회연합논문집 Vol.26 No.1

본 연구는 기존 건물의 역설계를 위해 LiDAR 스캐닝의 정확성을 검토하는 것을 목표로 한다. 건축 역설계에 일반적으로 사용되는 고정형 지상 LiDAR는 스캐닝 과정과 그 이후에 여러 위치에서 스캐닝된 결과물을 정합하는 과정에서불가피하게 오류가 발생한다. 또한 현장 조건과 스캔되는 공간의 특성에 따라 오류 발생 가능성이 증가한다는 특징을갖는다. 따라서 본 연구는 도고 지역 내의 청수장 건물 세 동을 스캐닝하고 측정한 데이터를 기반으로 도면을 생성한후, 생성된 도면의 주요 벽의 길이를 비교하여 오류를 평가하였다. 오류는 절대 오류(절대적인 길이의 차이 측정)와오류율(상대 비율 측정)이라는 두 가지 주요 지표를 사용하여 평가되었다. 주로 긴 벽, 복잡한 형태 등의 현장 조건이있는 방과 벽이나 창문 두께와 같은 측정 기준을 정확하게 설정하기 어려운 상황에서 두드러진 오류가 발생하였다. 이러한 오류는 주로 기계적 오류, 정합 과정에서의 오류, 현장 측정에서의 부정확성에서 기인한다. 이러한 점을 고려하여, 정확한 스캐닝 지침을 개발할 필요가 있으며, 정확성을 검증하기 위한 추가 연구가 필요하다. This study aims to examine the accuracy of scanning using LiDAR, a representative technology in reverse engineering of existing buildings, which has recently received significant attention. Fixed ground LiDAR, commonly employed in architectural reverse engineering, inevitably incurs errors during scanning and subsequent alignment process from multiple locations. Additionally, the likelihood of errors increases depending on on-site conditions and the characteristics of the space being scanned. This research conducted actual scanning and measurements of three buildings within the Cheongsu-jang complex, representing the memory of Dogo Hot Springs in the Dogo Urban Regeneration Area. After creating drawings using the results measured in different ways, the study evaluated the length errors of major walls in the generated drawings. The errors were assessed using two primary indicators: absolute error, measuring the difference in absolute length, and error rate, gauging the relative ratio. The findings revealed that the absolute error length across the three buildings averaged between 82.74~184.5 mm, with an average error rate of 2.04~2.83%. Predominant errors occurred in rooms with long walls, complex shapes, or challenging site conditions, and in scenarios where establishing measurement standards like wall or window thickness was difficult. These errors can be attributed to mechanical, alignment, and on-site operational inaccuracies. Considering these points, further research is necessary to develop more accurate scanning guidelines and to validate accuracy in a wider variety of cases.

공동주택단지 배치유형별 열환경 영향성 분석: 유체역학 시뮬레이션을 기반으로

이건원,조영태,Gunwon Lee,Youngtae Cho 한국토지주택공사 토지주택연구원 2023 LHI journal of land, housing, and urban affairs Vol.14 No.3

This study attempted to simulate changes in the thermal environment according to the type of apartment complex in Korea using CFD techniques and evaluate the thermal environment by type of apartment. First, apartment complex types in the 2000s and 2010s were referred from previous studies and four types of apartment complex were extracted from. Second, the layout of the apartment complex and temperature changes were analyzed by the direction of wind inflow. Third, a standardized model was created from each type using tower type, plate type, and mixed driving. Last, CFD simulations were performed by setting up the inflow of wind from a total of eight directions. The temperature was relatively low in the type consisting of only the tower type and the type of placing the tower type in the center of the complex, regardless of the direction of the wind. It was due to the good inflow of wind from these types to the inside of the complex. It can be interpreted because wind flows easily into the complex in these types. The findings showed that wind flow and resulting temperature distribution patterns differed depending on the building type and complex layout type, confirming the need for careful consideration of the complex layout in the early design stage. The results are expected to be used as basic data for creating a sustainable residential environment in the early design stage of apartment complexes in the future.

테마 5 : 제로에너지 타운 실현을 위한 정책과 제도

이건원 대한지방행정공제회 2015 도시문제 Vol.50 No.555

도시 및 지구·단지 차원의 미세먼지 대응 방안

이건원 국토연구원 2019 국토 : planning and policy Vol.452 No.-

도시·건축 계획 단계에서의 미세먼지 저감 기법의 저감량 산정 방법 재고찰 - 원단위법을 중심으로 -

이건원 한국생태환경건축학회 2023 한국생태환경건축학회 논문집 Vol.23 No.4

Purpose: This study aimed to review the accuracy of the unit method estimating used to reduce particulate matter when planning city and architecture, and then to present improvement directions. Method: In order to achieve the purpose, particulate matter reduction techniques were listed through literature review. In addition, input and initial data for CFD(Computational Fluid Dynamics) simulation were obtained through (Korea Meteorological Administration’s) AWS(Automation Weather Station) data and field measurement. And the amount of particulate matter reduction by the particulate matter reduction techniques was calculated using the unit method estimating on the 500m × 500m area of the 1st Phase project area in Godeok International District. Next, CFD simulation was conducted to analyze the path through which particulate matter spreads and reduction amount through three types particulate matter reduction techniques. The unit method estimating and CFD simulation results were compared. Finally, assuming that the difference was caused by the wind, the CFD simulation was conducted by increasing the wind speed to 2m/s, 5m/s, and 10m/s. Result: It was found that the amount of particulate matter reduction by CFD simulation was less than the result of calculation by the unit method estimating. As a result of CFD simulation performed to explain this, it was found that the higher the wind speed, the lower the amount of particulate matter reduction. Through this, it was judged that the difference was observed because the unit method estimating did not calculate considering the wind. Through this result, it is thought that the speed of the wind and the direction of the wind should be considered in order to upgrade the unit method estimating in the future. The results of this study contributed to setting the direction of the unit method estimating advancement for use for particulate matter free urban and architectural design.

도시·건축형태와 미기후의 관계에 대한 관찰 연구

이건원,정윤남,문윤덕 사단법인 인문사회과학기술융합학회 2019 예술인문사회융합멀티미디어논문지 Vol.9 No.7

This study aims to examine the influence of urban and architectural physical elements on urban microclimate. This study has identified the microscopic factors that influence microclimate as urban form, urban tissue, building form and its characteristics. Actual measurements retrieved from 6 of the 23 AWS(Automatic Weather System) installed locations in Seoul that were installed by Korea Meteorological Administration in August 2017 were used for analysis. The measurements within a 500m radius were collected and recorded as urban microclimate and urban and architectural physical elements were investigated. The result of the analysis suggested how the direction of the streets, width of buildings, depth of buildings, and height of the buildings, topographic elevation and direction, and traffic volume had influences on the factors related to urban microclimate such as wind speed, wind direction, solar radiation, and temperature. 본 연구는 도시형태 및 건축물 형태요소가 도시 내 미기후에 미치는 영향도출을 목적으로 한다. 본 연구에서는 도시 미기후에 영향을 미치는 미시적 물리환경 요소들로 도시공간형태와 도시공간조직, 건축물 형태와 건축물의 특성 등 요소를 중심으로 접근했다. 분석을 위해서 2017년 8월에 기상청에서 서울특별시 내에 설치한 23개의 AWS(Automatic Weather System) 설치 지점 중 6곳을 선정하였으며, 이들 지점의 주변에 대한 실측조사를 수행하였다. 공간의 범위는의 AWS 설치 지점으로부터 반경 500m으로 한정하여, 이 공간 범위 내 분포하고 있는 미시적 기후, 도시형태 요소 및 건축물 형태요소들을 조사하였다. 분석결과, 도시 내 가로의 방향, 건축물들의 폭, 건축물들의 깊이, 건축물들의 높이, 경사도, 대상지의 향, 주변의 도로 폭 및 도로 내 자동차 교통량 등은 대표적인 미기후인 풍속, 풍향, 일사량, 온도 등에 영향을 미치고 있었다. 본 연구의 결과는 도시열섬 저감 및 미기후를 고려한 도시관리 기법 개발을 통해 지속가능한 도시 조성 및 관리에 기여할 것으로 기대된다.

이달의 시

이건원 북한연구소 1997 北韓 Vol.- No.304

한국어 논리적 연결어 소고

이건원 서울대학교 어학연구소 1983 語學硏究 Vol.19 No.1

This is a study on Korean logical connectives. 1. Logical connecetives are said to be the function λ : P→P. P is the set of propositions. 2. The function λ has four different values for the unary predicates and 16 different values for the binary predicates. 3. Usually the language for the propositional calculus should be able to represent all possible truth values. 4. However, the language made for this purpose usually follows the use of natural languages such as ‘not’, ‘and’, ‘or’, ‘if∼ then ∼’ etc. 5. The use in the natural language and the mathematical possibilities of logical connec­tion shows a lot of differences. 6. As in the case of English, Korean logical connectives also does not have certain rule to identify their truth values, however, we can identify their special uses in most cases in terms of their context. 7. If the truth values are uncertain, we can clarify them by rewriting them into various different forms of expressions without change of their meaning. 8. Certain uses are not yet clarified, however, the further study according to the above methods, I thinks, will bring fruitful results.