• Korean Institute of Interior Design Journal
• /
• v.13 no.1
• /
• pp.81-88
• /
• 2004

The purpose of this study is to analyze spatial configuration of the unit floor plan characteristics of the apartments built in Seoul Metropolitan area by using the Space Syntax methodology and finally to test the relationship between space in the unit floor plans. So the unit floor plans are analyzed using sector graphs from justified graph and computer programs based on the Space Syntax model and compared by size. The results are as follows; The sector graphs are summarized in 14 types. The total depth of spaces is not in proportion to the plan area. And the global and local integration and intelligibility are inversely proportional to the area. But in the case of largest areas(265$m^2$ and above), the integration and intelligibility increase.

• The Journal of Sustainable Design and Educational Environment Research
• /
• v.11 no.2
• /
• pp.1-8
• /
• 2012

Due to the fact that there are low birth rate and longer life longevity, schools have been shutting down and converted into welfare facilities. However, most of researches about utilizing closed down school are focused on case researches or architectural planning and design. Moreover, majority of existing welfare centers for the aged are not designed with the flow of human traffic in mind, which means there is no consideration of physical or psychological characteristics of elderly people. That fact leads to increasing number of shutting down welfare facilities. Therefore, this thesis will present the necessity of effective space allocation, extension and reconstruction for residents in aged care by analyzing space using index of space syntax with depth-map software.

• ETRI Journal
• /
• v.11 no.4
• /
• pp.22-36
• /
• 1989

In this paper, a design and implementation of an efficient protocol verification system named LOVE has been described. The LOVE has been developed specifically for LOTOS. It performs not only protocol syntax validation (PSV) but also protocol functional verification(PFV). The PSV is a test to check if a protocol is free from protocol syntax errors such as deadlocks and livelocks. The PFV confirms whether or not a protocol achieves its functional objectives. For the PSV, the reachability analysis is employed, and the observational equivalence test is used for the PFV. For protocol verification using the LOVE, a schematic protocol verification methodology has been outlined.

• Journal of the Korean housing association
• /
• v.16 no.6
• /
• pp.65-72
• /
• 2005

The purpose of this study is to get preeminent data from comparative analysis of multi-family housing unit plans between Korea and China nowadays. Even though Korea and China belong to common cultured band in Asia, there are many different Housing aspects and unit plans. Through this study we want to grasp the characteristics of both nation's apartment unit plans and to contribute for advance into the China apartment market. Analysis target is constructing and lotting out apartment at South Korea and China in 2004, and the space syntax model is used as an analysis tool. First, analyze kind, number and special quality of each room by use area, and second, analyze area and scale of the rooms. Through the integration analysis we know the grade of rank and centrality of each rooms, and search difference of South Korean and Chinese apartment.

• Journal of Korea Multimedia Society
• /
• v.19 no.12
• /
• pp.2000-2013
• /
• 2016

The purpose of this study is to validate the validity of the methodology for analyzing the space with complex characteristics and to evaluate the existing spatial structure analysis theory. Seven example models are designed and analyzed data of spatial syntax analysis and visibility graph analysis. And analyzed the agent-based model using two analytical methods: the adjacent space and the whole spatial connection. The results of this study are as follows. Based on the analysis of the agent - based model for perfectly freewalking, the validity of the method is verified in terms of predictive ability and effectiveness. Agent-based models can be simulated considering various variables, so realistic predictions will be possible and a new biography of complex systems can be met.

• International Journal of High-Rise Buildings
• /
• v.7 no.2
• /
• pp.171-183
• /
• 2018

Turner and Penn (1) from UCL have proved that Visibility Graph Analysis (VGA) can be used as a more accurate method to predict the pedestrian distribution in building spaces. However, this methodology neglects certain elements that are of special influence on pedestrian distribution in buildings, especially the entrances and exits. Based on Space Syntax, this dissertation improves on the traditional method of Visibility Graph Analysis, using three shopping centers in Shenzhen as examples, attempts to explore a new parameter - "attenuation index of pedestrians at the entrances and exits" - using relevant data of the entrances and exits of the three cases, and combines it with traditional VGA analysis through weighted calculation, in order to provide more accurate predictions of pedestrian patterns in shopping centers.

