• Korean Institute of Interior Design Journal
• /
• v.21 no.6
• /
• pp.54-61
• /
• 2012

The aim of this study is to understand the plan characteristics used in unit floor planning mainly with examples of mixed-use residential tall buildings. The study will extract plan characteristics mainly using the graph expressive technique with essential information of the zoning function of residential space, rather than merely analyzing the various construction floor plans by type. The research method involves studying a group of 50-story buildings (over 200 meters) which were built between 2002 and 2008. Among 6 high-rise residential buildings case, we extract the most preferred type from 34 types, And then we simply classify rooms in 3 zoning, the master, living and children's zones. Finally we analyze the correlation among 3 simple zone and then extract some model type. The results of this study revealed three main findings. First, using the 3 functional zones, the shape of the main building and the unit floor plan can be analyzed simply even when they appear to be complicated. Second, we can extract common features when we analyze the unit floor plan from the viewpoint of the penetrability among 3 zoning. Third, we can extract 2 types when we analyze the unit floor plan from the viewpoint of 3 connected functional zoning concepts.

• Journal of Institute of Control, Robotics and Systems
• /
• v.10 no.5
• /
• pp.450-457
• /
• 2004

In this research, the automatic synthesis of knowledge models is proposed. which are the basis of the methods using qualitative models adapted widely in fault diagnosis and hazard evaluation of chemical processes. To provide an easy and fast way to construct accurate causal model of the target process, the Role-Behavior modeling method is developed to represent the knowledge of modularized process units. In this modeling method, Fault-Behavior model and Structure-Role model present the relationship of the internal behaviors and faults in the process units and the relationship between process units respectively. Through the multiple modeling techniques, the knowledge is separated into what is independent of process and dependent on process to provide the extensibility and portability in model building, and possibility in the automatic synthesis. By taking advantage of the Role-Behavior Model, an algorithm is proposed to synthesize the plant-wide causal model, Fault-Causality Graph (FCG) from specific Fault-Behavior models of the each unit process, which are derived from generic Fault-Behavior models and Structure-Role model. To validate the proposed modeling method and algorithm, a system for building FCG model is developed on G2, an expert system development tool. Case study such as CSTR with recycle using the developed system showed that the proposed method and algorithm were remarkably effective in synthesizing the causal knowledge models for diagnosis of chemical processes.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.12 no.5
• /
• pp.2211-2232
• /
• 2018

The unstructured and semi-structured big data in social network poses new challenges in query retrieval. This requirement needs to be met by introducing quality retrieval time measures like indexing. Due to the huge volume of data storage, there originate the need for efficient index algorithms to promote query processing. However, conventional algorithms fail to index the huge amount of frequently obtained information in real time and fall short of providing scalable indexing service. In this paper, a new LIndex algorithm, which is a heuristic on Lucene is built on Neo4jHA architecture that holds the social network Big data. LIndex is a flexible and simplified adaptive indexing scheme that ascendancy decomposed shortest paths around term neighbors as basic indexing unit. This newfangled index proves to be effectual in query space pruning of graph database Neo4j, scalable in index construction and deployment. A graph query is processed and optimized beyond the traditional Lucene in a time-based manner to a more efficient path method in LIndex. This advanced algorithm significantly reduces query fetch without compromising the quality of results in time. The experiments are conducted to confirm the efficiency of the proposed query retrieval in Neo4j graph NoSQL database.

• Proceedings of the Korean Society for Bioinformatics Conference
• /
• 2003.10a
• /
• pp.236-244
• /
• 2003

Summary: The analysis of human genetic variation is one of the key issues far the understanding of the different drug response among individuals and many programs are developed for this purpose. However, current publicly available programs have so many limitations such as time complexity problem for the analysis of large amount of alleles or SNPs, difficult manipulation for installation, data import, and usage, and low-quality visual output. Here we present workbench for SNP anlaysis, SNPAnalyzer. SNPAnalyzer consists of 3 main modules: 1)Hardy-Weinberg Equilibrium ,2) Haplotype Estimation, and 3) Linkage Disequilibrium. Each module has several different widely-used algorithms for the extensive analysis and can handle large amount of alleles and SNPs with simple format. Analysis results are displayed in user-friendly formats such as table, graph and map. SNPAnalyzer is developed using C and C$^{++}$ and users can easily access through web-interftce. Availability: SNPAnalyzer can be freely implemented at http://www.istech.info/istech/board/login_form.jsp

• Proceedings of the IEEK Conference
• /
• 2002.06b
• /
• pp.101-104
• /
• 2002

