• Title/Summary/Keyword: Horizontal Logic

Search Result 43, Processing Time 0.024 seconds

A study on the development of an arc sensor and its interface system for a welding robot (용접로봇을 위한 아크센서 및 인?이스 시스템 개발에 관한 연구)

  • 배강열;이지형;정창욱
    • Journal of Welding and Joining
    • /
    • v.16 no.3
    • /
    • pp.129-140
    • /
    • 1998
  • An interface system was developed to offer the welding capability to a robot controller which had not any embedded function for arc welding before, and also an arc sensor algorithm was proposed for weld seam tracking of the welding robot. For the interface system between the robot controller and welding equipments, data communication software and interface connections were composed. The interface system was mae to correspond welding condition, correction data, operation sequence and current status with the robot controller by mutual had shaking and digital signal transfer. Graphic user interface program developed under the environment of windows made it easy to monitor data communication and operation status, and to control welding and sensing sequence. Arc sensing algorithm proposed in this study to compensate torch position error was based on a fuzzy logic with the variables of current difference and current differenced change at torch weaving extremities. The developed interface system could be successfully implemented in between welding equipments and the robot controller, and showed normal status and exact function in data and signal communication between the systems. The whole robot welding system was then examined to verify its welding and seam tracking capabilities in horizontal fillet, vertical fillet, and 3-dimensional fillet weldment. The experiments revealed sound weld bead shapes and also good seam tracing results.

  • PDF

Early Wittgenstein's Criticism of Frege's Theory of Meaning (전기 비트겐슈타인의 프레게 의미이론 비판)

  • Park, Jeong-Il
    • Korean Journal of Logic
    • /
    • v.16 no.3
    • /
    • pp.347-380
    • /
    • 2013
  • In this paper I will try to show how Wittgenstein criticized Frege's theory of meaning. Frege's theory of meaning can be compressed as sense-reference theory. Frege distinguishes between sense and reference on all the linguistic expressions. In particular, he regards that a sentence has sense and reference. This distinction was raised from, so to speak, the problem of identity sentences. Wittgenstein's "fundamental thought" of Tractatus Logico-Philosophicus is the key of his direct criticism of Frege's sense-reference theory. That is, it is an attack on Frege's thought that the reference of a sentence is a truth value and truth values are "objects themselves" (in Frege's meaning). According to Wittgenstein, such an object does not exist and according to his picture theory, the function of a name and that of a proposition are fundamentally different. By the way, Frege can reply justly to this criticism that it is insufficient. In short, Frege's 'sense' and 'reference' etc, are the technical terms. Hence Wittgenstein's decisive criticism of Frege's theory consists in accusing his theory of logical flaws. There is an another route to the sense and reference of a sentence which Frege introduces. In discourses of judgement stroke and content stroke in his Begriffsshrift and in those of horizontal stroke since his "Function and Concept", Frege deals with the sense and reference of a sentence. Wittgenstein criticize that the sense of a complex sentence such as ~p would by no means be determined by Frege's determination.

  • PDF

