• 건축역사연구
• /
• 제18권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(皇國臣民).

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.1039-1048
• /
• 2019

프로그램 자동 분석 방법 중 하나인 기호 실행은 지난 몇 해 동안 기술적으로 크게 향상 되었다. 그러나 여전히 기호실행 그 자체만을 이용하여 프로그램을 분석하는 것은 실용적이지 않다. 가장 큰 이유로는 프로그램 분석 중에 발생하는 경로 폭발 문제로 인한 메모리 부족으로, 기호 실행을 이용해 프로그램의 모든 경로의 해를 구할 수 없다. 따라서 분석가는 모든 경로의 해를 구하는 것이 아닌 취약성을 갖는 지점으로 기호 실행 탐색 경로를 구성하는 것이 실용적이다. 본 논문에서는 기호 실행 과정에서 사용될 수 있는 정적분석 기반 바이너리 역방향 제어 흐름 그래프 생성 방법 기술을 제안한다. 역방향 제어 흐름 그래프 생성을 통해 분석가는 바이너리 내의 잠재적인 취약지점을 선정할 수 있고, 해당 지점으로부터 생성된 역추적 경로는 향후 기호 실행을 위해 효율적으로 사용될 수 있다. 우리는 리눅스 바이너리(x86)를 대상으로 실험을 진행하였고, 실제로 잠재적인 취약점 선정 및 역추적 경로 생성이 바이너리의 다양한 상황에서 가능함을 보였다.

• 디자인학연구
• /
• 제16권1호
• /
• pp.63-72
• /
• 2003

본 연구의 목적은 도시민의 일상체험의 장인 가로공간을 대상으로 대상지역 가로경관의 역사적, 문화적 특성을 제고한 상징 이미지를 추출하고 이것을 바탕으로 한 지역의 정체성을 명확히 하는데 있다. 이를 통해 지역 이미지의 상징성과 미래지향적 가로의 이미지를 가로환경시설물에 적용함으로써 지역의 상징성을 표현하고 개성 있는 거리로 새롭게 인식시켜 활력 있는 가로환경을 조성하고자 한다. 또한 이 연구를 통해 상징가로 환경조성의 기초자료를 제시하고 실제적인 디자인 사례를 제시함으로써 특성화된 지역문화를 활성화하는데도 그 목적 이 있다. 상징가로의 디자인 접근방법으로 역사적 요소가 상실되고 도시화(신도시)가 이루어진 가로를 대상으로 지역의 상징적 이미지를 현재의 지역이미지와 미래지향적 이미지로 추출하였다. 이미지 평가실험을 통해 추출된 상징적 이미지를 바탕으로 미래지향적인 가로의 상징도구로 가로환경시설물을 이용하여 지역의 가로를 특성화하였다. 가로환경시설물의 디자인에 상징이미지를 적용하여 타 지역과 차별화된 가로를 형성하고 지역의 아이덴티티(Identity)를 확립함으로써 지역민의 소속감, 자부심과 애향심을 심어주는데 도움을 주고, 공공기관에서 지금까지의 연구내용과 연관된 계획을 수립하고 시행하고자 할 때, 본 연구가 상징성 추출에 있어서 하나의 방향성을 제시하였음에 그 의의를 둔다.

• 정보보호학회논문지
• /
• 제27권4호
• /
• pp.803-810
• /
• 2017

최근 소프트웨어 산업의 발달에 따른 사회적 보안 문제가 지속적으로 발생하고 있으며, 소프트웨어 안정성 검증을 위해 다양한 자동화 기법들이 사용되고 있다. 본 논문에서는 소프트웨어 테스팅 기법 중 하나인 동적 기호 실행을 이용해 윈도우 시스템 콜 함수를 대상으로 Use-After-Free 취약점을 자동으로 탐지하는 방법을 제안한다. 먼저, 목표 지점을 선정하기 위한 정적 분석 기반 패턴 탐색을 수행한다. 탐지된 패턴 지점을 바탕으로 관심 밖의 영역으로의 분기를 차단하는 유도된 경로 탐색 기법을 적용한다. 이를 통해 기존 동적 기호 실행 기술의 한계점을 극복하고, 실제 목표 지점에서의 취약점 발생 여부를 검증한다. 제안한 방법을 실험한 결과 기존에 수동으로 분석해야 했던 Use-After-Free 취약점을 제안한 자동화 기법으로 탐지할 수 있음을 확인하였다.

• 방송공학회논문지
• /
• 제21권1호
• /
• pp.87-96
• /
• 2016

최근 웹 또는 모바일 기기에서 전자지도를 이용한 정보 제공 서비스의 활성화로 도로 노면의 다양한 기호들을 자동으로 인식하는 기술이 요구되고 있다. 본 논문에서는 HOG-SP(Histogram of oriented Gradients-Split Projection) 서술자를 이용하여 도로 노면에 표시된 11가지의 방향지시기호를 자동으로 인식하는 방법을 제안하였으며, 인식된 방향지시기호를 기반으로 차선 위치 검출의 성능 향상을 나타내었다. 네이버 로드 뷰 영상으로 실험하여 제안하는 방법으로 81.99%의 인식률을 보였으며, 기존의 다른 특징들과의 비교 실험을 통해 제안하는 방법의 우수성을 입증하였다. 또한, 방향지시기호를 먼저 인식한 후 차선의 위치를 검출함으로써 단순히 차선의 위치만 검출하는 방법보다 7.64% 더 높은 검출률을 얻었다.

• 대한전자공학회논문지SD
• /
• 제41권6호
• /
• pp.43-51
• /
• 2004

본 논문에서는 입력패턴을 triple rail-coding 방식으로 표현한 후 입력의 직렬연결 방법으로 기호치환을 수행하는 광 병렬 변형부호화자리수 가산 시스템을 제안하였다. Triple rail-coding 방식으로 변형부호화자리수 입력을 표현할 때 중복연산 결과가 나오는 입력들은 동일한 패턴으로 전처리하여 기호치환과정의 규칙수를 줄였고, 광 구현시 공간 이동된 입력패턴을 직렬로 연결하여 광을 통과시킴으로써 공간 이동 연산, NOR 연산, 그리고 문턱치 연산과정이 필요 없는 광 가산기를 구현하였다.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1993년도 한국자동제어학술회의논문집(국내학술편); Seoul National University, Seoul; 20-22 Oct. 1993
• /
• 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.

• 대한전자공학회논문지
• /
• 제27권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
• /
• 제56권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.

• 한국의류학회지
• /
• 제19권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.