• International Journal of Contents
• /
• 제7권4호
• /
• pp.56-63
• /
• 2011

Quantum mechanics is a branch of physics for a mathematical description of the particle wave, and it is applied to information technology such as quantum computer, quantum information, quantum network and quantum cryptography, etc. In 1936, Garrett Birkhoff and John von Neumann introduced the logic of quantum mechanics (quantum logic) in order to investigate projections on a Hilbert space. As another type of quantum logic, orthomodular implication algebra was introduced by Chajda et al. This algebra has the logical implication as a binary operation. In pure mathematics, there are many algebras such as Hilbert algebras, implicative models, implication algebras and dual BCK-algebras (DBCK-algebras), which have the logical implication as a binary operation. In this paper, we introduce the definitions and some properties of those algebras and clarify the relations between those algebras. Also, we define the implicative poset which is a generalization of orthomodular implication algebras and DBCK-algebras, and research properties of this algebraic structure.

• 전자공학회논문지A
• /
• 제30A권9호
• /
• pp.71-79
• /
• 1993

This paper proposes a new test pattern generation methodology for combinational logic circuits using neural networks based on a modular structure. The CUT (Circuit Under Test) is described in our gate level hardware description language. By conferring neural database, the CUT is compiled to an ATPG (Automatic Test Pattern Generation) neural network. Each logic gate in CUT is represented as a discrete Hopfield network. Such a neual network is called a gate module in this paper. All the gate modules for a CUT form an ATPG neural network by connecting each module through message passing paths by which the states of modules are transferred to their adjacent modules. A fault is injected by setting the activation values of some neurons at given values and by invalidating connections between some gate modules. A test pattern for an injected fault is obtained when all gate modules in the ATPG neural network are stabilized through evolution and mutual interactions. The proposed methodology is efficient for test generation, known to be NP-complete, through its massive paralelism. Some results on combinational logic circuits confirm the feasibility of the proposed methodology.

• 한국전자거래학회지
• /
• 제9권3호
• /
• pp.243-258
• /
• 2004

도메인별로 적합한 온톨로지를 구축하는 것은 시멘틱웹의 한 구현 방법으로서 해당 도메인 응용프로그램의 의미적 정보를 풍부히 해준다. 전자상거래에서 카탈로그는 상품과 서비스에 대한 가격, 특성, 조건 등의 다양한 정보를 저장 관리해주는데, 카탈로그에는 상품 개별 정보뿐 아니라 상품간에도 다양한 정보가 내재되어 존재하게 된다. 따라서 전자카탈로그 영역에 온톨로지를 적용하기 위하여는 먼저 카탈로그 영역에서 존재하는 의미적 관계(semantic relationships)를 분석해 보는 것은 의미 있는 일이다. 본 논문에서는 카탈로그의 의미적 관계를 분류체계를 통해 분석해보고, 각각의 관계가 어떻게 온톨로지 모델화 될 수 있는지를 제시한다. 모델링 기법으로서는 기본적으로 EER(Extended Entity-Relationship)을 사용하는데, 이에 제한되지 않고 궁극적으로 온톨로지 모델을 사용하여 추론을 할 수 있도록 모델을 Description Logics으로 표현한다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제10권2호
• /
• pp.209-220
• /
• 2004

지능망은 사용자에게 여러가지 다양한 서비스를 제공하기 위해 서비스의 개발 및 시험, 적용을 보다 빠르고 간단한 방법으로 적용하는 것을 목적으로 한다. 이와 같은 환경하에서 지능망 서비스의 개발은 SCE(Service Creation Environment)를 이용하여 GSL(Global Service Logic)을 기술함으로 이루어진다. ITU-T CS-2(Capability Set-2)에서 GSL로 서비스를 개발하기 위해 다양한 SIB(Service Independent Building-block)들을 정의하고 있다. 그러나, 기존 표준안에 정의된 SIB들 만으로는 서비스의 기술의 한계를 가지고 있다. 따라서, 이를 위해 본 논문에서는 서비스의 기술을 위한 새로운 SIB들을 제안 하고, 이를 지원하는 SCE를 구현한다. 제안되는 SIB들은 호 연결이 된 이후의 SLPI(Service Logic processing Program Instance)와 호 사이의 연관성이 유지될 수 있도록 Connect Call SIB와 호에 지정한 사건의 발생 여부를 감시할 수 있는 BCSMEvent SIB이다. 본 논문에서 구현하는 SCE는 기존의 표준안에서 정의된 SIB들과 함께 본 논문에서 제안한 SIB들을 지원하며, 서비스 개발사가 GUI 환경에서 GSL을 구성하여 서비스를 설계하고 이를 SCP에서 필요로 하는 코드로 생성하는 역할을 수행한다.

• ETRI Journal
• /
• 제33권3호
• /
• pp.470-473
• /
• 2011

In this letter, we propose blackbox and scenario-based testing of multiplayer online games as well as simple load testing. Game testing is done from outside the source code, and the access to the source code is not required to testers because the game logic is described with a game description language and virtual game map. Instead of using a subset of the main game client for the test client, only game packet protocols and the sequence of packets are analyzed for new game testing. In addition, complex and various scenarios can be tested through combining defined actions. Scenario-based testing helps testers mimic real testing environments instead of doing simple load testing and improves the productivity of game testing.

