• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10a
• /
• pp.259-262
• /
• 1996

This paper proposes an approach in modeling a 4x60inch Allis Chalmers Hydrocone Crusher [1] hydroset and presents some numerical simulation results. The mining and quarry industry is one of the industries which extensively use hydrocone crushers, which are a family of cone crushers, for rock size reduction. Field studies have proved that if proper control and management of these machines is undertaken, they can yield an increased production output of more than 30%, in addition substantial savings in both energy consumption per unit ton produced and manpower can be easily realized. In order to achieve these economic benefits, high performance from these machines is expected. Implementing automatic control for such machines would be a great leap towards achieving both economic benefits and more effective fool-proof predictive maintenance. But, unfortunately, for such a control system to be designed, it necessary to make a mechatronical model of this plant. The plant model is able to give us an insight into variations of both the plant gap setting (displacement) and system pressure due to variable loading arising from the crushing process.

• International Journal of Control, Automation, and Systems
• /
• v.3 no.3
• /
• pp.493-501
• /
• 2005

A power plant simulation tool ('PowerSim') has been developed with 10 years experience from the development of a plant simulator for efficient modeling of a power plant. PowerSim is the first developed tool in Korea for plant simulation with various plant component models, instructor station function and the Graphic Model Builder (GMB). PowerSim is composed of a graphic editor using general purpose design software, a netlist converter, component models, the scheduler, Instructor Station and an executive. The graphic editor generates a netlist that shows the connection status of the various plant components from the Simdiagram, which is drawn by Icon Drag method supported by GUI environment of the PowerSim. Netlist Converter normalizes the connection status of the components. Scheduler makes scheduling for the execution of the device models according to the netlist. Therefore, the user makes Simdiagram based on the plant Pipe and Instrument Drawing (P&ID) and inputs the plant data for automatic simulating execution. This paper introduces Graphic Model Builder (GMB), instructor station, executive and the detailed introduction of thermal-hydraulic modeling. This paper will also introduce basic ideas on how the simulation Diagram, based on netlist generated from general purpose design software, is made and how the system is organized. The developed tool has been verified through the simulation of a real power plant.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.14 no.1
• /
• pp.72-78
• /
• 1990

An interactive computer program has been developed to design a pattern and risers for the production of castings of high quality. In our system, the user models the shape of a final product by using the system's modeling capability, a pattern is generated in a three dimensional model by eliminating the holes and adding shrinkage allowances and drafts, the proper riser is created automatically, and they are united together to yield the three dimensional model of the portion of a mold assembly. The mold can be completed after the runners and the gating systems are designed, modeled, and united, which will be described in part 2 of this work. The unique feature of this work is a realization of an automatic design of the pattern and risers by integrating the modeling capabilities and the design equations used in the real practice.

• Journal of Wetlands Research
• /
• v.10 no.1
• /
• pp.1-9
• /
• 2008

This study describes the WASMOD, water balance model which can consider the snowmelting. The pilot study basin is the Soyang River basin with outlet at Soyang Dam Site and compute long-term monthly streamflow, The advantage of the WASMOD is that the input data is simple and the user can operate easily. To optimize for the parameters of the model, the WASMOD used VA05A of automatic fitting technique. The observed and simulated monthly streamflow hydrographs were compared. The model performance on corrleation coefficient between the observed and the simulated streamflow for the verification periods was above 0.89. It was shown that the WASMOD reproduces the observed monthly streamflow hydrographs very well. This evidence suggests that the WASMOD might be appropriate for the simulation of monthly streamflow

• Nuclear Engineering and Technology
• /
• v.31 no.2
• /
• pp.157-171
• /
• 1999

