• Title/Summary/Keyword: type checking

Search Result 266, Processing Time 0.025 seconds

The Development of PC based Panel Working Security System using Industrial Ethernet (산업용 Ethernet을 이용한 PC기반 패널작업 보안시스템 구축)

  • Song, Myung-Hyun;Park, Kyu-Nam;Han, Dong-Gi;Woo, Hyeok-Jae;Youm, Gyu-Il
    • The Transactions of the Korean Institute of Electrical Engineers P
    • /
    • v.56 no.2
    • /
    • pp.99-103
    • /
    • 2007
  • In this paper, one type of a security system for panel working is suggested. The industrial Ethernet is used for open-close door control of the working panel and for monitoring the working panel is correct or not. Especially to upgrade the security system, a remote approval function of panel working by using the given approval number, a remote monitoring function for checking the approved panel is currently working or not, and an alarming function for keying the unapproved number or opening the disapproved panel, are added for preventing and reducing the intentional working error. Also the worker and working time are stored in PC automatically in exel file for detecting the working error. To show the possibility of suggested security system. two-working panel system is prepared and studied.

DISCOVERY OF NEW RR LYRAE STARS IN THE CENTER OF THE GLOBULAR CLUSTER M53

  • Sohn, Sang-Mo;Rey, Soo-Chang;Lee, Young-Wook;Byun, Yong-Ik;Chun, Mun-Suk
    • Journal of Astronomy and Space Sciences
    • /
    • v.16 no.2
    • /
    • pp.115-130
    • /
    • 1999
  • We report the discovery of 17 new RR Lyrae variables in the central region ($\rleq1'$) of the globular cluster M53. There candidates were identified by using the Welch & Stetson (1993) technique and confirmed by checking individual light curves in both B and V bands. The color-magnitude diagram of the horizontal-branch stars in the central region is compared with that for stars observed in the outer region by Rey et al. (1998). Including the new data from this study, we estimate the fraction of c typeRR Lyrae variables, n(c)/n(ab + c), to be 0.43 which agrees well with the valuse of other Oosterhoff group II clusters.

  • PDF

A Syntactic and Semantic Approach to Fingerprints Classification (구문론과 의미론적 방법을 이용한 지문분류)

  • Choi, Young-Sik;Sin, Tae-Min;Lim, In-Sik;Park, Kyu-Tae
    • Proceedings of the KIEE Conference
    • /
    • 1987.07b
    • /
    • pp.1157-1159
    • /
    • 1987
  • A syntactic and semantic approach is used to make type classification based on feature points(whorl, delta, core) and the shape of flow line around feature points. The image is divided into 30 by 30 subregions which are represented in the average direction and 4-tuple direction component. Next the relaxation process with singularity detection and convergency checking is performed. A set of semantic languages is used to describe the major flow line around the extracted feature points. LR(1) parser and feature transfer function are used to recognize the coded flow patterns. The 72 fingerprint impressions is used to test the proposed approach and the rate of the classification is about 93 percentages.

  • PDF

Development for Verification Tool Guaranteeing Reliability of Rail Signal Control Protocol (신뢰성확보를 위한 철도 신호제어용 프로토콜 검정기 개발)

  • Seo, Mi-Seon;Hwang Jin-Ho;Hwang Jong-Gyu;Lee Jae-Ho;Kim Sung-Un
    • Proceedings of the KSR Conference
    • /
    • 2004.06a
    • /
    • pp.1452-1455
    • /
    • 2004
  • In this paper, we develope a protocol verification tool that verifies the correctness of rail signal control protocol type 2 specified in LTS(Labeled Transition System) by using model checking method. This tool automatically checks several properties for deadlock, livelock and reachability of states and actions on LTS. and removes many errors and ambiguities of an informal method used in the past, so saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the developed verification tool.

  • PDF

Experimental Study of Strength Development in High Flow Concrete as following of Curing Temperature (초기 재령에서의 양생 온도 조건에 따른 고유동 콘크리트의 조기강도 발현 성상에 관한 실험적 연구)

  • 이도범;김효락;박지훈;최일호
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2003.11a
    • /
    • pp.19-22
    • /
    • 2003
  • This study is carried out (1) checking the development of compressive strength of high flowing concrete at early age, changing water-binder ratio, curing temperature, and type of aggregate, and (2) suggesting basic date that helping cost and schedule plan in future construction. As the result of this study, we find that high curing temperature is effective for the development of compressive strength of concrete at early age on the condition of each water-binder ratio, and after making the compressive prediction formula related to the curing temperature by maturity, the result of the formular is similar to the temperature-compressive strength-age measured data

  • PDF

A Study on Intelligent Contents for Virtual University

  • Sik, Hong-You;Son, Jeong-Kwang;Park, Chong-Kug
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 2004.04a
    • /
    • pp.422-425
    • /
    • 2004
  • Many believe that electronic distance teaming education transform higher education, saving money and improving learning qualify So, the open University, which teaches around 280,000 students at a distance, is examining the adaption of its distance teaching methods for the internet. But, there are only one type of distance learning education of one way direction. To understand all of a student which selected some of e teaming course, teacher must check that how many student to understand and what is the difficult problems. Without checking this condition, It will be a very difficult and boring distance learning course. In this paper, we introduce of intelligent learning contents of full duplex direction that teach understanding student and not understanding student. The computer simulation results confirms that full duplex e learning system has been proven to be much more efficient than one way direction which not considering about understanding problems.

  • PDF

A Study on The Electrical Characteristics in Ribbon by Temperature Changes (온도 변화에 따른 Ribbon의 전기적 특성에 관한 연구)

  • Woo, Sung-Cheol;Jung, Tae-Hee;Kim, Tae-Bum;Kang, Ki-Hwan;Ahn, Hyeung-Ken;Han, Deuk-Young
    • Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
    • /
    • 2010.06a
    • /
    • pp.67-67
    • /
    • 2010
  • PV module has many power loss factor in the site. Among them, one thing is series resistance. Especially interconnection ribbon resistance is one of the power loss. In this paper, we study interconnection ribbon resistance of the PV module material. In the field, high temperature can pile ribbon resistance on the PV modules. We can do better choice in the optimum use of ribbon through checking relation of ribbon dimension and resistivity. From this point of view, different solder type and dimension was treated.

  • PDF

Performance Evaluation for Noise Suppression of a Silencer in Small Arms (소형 화기용 소음기의 소음 저감 성능 평가)

  • 박문선;구태완;강범수
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.9
    • /
    • pp.151-158
    • /
    • 2003
  • The impulse noise of bullet after shooting in small arms has an effect on the hearing ability of human. Although a silencer has been developed for noise reduction in small arms, there is only a few researches about relationships between the sound pressure level and the auditory sense of human. In this study, the quantitative sound pressure levels are revealed by experimental measurements of impulse noise with each silencer type. And the performance evaluation for noise suppression of a silencer in small arms is carried out to reduce a serious loss of the hearing ability of the small arms user. It is concluded that the evaluated results can be utilized for checking sound pressure and data accumulation for new small arms design with silencer.

Visualization of Drop Formation and Droplet Velocity Measurement of a Piezoelectric-type Inkjet (피에조 구동형 잉크젯에서 액적 형성의 가시화 및 토출속도 측정)

  • Kwon, D.H.;Choi, Y.S.;Lee, S.J.
    • Journal of the Korean Society of Visualization
    • /
    • v.6 no.2
    • /
    • pp.9-13
    • /
    • 2008
  • The reproducibility of water droplet formation which is indispensible in the investigation of a drop-on-demand piezoelectrically driven inkjet was verified by checking the size of droplet and distance from the nozzle tip of inkjet head to droplet. Based on the reproducibility of droplet formation, we visualized the formation of micro-scale droplets by acquiring consecutive images at the jetting frequency of 500 Hz for which air bubbles were not generated. Two different electric waveforms were used to drive the piezoelectric actuator. The visualization system consists of a high-speed camera that can capture images up to 250,000fps, a long-distance microscope and a halogen lamp as a light source.

A Study of Forging Equipment for One Body Crankshaft of Medium Sized Marine Engine (선박 중형엔진 일체형 Crankshaft 제작용 형단조장치 기술개발에 관한 연구)

  • 윤성만
    • Proceedings of the Korean Society for Technology of Plasticity Conference
    • /
    • 1999.03b
    • /
    • pp.107-110
    • /
    • 1999
  • The purpose of this research is for the development of a new type forging equipment H.C.G(Hyundai Continuous Grain-flow) by using two virtual build-up tools rigid viscoplastic FEM and downsized plasticine experiment. This forging equipment consists of consecutive horizontal and vertical pressure while the traditional forging method consists of only vertical pressure. Using this method high quality crankshafts can be forged as it can maintain a continuous grain flow. The factors considered in the development of equipment are die geometry for flawless deformed shape die reaction forces stress/strain distributions and continuous material flow. We carried out several numerical simulations and downsized plasticine experiments for the proper design of the forging equipment. The validity of those simulation results is confirmed by checking with the actual test results. Based on these simulation results the proper design of the H.C.G for ging equipment is enabled.

  • PDF