• The KIPS Transactions:PartD
• /
• v.14D no.5
• /
• pp.531-544
• /
• 2007

As the current trend in e-business has led to more various and complex business processes in recent years, problems in business process models have increased gradually. Accordingly, the concern to validation of business process models has been much larger but there are few validation checking mechanisms supported so far. On the other hand BPMN driven by BPMI is a standard graphical notation. Using the tool supporting BPMN, business process can be modeled graphically and analyzed easily. In this paper, we present technical mechanisms which can efficiently detect anomalies in a process composed of BPMN and are capable of avoiding higher unexpected costs during runtime.

• Nuclear Engineering and Technology
• /
• v.54 no.10
• /
• pp.3620-3630
• /
• 2022

The diagnosis of abnormalities in a nuclear power plant is essential to maintain power plant safety. When an abnormal event occurs, the operator diagnoses the event and selects the appropriate abnormal operating procedures and sub-procedures to implement the necessary measures. To support this, abnormality diagnosis systems using data-driven methods such as artificial neural networks and convolutional neural networks have been developed. However, data-driven models cannot always guarantee an accurate diagnosis because they cannot simulate all possible abnormal events. Therefore, abnormality diagnosis systems should be able to detect their own potential misdiagnosis. This paper proposes a rulebased diagnostic validation algorithm using a previously developed two-stage diagnosis model in abnormal situations. We analyzed the diagnostic results of the sub-procedure stage when the first diagnostic results were inaccurate and derived a rule to filter the inconsistent sub-procedure diagnostic results, which may be inaccurate diagnoses. In a case study, two abnormality diagnosis models were built using gated recurrent units and long short-term memory cells, and consistency checks on the diagnostic results from both models were performed to detect any inconsistencies. Based on this, a re-diagnosis was performed to select the label of the second-best value in the first diagnosis, after which the diagnosis accuracy increased. That is, the model proposed in this study made it possible to detect diagnostic failures by the developed consistency check of the sub-procedure diagnostic results. The consistency check process has the advantage that the operator can review the results and increase the diagnosis success rate by performing additional re-diagnoses. The developed model is expected to have increased applicability as an operator support system in terms of selecting the appropriate AOPs and sub-procedures with re-diagnosis, thereby further increasing abnormal event diagnostic accuracy.

• The Korean Journal of Archival Studies
• /
• no.14
• /
• pp.91-117
• /
• 2006

Electronic Records need to be appraised the authenticity as well as the value itself. There has been various kinds of discussion about how records to be appraised the value of themselves, but there's little argument about how electronic records to be appraised the authenticity of themselves. Therefore this article is modeling some specific authenticity appraisal methods and showing each stages those methods should or may be applied. At the Ingest stage, integrity verification right after records creation in the organization which produced the records, quality and integrity verification about the transferred in the organization which received the records and integrity check between SIP and AIP in the organization which received and preserved the records are essential. At the Preservation stage, integrity check between same AIPs stored in different medium separately and validation of records where or not damaged and recovery damaged records are needed. At the various Processing stages, suitability evaluation after changing the record's management control meta data and changing the record's classification, integrity check after records migration and periodical validation and integrity verification about DIPs are required. For those activities, the appraisal methods including integrity verification, content consistency check, suitability evaluation about record's meta data, feasibility check of unauthorized update and physical status validation should be applied to the electronic records management process.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.17 no.3
• /
• pp.318-326
• /
• 2014

The Shipyard Test of Naval Combat System depends on external factors, such as weather conditions and availability of its sensor-weapon, due to the need of on-board sensor-weapon during the test. This paper suggests the Supportive Equipment using virtual simulator for Shipward Test, in case of the unavailability of the on-board sensor-weapon or the test support force(aircraft, surface ship etc.), to pre-check the functions of the combat system as well as to prepare the Shipyard Test. To mock the real sensor-weapon functions as similar as possible, the Supportive Equipment for Shipyard Test was verified by the Verification and Validation process, which is usually performed while developing models in the Modeling & Simulation field.

• Nuclear Engineering and Technology
• /
• v.27 no.3
• /
• pp.385-392
• /
• 1995

A software engineering process has been developed for the design of safety critical software for Wolsong 2/3/4 project to satisfy the requirement of the regulatory body. Among the process, this paper described the detail process of validation testing peformed to ensure that the software with its hardware, developed by the design group, satisfies the requirements of the functional specification prepared by the independent functional group. To perform the test, test facility and test software ore developed and actual safety system computer was connected. Three kinds of test cases, i.e., functional test performance test and self-check test were programmed and run to verify each functional specifications. Test failures ore fedback to the design group to revise the software and test result were analyzed and documented in the report to submit to the regulatory body. The test methodology and procedure were very efficient and satisfactory to perform the systematic and automatic test. The test results were also acceptable and successful to verify the software acts as specified in the program functional specification. This methodology can be applied to the validation of other safety-critical software.

