• Journal of KIISE:Software and Applications
• /
• v.30 no.1_2
• /
• pp.103-116
• /
• 2003

States explosion due to composition of spaces of data, temporal, and locational values is one of the well-known critical problems which cause difficulty in understanding and analysing real-time systems specified with state-based formal methods. In order to overcome this problem, this paper presents an abstraction method for state minimization based on an abstraction in system specification and an abstraction in system execution. The first is named the syntactic in system specification and an abstraction in system execution. The first is named the syntactic abstraction, through which the patterns of the unconditionally internalized computation and the repetition and selection structures are abstracted. The latter is named the semantic abstraction, through which the patterns of the execution space represented with data. Through the abstractions, the components of a system in specification and execution model is hierarchically organized. The system can be analyzed briefly in the upper level in an skeleton manner with low complexity. The system, however, can be abstraction method for the state minimization and the decrease in analysis complexity through the abstraction with examples.

• Korean Institute of Interior Design Journal
• /
• v.21 no.2
• /
• pp.163-173
• /
• 2012

In this study, the spatial analysis of the multi-housing unit plans was investigated since 1990 for the winners at the architectural competition which was held nationwide in Germany. The investigation was carried out from January in 1990 to December in 2010. 201Unit plans were analyzed. Space syntax model is used as analyzing tool of the Unit plans. The results of the study indicate followings: 1) The interior spaces in 3LDK types and 4LDK types, ordered by high value of integration are; (1) corridor, (2) entrance hall, (3) living room, (4) dining room. 2) The value of integration for the kitchen is higher in L/DK type than in LD/K type, and that for the living room is higher in LD/K type than in L/DK type. The mean value of integration for L/DK type is higher than that for LD/K type. This means that traffic line efficiency of L/DK type is higher than that of LD/K type. 3) The value of integration for corridor and entrance hall is gradually lower in recent years. That is, the type of Unit plans are changing from corridor types to hall types.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.5
• /
• pp.1380-1390
• /
• 1997

This paper presents a systolic array design method which derives 1 or 2 dimensional optimal planar systolic arrays from a given n dimensional problem represented as a regular recurrence equation and its implementation called a systolic array design system(SADS).The SADS parses a regular recurrence equation and gets the information such as problem space, data dependence vectors. and intial data positions. Systolic arrays are automati-cally derived by the space-time transformation form the information to be abeaired in the parsing phase.The SADS allows us to verify the parallel execution of the derived systolic aooay through the graghical interface.

• Journal of the Korea Institute of Building Construction
• /
• v.10 no.6
• /
• pp.87-96
• /
• 2010

This research analyzed the location of stores using a space syntax analysis model to measure the location of building interior stores in a quantitative way. Measure walk population of each space and analyzed analysis model and actuality measurement rent and difference to calculate value of store. With this, analyzed mad effect factor to rent. Drew effect factor of rent which is appropriated present. Had cleared that rent which consider walk population is required.

• Journal of the Architectural Institute of Korea Planning & Design
• /
• v.35 no.4
• /
• pp.53-60
• /
• 2019

This study intends to examine the changes found in the unit floor plans of the apartments built in Beijing from 1979 to 2018. For the 3 - bedroom type apartments, 40 unit floor plans were collected, and the changes of integration values of each space were analyzed periodically in four phases. The unit floor plans are analyzed in the context of the Space Syntax Model and compared to the lifestyle and societal changes in China. The results of the study indicate the followings: As time went by, the living room and the dining room were separated from each other with the increasing area of the apartment unit floor plans. The function of the integrated living room was dispersed, and the integration of the living room and the dining room decreased with the change of time. In the third phase, the dining room occupied the center of the unit floor plans with the highest integration value; Chinese people prefer to place the kitchen in the relatively deep place in order to prevent oil and smoke caused by their cooking habits like stir-fry; The privacy of the master bedroom has been strengthened.

• Journal of Intelligence and Information Systems
• /
• v.6 no.2
• /
• pp.41-47
• /
• 2000

Ideograph is a truly unifies data and procedural dependencies. Ideograph can be used to assist various program optimization, such as common expression elimination, code motion, constant folding etc. In this paper, we propose an improved representation of the data and control flow dependencies information for the efficient program execution. In pursuing this goal, we propose a model and in particularly implement a dependency information extractor and information table, which contains data and control flow information per a basic block And then we design and implementation of the optimized abstract syntax tree using Ideograph which has a control flow information and data flow information for source program.

• Journal of The Korea Institute of Healthcare Architecture
• /
• v.18 no.4
• /
• pp.53-65
• /
• 2012

