Loading [MathJax]/jax/output/CommonHTML/jax.js
  • Title/Summary/Keyword: 시간 논리

Search Result 662, Processing Time 0.028 seconds

Design and Implementation of an Index Manager for SGML Information Retrieval (SGML 정보검색을 위한 인덱스 관리자의 설계 및 구현)

  • Jang, Jae-U;Lee, Hui-Ju;Son, Jeong-Han;Sim, Bu-Seong;Ju, Jong-Cheol
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.5 no.2
    • /
    • pp.135-146
    • /
    • 1999
  • SGML 정보검색을 위한 인텍스 관리자는 SGML 정보 표현의 기본 단위인 엘리먼트 단위의 검색과 문서의 논리적인 구조에 기반한 검색을 지원해야 하면 아울러, 우수한 검색 시간과 낮은 부가 저장 공간을 보장하여야한다. 이러한 요구사항을 만족시키기 위해 본 논문에서는 SGML 정보검색을 위한 사용자 질의 형태별로 분류하여 이를 토대로 SGML 정보검색 인덱스 관리자를 설계한다. 아울러 인덱스 관리자를 UNIX 운영체제하에서 표준 C 언어를 가지고 02 Store 하부저장 시스템을 이용하여 구현한다. 마지막으로 저장 시간, 삭제시간, 검색 시간, 부가 저장 공간 측면에서 구현된 인덱스 관리자의 성능 평가를 수행한다.

Sudoku Puzzle Difficulty Measurement using Genetic Algorithm (유전자 알고리즘을 이용한 수도쿠 퍼즐 난이도 측정)

  • Cho, Yeongjo;Kim, Byoungwook
    • Annual Conference of KIPS
    • /
    • 2019.10a
    • /
    • pp.499-501
    • /
    • 2019
  • 스도쿠는 다양한 연령대의 사람들에게 인기있는 논리 기반 조합 퍼즐 게임입니다. 이러한 인기로 인해 다양한 수준의 난이도로 스도쿠 퍼즐을 생성하고 해결하기 위해 컴퓨터 소프트웨어가 개발되고 있습니다. 본 논문은 유전자 알고리즘 (Genetic Algorithm)을 이용하여 스도쿠 퍼즐의 해결 및 스도쿠 퍼즐의 난이도를 평가하는 문제를 연구한다. 유전자 알고리즘이 수행되는 동안 적합도 함수가 수렴되는 시간이 길수록 퍼즐의 난이도가 높을 것이라는 가정한다. 본 논문에서는 유전자 알고리즘을 이용하여 스도쿠 퍼즐을 해결하는 알고리즘을 개발하고, 스도쿠 퍼즐 제작자들에 의해 난이도가 정해진 실제 스도쿠 퍼즐을 개발된 알고리즘으로 해결하는데 시간을 측정한다. 측정된 시간과 퍼즐 문제의 상관 관계를 분석하여 가정을 검증한다. 실험결과에서 알고리즘의 실행시간과 퍼즐의 난이도에는 유의미한 상관관계가 있음을 보였다.

A Study on the Application of Reaction Time and Detailed Security Response (신체반응시간과 근접경호 대응논리 적용에 관한 연구)

  • Lee, Choong-Soo
    • Korean Security Journal
    • /
    • no.15
    • /
    • pp.303-316
    • /
    • 2008
  • One of important protecting skill is securing the minimum safe distance from potential hazard to protect protectee in the emergency situation, that is basic thing for the detailed security in relation to the walking formation and the distance between protectee and crowed. This thesis is to provide the idea on the scientific countermeasure in the gun attack situation, by presenting logic on the reaction time and it's moving distance, on the safe distance between protectee and crowed. Handball goal keeper's reaction time of 0.33seconds is applied, because handball goal keeper's reaction style is very similar to security agent's reaction style. And 4m/sec of record is applied, that is average speed of 'go and return type run of 40m' to calculate it's moving distance. Several researches show that reaction time could be improved by continuing training, similarly security agents could improve their reaction time, providing better reaction skill. The important thing is that it make big difference in the protecting result, although the shortening of reaction time is too slight. Securing safe distance between protectee and crowed and the distance between protectee and security agent could provide effective reaction environment with 'natural protective wall effect' by security agent

  • PDF

