• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• 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.

• Journal of Internet of Things and Convergence
• /
• v.2 no.4
• /
• pp.27-34
• /
• 2016

In this paper, we designed and implemented a system to easily check and manage book inventory using web and Android mobile device. In the previous conventional method, the user visits the bookstore directly and then checks the inventory. However, in this case, the user accessibility is inconvenient, and it is troublesome to check or reconfirm the inventory. In order to solve these inconveniences, we provide book inventory management system for requesting book purchase and inquiring bulletin board by book field, and then providing real time inventory check with book application and purchase functions. In addition, through the push notification function, we can catch up with the purchase status of the ordered books on the web and Android mobile device in real time. Therefore, we designed and implemented a function that enables bookstore operators and users to easily and conveniently manage by providing statistical information on inventory data.