An analysis of Dental Hygine Curriculum in Three Countries (한 . 미 . 일 치위생사 양성기관의 교과과정 비교)

  • 권현숙;최병옥
    • Korean Journal of Health Education and Promotion
    • /
    • v.17 no.1
    • /
    • pp.185-213
    • /
    • 2000
  • The purpose of this study is to analyze and compare dental hygine curriculum of three countries--Korea, U.S.A., and Japan--, focusing on the ways of organizing content. In this study, 30 curriculum documents of dental hygienist in U.S., Japan, and Korea were analyzed and discussed by a framework of analysis which was constructed referring to Tylerian curriculum model. Using this framework, three kinds of key components of curriculum document were compared according to specific elements of each component. More specifically, comparing those curriculum documents, we must consider the dimension of content organization. In this study, the problem of course organization was viewed on three dimensions: continuity, sequence, and integration of curriculum content. Based on the results of this study, the conclusions are as follows. 1. Courses of dental hygienist education should be organized so that the curriculum foster the cumulative and continuous learning. It will be accomplished by considering the essential procedures or sequence of dental hygiene activities. 2. When organizing curriculum elements, we should consider the continuity dimension of learning content. Continuity deals with the vertical manipulation or repetition of curriculum components. In other words, it accounts for the reappearance in the curriculum of certain major ideas or skills. Therefore, courses should be based on the level of the dental hygienist activities in order to ensure a continuity of learning experiences. 3. Dental hygienist curriculum must be organized in a way to integrate the logic of dental hygiene as a discipline with the process of dental hygiene performance. Integration refers to the linking of all types of knowledge and experiences contained within the curriculum design. It emphasizes horizontal relations among various content topics and themes involving all domains of knowledge recognized. Thus, courses of dental hygiene curriculum should be integrated to allow college students to obtain a unified view of knowledge and an in-depth meaning of the dental hygiene as a profession.

  • PDF

Design of Luma and Chroma Sub-pixel Interpolator for H.264 Motion Estimation (H.264 움직임 예측을 위한 Luma와 Chroma 부화소 보간기 설계)

  • Lee, Seon-Young;Cho, Kyeong-Soon
    • The KIPS Transactions:PartA
    • /
    • v.18A no.6
    • /
    • pp.249-254
    • /
    • 2011
  • This paper describes an efficient design of the interpolation circuit to generate the luma and chroma sub-pixels for H.264 motion estimation. The circuit based on the proposed architecture does not require any input data buffering and processes the horizontal, vertical and diagonal sub-pixel interpolations in parallel. The performance of the circuit is further improved by simultaneously processing the 1/2-pixel and 1/4-pixel interpolations for luma components and the 1/8-pixel interpolations for chroma components. In order to reduce the circuit size, we store the intermediate data required to process all the interpolations in parallel in the internal SRAM's instead of registers. We described the proposed circuit at register transfer level and verified its operation on FPGA board. We also synthesized the gate-level circuit using 130nm CMOS standard cell library. It consists of 20,674 gates and has the maximum operating frequency of 244MHz. The total number of SPSRAM bits used in our circuit is 3,232. The size of our circuit (including logic gates and SRAM's) is smaller than others and the performance is still comparable to them.

Learning of Rules for Edge Detection of Image using Fuzzy Classifier System (퍼지 분류가 시스템을 이용한 영상의 에지 검출 규칙 학습)

  • 정치선;반창봉;심귀보
    • Journal of the Korean Institute of Intelligent Systems
    • /
    • v.10 no.3
    • /
    • pp.252-259
    • /
    • 2000
  • In this paper, we propose a Fuzzy Classifier System(FCS) to find a set of fuzzy rules which can carry out the edge detection of a image. The FCS is based on the fuzzy logic system combined with machine learning. Therefore the antecedent and consequent of a classifier in FCS are the same as those of a fuzzy rule. There are two different approaches, Michigan and Pittsburgh approaches, to acquire appropriate fuzzy rules by evolutionary computation. In this paper, we use the Michigan style in which a single fuzzy if-then rule is coded as an individual. Also the FCS employs the Genetic Algorithms to generate new rules and modify rules when performance of the system needs to be improved. The proposed method is evaluated by applying it to the edge detection of a gray-level image that is a pre-processing step of the computer vision. the differences of average gray-level of the each vertical/horizontal arrays of neighborhood pixels are represented into fuzzy sets, and then the center pixel is decided whether it is edge pixel or not using fuzzy if-then rules. We compare the resulting image with a conventional edge image obtained by the other edge detection method such as Sobel edge detection.

  • PDF

