• Title/Summary/Keyword: Logical Property

Search Result 42, Processing Time 0.023 seconds

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

  • Chung, Gun-Hee;Chung, Chang-Do;Yun, Byung-Ju;Lee, Joon-Jae;Park, Kil-Houm
    • Journal of Korea Multimedia Society
    • /
    • v.15 no.2
    • /
    • pp.204-214
    • /
    • 2012
  • This paper proposes an image segmentation for a vision-based automated defect inspection system on surface image of TFT-LCD(Thin Film Transistor Liquid Crystal Display) panels. TFT-LCD images have non-uniform brightness, which is hard to finding defective regions. Although there are several methods or proposed algorithms, it is difficult to divide the defect with high reliability because of non-uniform properties in the image. Kamel and Zhao disclosed a method which based on logical stage algorithm for segmentation of graphics and character. This method is a one of the local segmentation method that has a advantage. It is that characters and graphics are well segmented in an image which has non-uniform property. As TFT-LCD panel image has a same property, so this paper proposes new algorithm to segment regions of defects based on Kamel and Zhao's algorithm. Our algorithm has an advantage that there are a few ghost objects around the defects. We had experiments to prove performance in real TFT-LCD panel images, and comparing with the FFT(Fast Fourier Transform) method which is used a bandpass filter.

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

  • 지윤규
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.41 no.5
    • /
    • pp.1-7
    • /
    • 2004
  • A regular logical topology requires little processing time for routing purposes which may be a desirable property for high-speed networks. Asymmetric bilayered ShuffleNet, proposed by us as a logical topology, can be used to a wavelength division multiplexing ring network to increase the network capacity compared to ShuffleNet. In this paper, asymmetric bilayered ShuffleNet is imbedded on a wavelength division multiplexing ring with the objective of minimizing the total number of wavelengths assigned.

Implicative filters of lattice implication algebras

  • Jun, Young-Bae
    • Bulletin of the Korean Mathematical Society
    • /
    • v.34 no.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

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

  • Kim J-H;Um M-K;Byun J-H;Lee S-K;Jeon Y-J
    • Proceedings of the Korean Society For Composite Materials Conference
    • /
    • 2004.10a
    • /
    • 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- (실내공간구성의 가변적 표현특성에 관한 연구 -수학적 배열원리를 중심으로-)

  • 이주현;신홍경
    • Korean Institute of Interior Design Journal
    • /
    • no.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 (디지털 맵 기반 사고특성 분석을 통한 자전거 사고 논리 위험존 설정 연구)

  • Sung, Kwang-mo;Kim, Ki-cheol;Lee, Choul-ki;Kim, Sung-jin;Lee, Jung-uck
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.16 no.1
    • /
    • pp.117-130
    • /
    • 2017
  • Bicycles are leading to serious accidents in the event of a side collision, and it is very important to prevent accidents in advance because it is difficult to actively deal with them in a dangerous situation. As a part of the bicycle safety driving support technology, this study establishes bicycle accidents dangerous zone based on bicycle accident data and road property information of digital map nationwide and provides timely safety information to cyclists. The point selected by using actual accident data was called 'dangerous zone', and the potential accident occurrence point generated by modeling based on this 'dangerous zone' was called 'logical dangerous zone'. As a result of the research on the Designation of Logical Bicycle Accident Dangerous Zone, the regional specificity of the bicycle accident points across the nation was generalized to the form of the logical dangerous zone through the network data.

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

  • Hur, Jay-hunn
    • Journal of Korean Philosophical Society
    • /
    • v.130
    • /
    • pp.381-414
    • /
    • 2014
  • This paper aims to elaborate on the foundation of the colonialism, which comes from Natural Laws by John Locke and the extermination of the indigenous. John Locke develops his political doctrines considering Natural Laws as the logical, metaphysical supposition. He assumes Natural Laws to be the logical presupposition, but is interested in North America. This is evidently seen in his works according to research outcomes. His 'possessive individualism' discusses exclusion and extermination, on the bound of natural laws and natural state. The person without possessive rights is excluded, the people without effective farming is forfeited. Then acculturation is the justifying of slavery and suggestive of extermination. In the possessive individualism of bourgeois society, that is, private property, man is annulled aboard. That is colonialism comes from, which destroys all the cultures but its own cultures. It is Locke who is the first thinker of the imperial. In the thought of Locke found we in profane terminology projected for the world imperial. After Locke, colonialism has been appeared in the guise of racism in the eighteen century, especially in the universal history of system of philosophy, sometimes in the face of orientalism on all sides. The ideas of colonialism and imperialism have been absolutely for the West. In the totally administered society nowadays, the hope of redemption has been made impossible from the origin. From the beneath, operated and practiced the program of deletion of race, its ethnic cleansing is a mere case. Locke's thought for the human rights is consisted of property and freedom in mankind, but it ground baits for its bloodied symposium with words and consults. 'Our word is our weapon', this is wording of one ethnic that is in nearing extermination.

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

  • Kwak, Jung-Ae;Yong, Hwan-Seung
    • Journal of KIISE:Databases
    • /
    • v.36 no.6
    • /
    • pp.466-475
    • /
    • 2009
  • Considerable research in the field of ontology mapping has been done when information sharing and reuse becomes necessary by a variety of ontology development. Ontology mapping method consists of the lexical, structural, instance, and logical inference similarity computing. Lexical similarity computing used in most ontology mapping methods performs an ontology mapping by using the synonym set defined in the WordNet. In this paper, we define the Super Word Set including the hypenym, hyponym, holonym, and meronym set and propose an ontology mapping method using the Super Word Set. The results of experiments show that our method improves the performance by up to 12%, compared with previous ontology mapping method.

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

  • Jeon, Young-Sik
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.7 no.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.06a
    • /
    • 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