Conjunctive Boolean Query Optimization based on Join Sequence Separability in Information Retrieval Systems (정보검색시스템에서 조인 시퀀스 분리성 기반 논리곱 불리언 질의 최적화)

  • 박병권;한욱신;황규영
    • Journal of KIISE:Databases
    • /
    • v.31 no.4
    • /
    • pp.395-408
    • /
    • 2004
  • A conjunctive Boolean text query refers to a query that searches for tort documents containing all of the specified keywords, and is the most frequently used query form in information retrieval systems. Typically, the query specifies a long list of keywords for better precision, and in this case, the order of keyword processing has a significant impact on the query speed. Currently known approaches to this ordering are based on heuristics and, therefore, cannot guarantee an optimal ordering. We can use a systematic approach by leveraging a database query processing algorithm like the dynamic programming, but it is not suitable for a text query with a typically long list of keywords because of the algorithm's exponential run-time (Ο(n2n1)) for n keywords. Considering these problems, we propose a new approach based on a property called the join sequence separability. This property states that the optimal join sequence is separable into two subsequences of different join methods under a certain condition on the joined relations, and this property enables us to find a globally optimal join sequence in Ο(n2n1). In this paper we describe the property formally, present an optimization algorithm based on the property, prove that the algorithm finds an optimal join sequence, and validate our approach through simulation using an analytic cost model. Comparison with the heuristic text query optimization approaches shows a maximum of 100 times faster query processing, and comparison with the dynamic programming approach shows exponentially faster query optimization (e.g., 600 times for a 10-keyword query).

Influence on the Understanding of the Gas Particles Behavior Concepts in 'Thinking Science' Activities of Middle School Students and Recognition on Its Activities ('생각하는 과학' 활동이 중학생들의 기체 분자 운동 개념의 이해에 미치는 영향과 그 활동에 대한 인식)

  • Lee, Sang Kwon;Kim, Seon-Young
    • Journal of Science Education
    • /
    • v.35 no.1
    • /
    • pp.68-79
    • /
    • 2011
  • The purpose of this study was to investigate the recognition of middle school students on 'Thinking Science' activities and the influence on the understanding of the gas particles behavior concepts. For this study 125 students of four classes first grade in middle school were divided into two groups, the experimental and the control group. The SRT II test was carried out to identify the cognitive level of the students. The logical factors, needed to understand of the gas particles behavior concepts, were extracted. And the 9 'Thinking Science' activities designed to develop these factors were chosen and then implemented to the students of the experimental group. After the lesson for the gas particles behaviors, the achievement test of understanding of the gas particles behavior concepts and the survey of the students' recognition on 'Thinking Science' activities were administered. According to the results of the achievement test, there was not significant difference between the two groups on the whole. But only mature concrete operational students in the experimental group got high scores than those in the control group in analyzing the effect size. According to the results of the ANCOVA analysis, there was significant difference between the two girls' group. When students in the experimental group had a positive perceptions about 'Thinking Science' activities, they got higher achievement scores. This implied that there was a correlation between perception about 'Thinking Science' activities and their achievement in the gas particles behavior concepts. Especially, students with positive perception in mature concrete operational period got higher scores in science achievement. After the 'Thinking Science' activities, there was a high perceptions about improving in scientific thinking.

  • PDF

Temporal_based Video Retrival System (시간기반 비디오 검색 시스템)

  • Lee, Ji-Hyun;Kang, Oh-Hyung;Na, Do-Won;Lee, Yang-Won
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • v.9 no.2
    • /
    • pp.631-634
    • /
    • 2005
  • Traditional database systems have been used models supported for the operations and relationships based on simple interval. video data models are required in order to provide supporting temporal paradigm, various object operations and temporal operations, efficient retrieval and browsing in video model. As video model is based on object-oriented paradigm, I present entire model structure for video data through the design of metadata which is used of logical schema of video, attribute and operation of object, and inheritance and annotation. by using temporal paradigm through the definition of time point and time interval in object-oriented based model, we can use video information more efficiently by time variation.

  • PDF

