• Title/Summary/Keyword: checking

Search Result 3,163, Processing Time 0.035 seconds

A Practial use Study on Early Strength Estimation of Concrete with Microwave (마이크로파를 콘크리트강도추정에 활용하는 방안에 관한 연구)

  • Kim, Min-Suk;Kim, Byong-Chun;Park, Min-Su;Lee, Jong-Kyun;Ahn, Hyung-Jun;Jung, Sang-Jin
    • Proceedings of the Korea Concrete Institute Conference
    • /
    • 2000.04a
    • /
    • pp.223-228
    • /
    • 2000
  • Although construction company try to get good quality control it's enough to study about developing objective evaluation method and checking quality method. It is important to meaning concrete quality at placing point, immediate quality checking method is limited. The purpose of this study is to develop new method to know early 28-day concrete for getting faithful quality control. The results of this study are as follows :1) With sealed molds, reduced moisture volatilization to more than 50% and enlarged 20% accelerated compressive strength than before one. 2) Accelerated compressive strength of concrete specimen shows higher strength when it was in the air for long time 3)Interrelation with 7-day and 28-day strength were 0.781,0.90, It is higher than before one

  • PDF

A Hierarchical and Incremental DRC System Using Sliced-Edge Trace Algorithm (Sliced-Edge Trace 알고리듬을 이용한 계층적 Incremental DRC 시스템)

  • 문인호;김현정;오성환;황선영
    • Journal of the Korean Institute of Telematics and Electronics A
    • /
    • v.28A no.1
    • /
    • pp.60-73
    • /
    • 1991
  • This paper presents an efficient algorithm for incremental and hierarchical design rule checking of VLSI layouts, and describes the implementation of a layout editor using the proposed algorithm. Tracing the sliced edges divided by the intersection of the edges either ina polygon or in two polygons (Sliced-Edge Trace), the algorithm performs VLSI pattern operations like resizing and other Boolean operations. The algorithm is not only fast enough to check the layouts of full-custom designs in real-time, but is general enough to be used for arbitrarily shaped polygons. The proposed algorithm was employed in developingt a layout editor on engineering workstations running UNIX. The editor has been successfully used for checking, generating and resizing of VLSI layouts.

  • PDF

A Study on the Operation of SURF in the Bolero System (볼레로 시스템상의 SURF의 운영에 관한 연구)

  • Jeon, Soon-Hwan
    • The Journal of Information Technology
    • /
    • v.6 no.4
    • /
    • pp.163-175
    • /
    • 2003
  • SURF is a compliance engine, checking document content against detail in an established agreement. It provides a single vehicle for handling documentary trade settlement, regardless of the risk profile and financing requirements of the parties involved. That is, SURF, a Value Added Service connected to the Core Messaging Platform, is a documentary trade settlement service. It offers users of the system automated document compliance checking and a tool to manage the workflow in connection with documentary trade settlement. The Service supports varying degrees of risk transfer between buyer, sellers and banks and supports transactions from open account to more complex Letters of Credit.

  • PDF

The Design of Fail-Safe Comparator by HDL (HDL을 이용한 고장안전(Fail-Safe) 인터페이스 설계)

  • 양성현;백순흠
    • Journal of the Korea Computer Industry Society
    • /
    • v.2 no.6
    • /
    • pp.803-816
    • /
    • 2001
  • This paper presents the design of strongly fail-safe interface which transform binary signals, generated by fault-tolerant system into fail-safe signals. The strongly fail-safe property is achived by means of self-checking techniques. It can be shown for this interface to be integreated while the conventional fail-safe interface require using discrete components. This paper also presents the new implementation methods by the definitions for fail-safe system.

  • PDF

Design of Bluetooth baseband System (블루투스 기저대역 시스템 설계)

  • 백은창;조현묵
    • Journal of Korea Multimedia Society
    • /
    • v.5 no.2
    • /
    • pp.206-214
    • /
    • 2002
  • In this paper, it is designed and verified the baseband system that performs various protocol functions of specification of the Bluetooth system. In order to verify the developed circuits, various baseband functions are tested by using the ModelSim simulator. The developed circuits operate at 4MHz main clock. Test suite includes hap selection function, generation of the sync word, error correction(1/3 rate FEC, 2/3 rate FEC), HEC generation/checking, CRC generation/checking, data whitening/dewhitening and packet trans/reception procedure. etc. As a result of the simulation, it is verified that the developed baseband system conform to the specification of the Bluetooth system.

  • PDF