A Study on Simple chip Design that Convert Improved YUV signal to RGB signal (개선된 YUV신호를 RGB신호로 변환하는 단일칩 설계에 관한 연구)

  • Lee, Chi-Woo;Park, Sang-Bong;Jin, Hyun-Jun;Park, Nho-Kyung
    • Journal of IKEEE
    • /
    • v.7 no.2 s.13
    • /
    • pp.197-209
    • /
    • 2003
  • A current TV out format is quite different from that of HDTV or PC monitor in encoding techniques. In other words, a conventional analog TV uses interlaced display while HDTV or PC monitor uses Non-interlaced / Progressive-scanned display. In order to encode image signals coming from devices that takes interlaced display format for progressive scanned display, a hardware logic in which scanning and interpolation algorithms are implemented is necessary. The ELA(Edge-Based Line Average) algorithm have been widely used because it provided good characteristics. In this study, the ADI(Adaptive De-interlacing Interpolation) algorithm using to improve the ELA algorithm which shows low quality in vertical edge detections and low efficiency of horizontal edge lines. With the De-interlacing ASIC chip that converts the interlaced Digital YUV to De-interlaced Digital RGB is designed. The VHDL is used for chip design.

  • PDF

Analysis on Hypothetical Multiple Events of mSGTR and SBO at CANDU-6 Plants Using MARS-KS Code (중수로 원전 가상의 mSGTR과 SBO 다중 사건에 대한 MARS-KS 코드 분석)

  • Seon Oh YU;Kyung Won LEE;Kyung Lok BAEK;Manwoong KIM
    • Transactions of the Korean Society of Pressure Vessels and Piping
    • /
    • v.17 no.1
    • /
    • pp.18-27
    • /
    • 2021
  • This study aims to develop an improved evaluation technology for assessing CANDU-6 safety. For this purpose, the multiple steam generator tube rupture (mSGTR) followed by an unmitigated station blackout (SBO) in a CANDU-6 plant was selected as a hypothetical event scenario and the analysis model to evaluate the plant responses was envisioned into the MARS-KS input model. The model includes logic models for controlling the pressure and inventory of the primary heat transport system (PHTS) decreasing due to the u-tubes' rupture, as well as the main features of PHTS with a simplified model for the horizontal fuel channels, the secondary heat transport system including the shell side of steam generators, feedwater and main steam line, and moderator system. A steady state condition was successfully achieved to confirm the stable convergence of the key parameters. Until the turbine trip, the fuel channels were adequately cooled by forced circulation of coolant and supply of main feedwater. However, due to the continuous reduction of PHTS pressure and inventory, the reactor and turbine were shut down and the thermal-hydraulic behaviors between intact and broken loops got asymmetric. Furthermore, as the conditions of low-flow coolant and high void fraction in the broken loop persisted, leading to degradation of decay heat removal, it was evaluated that the peak cladding temperature (PCT) exceeded the limit criteria for ensuring nuclear fuel integrity. This study is expected to provide the technical bases to the accident management strategy for transient conditions with multiple events.

A Passport Recognition and face Verification Using Enhanced fuzzy ART Based RBF Network and PCA Algorithm (개선된 퍼지 ART 기반 RBF 네트워크와 PCA 알고리즘을 이용한 여권 인식 및 얼굴 인증)

  • Kim Kwang-Baek
    • Journal of Intelligence and Information Systems
    • /
    • v.12 no.1
    • /
    • pp.17-31
    • /
    • 2006
  • In this paper, passport recognition and face verification methods which can automatically recognize passport codes and discriminate forgery passports to improve efficiency and systematic control of immigration management are proposed. Adjusting the slant is very important for recognition of characters and face verification since slanted passport images can bring various unwanted effects to the recognition of individual codes and faces. Therefore, after smearing the passport image, the longest extracted string of characters is selected. The angle adjustment can be conducted by using the slant of the straight and horizontal line that connects the center of thickness between left and right parts of the string. Extracting passport codes is done by Sobel operator, horizontal smearing, and 8-neighborhood contour tracking algorithm. The string of codes can be transformed into binary format by applying repeating binary method to the area of the extracted passport code strings. The string codes are restored by applying CDM mask to the binary string area and individual codes are extracted by 8-neighborhood contour tracking algerian. The proposed RBF network is applied to the middle layer of RBF network by using the fuzzy logic connection operator and proposing the enhanced fuzzy ART algorithm that dynamically controls the vigilance parameter. The face is authenticated by measuring the similarity between the feature vector of the facial image from the passport and feature vector of the facial image from the database that is constructed with PCA algorithm. After several tests using a forged passport and the passport with slanted images, the proposed method was proven to be effective in recognizing passport codes and verifying facial images.

  • PDF

