• Title/Summary/Keyword: Proof systems

Search Result 329, Processing Time 0.027 seconds

A Distance Approach for Open Information Extraction Based on Word Vector

  • Liu, Peiqian;Wang, Xiaojie
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.12 no.6
    • /
    • pp.2470-2491
    • /
    • 2018
  • Web-scale open information extraction (Open IE) plays an important role in NLP tasks like acquiring common-sense knowledge, learning selectional preferences and automatic text understanding. A large number of Open IE approaches have been proposed in the last decade, and the majority of these approaches are based on supervised learning or dependency parsing. In this paper, we present a novel method for web scale open information extraction, which employs cosine distance based on Google word vector as the confidence score of the extraction. The proposed method is a purely unsupervised learning algorithm without requiring any hand-labeled training data or dependency parse features. We also present the mathematically rigorous proof for the new method with Bayes Inference and Artificial Neural Network theory. It turns out that the proposed algorithm is equivalent to Maximum Likelihood Estimation of the joint probability distribution over the elements of the candidate extraction. The proof itself also theoretically suggests a typical usage of word vector for other NLP tasks. Experiments show that the distance-based method leads to further improvements over the newly presented Open IE systems on three benchmark datasets, in terms of effectiveness and efficiency.

A Poof of Utkin's Theorem for a SI Uncertain Linear Case (Utkin 정리의 단일입력 불확실 선형 시스템에 대한 증명)

  • Lee, Jung-Hoon
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.48 no.6
    • /
    • pp.8-14
    • /
    • 2011
  • In this note, a proof of Utkin's theorem is presented for SI(Single input) uncertain linear systems. The invariance theorem with respect to the two transformation methods so called the two diagonalization methods is proved clearly and comparatively for SI uncertain linear systems. With respect to the sliding surface transformation, the equation of the sliding mode i.e., the sliding surface is invariant. The control inputs by the two transformation methods both have the same gains. By means of the two transformation methods, the same results can be obtained. Through an illustrative example and simulation study, the usefulness of the main results is verified.

Research of Novel Water Cooling Jacket for Explosion-proof Motor

  • Wang, Yu;He, Huiming;Bai, Baodong
    • Journal of international Conference on Electrical Machines and Systems
    • /
    • v.3 no.1
    • /
    • pp.67-71
    • /
    • 2014
  • The well tightness of the coal mining water-cooling explosion-proof motor results in difficult heat dissipation, high hydraulic pressure is needed to increase the cooling effect. However, high hydraulic pressure may lead motor shell to deform, which makes it difficult to change the motor and maintain the motor unit. The method of adding keyhole caulk weld spots on the outer cooling water jacket was proposed to solve the problem. Based on the elasticity mechanics equations and the principle of finite element method the stresses and the deformations of the traditional and novel outer cooling water jacket were calculated separately. A hydraulic pressure experiment of the both cooling water jackets was constructed. Obviously, the stress and the deformation of the novel cooling water jacket are lower. The experimental result is consistent with the simulation results. It is effective to reduce the stress and the deformation of the cooling water jacket by adding the keyhole caulk weld spots.

Development of a single-structured MEMS gyro-accelerometer

  • Sung, Woon-Tahk;Lee, Jang-Gyu;Kang, Tae-Sam
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2004.08a
    • /
    • pp.592-595
    • /
    • 2004
  • This paper presents a study on the development of a multi-sensing inertial sensor with a single mechanical structure, which can be used both as a gyroscope and an accelerometer. The proposed MEMS gyro-accelerometer is designed to detect the angular rate and the acceleration at the same time using two separate detection circuits for one proof mass. In this study, the detection and signal processing circuit for an effective signal processing of different inertial measurements is designed, fabricated, and tested. The experimental results show that the performances of the gyro-accelerometer have resolutions of 1mg and 0.025deg/sec and nonlinearities of less than 0.5% for the accelerometer and the gyroscope, respectively, which are similar results with those of sensors with different structures and different detection circuits. The size of the sensor is reduced almost by 50% comparing with the sensors of separated proof mass.

  • PDF

High-temperature ultrasonic thickness monitoring for pipe thinning in a flow-accelerated corrosion proof test facility

  • Cheong, Yong-Moo;Kim, Kyung-Mo;Kim, Dong-Jin
    • Nuclear Engineering and Technology
    • /
    • v.49 no.7
    • /
    • pp.1463-1471
    • /
    • 2017
  • In order to monitor the pipe thinning caused by flow-accelerated corrosion (FAC) that occurs in coolant piping systems, a shear horizontal ultrasonic pitch-catch waveguide technique was developed for accurate pipe wall thickness monitoring. A clamping device for dry coupling contact between the end of the waveguide and pipe surface was designed and fabricated. A computer program for multi-channel on-line monitoring of the pipe thickness at high temperature was also developed. Both a four-channel buffer rod pulse-echo type and a shear horizontal ultrasonic waveguide type for high-temperature thickness monitoring system were successfully installed to the test section of the FAC proof test facility. The overall measurement error can be estimated as ${\pm}10{\mu}m$ during a cycle from room temperature to $200^{\circ}C$.

