• Journal of the Korean Society of Safety
• /
• v.32 no.5
• /
• pp.96-102
• /
• 2017

The highest fatal accident ratio was recorded in the construction industry. According to the industrial insurance premium rate & business type example, among the construction industry, the architectural work has the highest fatal and loss time accident ratio. Previous literature has investigated various aspects of accident occurrence and prevention in architectural work. However, those studied were limited in that they only focused on the fatal accident without considering the loss time accident. But non fatal accidents were recorded more than 50 times of fatal accidents. Therefore non fatal accidents must be controlled to lessen industrial accidents. Based on this, the goal of this study was to investigate the nature of the loss time accident and derive the risk index of work type in architectural work. In this study, opinions of safety experts were gathered and the risk index of work type was derived using AHP(Analytic Hierarchy Process). And verification was accomplished by comparing the results of this study with the risk index derived by analysis of accident records. Results showed that the risk index of work type was significantly higher in steel frame work, temporary installation work, earth & foundation work, facilities work, concrete work. And statistical analysis for verification showed that coefficient of Pearson correlation was 0.686 and P-value was 0.001.

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.18 no.1
• /
• pp.64-88
• /
• 2024

Security and reliability are the utmost importance facts in intelligent networked vehicles. Stochastic Petri Net and Z (SPZN) as an excellent formal verification tool for modeling concurrent systems, can effectively handles concurrent operations within a system, establishes relationships among components, and conducts verification and reasoning to ensure the system's safety and reliability in practical applications. However, the application of a system with numerous nodes to Petri Net often leads to the issue of state explosion. To tackle these challenges, a refinement and abstraction method based on SPZN is proposed in this paper. This approach can not only refine and abstract the Stochastic Petri Net but also establish a corresponding relationship with the Z language. In determining the implementation rate of transitions in Stochastic Petri Net, we employ the interval average and weighted average method, which significantly reduces the time and space complexity compared to alternative techniques and is suitable for expert systems at various levels. This reduction facilitates subsequent comprehensive system analysis and module analysis. Furthermore, by analyzing the properties of Markov Chain isomorphism in the case study, recommendations for minimizing system risks in the application of intelligent parking within the intelligent networked vehicle system can be put forward.

• KIPS Transactions on Software and Data Engineering
• /
• v.10 no.12
• /
• pp.569-578
• /
• 2021

Thanks to web development today, we can easily access online news via various media. As much as it is easy to access online news, we often face fake news pretending to be true. As fake news items have become a global problem, fact-checking services are provided domestically, too. However, these are based on expert-based manual detection, and research to provide technologies that automate the detection of fake news is being actively conducted. As for the existing research, detection is made available based on contextual characteristics of an article and the comparison of a title and the main article. However, there is a limit to such an attempt making detection difficult when manipulation precision has become high. Therefore, this study suggests using a verifying article to decide whether a news item is genuine or not to be affected by article manipulation. Also, to improve the precision of fake news detection, the study added a process to summarize a subject article and a verifying article through the summarization model. In order to verify the suggested algorithm, this study conducted verification for summarization method of documents, verification for search method of verification articles, and verification for the precision of fake news detection in the finally suggested algorithm. The algorithm suggested in this study can be helpful to identify the truth of an article before it is applied to media sources and made available online via various media sources.

• Proceedings of the Korean Society of Medical Physics Conference
• /
• 2002.09a
• /
• pp.425-426
• /
• 2002

The bone densitometer is to investigate the bone mineral content and density for the osteoporosis assessment by using dual energy X-ray photons. For the clinical verification of the ISOL's OSTEO plus, the clinical study was performed with healthy and non-menopausal 30 female volunteers. The fan-beam DXA machine (Lunar, Expert) was chosen as a reference. After correlation analysis of their bone mineral densities, a strong correlation was obtained. From the results, it is claimed that the new forearm bone densitometer is clinically useful in osteoporosis diagnosis.

• Proceedings of the KIEE Conference
• /
• 1999.11b
• /
• pp.107-109
• /
• 1999

In the point of view protective relay, the selectivity and sensitivity is very important in its performance. The correct setting of the relay parameter is required. The verification of accurate setting for the protective relay is very difficult before a actual fault occurs. In this paper, we proposed the diagnosis expert system as a method to verify the correctness of the relay setting. The developed system proved effectiveness through the tests on the real systems.

• Journal of the Korea Society for Simulation
• /
• v.7 no.2
• /
• pp.1-16
• /
• 1998

This paper presents an automated methodology for campus network design and performance analysis using the rule-based SES and DEVS modeling & simulation techniques. Proposed methodology for structural design and performance analysis can be utilized not only in the early stage of network design for selecting configurable candidate from all possible design alternatives, but also in simulation verification for generating performance data. Our approach supercedes conventional methodologies in that, first, it can support the configuration automation by utilizing the knowledge of design expert ; second, it can provide the simulation-based performance evaluation ; third, it is established on the basis of the well-formalized framework so that it can support a hierarchical and modular system design. Several simulation tests performed on a campus network example will illustrate our technique.

