• Title/Summary/Keyword: logic language

Search Result 359, Processing Time 0.032 seconds

EOL : Epistemological Ontology Language and Reasoner with SUNHI for Ubiquitous Computing Environment (EOL : SUNHI 표현범위를 가진 인식론적 온톨로지 표현 언어 와 추론엔진)

  • Ma, Jong-Soo;Kim, Min-Soo;Kim, Min-Koo
    • 한국HCI학회:학술대회논문집
    • /
    • 2007.02a
    • /
    • pp.835-840
    • /
    • 2007
  • 현재 이슈가 되고 있는 유비쿼터스 컴퓨팅 환경에서 서비스를 제공함에 있어 사용자의 만족도를 높여주기 위해 서비스의 지능화가 필요하다. 이러한 지능적인 서비스를 제공하기 위해 서비스에 필요한 지식을 논리적으로 표현하고, 체계적으로 추론할 수 있는 방법이 요구된다. 이를 위해 표현 범위가 넓고 유연한 일차 술어 논리(FOL)는 여러 분야에서 사용되었으며, 추론 시스템에 이용되고 있다. 그러나 풍부한 표현 범위는 유비쿼터스 컴퓨팅 환경에서의 오브젝트 관리에 있어 많은 계산비용이 소요된다. 서비스의 빠른 제공을 목표로 하고 있는 유비쿼터스 환경에서 이러한 계산비용은 서비스 제공 시간을 늦추는 요인이 된다. 이러한 문제를 극복하고 지식의 의미를 부여하는 방법으로 Description Logic과 온톨로지가 연구되고 있다. 특히 OWL(Web Ontology Language)은 풍부한 표현력을 제공하고 있으며, W3C에 의해 온톨로지 기술의 표준으로 제안되었다. 그러나 풍부한 표현 범위는 실제 컴퓨팅 환경에서 모두 사용되지 않고, 기술 및 추론의 복잡함으로 overhead가 발생한다. 본 논문에서는 이를 극복하고자 실제 유비쿼터스 환경에서 요구되는 표현 범위를 만족하는 SUNHI의 표현력을 갖는 EOL을 제안한다.

  • PDF

Micro Step Driving of Step Motor using VHDL (VHDL을 이용한 스텝모터의 마이크로 스텝 구동)

  • 이남곤;박승엽;황정원;권현아
    • Proceedings of the IEEK Conference
    • /
    • 2001.06e
    • /
    • pp.135-138
    • /
    • 2001
  • This paper presents micro step driving method using VHDL(Very high speed integrated circuit Hardware Description Language) which can configure CPLD(Complex Programmable Logic Device). Using VHDL which can do abstractive programming is similar to high level language. The whole block divided into five parts with freq. divide part, saw-tooth wave generation part, sine-cosine wave generation part, comparative part, out part. In the result of this study, peripheral circuits are to be simple and using LPM(Library of Parameterized Modules) is more easily to configure circuit. It is easy to verify and implement by using VHDL. To subdivide one natural step, we confirm that using micro step driver is expected that the rotor motion is stepless very smooth.

  • PDF

Provincializing Orientalism in A Tale of Two Cities

  • Bonfiglio, Richard
    • Journal of English Language & Literature
    • /
    • v.64 no.4
    • /
    • pp.601-616
    • /
    • 2018
  • This article explores the ways Charles Dickens's roles as novelist and journal editor overlapped and influenced one another in the serial publication of A Tale of Two Cities (1859) and complicates recent historicist readings, which situate the novel in relation to the Indian Mutiny (1857-59), by calling attention to a double imperial logic used to construct British subjectivity not only against forms of Eastern Otherness but, moreover, against forms of Southern Otherness associated with the European South, especially Italy. Analyzing Dickens's historical representation of the French Revolution in relation to its contemporary international political context, this essay examines how the novel's serial publication draws upon political discourse from contemporary articles on the Second Italian War of Independence (1859-61) appearing concurrently in Dickens's journal, All the Year Round. Orientalism circulates simultaneously in the novel as a distant and exotic as well as a provincial and parochial representation of racial and cultural Otherness.

