• 제목/요약/키워드: Logical Property

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

TFT-LCD 패널 검사를 위한 지역적 분별에 기반한 결함 영역 분할 알고리즘 (Segmentation of Defective Regions based on Logical Discernment and Multiple Windows for Inspection of TFT-LCD Panels)

  • 정건희;정창도;윤병주;이준재;박길흠
    • 한국멀티미디어학회논문지
    • /
    • 제15권2호
    • /
    • pp.204-214
    • /
    • 2012
  • 본 논문은 비전장비의 결함 검사 시스템을 위한 불균일한 휘도분포를 가지는 TFT-LCD 영상에서 결함 영역을 분할하는 방법을 다룬다. 불균일한 휘도분포 때문에 결함의 영역을 찾기 어려우며 이를 위해 많은 방법들이 제안되었다. Kamel과 Zhoa는 문자 및 그래픽의 분할을 위해 논리적 단계화 방법을 제안하였고, 이 방법은 공간상에서 수행되어지는 지역적 분할 방법으로 불균일한 분포 상에서도 문자가 잘 분할되는 장점이 있다. TFT-LCD의 저해상도 영상도 배경의 분포가 불균일하여 본 논문에서는 Kamel과 Zhoa의 방법을 답습하여 새로운 결함 영역 분할 방법을 제안한다. 제안한 방법은 결함주위에 발생하는 과검출(Ghost object)이 적은 장점이 있으며 제안 방법의 성능을 증명하기위해 실제 결함이 존재하는 TFT-LCD 영상을 이용하여 실험하고, 주파수상에서 많이 사용되는 FFT의 밴드패스 필터를 이용한 분할 방법과 비교하였다.

비대칭 이중층 셔플넷 토폴로지를 이용한 파장분할다중화 링 (Wavelength Division Mutiplexing Ring using Asymmetric Bilayered ShuffleNet)

  • 지윤규
    • 대한전자공학회논문지SD
    • /
    • 제41권5호
    • /
    • pp.1-7
    • /
    • 2004
  • 규칙적인 논리적 연결방법을 이용하면 노드에서 라우팅을 위한 프로세싱 시간이 단축되므로 고속의 네트워크에 적용이 가능하다. 규칙적인 논리적 연결방법의 하나인 셔플넷은 일반적으로 p개의 직접 연결이 다른 노드들과 이루어진다. 그러나 우리가 제안한 비대칭 이중층 셔플넷 토폴로지를 이용하면 2p개의 노드들과 직접 연결되므로 더욱 용량이 증대된 파장분할방식 링을 설계할 수 있다. 이 비대칭 이중층 셔플넷 토폴로지를 이용하여 파장분할방식 링에 파장을 할당하는 방법을 본 논문에서 연구하였다. 필요한 파장수를 최소화하는 것을 목표로 네트워크를 최적화하였다.

Implicative filters of lattice implication algebras

  • Jun, Young-Bae
    • 대한수학회보
    • /
    • 제34권2호
    • /
    • pp.193-198
    • /
    • 1997
  • In order to research the logical system whose propositional value is given in a lattice, Y. Xu [4] proposed the concept of lattice implication algebras, and discussed their some properties in [3] and [4]. Y. Xu and K. Qin [5] introduced the notions of filter and implicative filter in a lattice implication algebra, and investigated their properties. In this paper, in the first place, we give an equivalent condition of a filter, and provide some equivalent conditions that a filter is an implicative filter in a lattice implication algebra. By using these results, we construct an extension property for implicative filter.

  • PDF

FPS 공정에 의한 열경화성 복합재 유효성 검증 연구 (A Study on Property of Thermoset Composite in FPS Process)

  • 김진현;엄문광;변준형;이상관;전영준
    • 한국복합재료학회:학술대회논문집
    • /
    • 한국복합재료학회 2004년도 추계학술발표대회 논문집
    • /
    • pp.241-245
    • /
    • 2004
  • Among the various manufacturing processes of composites, the tape lay-up process of thermoset prepreg has many advantages compared to autoclave or hot press forming. It has a high potential to process automation and continuous fabrication .. Fiber placement developed as a logical combination of filament winding and automated tape placement to overcome some of the limitations of each manufacturing method. Fiber placement uses a compaction device to apply direct contact between the incoming materials in the fiber placement head and Heat is added to the materials at the nip point of the compaction roller. This paper will discuss property of thermoset composite as compaction and heat effect in Automated fiber placement

  • PDF

