• Korean Journal of Construction Engineering and Management
• /
• v.14 no.5
• /
• pp.131-143
• /
• 2013

There is the difference of criteria to apply guidelines among the project participants and to depend on the purpose of utilizing BIM models, although modeling criteria are basically provided through BIM guidelines. Therefore, it is quite important to check compliance with guidelines to raise quality of the BIM model. But Quality Checking (QC) items and method for BIM model modeled in accordance with guidelines is not provided. This study suggested QC items and Rule Specifications(RS) for automatic QC. First of all, QC items were derived by analyzing domestic BIM guidelines and a process for structuring natural language is conducted by utilizing flowchart and pseudocode. So, by combining them, RS was suggested. Finally, RS-based case study was conducted by implementing automatic QC process with solibri model checker$^{TM}$. This study will contribute to the improvement of design quality and completeness of BIM model including huge data of 3 dimension. Furthermore, it is necessary to develop BIM guidelines according to the use case and to provide detailed process and standard for QC of BIM model.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• 2008.11a
• /
• pp.690-693
• /
• 2008

Recently, the trend has been for buildings to become larger and more sophisticated, and this has created safety issues. Because the buildings are big it takes lots of time to check building codes related to anti-disaster and safety manually, and there is the high possibility of making mistakes. Due to these problems, according to a study, 83% of architecture and construction workers believe that an automated code-checking system is needed. This study researches past automated code checking systems and research activity, and using Building Information Model (BIM) technology, determines the feasibility of developing a system to automatically check domestic codes related to egress and anti-disaster. This paper describes the necessity of an automated building code checking system and expected effects. It then reports whether the methods used in previous studies can be deployed in domestic building code checking and discusses problems and limitations. It also suggests an alternative approach. Although this study covers limited codes related to egress, we need to find out what is needed for automatic general code checking system and do further studies for that.

• Journal of KIISE:Software and Applications
• /
• v.32 no.12
• /
• pp.1283-1291
• /
• 2005

One of the problems in boosting Java performance using a Just-in-Time (JIT) compiler is removing redundant array bound checks. In conventional static compilers, many powerful algorithms have been developed, yet they are not directly applicable to JIT compilation where the compilation time is part of the whole running time. In the current JIT compilers, we tan use either a naive algorithm that is not powerful enough or an aggressive algorithm which requires the transformation into a static single assignment (SSA) form of programs (and back to the original form after optimization), thus causing too much overhead not appropriate for JIT compilation This paper proposes a new algorithm based on an inequality graph which can eliminate array bounds check codes aggressively without resorting to the SSA form. When we actually perform this type of optimization, there are many constraints in code motion caused by the precise exception rule in Java specification, which would cause the algorithm to miss many opportunities for eliminating away bound checks. We also propose a new method to overcome these constraints.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.1
• /
• pp.54-61
• /
• 1999

Objective of the research is to put the vast and complex fault tracking knowledge of human experts in semiconductor production line into the knowledge base of computer system. We mined the fault tracking knowledge of domain experts(engineers of production line) for the construction of knowledge base of the expert system. Object oriented fact models which increase the extensibility and reusability have been built. The rules are designed to perform the fault diagnosis of the items in production device. We have exploited the evidence accumulation method to assign check priority in rules. The major contribution is in the overall design and implementation of the nile base and related facts of the expert system in object oriented paradigm for the application of the system in fault diagnosis in semiconductor production line.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.16 no.4
• /
• pp.318-322
• /
• 2016

A quad-copter or quad rotor system is an unmanned flying machine having four engines, which their thrust force is produced by four propellers. Its stable control is very important and has widely been studied. It is a typical example of a nonlinear system. So, it is difficult to get a desired control performance by conventional control algorithms. In this paper, we propose the design of a vectored sum defuzzification based fuzzy logic system for the hovering control of a quad-copter. We first summarize its dynamics and introduce a vectored sum defuzzification scheme. And then we design a vectored sum defuzzification based fuzzy logic system. for the hovering control of the quad-copter. Finally, in order to check the feasibility of the proposed system we present some simulation examples.

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• pp.341-344
• /
• 1991

Rules in expert system have meaning of assigning never-happen-minterms. Overall logical relations of variables can be achived by making all prime implicants of never-happen-minterms. From prime implicants, two tables, which are necessary in the process of inference, are constructed. There are two inferencing modes. One excutes inference only one variable which the user is interested in, and the other excutes inference all variables simultaneously. Outputs of inference have not only 'true' or 'false' but also 'unknown' which is different from conventional expert system. In this paper, an efficient approach is presented, which can check logical inconsistency in knowledge base and contradiction between input facts and rules. The methods in the paper may be available in the field of diagnosis and alarm processing.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.05a
• /
• pp.111-120
• /
• 2007

Recently the importance of website becomes confident in realizing the long distance education (teleeducation) as web. The purpose of this research is evaluating the websites of cyber university and analyzes web usability and web accessibility and analyzes to suggest the good quality content and several personalized service. Also we tried to improve website quality and contribute the reliability of the long distance education with all these. For these we applied the of professor Hyung Nam Moon's SM-ABCDE website evaluation model and developed the check list suitable for cyber university and evaluated websites in the five views of Attraction, Business, Content, Design, Engineering. Totally Kyunghee Cyber University, Busan Digital University, Hanyang Cyber University is selected best in sequence. But every website doesn't keep the basic observation rule of the web accessibility.

• 한국정보통신설비학회:학술대회논문집
• /
• 2007.08a
• /
• pp.151-154
• /
• 2007

This paper describes the project for constructing a traceability system for producing using RFID antenna in 900MHz frequency band and the consideration. In this project we reviewed analysis of properties classified by production process and RFID system through each frequency band, and designed a single unit RFID reader including antenna. The developed antenna is optimized to a field condition and this paper will show the test results. Also, we designed a single unit RFID reader by adding a reader to a designed antenna and explained the rule of tag memory allocation. Lastly, after running the system we could calculate visible and invisible effects of operation results and check up a wide possibility of application for RFID.

• IE interfaces
• /
• v.10 no.2
• /
• pp.15-28
• /
• 1997

Knowledge acquisition has been a major bottleneck in building expert systems. To ease the problems arising in knowledge acquisition, analog concept learning systems(ACLS) has been used. In this paper, in order to avoid the overfitting problem and secure a good performance, we propose the revised ACLS, which pruning methods -cost complexity, reduced error, pessimistic pruning and production rule- are incorporated into and apply them to the credit evaluation for Korean companies. The performances of the revised ACLS are evaluated in light of the prediction accuracy. To check the effect of the training data sampling on the performance, experiments are conducted using the different proportion of the training data. Experimental results show that the revised ACLS of combining cost complexity pruning with reduced error pruning performs best among original ACLS and other methods.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.852-855
• /
• 1995

In modern plant lndustry, dignosis system is an essential implement because a human operator cannot check the state of system all the time. The recent facility needs a computer system which is able to replace and extense the function of the human expert. Checking the state of the plant system, the computer system uses signals form sensors attached to the plant systems. But, It is difficult to predict the cause of the failure from the sensing signals. Because the relationship among the signals cannot be easily represented by mathematical models. So expert system based on a fuzzy rule and Neural network method is sugguested. Expert system decide whether aa state of the system is ordinary of failure by the evaluation of the signals. If the state of the system is unstable, expert system preprocess the signals. When fault is occurred in the machine, the expert system dignoses the state of the system and find the cause as a primary tool. If the expert system dose not find the adequate cause successfully, neural network system uses the preprocessed signals as an input and propose a cause of the failure.