Temporal Video Modeling of Cultural Video (교양비디오의 시간지원 비디오 모델링)

  • 강오형;이지현;고성현;김정은;오재철
    • Proceedings of the Korean Institute of Information and Commucation Sciences Conference
    • /
    • 2004.05b
    • /
    • pp.439-442
    • /
    • 2004
  • Traditional database systems have been used models supported for the operations and relationships based on simple interval. video data models are required in order to provide supporting temporal paradigm, various object operations and temporal operations, efficient retrieval and browsing in video model. As video model is based on object-oriented paradigm, 1 present entire model structure for video data through the design of metadata which is used of logical schema of video, attribute and operation of object, and inheritance and annotation. by using temporal paradigm through the definition of time point and time interval in object-oriented based model, we tan use video information more efficiently by me variation.

  • PDF

Analysis of OS Timing Factor for Improving Reliability in Distributed Real-Time Systems (분산 실시간 시스템에서 신뢰성 향상을 위한 운영체제 영향 요소 분석)

  • Goo Hyun-Woo;Hong Young-Sik
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06a
    • /
    • pp.376-378
    • /
    • 2006
  • 실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정확성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간의 예측이 필요하다. 프로그램 또는 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 및 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 및 신뢰성이 만족스럽지 못한 경우가 발생한다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 특히, 확장된 정적 분석 도구의 개발을 위해 운영체제에서 발생되는 작업 실행 영향 요소 분석 과정을 설계한다 실시간 시스템에서 시간적 정확성을 만족하기 위해 스케줄링 기법이 가장 중요하고 이러한 스케줄링 기법은 운영체제 영향 요소 분석 대상 중 가장 중용한 요소이다. 이에 따라 스케줄러의 동작 과정의 정적 분석 및 우선 순위에 따른 작업의 큐 대기 시간예측을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

  • PDF

Development of CPLD technology mapping control algorithm for Sequential Circuit under Time Constraint (시간제약 조건하에서 순차 회로를 위한 CPLD 기술 매핑 제어 알고리즘 개발)

  • Youn, Chung-Mo;Kim, Jae-Jin
    • Journal of the Korean Institute of Telematics and Electronics T
    • /
    • v.36T no.4
    • /
    • pp.71-81
    • /
    • 1999
  • We propose a new CPLD(Complexity Programmable Logic Device) technology mapping algorithm improving run-time under time constraint. In our technology mapping algorithm, a given logic equation is constructed as the DAG(Directed Acyclic Graph) type, then the DAG is reconstructed by replicating the node that outdegree is more than or equal to 2. As a result, it makes delay time and the number of CLBs, run-time to be minimized. Also, after the number of multi-level is defined and cost of each nodes is calculated, the graph is partitioned in order to fit to k that is the number of OR term within CLB. The partitioned nodes are merged through collapsing and bin packing is performed in order to fit to the number of OR term within CLB(Configurable Logic Block). In the results of experiments to MCNC circuits for logic synthesis benchmark, we can shows that proposed technology mapping algorithm reduces run-time and the number of CLBs much more than the TEMPLA.

  • PDF

Layout-Aware Synthesis of Arithmetic Circuits (최종 배선을 고려한 연산 회로 합성)

  • 엄준형;김태환
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04a
    • /
    • pp.664-666
    • /
    • 2002
  • 현대의 Deep-Sumicron Technology(DSM)에서 배선은 논리 구성 요소들보다 더욱 중요한 위치를 차지 하게 되었다. 최근에, [2]는 연산 회로를 합성하기 위해 비트 단위의 최적 지연시간의 partial product reduction tree(PPRT)를 생성하는 방법을 제시하였고, 이는 현재의 최적 지연시간을 갖는 회로를 능가한다. 그러나, [2]를 포함하는 기존의 합성방법에서는, 합성의 복잡함이나, 배선에서 발생하는 여러가지 예상치 못하는 문제등으로 인하여 최종 배선을 고려하지 못하는 회로를 생성하며, 이는 길고 복잡하며, 특정한 부분에 밀집 되어 있는 배선을 형성하는 결과를 낳게 된다. 이러한 제한점을 극복하기 위하여, 우리는 carry-save-adder(CSA)를 이용한 새로운 모듈 함성 알고리즘을 제시한다. 이는 단지 상위 단계에서의 회로의 지연시간만을 고려한 알고리즘이 아니라, 이후의 배선을 고려하여 최종 배선에서 규칙적인 배선 토폴로지를 생성한다.

  • PDF