실내공간구성의 가변적 표현특성에 관한 연구 -수학적 배열원리를 중심으로- (A Study on the Characteristics of Flexibility in Interior Architectural Composition -focused on Mathematical Arrangement Organization-)

  • 이주현;신홍경
    • 한국실내디자인학회논문집
    • /
    • 제21호
    • /
    • pp.10-16
    • /
    • 1999
  • Mathematics is considered to the beginning of designing thinking because of the sense of logical order system. In this study, it was regarded the mathematics as the logic and the measurement of design system. as is often the case in history, mathematics, it is regard as conceptual model of architectural though, as aesthetic proportional measure and the mirror of thought. The direction of this study is rather multi-sided approaching to the spatial concept than one-sided plane. It is multi-acceptable way to apply mathematical principle to the pace and to be a flexible one. And boundary of interpretation of the flexibility means potential use-ability, and the strictly meaning of flexibility means that the acception of the various Secession and the Change of space. And the various interpretation of the flexibility only can expressed in the relation of opposite concept: the assembly and the disassembly, the expand and the decease, the open and the close and the construct and the de-construct. Mathematics provide the resonable way in architectural thinking and endow the order as logical organizatiov. Regarding these facts, this research is for making it possible to consider the expression property of interior space combination as the way of understanding the accepting of the changes of the times with the mathematical induction, using the rational method like the mathematical arrangement organizatiov.

  • PDF

디지털 맵 기반 사고특성 분석을 통한 자전거 사고 논리 위험존 설정 연구 (Designation of Logical Bicycle Accident Dangerous Zone by Digital Map-Based Accident Characteristics Analysis)

  • 성광모;김기철;이철기;김성진;이정욱
    • 한국ITS학회 논문지
    • /
    • 제16권1호
    • /
    • pp.117-130
    • /
    • 2017
  • 자전거는 측면 충돌 사고 시 대형사고로 이어지고 있으며 위험상황 시 적극적인 대처가 어렵기 때문에 사고를 사전에 예방하는 것이 매우 중요하다. 본 연구는 자전거 안전운전 지원기술의 일환으로 전국의 자전거 사고 데이터와 수치지도(Digital Map)의 도로속성 정보를 기반으로 자전거 사고 위험존을 설정하고 이를 활용하여 자전거 이용자에게 시의적절한 안전정보를 제공할 수 있도록 하는 방안을 연구하였다. 실제 사고 데이터를 이용해 선정한 지점을 '위험존'이라 하였고, 이러한 위험존을 바탕으로 모델화 하여 생성한 잠재적 사고발생 예상지점을 '논리위험존'이라 하였다. 본 연구에서 도출된 자전거 사고 논리 위험존 설정 연구 결과는 전국의 자전거 사고지점의 지점별 특수성을 네트워크 데이터를 통해 논리위험존 형태로 일반화 하였다는데 의미가 있다.

식민주의의 기초 : 존 로크와 아메리카, 인디헤나의 수난사 (The Foundation of the Colonialism: John Locke, America, and the tragic History of the Indigenous)

  • 허재훈
    • 철학연구
    • /
    • 제130권
    • /
    • pp.381-414
    • /
    • 2014
  • 이 논문은 로크의 자연법 이론과 인디헤나의 절멸에서 비롯된 식민주의의 기초를 밝히려 한다. 로크는 자연법을 철학적 전제로 설정하여 자신의 정치이론을 전개하는 것처럼 보인다. 그러나 로크는 북아메리카 지역의 식민지 건설에 참여한 경험을 바탕으로 자연법 이론을 전개했다. 로크의 '소유적 개인주의 입장'은 자연상태와 자연법의 상호관계를 토대로, 배제와 절멸의 논리를 펼친다. 소유권을 지니지 않은 사람을 배제하고, 토지를 효율적으로 경작하지 않는 사람들의 소유권을 빼앗고, 이를 토대로 노예제를 정당화하고 절멸의 논리를 펼친다. 부르주아의 문화가 아닌 모든 문화를 파괴하는 식민주의는 바로 여기에서 비롯된다. 로크는 이를 처음으로 세속적으로 전개한 최초의 사상가이다. 로크 이후에 식민주의는 18세기에는 인종주의로, 헤겔에게는 보편사의 착종으로, 다종한 문화권에서는 '오리엔탈리즘'으로 계속 판형을 거듭했다. 18세기 서양의 '철학사'가 보편사로 확고하게 자리잡으면서 사상과 이론은 서구 일변도의 식민주의와 제국주의의 보편사가 상식으로 통용되었다. 그러나 그 이면에는 제노사이드를 비롯한 인종의 절멸이라는 역사적 과정과 그 철학적 정당화가 잠복해 있었다.