• Journal of Korean Academy of Nursing Administration
• /
• v.1 no.2
• /
• pp.338-348
• /
• 1995

We need to continuously evaluate for nursing quality and the outcome to reflect nursing, to repair and improve of nursing. The first problem for nursing quality improvement is development of evaluation tool for the quality of nursing care. We need a system for quality assurance evaluation that is, development and framework of evaluation tool for nursing care quality. The purpose of this study was attempted to develop an evaluation tool for the quality of nursing care in musculoskeletal disorder patients. The approach method of nursing quality for the development of the tool in this study was process evaluation framework. The study were devided dvelopment process and reliability, validity verification process. The subjects of development process of this tool are three nursing export groups, and the subject of reliability, validity verification process are 20 samples of two university hospital in seoul, who were within discharge 3 months after admission treatment in musculo-skeletal disorder. Data for this study was collected from March 10 to April 13, 1995. The development process of the tool were as follows : 1. Make preliminary list of the tool by focal group were constituted 12 clinical nurses. 2. Modify and add preliminary list by 4 nursing expert panel. 3. Calculate content validity of the tool by 25 nursing expert panel of judge. 4. Verify reliability and validity of the tool. 5. Finalize an evaluation tool for the quality of the nursing care in musculo-skeletal disorder. The results of this study were as follows : 1) Development an evaluation tool for the quality of nursing care in musculo-skeletal disorder. (1) The evalution tool of this study was developed 5 standards, 33 criterias and 133 indicators. (2) 5 standards were divided according to Nursing Process. from standard 1 to standard 5, involved criterias were each 6(18%), 3(9%), 3(9%), 15(46%), 6(18%). 2) Verify reliability and validity of the tool. (1) Score of adequate degree for content validity of 33 criterias and 133 indicators were every average 2.82. (2) Inter-rater reliabilities(consentaneity score) of the tool by pearson correlation coefficient between three raters were : r=.7506, r=.8934, r=.6695. and Inter-rater reliabilities by single-facet crossed design were : r=.7464. (3) The alpha coefficient relating to internal consistency was .8524 over all 30 items of 33 criterias of developed tool. (4) Score of the quality of nursing care following to generaal characteristics of this study subjects were stastically significant differences according to educational level (F=2.93, p=.029)and diagnosing classification (F=2.50, p=.042). Through this study, I'm sure that the developed tool for the quality of patient care in musculo-skeletal disorder will show the way of more improvement of the quality of nursing care and effective nursing interventions.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.35 no.6
• /
• pp.1413-1420
• /
• 2015

On the design phase of small size bridge, owing to the lack of related guidelines or standards to determine a superstructure type of bridge, many designers tend to select the type depending on expert's experience and knowledge. Moreover, recently, as types of bridge superstructure become diverse and more conditions need to be considered in the project, the decision makes process become complex. This research covered the selection of a superstructure type of a middle or small size bridge with span length of about 50m, which frequently built for national roadway, selecting type of bridge superstructure more systematic way rather than the existing ways to compare construction methods or to depend on expert's experiences. This study proposes to build a bridge superstructure type selection model using one of the techniques of artificial intelligence techniques SVM by applicability of the model examined through the verification of the actual case.

• Journal of Physiology & Pathology in Korean Medicine
• /
• v.27 no.4
• /
• pp.362-366
• /
• 2013

We are building an Korean Medicine ontology and disassembling indication terms of medicinal materials and formulas. When we disassemble these terms, an expert can disagree about another expert's result, so participants have to consider another opinion and verify each other concurrently. To achieve this, we have developed a web-based tool that support users in refining terms, disassembling them into the minimum meaning efficiently. With this tool, plural participants refer to each other and make use of this as a verification method. This would have enabled participants to achieve consensus. Due to the nature of the traditional Korean Medicine knowledge which have rich implications and is complicated,E there would be a various result of refinement, disassembly, analysis and another processing. This tool assists users in minimizing the differences and maintaining objectivity by agreement. We have refined and analyzed 4,756 terms from materials and formulas indication in Korean Medicine ontology using this tool. And we concluded that disassembled data increases the percentage of linkage between diseases and medicinal treatments and established an infrastructure for the extensible knowledge.

• Journal of Korean Society for Geospatial Information Science
• /
• v.16 no.3
• /
• pp.87-94
• /
• 2008

In this study, deals with selection of monitoring objects to handle emergency cases of multi-modal transfer stations and information required for emergency surveillance, recognition, verification, propagation, processing and situation closing. Furthermore, this article suggests integrated management scheme for the above information and methods which offer appropriate information required for situation handling decisions at each stage of situation changes. The transfer station which consists of facilities, passengers, and transportations has limitations in required monitoring information. So, for the situation recognition and handling strategy, case-based reasoning of the expert system was used to apply experience, knowledge, and past cases of situation handling experts. The article also suggests methods to control facilities which are operated at transfer stations and these methods can minimize spatial confusions and damages at the emergency situation. The real time situation information will be shared by proper facility controls to support services from external institutions.