The Market Effect of Additions or Deletions for KOSPI 200 Index : Comparison between Groups by Size and Market Condition (KOSPI 200지수종목의 변경에 따른 시장반응 : 규모와 시장요인에 따른 그룹간 비교분석)

  • Park, Young-S.;Lee, Jae-Hyun;Kim, Dae-Sik
    • The Korean Journal of Financial Management
    • /
    • v.26 no.1
    • /
    • pp.65-94
    • /
    • 2009
  • The event of change in KOSPI 200 Index composition is one of the main subjects for the test of EMH. According to EMH, when a certain event is not related with firm's fundamental value, stock price should not change after the announcement of news. This hypothesis leads us to the conclusion of horizontal demand curve of stock. This logic was questioned by Shleifer(1986) and argued that downward sloping demand curve hypothesis was supported. But Harris and Gruel(1986) found a different empirical evidence that price reversal occurs in the long run, which is called price pressure hypothesis. They argued that short term price effect by large block trading (price pressure) is offset in the long run because these event is unrelated to fundamental value. Therefor, they argued that EMH can not be rejected in the long run. Until now, there are two empirical studies with Korean market data in this area. Using a data with same time period of $1996{\sim}1999$, Kweon and Park(2000) and Ahn and Park(2005) showed that stock price or beta is not significantly affected by change in index composition. This study retested this event expanding sample period from 1996 to 2006, and analyzed why this event was considered an uninformative events in the preceding studies. We analyzed a market impact by separating samples according to firm size and market condition. In case of newly enlisted firm, we found the evidence supporting price pressure hypothesis on average. However, we found the long run price effect in the sample of large firms under bearish markets. At the same time, we know that the number of samples under the category of large firms under bearish markets is relatively small, which drives the same result of supporting the hypothesis that change in index composition is a non-informative event on average. Also, the long run price effect of large size firms under bearish markets was supported by the analyses using trading volumes. On the other hand, in case of delisting from the index, we found the long run price effect but that was not supported by trading volume analyses.

  • PDF

On the Attractive Teaching Methods of Mathematics with Parents of Students (학부모와 함께 하는 흥미로운 수학지도 방안)

  • Park, Hyung-Bin;Lee, Heon-Soo
    • Journal of the Korean School Mathematics Society
    • /
    • v.10 no.4
    • /
    • pp.455-469
    • /
    • 2007
  • In this study, we want to being helpful to improvement of ability to solve mathematical problem, that is grafted on the subjects being able to occur in real life, of students in teaching materials and results studied and developed in the university. For increasing ability to solve ingenious problem and growing in the learning ability of oneself leading of students. The goal of this study is to make possible open research as a result of that students look for problem around real life by one's own efforts and take interest in them through learning mathematics of parents of students, they are the most important fact of educational environment in the mathematics education - earlier than students. In particular, the goal of this study is that students have an positive attitude of mind for mathematics and maximize ability of practical application by the analytic thinking learned through experience of their parents, they survey, analyze and solve problems taken from real life in the method transmitting one's knowledge to others. This study is divided into 2 categories: education of students and education of their parents. By these, we want to disseminate advanced knowledge and theory through students improve the powers of thought, logic and inference, develop ability to solve mathematical problem, stir up motivation of learning and learn knowledge of mathematics become familiar with real life.

  • PDF