워드넷의 의미 관계 집합을 이용한 온톨로지 매핑 (Ontology Mapping using Semantic Relationship Set of the WordNet)

  • 곽정애;용환승
    • 한국정보과학회논문지:데이타베이스
    • /
    • 제36권6호
    • /
    • pp.466-475
    • /
    • 2009
  • 다양한 온톨로지 개발로 온톨로지간에 정보공유와 재사용이 필요하게 되면서 온톨로지 매핑에 관련된 연구가 활발이 이루어지고 있다. 온톨로지 매핑 기법으로는 어휘 유사성, 구조 유사성, 인스턴스 유사성, 추론 유사성 검사 기법으로 나누어진다. 이 중 어휘 유사성 검사 기법은 대부분의 온톨로지 매핑 연구에서 사용하는 기법으로써 주로 워드넷에 정의되어 있는 동의어 집합만을 사용한다. 이에 본 연구에서는 워드넷에 정의되어 있는 동의어 집합 외에 상위어, 하위어, 전체어, 부분어 집합의 모든 단어들을 포함한 수퍼워드셋을 정의하고, 이것을 이용한 온톨로지 매핑 기법을 제안한다. 실험 결과에 의하면, 제안된 기법은 기존 온톨로지 매핑 기법보다 평균 12%까지 온톨로지 매칭율을 높인 것을 보여준다.

전극길이 변화에 따른 실린더 형태 ER밸브의 성능고찰 (Performance Investigation of Cylindrical-Type ER Valves With Different Electrode Length)

  • 전영식
    • 한국생산제조학회지
    • /
    • 제7권6호
    • /
    • pp.1-11
    • /
    • 1998
  • This paper presents performance analyses of three types of the cylindrical-type ER(electro-rheo-logical) valves, which have different electrode length and width but same electrode area. Following the composition of silicone oil-based ER fluid, the field-dependent yield stresses are obtained from experimental investigation on the Bingham property of the ER fluid. The ER valve which is dependent on the applied electric field is devised and its theoretical model is derived. On the basis of the pressure-drop analysis, three types of the ER valves are designed and manufactured. After experimentally evaluation field-dependent pressure drops, PI controller is formulated to achieve tracking control on desired pressure drop. The controller is then experimentally implemented and tracking control performance is presented in order to demonstrate superior controllability of the ER valve. In addition, the response characteristic of the ER valve with respect to the excitation frequency of the electric fiedls is provided to show the feasibility of practical application.

  • PDF

Minimum Variance FIR Smoother for Model-based Signals

  • Kwon, Bo-Kyu;Kwon, Wook-Hyun;Han, Soo-Hee
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2005년도 ICCAS
    • /
    • pp.2516-2520
    • /
    • 2005
  • In this paper, finite impulse response (FIR) smoothers are proposed for discrete-time systems. The proposed FIR smoother is designed under the constraints of linearity, unbiasedness, FIR structure, and independence of the initial state information. It is also obtained by directly minimizing the performance criterion with unbiased constraints. The approach to the MVF smoother proposed in this paper is logical and systematic, while existing results have heuristic assumption, such as infinite covariance of the initial state. Additionally, the proposed MVF smoother is based on the general system model that may have the singular system matrix and has both system and measurement noises. Thorough simulation studies, it is shown that the proposed MVF smoother is more robust against modeling uncertainties numerical errors than fixed-lag Kalman smoother which is infinite impulse response (IIR) type estimator.

  • PDF