• JSTS:Journal of Semiconductor Technology and Science
• /
• 제7권4호
• /
• pp.221-228
• /
• 2007

In this paper, we propose a new symbolic simulation for scan chain diagnosis to solve the diagnosis resolution problem. The proposed scan chain fault simulation, called the SF-simulation, is able to analyze the effects caused by faulty scan cells in good scan chains. A new scan chain fault simulation is performed with a modified logic ATPG pattern. In this simulation, we consider the effect of errors caused by scan shifting in the faulty scan chain. Therefore, for scan chain diagnosis, we use the faulty information in good scan chains which are not contaminated by the faults while unloading scan out responses. The SF-simulation can tighten the size of the candidate list and achieve a high diagnosis resolution by analyzing fault effects of good scan chains, which are ignored by most previous works. Experimental results demonstrate the effectiveness of the proposed method.

• 철학연구
• /
• 제148권
• /
• pp.269-289
• /
• 2018

이 글은 "노자의 도와 소쉬르의 언어학: 잘못된 만남"의 후속편으로 기획되었다. 노자의 도와 소쉬르의 언어학의 접점을 찾기 위해 '비상명(非常名)'을 어떻게 이해해야할까라는 질문을 던졌다. 노자의 '비상명'이 소쉬르가 말한 기호의 자의성과 부합하기 때문이다. 노자의 비상명이 갖는 성격을 부각하기 위해 공자의 '정명'과 비교하는 방법을 택했다. 이를 통해, 공자의 정명은 언어질서를 통해 예법을 회복하자는 주장임에 반해, 노자의 비상명은 기호의 자의성을 말한 것임을 드러냈다. 노자는 비상명을 통해 기호는 기표(signifiant)와 기의(signifie)가 본질적이고 필연적으로 결합되어 있지 않음을 드러냈다. 여기에서 더 나아가 기호의 자의성으로부터 언어질서는 해체될 수 있으며, 언어질서로 구축된 사회의 구조나 규범, 예법이라는 것도 해체될 수 있음을 보여준다. 결국 노자의 비상명은 제도로서 언어, 상징계로서 언어인 주나라의 언어질서에 저항하는 논리이자 해체의 논리이다. 이를 해명하기 위해, 세 가지 논증을 사용했다. 첫째는 '명'에 대한 중국 고대의 논의가 단순한 관직명과 사물의 명칭인 물명(物名)을 의미하는 것이 아니라, 한 사회의 제도와 법, 규범에 관한 논의였음을 해명하였다. 둘째, 언어 질서가 사회 제도이자 사회 구조임을 해명하는 논증을 소쉬르와 라캉의 말을 가져와 해명하였다. 소쉬르는 언어학의 탐구 대상이 한 사회의 제도와 규범, 법에 대한 탐구라고 말하고 있고, 라캉은 이를 상징계(the Symbolic)라고 말하고 있는 점을 가져와 논증하였다. 셋째, '비상명'이 기표와 기의의 자의적이고 임의적인 관계를 드러내는 중요한 용어임을 해명하였다. 소쉬르는 기호는 기표와 기의의 결합은 본질적이지 않고, 임의적이고 자의적이라고 한다. 노자의 비상명 역시 기표와 기의가 자의적인 결합임을 해명하였다. 이러한 논증을 통해 노자의 비상명이 제도로서 언어와 상징계로서 언어에 저항하고 이를 해체하는 논리임을 해명하였다.

• 철학연구
• /
• 제145권
• /
• pp.381-407
• /
• 2018