• International conference on construction engineering and project management
• /
• 2015.10a
• /
• pp.718-719
• /
• 2015

As a recent global trend, the majority of plant projects are delivered through EPC or EPC-turnkey contracts, where a contractor's liability is more complicated because of the mega size scale and financing method. Previous researches have been lacking a practical usability for project members for liabilities of contracts. Those were focused on solving the claims or schedule calculation issues only. The objective of the present study was to develop a validation process for LDs (liquidated damages) in contractor's liabilities with various case studies and expert judgments. As summarized in this paper, the processes and tools were developed with project life cycle process. The project preparation phase includes 3 step check lists to determine the Go or No-go for projects. In progress phase, contractors should focus on the response strategies for claims with liabilities. The study concludes that those developed processes and tools will help to manage risk of LDs for the contractors in the overseas projects.

• Journal of Construction Engineering and Project Management
• /
• v.2 no.4
• /
• pp.11-19
• /
• 2012

Construction supply chain management (CSCM) has become one of the critical factors that determine the success of a construction project as it becomes increasingly complicated and mega-sized. Particularly for high-rise or mega-sized building construction, just-in-time supply chain management is required due to lack of storage space and effective logistics for construction components and materials at a construction site. Despite the fact that research and development of radio frequency identification (RFID) and wireless sensor network (WSN) technology have been performed, construction project managers still need to carry mobile devices and check material and component flow at each stage of the supply chain process. This research proposes that the equipment used in the construction supply chain process, such as movers, trailers, gates, and hoists, can become main actors in the supply chain process using RFID and WSN technologies. And the proposed equipment and process focused on a solution to the redundancy identification problem, which has been observed in operations that use RFID/WSN-based processes for construction logistics. This paper also presents issues identified through verification and validation of the research results and proposes further studies.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.5 no.2
• /
• pp.199-208
• /
• 2009

Mosts of export/import cargo has been moving using maritime transport means. Korea had been driven the system automation project using EDI document since the mid-1990s. However, this automation system comes upon about 40-50% against overall maritime business process, manual or paper document processing work is existing as ever. International e-business environment also has changing into electronic form document transaction from paper document-based transaction. International standardization organization, UN/CEFACT proposed UNeDocs for paperless jtransaction. UNeDocs is a specification to define XML data model as well as electronic form. With UNeDocs, it is not necessary to generate the duplexed data, and it can support user convenient and guarantee the flexibility. This paper defines the UNeDocs data model for EDI and Off-Line processing at the current maritime business. Then, it have to check XML syntax and structure for the defined data model through quality of document check system. Also, it explains the applying plan about the defined UNeDocs data model. It is possible to support paperless transaction as defining UNeDocs-based standard data model and converting into paper document, XML and EDI document using UNeDocs data model.

• Journal of Korean Society for Quality Management
• /
• v.36 no.4
• /
• pp.37-46
• /
• 2008

There are big differences in six sigma projects between manufacturing processes and transactional/service processes. This paper analyzed the differences between the two areas by examining 18 six sigma case studies in Korean companies. To characterize six sigma case studies, step-by-step questions and check criteria were developed based on 12 step DMAIC methodology. On the basis of those characterized data, the differences between two areas were analyzed. Significant differences were found in the number of CTQs, validation of measurement systems, methods to determine improvement objectives, the methods to elicit improvement plans and types of control systems. The most significant difference was that statistical tools were widely used in manufacturing processes, but qualitative tools were used in transactional/service processes during improvement phase.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.8 no.1
• /
• pp.221-229
• /
• 2012

A model for expressing meta data syntax in the eXtensible Markup Language(XML) was developed to increase the portability of the Arden Syntax in medical treatment. In this model that is Arden syntax uses two syntax checking mechanisms, first an XML validation process, and second, a syntax check using an XSL style sheet. Two hundred seventy-seven examples of MLMs were transformed into MLMs in ArdenML and validated against the schema and style sheet. Both the original MLMs and reverse-parsed MLMs in ArdenML were checked using a Arden Syntax checker. The textual versions of MLMs were successfully transformed into XML documents using the model, and the reverse-parse yielded the original text version of MLMs.