• Title/Summary/Keyword: 공간논리

Search Result 381, Processing Time 0.023 seconds

Gate Sizing Of Multiple-paths Circuit (다중 논리경로 회로의 게이트 크기 결정 방법)

  • Lee, Seungho;Chang, Jongkwon
    • KIPS Transactions on Computer and Communication Systems
    • /
    • v.2 no.3
    • /
    • pp.103-110
    • /
    • 2013
  • Logical Effort [1, 2] is a simple hand-calculated method that measures quick delay estimation. It has the advantage of reducing the design cycle time. However, it has shortcomings in designing a path for minimum area or power under a fixed-delay constraint. The method of overcoming the shortcomings is shown in [3], but it is constrained for a single logical path. This paper presents an advanced gate sizing method in multiple logical paths based on the equal delay model. According to the results of the simulation, the power dissipation for both the existing logical effort method and proposed method is almost equal. However, compared with the existing logical effort method, it is about 52 (%) more efficient in space.

Basic Study on Logical Model Design of Underground Facilities for Waterworks (상수도 지하시설물의 논리적 모델 설계에 관한 기초 연구)

  • Jeong, Da Woon;Yu, Seon Cheol;Min, Kyung Ju;Lee, Ji Yeon;Ahn, Jong Wook
    • Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
    • /
    • v.38 no.6
    • /
    • pp.533-542
    • /
    • 2020
  • This study proposes the logical data model design of a spatial data model that complies with international standards for the waterworks of underground facilities. We conduct a preliminary study related to underground spatial data standards and data models, and review the status of the existing systems. Then, we defined the conceptual design direction of underground spatial data model based on the problems and issues. Next, we defined the terminology, classification, semantic relationships of waterworks. Next, for the conceptual design of the underground spatial data model, we defined the naming criteria for all data according to the waterworks classification. In addition, a logical model is drawn and described using UML (Unified Modeling Language) diagrams. Based on the results, it is expected that the accuracy related to underground facilities data will be improved.

A Study of symbols based on characteristics of kind of garden space -Focusing on the target area of the artist's garden exhibited at the Seoul Garden Fair in 2017- (정원 공간 유형의 특성에 근거한 기호화 연구 -2017년 서울 정원박람회에 출품된 작가정원의 대상지를 중심으로-)

  • Kim, Da Kyung;Jun, Hyung Soon;Yoo, Taek Sang;Wang, Kyung Hee
    • Journal of the Korean Society of Floral Art and Design
    • /
    • no.40
    • /
    • pp.97-123
    • /
    • 2019
  • The purpose of this study is to analyze the spatial characteristics of the unit of garden and to classify and symbolize it, to provide the basis for analyzing the works based on the characteristics of the space and to provide the data that can become the logical foundation for garden design. The research method first analyzed the behavioral scene analysis and the grounded theory methodology as the theory about the space type. It controls the subjectivity of the researcher and derives the characteristics of the space for the garden image based on the experiential knowledge of the expert, It is a qualitative analysis method that aims to increase credibility. The actual case target was the author garden which was exhibited at the 2017 Seoul Garden Expo. Through this process, we have simplified the characteristics of the space and the positives and negatives accordingly. We have grasped the relationship between spatial space, sculptural space, architectural space, and environmental space.. Research on qualitative topics such as the characteristics of space can not completely exclude the subjectivity of the researcher in terms of its characteristics, but such research can provide a rationale for interpreting and evaluating the gardens that depend on the individual's taste.. It can also contribute to the development of the field by providing reference materials for garden designs that rely on designer intuition, or by providing a logical basis for design.