들뢰즈는 자신의 특유의 감각론을 "감각의 논리"에서 베이컨의 회화를 통하여 전개한다. 거기에서 문제가 되는 것이 광학적(optical) 시각과는 다른 '시선의 하나의 가능성'을 나타내는 <햅틱 haptic>이라는 감각이다. 우리말로 다양하게 번역되는 이 햅틱이라는 감각개념을 들뢰즈는 오스트리아 미술사학자 알로이스 리글(Alois Riegl)을 경유하여 수용하고 있다. 리글이 이집트의 저부조(bas-relief)에 대한 '근접 시각'(Nahsicht)의 의미를 가지고 이 개념을 사용했는데, 들뢰즈는 그의 발상을 이어받아 햅틱 개념을 적용하여 베이컨의 회화를 논하고 있다. 이집트의 저부조에 대하여 사용된 개념을 회화에 사용하는 이상, 들리즈의 회화론에는 리글에 의하여 제시되고 있는 것 이상의 의미가 았다. 다시 말하면 들뢰즈의 "감각의 논리"를 단순히 베이컨의 회화에 관한 논의(論議) 이상의 새로운 감각론을 전개한 것으로 파악할 경우, 중심이 되는 개념은 베이컨의 회화를 상징하는 햅틱 개념이라고 할 수 있다. 그런데 햅틱이란 도대체 어떠한 감각 개념인가? 또한 들뢰즈의 감각론은 도대체 무엇인가? "감각의 논리"를 들뢰즈 자신의 감각론이 전개된 저작으로서 파악하고, 특히 햅틱이라는 감각에 주목하여 그의 감각론을 명확히 밝혀 보려는 것이 본 논문의 목적이다.

• 한국콘텐츠학회논문지
• /
• 제21권7호
• /
• pp.59-70
• /
• 2021

본 논문은 그림책 속의 삽화가 시간적 표현에 어떻게 작용하는지에 대해 연구 및 분석을 진행하였고, 스토리형 그림책을 주된 연구 범위로 두었다. 그림책 속의 시간을 포인트 타임, 타임라인 및 타임 리듬으로 분류하였고 시간적 표현 요소, 그림 구성, 그림 시퀀스 등의 사례를 통해 분석 결과를 얻어냈다. 우선 시간적 상징 요소는 포인트 타임과 타임 리듬을 상징하는 데 이용된다. 실물 시간 상징 요소는 시간과 시간의 연상을 불러일으키는 사물을 직접 표현할 수 있다는 점이다. 색채의 상징 요소는 시간의 범위 내에서 객관적인 세계의 색채 변화에 대응하고 빛과 그림자의 대비현상은 하루 중의 시간적 변화에 대응한다. 빠르게 이동하는 물체는 점선이나 모호한 선으로 표현하고 정지되어 있거나, 안정적이거나, 느리게 움직이는 물체는 실선으로 묘사한다. 다음으로 그림책 속 삽화의 화면 구성은 타임라인의 내용을 표현하는데 매우 적합하며 스토리 전개의 선후 순서 혹은 인과적 관계를 표현한다. 화면 구성의 기술은 시각적 인도, 스플릿 필드(spilt field), 독서 습관에 부합성 이 세 가지로 요약할 수 있다. 마지막으로 그림 시퀀스는 타임 라인, 타임 리듬과 공시성(synchronicity)을 표현한다. 타임라인을 표현할 때에는 시각적 논리를 이용하여 독자들에게 화면의 시간이 시간적 정보를 정확하게 전달한다는 점을 느끼게 하며 독서 습관에 부합한다는 전제하에 시점 연결을 진행한다. 시간의 공시성 및 빠른 리듬과 느린 리듬을 표현할 때 디자인 기술은 독자의 독서 습관에 부합하는 동시에 화면의 페이지 수를 컨트롤해야 하는데 내용을 전달하는 데 있어 펼침 페이지(spread page)의 상하 및 좌우의 공간을 충분히 활용하여 디자인 해야 한다. 시간을 표현한 그림책 삽화의 본질은 공간을 시간으로 표현하는 것이며 공간 속 요소의 서로 다른 조합과 시각적 인도를 통해 시간적 정보를 전달하는 것이다.

• 한국언어정보학회:학술대회논문집
• /
• 한국언어정보학회 2002년도 Language, Information, and Computation Proceedings of The 16th Pacific Asia Conference
• /
• pp.1-1
• /
• 2002