In this work, an automatic software verification method for Nuclear Power Plant (NPP) protection system is developed. This method utilizes Colored Petri Net (CPN) for system modeling and Prototype Verification System (PVS) for mathematical verification. In order to help flow-through from modeling by CPN to mathematical proof by PVS, an information extractor from CPN models has been developed in this work. In order to convert the extracted information to the PVS specification language, a translator also has been developed. ML that is a higher-order functional language programs the information extractor and translator. This combined method has been applied to a protection system function of Wolsong NPP SDS2(Steam Generator Low Level Trip). As a result of this application, we could prove completeness and consistency of the requirement logically. Through this work, in short, an axiom or lemma based-analysis method for CPN models is newly suggested in order to complement CPN analysis methods and a guideline for the use of formal methods is proposed in order to apply them to NPP Software Verification and Validation.

• Journal of the Korean Institute of Gas
• /
• v.5 no.2 s.14
• /
• pp.1-8
• /
• 2001

Fault tree construction for hazard assessment requires so much time and labor, so it is very difficult to be applied to the large scale chemical plant. In this study, for the synthesis of fault tree in chemical processes, the object-oriented knowledge framework is proposed to represent the deviations of process variables in the equipment and cause-consequence relationship with equipment faults. The cause of fault is searched by using the object-oriented modeling of equipments and the connectivity among equipments, and then a fault tree is synthesized. we have discussed the performance of the methodology on nitric acid cooling process to evaluate its effectiveness.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.18 no.5
• /
• pp.594-601
• /
• 2015

The purpose of this research is to propose a maintenance support system for deciding assembly sequence of the product and appropriate tools that are used to assembly and disassembly of parts in the product when geometric properties of the product. The digital maintenance system (DMS) is developed to generate the maintenance guideline and the initial experiment is conducted especially for an underwater weapon system with cylindrical structure. DMS considers four factors to find the efficient assembly and disassembly procedure automatically: (1) assembly tree, (2) properties of each part, (3) distance from the center of the product, and (4) volume. Based on the factors, DMS simulate the movement of each tool virtually and the properties of tools are investigated to find an appropriate tool for using assembly and disassembly of each part in the product. The proposed approach integrates modeling, simulation, data configuration, and virtual reality to allow a development of preliminary maintenance guidance.

• Journal of Information Processing Systems
• /
• v.9 no.1
• /
• pp.1-30
• /
• 2013

The capitalization of know-how, knowledge management, and the control of the constantly growing information mass has become the new strategic challenge for organizations that aim to capture the entire wealth of knowledge (tacit and explicit). Thus, knowledge mapping is a means of (cognitive) navigation to access the resources of the strategic heritage knowledge of an organization. In this paper, we present a new mapping approach based on the Boolean modeling of critical domain knowledge and on the use of different data sources via the data mining technique in order to improve the process of acquiring knowledge explicitly. To evaluate our approach, we have initiated a process of mapping that is guided by machine learning that is artificially operated in the following two stages: data mining and automatic mapping. Data mining is be initially run from an induction of Boolean case studies (explicit). The mapping rules are then used to automatically improve the Boolean model of the mapping of critical knowledge.

• Journal of Korea Multimedia Society
• /
• v.13 no.10
• /
• pp.1557-1564
• /
• 2010

This study present to operator system about performance method by diagrammatic and analysis based on Petri Nets when accordion is performed. Especially, this study present to the basis an automatic performance education by visibility according to divide place and transition of correlation of musical objects. In this, our purpose is flexible performance of deadlock-freeness by visibility of operating process and detail of marking. This study is effective and useful of understand to performance process by Petri Nets modeling inclusive of many musical instrument. The first time, this study suggest performance model of accordion based on Petri Nets and verify of efficiency, an example.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.21 no.8
• /
• pp.1937-1947
• /
• 1996

In the case of developing the real-time system using object-oriented method, k the problem of the timing constraints is certainly considered. we propose the method of modeling the object-oriented real-time system using the OMT methodology and the SDL. And we also present the predictable time table that reflects the constraints of real-time system into dynamic model of OMTs and the predicatable time formula of the sequence, repeat, and parallel routine. The proposed method is applied to the estimate of the maximum process time of the ATMs(Automatic teller machines) and is used to specifying the functional specification for the user interface of the ATMs using the SDL syntax and the object interaction graph.