A Study on the Application of Fuzzy membership function in GIS Spatial Analysis - In the case of Evaluation of Waste Landfill - (GIS 공간분석에 있어 Fuzzy 함수의 적용에 관한 연구 -쓰레기 매립장 적지분석을 중심으로-)

  • Lim, Seung-Hyeon;Hwang, Ju-Tae;Park, Young-Ki;Lee, Jang-Choon
    • Journal of Korean Society for Geospatial Information Science
    • /
    • v.15 no.2 s.40
    • /
    • pp.43-49
    • /
    • 2007
  • In this study, a GIS spatial analysis method adopted fuzzy concept was introduced and land suitability analysis of waste landfill were conducted through this method. Previous studies conducted site evaluation and land suitability analysis by appling spatial overlay of conventional GIS that based on the boolean logic of crisp set. However these method can not consider the uncertainty of spatial data and the incongruity of data classification criteria, because these method handle spatial data based on the boolean logic of crisp set. As not provided trustable analysis result, conventional GIS spatial overlay method lacks opportunity for expanding use in reality. This study selected waste landfill as facility for analysis and applied fuzzy spatial analysis method as an objective approach. In the concrete contents of study, a series process with regard to the definition procedure of membership function for continuous data and the fuzzy input value generation of spatial data for fuzzy analysis is established. As a result, in this study we proposed a method that derive parameters for deciding the membership function of spatial data by considering the criterion of data classification and factor selection for land suitability analysis of waste landfill.

  • PDF

The Site Analysis for Crop Cultivation Using GIS-Based AHP Method (GIS 기반 AHP 기법을 이용한 작물재배 적지분석)

  • Kim, Tae Jun;Lee, Geun Sang
    • KSCE Journal of Civil and Environmental Engineering Research
    • /
    • v.26 no.4D
    • /
    • pp.695-702
    • /
    • 2006
  • In GIS-based Spatial Decision-making Support System (SDSS), the Boolean logic by conventional simple overlay method contains two problems. One is losing lots of information in analysis process, the other is unable to reflect of weighting values between evaluated items. Therefore, evaluation system as Analytic Hierarchy Process (AHP) needs to improve these problems effectively. The purpose of this study is to provide the benefit of AHP method and GIS spatial analysis in site analysis for crop cultivation. First, the weighting value of AHP for topography, distribution grade of water, property of soil and slope items are evaluated throughout survey to experts of soil, crop and agricultural management fields. On the basis of these weighting value of AHP by items, site suitability analysis for black raspberry cultivation is performed. To estimate the benefit of AHP method, the current cultivating map of black raspberry is constructed in Ssangchi-myeon district. In comparison with site analysis of Boolean logic, site analysis of AHP method shows more realistic.

Forty years of the Outer Space Treaty : the problem inherent in governing the weaponization of the outer space (우주조약 체결 40년 : 우주의 군사적 이용 규율 문제)

  • Shin, Hong-Kyun
    • The Korean Journal of Air & Space Law and Policy
    • /
    • v.23 no.2
    • /
    • pp.207-223
    • /
    • 2008
  • The launching of the Taepo-dong 1 on 31 August 1998 by the North Korea was the first case where the diplomatic protests was made against the flight, the purpose of which, the launching State claimed, consisted in space exploration and use. It is the principle regarding the freedom of space exploration and use, as included in the international treaty, that is relevant in applying the various rules and in defining the legal status of the flight. Its legal status, however, was not actually taken into account, as political negotiations leading to the test moratorium has been successful until present day in freezing the political crisis. This implies that the rules of the law lack the validity and logic sufficient in dictating the conduct of the States. This case shows that, in effect, it is not the rule but the politics that is to govern the status of the flight.

  • PDF

A Power Estimation Model for Arithmetic and Logic Instructions of Embedded Microprocessors (임베디드 마이크로프로세서에서 산술 및 논리 명령어에 대한 전력 예측 모델)

  • Shin Dong-Ha;Kang Kyung-Hee
    • Journal of the Korea Institute of Information and Communication Engineering
    • /
    • v.10 no.8
    • /
    • pp.1422-1427
    • /
    • 2006
  • In order to estimate the power consumed by an embedded microprocessor during an execution of software, we measure and utilize the current consumed by the processor during the execution of each instruction. In this paper, we measure and analyse the current consumed by the microprocessor adc16s310 during the execution of arithmetic and logic instructions, and propose a power estimation model which estimates the current for all instruction executions precisely by using a small numbers of current measurements. The proposed model can estimate the current with an average 0.34% error by using only 5.84% of total current measurements for arithmetic and logic instructions of the processor.