This paper propose that is algorithm of power dissipation reduction in the high level synthesis design for DSP(Digital Signal Processor), as the portable terminal system recently demand high power dissipation. This paper obtain effect of power dissipation reduction and switching activity that increase correlation of operands as input data of function unit. The algorithm search loop or repeatedly data to the input operands of function unit. That can be reduce the power dissipation using the new low power high level synthesis algorithm. In this Paper, scheduling operation search same nodes from input DFG(Data Flow Graph) with correlation coefficient of first input node and among nodes. Function units consist a multiplier, an adder and a register. The power estimation method is added switching activity for each bits of nodes. The power estimation have good efficient using proposed algorithm. This paper result obtain more Power reduction of fifty percents after using a new low power algorithm in a function unit as multiplier.

• Journal of the Korean Association of Geographic Information Studies
• /
• v.26 no.3
• /
• pp.12-36
• /
• 2023

Graph databases, which store different types of data and their relationships modeled as a graph, can be effective in managing and analyzing real estate spatial data linked by complex relationships. However, they are not widely used due to the limited spatial functionalities of graph databases. In this study, we propose a uniform grid-based real estate spatial data management approach using a graph database to respond to various real estate-related spatial questions. By analyzing the real estate community to identify relevant data and utilizing national point numbers as unit grids, we construct a graph schema that linking diverse real estate data, and create a test database. After building a test database, we tested basic topological relationships and spatial functions using the Jackpine benchmark, and further conducted query tests based on various scenarios to verify the appropriateness of the proposed method. The results show that the proposed method successfully executed 25 out of 29 spatial topological relationships and spatial functions, and achieved about 97% accuracy for the 25 functions and 15 scenarios. The significance of this study lies in proposing an efficient data integration method that can respond to real estate-related spatial questions, considering the limited spatial operation capabilities of graph databases. However, there are limitations such as the creation of incorrect spatial topological relationships due to the use of grid-based indexes and inefficiency of queries due to list comparisons, which need to be improved in follow-up studies.

• Proceedings of the KIEE Conference
• /
• 2001.07b
• /
• pp.868-870
• /
• 2001

Salient pole rotor type single phase SRM(switched reluctance motor) can be use axial direction magnetic flux and radial direction magnetic flux at the same time. Then, it has higher energy density per unit volume and can be lessened the shaft length of motor or exciting magnetic force. Additionally, it's durability is good because it is simple structure and driving device. Prototype of Salient pole rotor type single phase SRM was fabricated by using parameters of three phase SRM and 3D FEM analysis. Also, driving device was fabricated for prototype. Speed and torque characteristic was confirmed through the experiments, and flux linkage, which is important parameter of SRM for generating torque, was measured. The induction emf was calculated by using ideal inductance graph and current graph. Calculated emf and measured emf was compared for confirming loss of prototype in this paper.

• The Transactions of the Korea Information Processing Society
• /
• v.7 no.4
• /
• pp.1255-1262
• /
• 2000

This paper proposes a hardware allocation and binding algorithm for ASIC Design. The proposed algorithm works on schedules input graph and simultaneously allocates and binds functional units, interconnections and registers by considering interdependency between operations and storage elements in each control step, in order to share registers and interconnections connected to functional units, as much as possible. Especially, he register allocation is executes the allocation optimal using graph coloring. This paper shows the effectiveness of the algorithm by comparing experiments to determine number of functional unit and register in advance or to separate executing allocation and binding of existing system.

• Journal of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.109-122
• /
• 2021

In this paper, we consider the problem of finding the hypersurface Mn in the Euclidean (n + 1)-space ℝn+1 that satisfies an equation of mean curvature type, called singular minimal hypersurface equation. Such an equation physically characterizes the surfaces in the upper half-space ℝ+3 (u) with lowest gravity center, for a fixed unit vector u ∈ ℝ3. We first state that a singular minimal cylinder Mn in ℝn+1 is either a hyperplane or a α-catenary cylinder. It is also shown that this result remains true when Mn is a translation hypersurface and u is a horizantal vector. As a further application, we prove that a singular minimal translation graph in ℝ3 of the form z = f(x) + g(y + cx), c ∈ ℝ - {0}, with respect to a certain horizantal vector u is either a plane or a α-catenary cylinder.

• East Asian mathematical journal
• /
• v.40 no.2
• /
• pp.209-229
• /
• 2024

In this study, we design a teaching unit that constructs Pascal graphs and extended Pascal triangles to explore number patterns inherent in them. This teaching unit is designed to consider the diachronic process of teaching-learning by combining Dörfler's theoretical generalization model with Wittmann's design science ideas, which are applied to the didactical practice of mathematization. In the teaching unit, considering the teaching-learning level of prospective teachers who studied discrete mathematics, we generalize the well-known Pascal triangle and its number patterns to extended Pascal triangles which have directed graphs(called Pascal graphs) as geometric models. In this process, the use of symbols and the introduction of variables are exhibited as important means of generalization. It provides practical experiences of mathematization to prospective teachers by going through various steps of the generalization process targeting symbols. This study reflects Wittmann's intention in that well-understood mathematics and the context of the first type of empirical research as structure-genetic didactical analysis are considered in the design of the learning environment.