• 제목/요약/키워드: First Order Logic

검색결과 176건 처리시간 0.023초

열린대화주의적 디자인을 제안하며 (I) (A Introducing for the open dialogism Design)

  • 양리나
    • 자연과학논문집
    • /
    • 제8권2호
    • /
    • pp.199-224
    • /
    • 1996
  • 후기산업사회로 특정지워지는 새로운 가치와 생활양식이 한국사회 속에서 퍼져나가고 있다. 이에 이소고는 먼저 복식 디자인속에서의 포스트모더니즘에 관한 것으로 후기산업사회의 논리와 포스트모드니즘의 문화형태 사이의 복잡한 연관관계들을 설명하려고 한다. 그리고 나서 디자인영역에서 "모더니즘"으로 대표되는 바우하우스와 비교하여 포스트모더니즘의 특징을 비판적으로 정의할 것이며, 포스트모더니즘 디자인의 기본적인 요소들과 그 정향점을 비판하기 위해 필자가 선택한 적절한 예들을 상세히 분석할 것이다. 결국 필자는 바우하우스와 포스트모더니즘을 뛰어넘는 새로운 시각을 제시하고자 한다. 다시말하면 '열린대화주의적 디자인'이라는 제3의 디자인 개념을, 소개하는 범위내에서 제안하려는 것이다.

  • PDF

전자연동장치를 위한 연동데이터 자동 생성 시스템의 개발 (A Development of Auto-lnterlock Relation Generating System for Electronic Interlocking Equipment)

  • 권철;이기철;최성범;이진하
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2009년도 춘계학술대회 논문집
    • /
    • pp.831-839
    • /
    • 2009
  • An interlocking equipment of railway signalling systems is manufactured with electrical devices and electrical interlocking equipment has been substituted for existing interlock equipment(relay sequential logic type). But interlock conditions are still generated from rail diagram and used to make Interlock Table manually. In order to make EIS(Electrical Interlock System) operate, we should write interlock data which is made from interlock table. But, as the station is larger and more complicated, handwork may becomes a very tediou work and makes more mistakes. Therefore the development of CAD system for Interlocking System is very significant, if CAD can reduce the mistakes from handwork and help the configuring the interlocking system. In this paper, we first arrange some rules which can be used to extract route information automatically from rail diagram and interlocking rules. And then we propose "Search-And-Rollback" algorithm to extract route information and individual interlocking rules. The proposed algorithm is implemented and tested through the signal design process of the Hyundai-Steel private railway to carry melted pig iron from the blast furnace to the steel-making workshop. some cases. It shows that CAD for Interlocking system is very helpful in time saving aspect and system reliability.

  • PDF

FPGA ORB를 고려한 ORB 연동 프로토콜 개발 (Development of Inter-ORB Protocol for FPGA ORB)

  • 정혜경;배명남;이인환;이용석
    • 대한전자공학회논문지TC
    • /
    • 제46권10호
    • /
    • pp.34-42
    • /
    • 2009
  • HAO는 로직 기반의 코바 컴포넌트 개발을 수용하기 위해 FPGA에 탑재되는 ORB엔진이다. 본 논문은 표준 코바와 HAO 간 연동을 제공하기 위한 과정으로, 표준 ORB간 연동 프로토콜인 GIOP의 구체화 방안에 대해 기술한다. 구체적으로, 시스템 보드의 하드웨어 자원을 직접 사용한다는 관점에서 HAO Core가 하드웨어 독립성을 갖도록 하여야 하며, 공유 자원에 대한 빠른 제어 반환을 고려한 최적화 방안을 포함해야 한다.