A Design and Implementation of Spatial Database System Supporting Integrity maintenance Facility (무결성 유지 기능을 지원하는 공간 데이터베이스시스템의 설계 및 구현)

  • Lee, Young-Geol;Bae, Hae-Young
    • The Transactions of the Korea Information Processing Society
    • /
    • v.5 no.9
    • /
    • pp.2224-2232
    • /
    • 1998
  • 본 논문은 공간데이터와 비공간 데이터를 연계 처리하는 공간 데이터베이스 시스템에서 데이터의 의미적 무결성을 보장하는 확장된 공간 질의 처리 시스템의 구현에 대해 기술한다. 다양한 실세계의 지형 및 공간 정보를 모델링해야하는 지리정보 시스템은 공간 데이터베이스 시스템을 기반으로 구현되고 있다. 이러한 공간 데이터베이스 시스템에서 다루는 데이터는 단순 객체가 아닌 추상화된 복합 객체로 다양한 유도 데이터에 대한 의미적 무결성을 데이터베이스 시스템 내부에서 효율적으로 유지해야 하며 공간 데이터의 의미적 특성을 제약 조건의 형태로 표현할 수 있어야 한다. 본 논문에서는 공간 질의 처리기를 확장하기 위해 공간 데이터에 대한 무결성 정보를 술어 논리 형태로 표현할 수 있는 공간 제약 언어를 제안한다. 제안된 공간 제약 언어는 축약된 질의 트리 형태로 메타-데이터베이스에 저장하며 저장된 공간 제약 언어는 사용자의 질의에 대해 공간 데이터베이스의 일치성을 보장하는 정보로 사용된다.

  • PDF

Joint Authoring in Distributed Multimedia Environments (분산 멀티미디어 환경에서의 공동 저작)

  • 성미영
    • Proceedings of the Korea Database Society Conference
    • /
    • 1995.12a
    • /
    • pp.117-126
    • /
    • 1995
  • 본 논문에서는 분산 환경에서 멀티미디어 문서를 공동 저작하는 시스템을 설계하는 데 있어서 고려해야 할 요구 사항들을 분석하였다. 또한 이들 요구 사항을 만족시키는 문서 구조 DMDA (Distributed Multimedia Document Architecture)의 기본 개념을 소개하였다. DMDA는 논리 구조 지향적이다. 표현 객체와 상대공간 합성의 도움으로 동적인 재배치가 가능하다. 또한 사용자 관점에 따를 문서 출력이 가능하고 버전 관리가 쉬운 구조로 되어 있다. 공동 작업 중에 문서 위에 행해진 표시나 주석은 표시객체에 담겨 분산된다 분산 멀티미디어 환경에서 문서를 편집 또는 공동 저작하는 시스템은 분산 객체들을 조합하여 하나의 문서를 만들 수 있기 위하여 논리 구조 지향적이고 구조 편집 지향적이어야 한다.

  • PDF

Pattern Recognition Using BP Learning Algorithm of Multiple Valued Logic Neural Network (다치 신경 망의 BP 학습 알고리즘을 이용한 패턴 인식)

  • 김두완;정환묵
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2002.12a
    • /
    • pp.502-505
    • /
    • 2002
  • 본 논문은 다치(MVL:Multiple Valued Logic) 신경망의 BP(Backpropagation) 학습 알고리즘을 이용하여 패턴 인식에 이용하는 방법을 제안한다. MVL 신경망을 이용하여 패턴 인식에 이용함으로서, 네트워크에 필요한 시간 및 기억 공간을 최소화할 수 있고 환경 변화에 적응할 수 있는 가능성을 제시하였다. MVL 신경망은 다치 논리 함수를 기반으로 신경망을 구성하였으며, 입력은 리터럴 함수로 변환시키고, 출력은 MIN과 MAX 연산을 사용하여 구하였고, 학습을 하기 위해 다치 논리식의 편 미분을 사용하였다.