• 정보처리학회지
• /
• 제11권6호
• /
• pp.56-75
• /
• 2004

In this article we address some system characteristics and challenging issues in developing Context-aware Middleware for Ubiquitous Computing. The functionalities of a Context-aware Middleware includes gathering context data from hardware/software sensors, reasoning and inferring high-level context data, and disseminating/delivering appropriate context data to interested applications/services. The Middleware should facilitate the query, aggregation, and discovery for the contexts, as well as facilities to specify their privacy policy. Following a formal context model using ontology would enable syntactic and semantic interoperability, and knowledge sharing between different domains. Moddleware should also provide different kinds of context classification mechanical as pluggable modules, including rules written in different types of logic (first order logic, description logic, temporal/spatial logic, fuzzy logic, etc.) as well as machine-learning mechanical (supervised and unsupervised classifiers). Different mechanisms have different power, expressiveness and decidability properties, and system developers can choose the appropriate mechanism that best meets the reasoning requirements of each context. And finally, to promote the context-trigger actions in application level, it is important to provide a uniform and platform-independent interface for applications to express their need for different context data without knowing how that data is acquired. The action could involve adapting to the new environment, notifying the user, communicating with another device to exchange information, or performing any other task.

• 제어로봇시스템학회논문지
• /
• 제2권1호
• /
• pp.53-59
• /
• 1996

An automatic verification method has been studied to determine the safety and operability of programmable logic controller (PLC) based systems. For the systematic and efficient verification, we have developed a conversion method from relay ladder logic (RLL) to the verification system description. RLL is a common representation used to document PLC programs for the sequential logic of the system such as the safety interlocks and the startup/shutdown procedures. Once the modules are developed, complex RLLs can be represented by the combination of modules. As a result we can verify complex PLC systems using the verification method including RLL modules. The developed modules are used to verify alarm systems and show that the method is valid.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2003년도 가을 학술발표논문집 Vol.30 No.2 (3)
• /
• pp.559-561
• /
• 2003

최근 차세대 Web 기술로서 Semantic Web이 주목 받고 있다. Semantic Web에서는 Web상에 존재하는 문서에 Web Resource들에 대한 Ontology를 기반으로 Semantic Annotation을 하고 Ontology 추론 Agent를 통하여 의미 기반으로 Web을 검색할 수 있도록 해준다. 이와 같은 Semantic Web 기술의 핵심 요소는 Web Ontology이며 W3C에서는 이를 표현 할 수 있는 표준 언어로서 RDF기반의 OWL(Web Ontology Language) 명세를 제정하고 있다. 따라서 표준 Web Ontology 언어인 OWL을 위한 추론 시스템은 Semantic Web 검색 Agent의 구현을 위한 필수적인 기반 기술이라 할 수 있으나 아직 그 개발이 미비한 상태이다. OWL 추론 시스템을 구현하기 위해서는 OWL의 이론적인 기반을 제공하는 DL(Description Logic)을 추론할 수 있는 엔진을 사용하는 것이 한가지 방법이 될 수 있으나 OWL이 Rule과 같은 DL의 범주를 벗어나는 Vocabulary를 지원하는 언어로 확장되는 경우에 이를 처리하기가 어렵다. 또 다른 방법으로서 Logic Programming을 통하여 OWL 언어의 Semantic을 기술하고 정리 증명(Theorem Proving)을 통하여 Ontology를 추론하는 공리화(Axiomatisation) 기법이 있는데 이러한 방법의 장점은 기반이 되는 Logic의 범주 내에서 새로운 언어를 위한 Vocabulary의 확장이 용이하다는 점이다. 본 논문에서는 Axiomatisation 방법을 이용하여 OWL로 기술된 Ontology를 추론할 수 있는 시스템의 설계 및 구현에 대해 설명하기로 한다.

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

Non-monotonic logic is one in which the introduction of new axioms can eliminate old theorems. Such logic is very important in modeling the beliefs of the systems which, in the presence of complete information, must make and subsequently revise assumptions in light of new observations. In the present paper, we suggest that the formal systems, such as Reiter's default logic could be the useful implement for the specification and description of non-monotonic systems. WE develop a theory of inheritance network in order to illustrate the benefits of this theory.

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 1995년도 추계학술대회 학술발표 논문집
• /
• pp.59-70
• /
• 1995

Output performance improvement using fuzzy logic to the conventional control scheme for a magnetic levitation system is presented in this paper, Adverse characteristics of nonlinearity, unstability, system parameter variation, etc, in the levitation system are partially overcome by the general fuzzy control action. Using a PD type compensator, a coarse framework of output performance is provided to the levitation system. Then a fine regulation to the output performance requirement is obtained by the natural description of the control action in the form of fuzzy logic controller. This control action soothes the adverse characteristics of the levitation system. In this way a better output performance can be obtained in a real time experiment.