Design of Model to Recognize Emotional States in a Speech

  • Kim Yi-Gon;Bae Young-Chul
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제6권1호
    • /
    • pp.27-32
    • /
    • 2006
  • Verbal communication is the most commonly used mean of communication. A spoken word carries a lot of informations about speakers and their emotional states. In this paper we designed a model to recognize emotional states in a speech, a first phase of two phases in developing a toy machine that recognizes emotional states in a speech. We conducted an experiment to extract and analyse the emotional state of a speaker in relation with speech. To analyse the signal output we referred to three characteristics of sound as vector inputs and they are the followings: frequency, intensity, and period of tones. Also we made use of eight basic emotional parameters: surprise, anger, sadness, expectancy, acceptance, joy, hate, and fear which were portrayed by five selected students. In order to facilitate the differentiation of each spectrum features, we used the wavelet transform analysis. We applied ANFIS (Adaptive Neuro Fuzzy Inference System) in designing an emotion recognition model from a speech. In our findings, inference error was about 10%. The result of our experiment reveals that about 85% of the model applied is effective and reliable.

다단계 제품 구조를 고려한 유연 잡샵 일정계획의 Large Step Optimization 적용 연구 (Large Step Optimization Approach to Flexible Job Shop Scheduling with Multi-level Product Structures)

  • Jang, Yang-Ja;Kim, Kidong;Park, Jinwoo
    • 한국지능정보시스템학회:학술대회논문집
    • /
    • 한국지능정보시스템학회 2002년도 춘계학술대회 논문집
    • /
    • pp.429-434
    • /
    • 2002
  • For companies assembling end products from sub assemblies or components, MRP (Material Requirement Planning) logic is frequently used to synchronize and pace the production activities for the required parts. However, in MRP, the planning of operational-level activities is left to short term scheduling. So, we need a good scheduling algorithm to generate feasible schedules taking into account shop floor characteristics and multi-level job structures used in MRP. In this paper, we present a GA (Genetic Algorithm) solution for this complex scheduling problem based on a new gene to reflect the machine assignment, operation sequences and the levels of the operations relative to final operation. The relative operation level is the control parameter that paces the completion timing of the components belonging to the same branch in the multi-level job hierarchy. In order to revise the fixed relative level which solutions are confined to, we apply large step transition in the first step and GA in the second step. We compare the genetic algorithm and 2-phase optimization with several dispatching rules in terms of tardiness for about forty modified standard job-shop problem instances.

  • PDF

Alloy 명세 기반 자동 테스트 데이터 생성 기법 (An Alloy Specification Based Automated Test Data Generation Technique)

  • 정인상
    • 정보처리학회논문지D
    • /
    • 제14D권2호
    • /
    • pp.191-202
    • /
    • 2007
  • 일반적으로 테스트 데이터 생성 방법들은 테스트 데이터를 자동으로 생성하기 위해서 완전한 프로그램 경로를 기술한 것을 요구한다. 이 논문에서는 프로그램 경로를 완전하게 명시하지 않아도 테스트 데이터를 자동으로 생성하는 새로운 방법을 제안한다. 이를 위해 이 논문에서는 테스트 대상 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성하는 방법을 제안한다. 제안된 방법은 사용자로 하여금 프로그램 경로를 선택하도록 하는 부담을 덜어줄 뿐만 아니라 다양한 테스트 적합성 기준에 따라 테스트 데이터를 생성하는 일을 용이하게 한다. 간단하지만 설명에 도움이 될 수 있는 예들을 통하여 제안한 방법에 대해 설명한다.

Iris Recognition Based on a Shift-Invariant Wavelet Transform

  • Cho, Seongwon;Kim, Jaemin
    • International Journal of Fuzzy Logic and Intelligent Systems
    • /
    • 제4권3호
    • /
    • pp.322-326
    • /
    • 2004
  • This paper describes a new iris recognition method based on a shift-invariant wavelet sub-images. For the feature representation, we first preprocess an iris image for the compensation of the variation of the iris and for the easy implementation of the wavelet transform. Then, we decompose the preprocessed iris image into multiple subband images using a shift-invariant wavelet transform. For feature representation, we select a set of subband images, which have rich information for the classification of various iris patterns and robust to noises. In order to reduce the size of the feature vector, we quantize. each pixel of subband images using the Lloyd-Max quantization method Each feature element is represented by one of quantization levels, and a set of these feature element is the feature vector. When the quantization is very coarse, the quantized level does not have much information about the image pixel value. Therefore, we define a new similarity measure based on mutual information between two features. With this similarity measure, the size of the feature vector can be reduced without much degradation of performance. Experimentally, we show that the proposed method produced superb performance in iris recognition.