Enhancing Accuracy of Multi-drone Localization in Indoor Environment (실내 환경에서의 다수 드론 위치측정 정확도 향상 기법)

  • Phuong, Chu;Nguyen, Trong Hieu;Park, Yong Woon;Kim, Junoh;Cho, Kyungeun
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • pp.697-698
    • /
    • 2016
  • In this paper, we propose a novel approach to improve the accuracy for multiple low-cost drones in indoor environment. When the drones are flying, we employ sensors for checking their position in real-time. If the drones move out of their correct positions, the corresponding instructions are sent immediately. In another thread, we calibrate direction of the drones by checking yaw value. The adjustment is repeated until the drones locate at right position and direction.

Developement of IC Mark Checking System for IC Inspection Automation (반도체 소자(IC)의 검사 자동화를 위한 IC 표면의 마크 검사시스템 개발)

  • Bien, Zeung-Nam;You, Bum-Jae;Han, Dong-Il;Oh, Sang-Rok;Kim, Jung-Duck;Ha, Kyung-Ho
    • Proceedings of the KIEE Conference
    • /
    • 1990.07a
    • /
    • pp.471-474
    • /
    • 1990
  • In this paper, a vision-based inspection algorithm for checking mark quality on an integrated chip(IC) is proposed. In order to reduce the processing time for inspection, we are implemented image arithmetic unit and binary image projection processor in hardware. By adopting the hardwares, the processing time becomes less one sixth of that in case of using software only.

  • PDF

A Software System for Evaluation Setting and Coordination of Protective Relays in Power Transmission System (송전계통 보호계전기 보호협조 평가 시스템)

  • Choe, Myeon-Song;Lee, Seung-Jae;Min, Byeong-Un;Jo, Pil-Seong
    • The Transactions of the Korean Institute of Electrical Engineers A
    • /
    • v.51 no.10
    • /
    • pp.518-524
    • /
    • 2002
  • A software system that has functions of setting and coordination checking of protective relays in power transmission system has been developed. The developed system utilizes database system to store the setting values of protective relays, power system parameters, checks the relay operation and evaluates coordination of relays in real Power system or test system. The fault data to simulates a fault to evaluate the coordination of relays is generated by PSS/E and EMTP. A universal logic generator module is added to adopt the variation of each relay's trip logic. The proposed system has been verified through many tests in the case study, and proved to be very powerful in inspecting the setting values and coordination of relays.

Checking the Additive Risk Model with Martingale Residuals

  • Myung-Unn Song;Dong-Myung Jeong;Jae-Kee Song
    • Journal of the Korean Statistical Society
    • /
    • v.25 no.3
    • /
    • pp.433-444
    • /
    • 1996
  • In contrast to the multiplicative risk model, the additive risk model specifies that the hazard function with covariates is the sum of, rather than product of, the baseline hazard function and the regression function of covariates. We, in this paper, propose a method for checking the adequacy of the additive risk model based on partial-sum of matingale residuals. Under the assumed model, the asymptotic properties of the proposed test statistic and approximation method to find the critical values of the limiting distribution are studied. Several real examples are illustrated.

  • PDF

Heuristic rule-based coordination of Distance Relaying in Transmission System (경험적 룰에 의한 송전계통의 거리계전 방식 협조)

  • Lee, Seung-Jae;Lee, Byeong-Chil;Yoon, Sang-Hyun;Yoon, Man-Chul;Lee, Sang-Ok
    • Proceedings of the KIEE Conference
    • /
    • 1990.07a
    • /
    • pp.121-124
    • /
    • 1990
  • Distance relaying is one of the most commonly used protection schemes in the high voltage transmission systems. In this scheme, coordination between the primary and backup relays is very critical for the power system security. This paper reports an rule-based methodology for checking and correction of miscoordination problems in the distance relaying. Diagnosis rules achieving an accurate but simple checking have been developed through the geometric analysis of the impedance characteristics of the distance relays. Heuristic rules having the pratical power for miscoordination correction are suggested. The proposed method has proved very effective through the several case studies on the actual systems.

  • PDF