• Journal of the Korea Society of Computer and Information
• /
• v.23 no.12
• /
• pp.89-94
• /
• 2018

In this paper, we implemented a static analysis tool for weakness. We implemented on JavaCC using syntax information and control flow information among various information. We also tested the performance of the tool using Juliet-test suite on Eclipse. We were classified using information necessary for diagnosis and diagnostic methods were studied and implemented. By mapping the information obtained at each compiler phase the security weakness, we expected to link the diagnostic method with the program analysis information to the security weakness. In the future, we will extend to implement diagnostic tools using other analysis information.

• International Journal of High-Rise Buildings
• /
• v.12 no.1
• /
• pp.83-91
• /
• 2023

Under the dual pressure of population growth and land shortage, threedimensional development is the inevitable choice for cities in China. In such a scenario, a mixed-use complex has considerable potential in its realization and research. Based on space syntax and the three-dimensional visibility graph analysis, this paper describes the spatial and functional layout of the Shanghai Super Brand Mall and studies the relationship between spatial visibility and user behaviour through linear regression analysis and correlation analysis. This paper studies three different types of user behaviour, namely, path selection, staying selection, and store selection, and finds that spatial visibility and accessibility have different effects on user behaviour depending on the type and purpose of the activity. This paper reveals the influence of spatial and functional layout on user behaviour and puts forward the corresponding design strategy under the three-dimensional environment.

• Journal of the Korean Institute of Rural Architecture
• /
• v.13 no.4
• /
• pp.115-124
• /
• 2011

This study examines the process of urban formation in the city of Yanji. The analysis is done by the change of street pattern and major facility location in a timely manner by appling space syntax method. This research categorizes the pattern of the urban growth focused on two urban forms, street and major buildings, in the city and is offered of the meaning of the first value on interpretation of the urban growth in the city of Yanji. The result of the research are as follows. First, the period of the city transformation is divided into four stage; intuitive period, grid-iron formative period, consolidation period, and urban expansion period. Second, characteristics of each stage have been analyzed. At the first stage, the city started to frame along both buildings and streets which were placed without a plan. At the second stage, the city was planned and constructed into new grid-iron pattern ignoring existing context by Jananese colony. At the consolidation period, the road system expands from the city center toward suburban. At the last expansion period, the shape of the city has complicated its shape with complex road system. This study contributes to provide a basic analysis and data to investigate how the Yanji city has evolved over period of time. But further continuous research should be done for future urban development of the Yanji city.

• Korean Institute of Interior Design Journal
• /
• v.14 no.5 s.52
• /
• pp.236-244
• /
• 2005

This study investigates the effects of the spatial elements of the mulit-purpose commercial complex on visitors' circulation pattern and wayfinding by employing method of space syntax, observation, and interview survey. Two commercial complexes were investigated; Techno-mart represented a vertical type and COEX mall rendered a horizontal one. Analysis of the spatial elements using space-syntax method provided a base line for comparing analyses by the two other methods. Analysis of the interview additionally survey identified the factors affecting wayfinding behavior and contributing satisfaction. The findings suggest that level of the effects of the spatial configuration on visitors' circulation pattern is greater in Techno-mart(vertically oriented) than COEX(horizontally). In COEX, for instance, specific route that connects sub-way station and cinema complex carries far more traffic than main route, even though the main route indicates higher degree of integration of spatial configuration. Similar with observation, the degree of integration is corresponding with the satisfaction and easiness of wayfinding behavior In COEX, specific place and feature seem to have more effects on visitors' wayfinding behavior and circulation pattern than the level of integration of spatial configuration.