(Design of GF(216) Serial Multiplier Using GF(24) and its C Language Simulation (유한체 GF(24)를 이용한 GF(216)의 직렬 곱셈기 설계와 이의 C언어 시뮬레이션)

  • 신원철;이명호
    • Journal of the Korea Society of Computer and Information
    • /
    • v.6 no.3
    • /
    • pp.56-63
    • /
    • 2001
  • In this paper, The GF(216) multiplier using its subfields GF(24) is designed. This design can be used to construct a sequential logic multiplier using a bit-parallel multiplier for its subfield. A finite field serial multiplier using parallel multiplier of subfield takes a less time than serial multiplier and a smaller complexity than parallel multiplier. It has an advatageous feature. A feature between circuit complexity and delay time is compared and simulated using C language.

  • PDF

Shakespeare's Roman Plays and His Skepticism

  • Park, WooSoo
    • Journal of English Language & Literature
    • /
    • v.64 no.3
    • /
    • pp.361-381
    • /
    • 2018
  • Shakespeare reflects/refracts the controversial spirit of his age in the epistemological and political skepticism of his Roman plays: Titus Andronicus, Julius Caesar, Coriolanus, and Antony and Cleopatra. Skepticism doubts all received truth and suspends judgment, and it often takes the form of mental jousting on both sides of a question. Renaissance skepticism was strengthened by rhetorical education. Arguing on both sides of the question (in utramquem partem) was a practice taught in Shakespeare's grammar school in order to enhance students' mental abilities in logic and dialectic. This rhetorical exercise seldom leads to a third-term resolution: it just reveals all the apparent and hidden aspects of a problem at issue. Shakespeare's Roman plays, especially his Julius Caesar, demonstrate this skeptical attitude, leaving the judgment to the audience.

sent2dl : Augmenting Distributional Semantics to Symbolic Sentence Meaning Representation based on Description Logic SROIQ (sent2dl : 기술논리 SROIQ 기반 기호적 문장 의미 표상에 분산 표상 더하기)

  • Schin, Seung-Woo;Oh, Ju-Min;Noh, Hyung-Jong;Lee, Yeon-Soo
    • Annual Conference on Human and Language Technology
    • /
    • 2020.10a
    • /
    • pp.199-204
    • /
    • 2020
  • 기존의 자연어 의미 표상 방법은 크게 나눠보았을 때 두 가지가 있다. 첫 번째로, 전통적인 기호 기반 의미 표상 방법론이다. 이 방법론들은 논리적이고 해석가능하다는 장점이 있으나, 구축에 시간이 많이 들고 정작 기호 자체의 의미를 더욱 미시적으로 파악하기 어렵다는 단점이 있었다. 반면, 최근 대두된 분산 표상의 경우 단어 하나하나의 의미는 상대적으로 잘 파악하는 반면, 문장 등의 복잡한 구조의 의미를 나타내는 데 있어 상대적으로 약한 측면을 보이며 해석가능하지 않다는 단점이 있다. 본 논문에서는 이 둘의 장점을 섞어서 서로의 단점을 보완하는 새로운 의미 표상을 제안하였으며, 이 표상이 유의미하게 문장의 의미를 담고 있음을 비지도 문장 군집화 문제를 통해 간접적으로 보였다.

  • PDF

Comforts Evaluation of Car Seat Clothing (자동차 시트 표피재의 감성평가)

  • Kim, Joo-Yong;Lee, Chae-Jung;Kim, An-Na;Lee, Chang-Hwan
    • Science of Emotion and Sensibility
    • /
    • v.12 no.1
    • /
    • pp.77-86
    • /
    • 2009
  • A comfort evaluation of car seat clothing has been proposed for high comforts interior seat clothing. Car seat covers have received wide spread attention due to their man-machine interface working. And then, it will be necessary for measurements on delicate basic mechanical-properties, which closely relate with human touch feeling of its materials. In this research, we have utilized $KES-FB^{(R)}$(Kawabata Evaluation System) series, $^ST300{(R)}$ analogue softness tester and friction tester for measurement a physical properties. In order to consider both kansei and physical properties on interior seat covers, we firstly have established subjective words of judgement for the seat covers. Secondly, related them to the objective measurement of physical properties. Each kansei-language has clearly defined as 'Softness', 'Elasticity', 'Volume' and 'Stickiness' for the adjectives of leather car seat covers. These technical terms have correlated to physical properties in other words, h (mm), bending moment ($gf^*$cm/cm), To-Tm (mm) and ${\mu}$. At this time, fuzzy logic has utilized to predict the value of kansei language through physical values. On the basis of this result, finally it is possible to predict quality index of car seat covers using neural networks technique. In short, we develop a quality evaluation system of car seat clothing combining four physical quantities with kansei engineering.

  • PDF

64 Bit EISC Processor Design (64 Bit EISC 프로세서 설계)

  • 임종윤;이근택
    • Proceedings of the IEEK Conference
    • /
    • 2000.06b
    • /
    • pp.161-164
    • /
    • 2000
  • The architecture of microprocessor for a embedded system should be one that can perform more tasks with fewer instruction codes. The machine codes that high-level language compiler produces are mainly composed of specific ones, and codes that have small size are more frequently used. Extended Instruction Set Architecture (EISC) was proposed for that reason. We have designed pipe-line system for 64 bit EISC microprocessor. function level simulator was made for verification of design and instruction set architecture was also verified by that simulator. The behavioral function of synthesized logic was verified by comparison with the results of cycle-based simulator.

  • PDF

Design of Image Processing Unit for Real Time Processing (Real Time Processing을 위한 Image Processing Unit의 설계)

  • 김진욱;김석태
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 1998.11a
    • /
    • pp.194-197
    • /
    • 1998
  • Image Processing은 Image Data가 대량이고 내재된 정보가 병렬로 연관성을 가진다는 측면에서 실시간 처리가 용이하지 알다. 본 연구에서는 High Speed Real Time Image Processing을 위한 IPU(Image Processing Unit)와 이를 구동하기 위한 High Speed Real Time image Processing Language인 IPASM(Image Processing Assembly)을 제안한다. 우선 IPU의 기본개념을 설명하고 IPU의 구현을 위한 IPLU(Image Processing Logic Unit)를 설계한다. 그 후 Window98환경에서 구동 가능한 IPASM Interpreter를 실제로 제작하여 IPU의 동작방식을 간접적으로 진단한다.

  • PDF

Study on the Time Delay of Single Sequence for Select Sequence (선택시퀀스 기능을 위한 단일시퀀스의 시간지연에 관한 연구)

  • You, Jeong-Bong
    • Proceedings of the IEEK Conference
    • /
    • 2009.05a
    • /
    • pp.305-307
    • /
    • 2009
  • When we design the control system used Programmable Logic Controller(PLC), we program the main algorithm by Ladder Diagram(LD) among the standard language. We can substitute the select sequence function by the unique sequence. We can implement this function by the delay time. Therefore this thesis show the select sequence function by the unique sequence and we confirmed its feasibility through actual example.

  • PDF