This talk provides an overview of current work in my research group on the syntactic annotation of the T bingen corpus of spoken German and of the German Reference Corpus (Deutsches Referenzkorpus: DEREKO) of written texts. Morpho-syntactic and syntactic annotation as well as annotation of function-argument structure for these corpora is performed automatically by a hybrid architecture that combines robust symbolic parsing with finite-state methods ("chunk parsing" in the sense Abney) with memory-based parsing (in the sense of Daelemans). The resulting robust annotations can be used by theoretical linguists, who lire interested in large-scale, empirical data, and by computational linguists, who are in need of training material for a wide range of language technology applications. To aid retrieval of annotated trees from the treebank, a query tool VIQTORYA with a graphical user interface and a logic-based query language has been developed. VIQTORYA allows users to query the treebanks for linguistic structures at the word level, at the level of individual phrases, and at the clausal level.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1987년도 전기.전자공학 학술대회 논문집(II)
• /
• pp.1556-1559
• /
• 1987

In this paper, a new state assignment method is proposed for the implementation of the area-effective control part. Introducing the, concept of adjacency matrix to control table generated by SDL(Symbolic Description Language) hardware compiler, a state assignment method is proposed with which minimal number of flip flops and effective number of product terms can be obtained to accomplish the area-effective implementation. Also, with substituting the assigned code to state transition table, boolean equations are obtained through 2-level logic minimization. Proposed algorithm is programmed in C-language on VAX-750/UNIX and b efficiency is shown by the practical example.

• 전자공학회논문지A
• /
• 제32A권10호
• /
• pp.73-80
• /
• 1995

In this paper, a synthesis tool using matrix operations for designing multi-level Reed Muller circuits is described which has been named as MRM (Multi-level Reed Muller Minimizer). The synthesis method which uses matrix operations has advantages in effectively minimizing chip area, delay optimization and fault detection capability. However, it uses only truth-table type maps for inputs, synthesizing only small circuits. To overcome the weakness, our method accepts two-level description of a logic function. Since the number of cubes in the two-level description is small, the input matrix becomes small and large circuits can be synthesized. To convert two-level representations into multi-level ones, different input patterns are extracted to make a map which can be fed to the matrix operation procedure. Experimental results show better performance than previous methods. The matrix operation method presented in this paper is new to the society of Reed Muller circuits synthesis and provides solid mathematical foundations.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
• /
• pp.45-47
• /
• 2000

본 연구는 심볼릭 모델 체커 중의 하나인 SMV(Symbolic Model Verifier)를 이용하여 한국전자통신연구원(ETRI)에서 개발한 CCA(Cache Coherent Agent) 보드를 위한 I-Link Bus(Inside Bus)의 몇 가지 특성(property)들을 검증하여 I-Link Bus의 요구사항(requirement)이 만족됨을 보인다. 이 검증에서는 I-Link Bus의 모델을 SMV 입력 언어로 명세하며, 검증할 특성들을 시제 논리(temporal logic)를 이용하여 나타낸다. 검증을 통해서 I-Link Bus와 PIF(Processor Interface), DC(Directory Controller), RC(Remote access cache Controller)모듈들이 중재기 우선 순위, send 우선 순위, 중재 요청 신호의 관리, liveness등의 특성들을 만족한다라는 것을 검증하였다.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1995년도 춘계학술대회
• /
• pp.155-159
• /
• 1995

A design method that can easily construct intelligent patient monitoring systems is proposed. To achieve the design method, the SES/MB concept and a discrete event-based logic control formalism based on a set theory is introduced. In this control paradigm the controller expects to receive confirming sensor responses to its control commands within definite time windows determined by DEVS model of the system under control. Because data to be used for rule-based symbolic reasoning are to be abstracted, several AI methods are applied the processes. These methods are applied to intelligent patient monitoring systems so that they facilitate transformation from low level raw data to high level linguistic data. Model-based system representations have advantages of reusability, extensibility, flexsibility, independent testability and encapsulation.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제52권1호
• /
• pp.19-41
• /
• 2013

What is the foundation of mathematical thinking? Is it logic based symbolic language system? or does it rely more on mental imagery and visuo-spatial abilities? What kind of neural changes happen if someone's mathematical abilities improve through practice? To answer these questions, basic cognitive processes including long term memory, working memory, visuo-spatial perception, number processes are considered through neuropsychological outcomes. Neuronal changes following development and practices are inspected and we can show there are neural networks critical for the mathematical thinking and development: prefrontal-anterior cingulate-parietal network. Through these inquiry, we can infer the answer to our question.