Effect analysis with Six Sigma Implementation and Performance (6시그마 추진과 경영성과와의 영향 분석)

  • Cho, J-Hyun;Jang, Joong-Soon
    • Journal of Applied Reliability
    • /
    • v.6 no.3
    • /
    • pp.239-254
    • /
    • 2006
  • In this research, first, the effect of Six Sigma activities and business performance will be checked based on case studies involving companies adopting Six Sigma and, secondly, the Six Sigma training effectiveness, Customer Satisfaction and Financial Performance, etc, will be evaluated to find out how related to Six Sigma Implementation. Finally, Six Sigma's Implementation Categories will be analyzed. The method used in this research was to select the research model and research hypothesis based on theoretical studies and the interesting aspects of the recent Six Sigma, along with case studies and research based on actual proof. Case studies and research based on actual proof showed that among 11 companies analyzed, a total of 11 companies obtained good results, and KIs were found to be factors of their success.

  • PDF

ON THE NORM OF THE OPERATOR aI + bH ON Lp(ℝ)

  • Ding, Yong;Grafakos, Loukas;Zhu, Kai
    • Bulletin of the Korean Mathematical Society
    • /
    • v.55 no.4
    • /
    • pp.1209-1219
    • /
    • 2018
  • We provide a direct proof of the following theorem of Kalton, Hollenbeck, and Verbitsky [7]: let H be the Hilbert transform and let a, b be real constants. Then for 1 < p < ${\infty}$ the norm of the operator aI + bH from $L^p(\mathbb{R})$ to $L^p(\mathbb{R})$ is equal to $$\({\max_{x{\in}{\mathbb{R}}}}{\frac{{\mid}ax-b+(bx+a){\tan}{\frac{\pi}{2p}}{\mid}^p+{\mid}ax-b-(bx+a){\tan}{\frac{\pi}{2p}}{\mid}^p}{{\mid}x+{\tan}{\frac{\pi}{2p}}{\mid}^p+{\mid}x-{\tan}{\frac{\pi}{2p}}{\mid}^p}}\)^{\frac{1}{p}}$$. Our proof avoids passing through the analogous result for the conjugate function on the circle, as in [7], and is given directly on the line. We also provide new approximate extremals for aI + bH in the case p > 2.

A Poof of Utkin's Theorem for a MI Uncertain Linear Case (Utkin 정리의 다입력 불확실 선형 시스템에 대한 증명)

  • Lee, Jung-Hoon
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.59 no.9
    • /
    • pp.1680-1685
    • /
    • 2010
  • In this note, a proof of Utkin's theorem is presented for a MI(Multi Input) uncertain linear case. The invariance theorem with respect to the two transformation methods so called the two diagonalization methods are proved clearly and comparatively for MI uncertain linear systems. With respect to the sliding surface transformation and the control input transformation, the equation of the sliding mode i.e., the sliding surface is invariant. Both control inputs have the same gains. By means of the two transformation methods the same results can be obtained. Through an illustrative example and simulation study, the usefulness of the main results is verified.

The CO Gas Concentration Characteristics in a Sound Proof Road Tunnel According to the Upper Opening Installation Distance Interval (방음터널 내부의 상부배출구 간격에 따른 CO 농도분포 특성)

  • Park, Myung Sig
    • Journal of ILASS-Korea
    • /
    • v.21 no.3
    • /
    • pp.162-169
    • /
    • 2016
  • When we construct a road near an apartment complex, we consider a soundproof wall. To make residential places quieter, we may consider a soundproof road tunnel. Such a tunnel, however, would become highly concentrated with soot from vehicles whenever a traffic jam might occur. To create an optimum design, this study utilizes the PHOENICS-VR software. The work considers three cases: (1) no openings (2) openings at 30m intervals, and (3) openings at 60m intervals on the upper side of the tunnel. The study finds that in the second case shows CO concentration distributions were 15% less than those without openings. And the CO concentration distributions of the second and third cases are almost the same. The findings suggest that we should make the soundproof tunnel to reduce construction fees.

A fuzzy Sliding Mode Control of Wheeled Mobile Robot with a Differential Drive

  • Kang, Young-Hoon;Lee, Ju-Jang
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 1998.10a
    • /
    • pp.265-270
    • /
    • 1998
  • In this paper we introduce a modeling of wheeled mobile robot with a differential drive derived by R.M. DeSantis and using the dynamics model-ing with some disturbance term we control the wheeled mobile robot using fuzzy sliding mode control(FSMC) method. In a fuzzy control approach it is very difficult to prove the stability of the fuzzy controller. Therefore, to overcome that difficult proof of the stability in a fuzzy control method, we first propose a sliding mode controller and prove the stability of the proposed controller. Next, transforming the proposed sliding mode controller into a fuzzy sliding mode controller without changing the basic structure of the sliding mode con-troller, we easily obtain a fuzzy sliding mode con-troller(FSMC) whose stability is guaranteed with-out difficult stability proof procedure of the proposed FSMC.

  • PDF