• Title/Summary/Keyword: Check System

Search Result 3,318, Processing Time 0.035 seconds

The Standard Questionnaire Database System for Rural Village Appraisals (마을평가를 위한 표준설문지문 데이터베이스 구축(농지조성 및 농어촌정비))

  • 최수명;한경수;조영재
    • Proceedings of the Korean Society of Agricultural Engineers Conference
    • /
    • 2000.10a
    • /
    • pp.102-107
    • /
    • 2000
  • This study aimed at developing the standard pool system of questionnaire statements for village appraisals. Literature review of previous studied was conducted and standardized items for village appraisals were selected and systematically classified. The final pool system was determined through expert check.

  • PDF

Design and Implementation of Ethereum Smart Contract State Monitoring System (이더리움 스마트 컨트랙트 상태 모니터링 시스템의 설계 및 구현)

  • Hong, Joongi;Kim, Suntae;Ryu, Duksan
    • Journal of Software Engineering Society
    • /
    • v.28 no.2
    • /
    • pp.1-6
    • /
    • 2019
  • There are various stakeholders in the blockchain ecosystem. Since the emergence of Ethereum, many transactions have been made using smart contracts, and a wider range of stakeholders are participating, including not only developers, but also investors, banks, companies, and general users. However, various stakeholders have a problem in that it is difficult and complicated to check the state of smart contracts. If it becomes difficult to check the state, the reliability of the smart contract will be lowered and the utilization will be lowered. Also, if the state check is difficult and complicated for the developer, it will be difficult to provide high quality due to the difficulty of testing and debugging the smart contract developed by the developer. In this research, we propose a design and implementation method of the Ethereum Smart Contract State Monitoring System that enables various stakeholders and developers to easily and continuously check the state of smart contracts and analyze them using historical data.

Development of Assessment Evaluation Check Sheet to Identify Problems in SME Field and to Develop Creative Improvement Plan (중소기업 현장 문제점 발굴과 개선방안을 모색을 위한 평가진단 체크시트 개발)

  • Lee, Deok Soo;Park, Roh Gook
    • Journal of Korea Society of Industrial Information Systems
    • /
    • v.22 no.6
    • /
    • pp.95-105
    • /
    • 2017
  • The Purpose of This Study is to Develop a Checklist Model of Evaluation Diagnosis to Increase the Competitiveness of SMEs in Local Governments. The Evaluation Diagnostic Check Sheet Development Procedure Proceeded in the Order of Preliminary Investigation (Major Company Survey, Analysis of Characteristics of the Industry, Selection of Core Functions, etc.), Research and Development (Development of Core Function Check Sheet, Development of Core Function Improvement Tools). The Evaluation Model is divided into Five Categories (Vision and Strategy System, Quality Assurance and Product Safety, Field Management Level, Statistical Process Control, Improvement Activities), and 1) Recognition, 2) System, 3) Operation, 4) Review and Supplement. This Evaluation Model is expected to Contribute to the Selection of the Mainstream SMEs among the Companies Scattered within the Local Autonomous Entities, thereby Enhancing the Competitiveness of SMEs.

A Study on the Safety Improvement of Structural Weakness Using Accident Analysis for Vehicle-Mounted MEWP (차량탑재형 고소작업대의 재해분석을 통한 취약 구조부의 안전성 향상 방안에 관한 연구)

  • Yoo, Yong-tae;Seo, Su-eun;You, Hee-Jae;Kang, Kyung-sik
    • Journal of the Korea Safety Management & Science
    • /
    • v.19 no.1
    • /
    • pp.15-25
    • /
    • 2017
  • The findings were summarized as follows. The safety check by manufacturer showed that 6 of 13 companies are over the average occurrence of defects. It was expected that there would be a difference between manufacturing technology capability and production system of each manufacturer. Consequently, manufacturers should institutionally improve and strengthen certification items for the upward standardization of safety certification before factory. Second, the safety check by year showed that the results of this study accord with those of previous studies on defect time. Consequently, manufacturers should classify the 3-year-old equipment for vehicle-mounted MEWP into a special check subject to do a nondestructive test according to proven results, and also reflect the test in a safety test system to do regular preventive activities of equipment defects. Third, the safety check by part showed that the boom and outrigger parts of vehicle-mounted MEWP have the most defects. Stress concentration resulted in defects as the boom part was most frequently operated in the structural parts for a real work. To prevent this, it is suitable to improve the hardness of boom materials. The outrigger part needs improvement in safety devices with materials. As an outrigger supports the overturning moment of equipment, it is most affected by its load based on the operating radius, resulting in fatigue crack.

A Diagram System based on XML (XML 기반 다이어그램 시스템)

  • Kim Sung-Keun;Kim Young-Chul;Youn Tae Hee;Yoo Chae-Woo
    • The KIPS Transactions:PartD
    • /
    • v.12D no.3 s.99
    • /
    • pp.447-454
    • /
    • 2005
  • Generally, Diagram Systems related XML document are designed for certain purpose. It is also difficult to create DML document, because there is no definition of diagram component. In this paper, we design and implement the diagram system to execute the XML document. This diagram system defines the diagram component with WYSIWIG concept ,md it is designed to generate DML document automatically. Therefore, it is possible to develop diagram efficiently and maintain consistency by definition of syntax about diagram with DTD. And this system uses the concept of VPL(Visual Programming Language) to check syntax and semantic about diagram sentence. Though this system, DML documents can be generated easily, and it can also check syntax and perform semantic.