Purpose: With the increasing national interest in health, the number of health examination centers is growing rapidly, and it is growing as independent medical institutes separated from hospitals. With the growing functions and size of health examination institutes, considerations for testees, who are the most important users of the health examination centers, have taken the back seat. In particular, for health examination programs that take on a sequential traffic line, it is important to be aware of the space of each examination room, but the lack of a scientific evaluation method for this has resulted in great discomforts for testees using the health examination center. Method: Thus, this study proposes risk evaluation indices (RCF TCF, RC3, RR, ARR), and set a standard health examination program based on the national health examination program. This was applied to 11 different sized health examination centers to find their features, and together with identifying the trends of the indices, the following results were deduced. Result: 1) ARR showed a wide-range feature as the number of unit spaces increased, while RR were discovered regardless of the size, thus displaying local features. 2) The increase of ARR is affected more by internal factors in the health examination center than from outside factors. 3) By gender, when separating the basic health examination fields, the connective relation of the comprehensive health examination fields had a big effect on ARR. 4) By becoming larger, the fields of function become independent and the waiting space that results from it increases the number of total movement, so there is space for improvement in this.

• Journal of architectural history
• /
• v.13 no.1 s.37
• /
• pp.35-51
• /
• 2004

The object of this study is upper class house in Yang-dong village with the purpose of spatial-sociological study of traditional Korean architecture. Space is the basic element of architecture and is fundamental for understanding architecture. Space, however, can be better understood through its social context rather than through its physical or psychological attributes. Space exists in a society, providing the physical environment which frames it Social environment affects the thoght of people who are members of that society. Space is built by the people in a society and is affected by their thought. Spatial-sociological study can explain a mutual relation between people and space through context. It defines characteristics of space based on mutual relations which exist among the people, the culture of society and the environment of society but also having a sociological component, study of architectural space should consider the social context. Since architectural space is built on social and cultural bases, to understand it requires various methods of study Spatial-sociological analysis is one alternative. Using space syntax, this study analyzes houses in Yang-dong village by not only defining attributes of individual houses, but also common attributes of houses in the village. Based on common attributes of houses in the village, the attributes of Yang-dong village houses can be re-defined within the social context. the results from a spatial-sociological analysis of upper class housing of the Yang-dong village are as follows; (1) Related to confucian ideas in Chosun Dynasty : A house has a dualistic center organized with 'an-chae' and 'sarang-chae'. 'an-chae' space is organized unsociably from outside. (2) Related to various space pattern of Yang-dong village House in the Chosun Dynasty period :As variations in the types of space pattern, the village house exhibit different attributes.

• Spatial Information Research
• /
• v.9 no.2
• /
• pp.239-261
• /
• 2001

A large suite of official statistical data sets has been compiled for geographical units under the national directives, and it is the quantitative regional analysis procedures that could add values to them. This paper reports our attempts at prototyping a statistical GIS which is capable of serving over the Web a variety of regional analysis routines as well as value-added statistics and maps. A pilot database of some major statistical data was ingested for the city of Seoul. The baseline subset of regional analysis methods of practical usage was selected and accommodated into the business logic of the target system, which ranges from descriptive statistics, regional structure/inequality measures, spatial ANOVA, spatial (auto) correlation to regression and residual analysis. The leading-edge information technologies including the application server were adopted in the system design and implementation so that the database, analysis modules and analytic mapping components may cooperate seamlessly behind the Web front-end. The prototyped system supports tables, maps, and files of downloadable format for input and output of the analyses. One of the most salient features of out proposed system is that both the database and analysis modules are extensible via the bi-directional interface for end users; The system provides users with operators and parsers for algebraic formulae such that the stored statistical variables may be transformed and combined into the newly-derived set of variables. This functionality eventually leads to on-the-fly fabrication of user-defined regional analysis algorithms. The stored dataset may also be temporarily augmented by user-uploaded dataset; The extension of this form, in essence, results in a virtual database which awaits for users commands as usual. An initial evaluation of the proposed system confirms that the issues involving the usage and dissemination of information can be addressed with success.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2016.07a
• /
• pp.17-20
• /
• 2016

딥러닝 기법이 발달함에 따라 텍스트에 내재된 의미 및 구문을 어떠한 벡터 공간 상에 표현하기 위한 언어 모델이 활발히 연구되어 왔다. 이를 통해 자연어 처리를 기반으로 하는 감성 분석 및 문서 분류, 기계 번역 등의 분야가 진보되었다. 그러나 대부분의 언어 모델들은 텍스트에 나타나는 단어들의 일반적인 패턴을 학습하는 것을 기반으로 하기 때문에, 문서 요약이나 스토리텔링, 의역된 문장 판별 등과 같이 보다 고도화된 자연어의 이해를 필요로 하는 연구들의 경우 주어진 텍스트의 주제 및 의미를 고려하기에 한계점이 있다. 이와 같은 한계점을 고려하기 위하여, 본 연구에서는 기존의 LSTM 모델을 변형하여 문서 주제와 해당 주제에서 단어가 가지는 문맥적인 의미를 단어 벡터 표현에 반영할 수 있는 새로운 언어 학습 모델을 제안하고, 본 제안 모델이 문서의 주제를 고려하여 문장을 자동으로 생성할 수 있음을 보이고자 한다.