• Journal of architectural history
• /
• v.18 no.5
• /
• pp.41-58
• /
• 2009

The purpose of this study is to investigate the symbolic meaning of pattern designs attached on the main building of Chungcheongnam-do Provincial Government (CPG). While most of researches mainly focused on the value and evaulation of the CPG building in terms of architectural history, relatively little insight has been gained on the symbolic meaning and mature of the pattern designs. What king of connections are related between the emblem of Governor-General of Chosun(Korea) and those of CPG? What symbolic meanings are engraved on the pattern designs? The researcher then took up the task of elucidating symbolic meanings of patterns and their relation to the building. The existing pattern of the outer wall of the CPG building consists of the symbol of sun(太陽輪), mums(菊花輪), and angle of stairs(雁大角). According to the Japanese Studies of emblems, these visual elements symbolize 'the sun of Japan'((日の丸) or 'the emperor', 'the royal family', and 'rays of the sun'. Based on these preliminary findings, the researcher considered the following in-depth connections: (1) relations with the emblem of Governor-General of Chosun, (2) relations with the emblems of local autonomous entity, Kyoungsung in Chosun. (3) relations with the emblem designs of the local provinces in Japan etc. In conclusion, patterns of the main building were not just an architectural decoration, but they had significant meanings utilizing design elements and methods adopted by local autonomous entities in Japan, The patterns found at the ceilling and floor of hall in the CPG building were associated with the emblem of Governor-General of Chosun. Therefore, all the patterns of the CPG building are powerful symbols that have meanings for the colonial rule by using the shape and method of city identities that Japanese local provinces had enacted. That is, it came out into the open that they were designed for special meanings that Korean and Japanese are united as a single body(內鮮一體) for a subject of the Emperor of Japan(皇國臣民).

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.1039-1048
• /
• 2019

Symbolic execution, an automatic search method for vulnerability verification, has been technically improved over the last few years. However, it is still not practical to analyze the program using only the symbolic execution itself. One of the biggest reasons is that because of the path explosion problem that occurs during program analysis, there is not enough memory, and you can not find the solution of all paths in the program using symbolic execution. Thus, it is practical for the analyst to construct a path for symbolic execution to a target with vulnerability rather than solving all paths. In this paper, we propose a static analysis - based backward CFG(Control Flow Graph) generation technique that can be used in symbolic execution for program analysis. With the creation of a backward CFG, an analyst can select potential vulnerable points, and the backward path generated from that point can be used for future symbolic execution. We conducted experiments with Linux binaries(x86), and indeed showed that potential vulnerability selection and backward CFG path generation were possible in a variety of binary situations.

• Archives of design research
• /
• v.16 no.1
• /
• pp.63-72
• /
• 2003

The purpose of this study is to understand the character of concerned local area through using roadside space that is space for daily experience of citizen as target, extracting symbolic image reconsidering the historical and cultural character and clarifying the local identity on the basis of it. Through applying image of local symbolism and future-oriented roadside to street furniture, I tried to express local symbolism and through composing symbolic roadside of local that can be newly recognized as unique street, I tried to give a local symbolism and compose active roadside environment. Through providing basic material and actual design example, this paper tried to activate characterized local culture. As the method to approach design of symbolic roadside, the researcher divided local symbolic image into present local image and future-oriented image through selecting the roadside that historical element is lost and urbanization is achieved as target. The researcher characterized local roadside, using street furniture as symbolic tool of future-oriented roadside on the basis of symbolic image extracted from image evaluation testing. This paper has the meaning to suggest one direction for extracting symbolism when organizing distinguished roadside through applying symbolic image to roadside environmental facility, helping for of local resident's sense of place, his self-esteem and love for his hometown and public authority's establishing and promoting the policy concerned to the context of this paper.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.27 no.4
• /
• pp.803-810
• /
• 2017

Recently, social security problems have been caused by the development of the software industry, and a variety of automation techniques have been used to verify software stability. In this paper, we propose a method of automatically detecting a use-after-free vulnerability on Windows system calls using dynamic symbolic execution, one of the software testing methods. First, a static analysis based pattern search is performed to select a target point. Based on the detected pattern points, we apply an induced path search technique that blocks branching to areas outside of interest. Through this, we overcome limitations of existing dynamic symbolic performance technology and verify whether vulnerability exists at actual target point. As a result of applying the proposed method to the Windows system call, it is confirmed that the use-after-free vulnerability, which had previously to be manually analyzed, can be detected by the proposed automation technique.

• Journal of Broadcast Engineering
• /
• v.21 no.1
• /
• pp.87-96
• /
• 2016

Recently, there is a need for automatic recognition of a variety of symbols on roads because of activation of information services using digital maps on the Web or mobile devices. This paper proposes a method which automatically recognizes 11 kinds of symbolic road markings on the road surface with HOG-SP(Histogram of oriented Gradients-Split Projection) descriptor and shows improvement of lane position detection with recognized symbolic road markings. With the proposed method, recognition rate of 81.99% has been proven on NAVER road view images and the experiments proves the superiority of proposed method by comparisons with other existing methods. Moreover, this paper shows 7.64% higher lane position detection rate by recognizing road surface marking beforehand than only detecting lanes' positions.

• Journal of the Institute of Electronics Engineers of Korea SD
• /
• v.41 no.6
• /
• pp.43-51
• /
• 2004

An optical parallel modified signed-digit(MSD) number adder system is proposed by using triple rail-coding input patterns and serial arrangement method of symbolic substitution. By combing overlapped arithmetic results. which are produced by encoding MSD input as triple rail-coding patterns. into the same patterns, symbolic substitution rules are reduced and also by using serialized and space-shifted input patterns in optical experiments, the optical adder without space-shifting operation, NOR operation and threshold operation is implemented.

• 제어로봇시스템학회:학술대회논문집
• /
• 1993.10a
• /
• pp.559-564
• /
• 1993

Nonlinear equation of motion of the flexible manipulator are derived by the Lagrangian method in symbolic form to better understand the structure of the dynamic model. The resulting equations of motion have a structure which is useful to reduce the number of terms calculated, to check correctness, or to extend the model to high order. A manipulator with a flexible 4 bar link mechanism is a constrained system whose equations are sensitive to numerical integration error. This constrained system is solved using the null space matrix of the constraint Jacobian matrix. Singular value decomposition is a stable algorithm to find the null space matrix.

• Journal of the Korean Institute of Telematics and Electronics
• /
• v.27 no.8
• /
• pp.1211-1220
• /
• 1990

This paper describes and implements a design method of register allocation as a required module of RISC compiler systems. It compiles a C program to a machine-independent intermediate language, translates each variable into symbolic register. After local allocation process for the symbolic registers, global register allocation is executed by applying the graph coloring algorithm. This register allocation phase is designed for a system with the large register file like RISC machines.

• Kyungpook Mathematical Journal
• /
• v.56 no.4
• /
• pp.1141-1160
• /
• 2016

In this paper, a symbolic algorithm for solving a regular initial value problem (IVP) for a system of linear differential-algebraic equations (DAEs) with constant coeffcients has been presented. Algebra of integro-differential operators is employed to express the given system of DAEs. We compute a canonical form of the given system which produces another simple equivalent system. Algorithm includes computing the matrix Green's operator and the vector Green's function of a given IVP. Implementation of the proposed algorithm in Maple is also presented with sample computations.

• Journal of the Korean Society of Clothing and Textiles
• /
• v.19 no.2
• /
• pp.203-215
• /
• 1995

The funning process in the symbolism of dress can be approached by the semiotics of C. S. Pierce. According to Pearce\ulcorners theory, symbiosis consists of sign, its object, and interpret ant. Especially Pierce classifies the sign into three categories; icon, index, and symbol. The icon is based on the similarity in properties and forms, and the index is based on the actual connection with their objects, while the symbol is based on the association of interpret ant. This classification method can be considered as a theoretical base for symbol of ritual dress. On the other hand, it was discussed the analyzing method of the concept of dress same (symbolic element) by introducing the isolate concept of structuralism for explaining how the symbol reveals itself. So it is discussed the several concepts of structuralism; the concept of relation syntagmatique and relation paradigmatique, the relation binaries, and the units. It would be also necessary to consider dimension of context in addition to dimension of dress itself for the dimension of total symbolic elements of ritual dress. It is proposed that the above developed dress symbol elements should be used for under\ulcornerstanding the society or culture that includes the elements by introducing the symbolic anthropology such as V. Turner's three dimensions of symbol.