Development of an Automated Design System of a Large Pressure Vessel using the Steel, 34CrMo4 (강재(34CrMo4)를 사용한 대형 고압가스 용기의 설계 자동화 시스템 개발)

  • Kim, Ji-Hoon;Kim, Eui-Soo;Kim, Chul;Choi, Jae-Chan
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.20 no.8
    • /
    • pp.21-29
    • /
    • 2003
  • This paper describes a research work on the development of computer-aided design system for deep drawing & ironing of a high pressure vessel. An approach to the system is based on the knowledge-based rules. Knowledge for the system is formulated from plasticity theories, handbook, experimental results and empirical knowledge of field experts. An attempt is made to link programs incorporating a number of expert design rules with the process variables obtained by commercial FEM software, DEFORM and ANSYS, to form a useful package. It is composed of five main modules, which are calculation of product thickness, input, production feasibility check, process planning, and autofrettage process modules and two submodules, which are folding check and process variable verification submodules. Programs for the system have been written in AutoLISP on the AutoCAD 2000 using personal computer. The developed system makes it possible to design and manufacture large high pressure vessel requiring D.D.I. process more efficiently.

Design & Realization of Realtime Auction System (실시간 경매 시스템의 설계 및 구현)

  • Lee Ki-Hwan;Lim Dong-Kyun
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2005.11a
    • /
    • pp.228-233
    • /
    • 2005
  • Recently, there are requires for auction system by growing up internet. This paper says if the customers add wonted goods to wanted list, the system automatically announce information to the customer via Inter Web browsing, whenever the proper goods to register to the auction system by seller. The system provides registration customer information, registration goods, wanted goods. And the application program can be downloaded from the Web System. Especially, this paper provides us very convenience check up service using the mobile phone, we can check our wanted goods or auction lists without regarding to place or time, we can alse purchase the goods more rapidly and easily.

  • PDF

A CAD/CAM System for Blanking or Piercing of Irregular Shaped-Sheet Metal Products (불규칙형상 박판제품의 블랭킹 및 피어싱용 CAD/CAM 시스템)

  • 최재찬;김철;박상봉
    • Journal of the Korean Society for Precision Engineering
    • /
    • v.15 no.8
    • /
    • pp.174-182
    • /
    • 1998
  • This paper describes a research work of developing a computer-aided design and machining of irregular shaped-sheet metal product for blanking or piercing operation. An approach to the CAD/CAM system is based on the knowledge-based rules. Knowledge for the CAD/CAM system is formulated from plasticity theories, experimental results and the empirical knowledge of field experts. The system has been written in AutoLISP on the AutoCAD and in customer tool kit on the SmartCAM with a personal computer and is composed of nine modules, which are input and shape treatment, flat pattern-layout, production feasibility check, blank-layout, strip-layout, die-layout, data conversion, modelling, and post-processor module. Based on knowledge-based rules, the system is designed by considering several factors, such as material and thickness of product, complexities of blank geometry and punch profile, diameter and material of a wire, and availability of press. This system is capable of generating NC data automatically according to drawings of die-layout module. Results which are carried out in each module will provide efficiencies to the designer and the manufacturer of blanking or piercing die in this field.

  • PDF

Low Density Parity Check (LDPC) Coded OFDM System Using Unitary Matrix Modulation (UMM) (UMM(Unitary Matrix Modulation)을 이용한 LDPC(Low Density Parity Check) 코디드 OFDM 시스템)

  • Kim Nam Soo;Kang Hwan Min;Cho Sung Ho
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.30 no.5A
    • /
    • pp.436-444
    • /
    • 2005
  • Unitary matrix modulation (UMM) is investigated in multiple antennas system that is called unitary space-time modulation (USTM). In an OFDM, the diagonal components of UMM with splitting over the coherence bandwidth (UMM-S/OFDM) have been proposed. Recently LDPC code is strongly attended and studied due to simple decoding property with good error correction property. In this paper, we propose LDPC coded UMM-S/OFDM for increasing the system performance. Our proposed system can obtain frequency diversity using UMM-S/OFDM like USTM/OFDM, and large coding gain using LDPC code. The superior characteristics of the proposed UMM-S/OFDM are demonstrated by extensive computer simulations in multi-path Rayleigh fading channel.

A Rule-Based Database Verification System Based on the Integrity Constranints (무결성 제약에 기초한 규칙 기반 데이타베이스 검증 시스템)

  • Ryu, Myeong-Chun;Park, Chang-Hyeon
    • The Transactions of the Korea Information Processing Society
    • /
    • v.3 no.1
    • /
    • pp.77-86
    • /
    • 1996
  • In managing a certain database, the integrity of data is very important. The important. The integrity constrains thus should be considered carefully when a database is designed and, after the database is created, it is required for a database manager to check continuously if some data contained in the database violate the integrity constraints considered. It is however not easy to check the violateion of integrity constraints when the size and the complexity of database are increased. This paper suggests a rule-based database verification system to relax the difficulty of checking the integrity violation, in which a database is coupled with a rule-based system including the knowledge about the integrity constraints. The rule-database verification system suggested accepts the model descriptions of an application domain, generates the knowledge base consisting of rules and facts by analyzing the model description and proceeds the verification process to check the integrity of the database.

  • PDF