SAT를 기반으로 하는 플래그 변수가 있는 프로그램 테스팅을 위한 테스트 데이터 자동 생성 (Automated Test Data Generation for Testing Programs with Flag Variables Based on SAT)

  • 정인상
    • 정보처리학회논문지D
    • /
    • 제16D권3호
    • /
    • pp.371-380
    • /
    • 2009
  • 최근에 테스트 데이터를 자동으로 생성하는 방법에 관한 연구가 활발하게 진행되고 있다. 그러나 이러한 방법들은 플래그 변수가 프로그램에 존재하는 경우에는 효과적이지 못함이 밝혀졌다. 이는 엔진 제어기와 같은 내장형 시스템들이 전형적으로 디바이스 관련 상태 정보를 기록하기 위해 플래그 변수를 많이 이용한다는 점을 고려할 때 문제가 된다. 이 논문에서는 플래그 변수가 있는 프로그램에 대하여 효과적으로 테스트 데이터를 생성할 수 있는 방법을 소개한다. 이 방법은 테스트 데이터 생성 문제를 SAT(SATisfiability) 문제로 변환하고 SAT 해결도구를 이용하여 자동으로 테스트 데이터를 생성한다. 이를 위해 프로그램을 1차 관계 논리 언어인 Alloy로 변환하고 Alloy 분석기를 통하여 테스트 데이터를 생성한다.

국방물자정보시스템 성능개선 사업평가에 대한 사례 (A Case on the Evaluation of the Information System Project to Enhance the Performance of DIMS(Defense Material Information System))

  • 조성림;임규건;이대철
    • 한국IT서비스학회지
    • /
    • 제11권1호
    • /
    • pp.109-123
    • /
    • 2012
  • There are many evaluation models to measure the informatization level of an organization and information system project in the ministry of National Defense of Korea. A information system has to keep up with the environment change as well as the advanced recent information technology (IT). Therefore, the evaluation of an information system project to enhance the performance of the information system should be different from the existing evaluation methods. This study suggests an evaluation case of information system projects to enhance the performance of an information system. In order to achieve the objective of this study, the following steps are taken. First, it reviews the background and the scope of the project to enhance the performance of the Defense Material Information System (DMIS). And it sets up the evaluation logic and develops performance indexes. Then it applies these newly developed performance indexes to the information system project and measures the performance. From this study, we found that both the diffusion and the experience accumulation by its continuous use are significant factors in such evaluations.

논리회로 시뮬레이터에 있어서 실행상태의 동적패턴 추출과 고속화 (dynamic Pattern Abstraction of a Logic Circuit Simulator and Its speed UP)

  • 이필우;판야배삼
    • 한국정보처리학회논문지
    • /
    • 제5권8호
    • /
    • pp.2179-2189
    • /
    • 1998
  • 본 논문에서는 논리회로 시뮬레이션시 상태의 동적 보존과 재이용 방식을 개발하여 시뮬레이션시의 계산 효율성을 향상시킬 수 있는 방법을 제시하였다. VHDL을 비롯한 많은 하드웨어 기술언어(hardware description language)로 기술된 하드웨어를 시뮬레이션하기 위한 계산비용은 대단히 크며 많은 양의 계산을 필요로 한다. 이런 하드웨어 시뮬레이션시의 처리과정을 정밀하게 분석한 결과, 하드웨어의 기술 전체가 적당한 크기의 모듈로 분할되어 있으면, 각 모듈의 상태전이 (state transition)의 패턴은 그다지 많지 않은 것으로 나타났다. 따라서 패턴이 처음 발생했을 때 시뮬레이터에 동적으로 보존하여, 시뮬레이션 중에 같은 패턴이 반복될 경우 보존한 패턴을 이용함으로써 시뮬레이션에 필요한 계산을 대폭 감소시킬 수 있다는 것을 확인하였다. 본 논문에서는 몇 가지 시뮬레이션 사례연구를 통하여 본 방식의 유효성을 입증하였다.

  • PDF