• Journal of KIISE:Software and Applications
• /
• v.27 no.3
• /
• pp.210-216
• /
• 2000

Place/Transition(P/T) nets has been used in protocol verification and concurrent system verification since it is suitable for describing concurrency and provides several well-established verification techniques. And it has been used as a base formalism for such high-level Petri nets as colored Petri nets, object-oriented Petri nets and etc. However, when analyzing complex models using P/T nets and P/T nets-based high-level Petri nets, there may be state explosion in reachability analysis due to improper handling of concurrency. In this paper, we define a structural concurrency in P/T nets, propose a partitioning algorithm based on the detected structural concurrency, and provide analysis techniques for such properties as boundedness of places and liveness of transitions, which are performed on compositional reachability graphs. The analysis techniques based on Petri net slices can be used in efficiently analyzing P/T nets-based high-level Petri net models as well as P/T net models.

• Information Systems Review
• /
• v.19 no.3
• /
• pp.1-21
• /
• 2017

The Internet of Things (IoT) analysis aims to verify the technical characteristics, performance expectations, and adoption intentions of IoT. This work refers to IoT data from foreign and domestic publications and websites as well as aims to benefit related organizations by referring to reports from agencies. The literature review summarizes the relevant theories and background of the unified theory of acceptance and use of technology. The SPSS 22.0 software and structural equation models (smart PLS 2.0) are used in the data analysis. Technical statistics analysis, reliability analysis, validity analysis, structural equation models, and statistical methods are employed to test the research hypotheses, that is, the technical characteristics of IoT will have positive effects on its performance expectations. This study introduces the characteristics and expected performance of IoT to present relevant IoT guidelines for companies that aim to adopt such technology.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.30 no.8 s.251
• /
• pp.873-879
• /
• 2006

To investigate applicability of the reference stress approach as simplified inelastic stress analysis to estimate local creep rupture, detailed finite element stress analyses of a T-piece pipe with different inner pressure and system loading levels are performed. The reference stresses are obtained from the finite element (FE) limit analysis based on elastic-perfectly-plastic materials, from which the local reference stress for creep rupture is determined from R5. The resulting inelastic stresses are compared with elastic stresses resulting from linear elastic FE calculations. Furthermore they are also compared with the stresses from full elastic-creep FE analyses. It shows that the stresses estimated from the reference stress approach compare well with those from full elastic-creep FE analysis, which are significantly lower than the elastic stress results. Considering time and efforts for full inelastic creep analysis of structures, the reference stress approach is shown to be a powerful tool for creep rupture estimates and also to reduce conservatism of elastic stress analysis significantly.

• Proceedings of the KSME Conference
• /
• 2004.11a
• /
• pp.1564-1568
• /
• 2004

The requirements of internal balance were studied that should be considered on performing force & moment transonic wind tunnel testing to develop combat aircraft. In many insecure factors of test condition, uncertainty analysis was conducted to verify one drag count measurements. The analysis result was applied to T-50 aircraft model and compared for data verifaction. In conclusion, the aerodynamicist should estimate the validation and accuracy of test data by having an overall grasp of system components including internal balance. It will help him get high productivity of testing and effective validated data at tunnel.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2004.10a
• /
• pp.121-124
• /
• 2004

The purpose of this study is to define the optimized layer pattern of composite wind turbine blade by using a commercial FEM program and to perform the fatigue test of T-Bolt. FEM analysis is done by using a PATRAN and ABAQUS to get a information about stress distribution ,critical deformation shape and get a critical load factor in local buckling analysis. As a result of the linear and nonlinear structural analysis, layer pattern of blade was optimized. T-Bolt is a connecting part of wind turbine blade and rotor hub, therefore T-bolt is cirtical part of wind turbine blade. T-bolt fatigue test is conducted to get a information of life cycle of T-bolt. The test is done by using a hydraulic actuator system

• Proceedings of the International Microelectronics And Packaging Society Conference
• /
• 2003.11a
• /
• pp.247-250
• /
• 2003

In this paper, the boundary element analysis of viscoelastic strain energy release ,ate G(t) for the cracked linear viscoelastic materials is attempted. This study proposes the G(t) equation and the calculating method of G(t) by time-domain boundary element analysis for the viscoelastic solids. The G(t) is defined as the derivative of the viscoelastic potential energy $\Pi(t)$ with respect to crack length a. Two example problems are presented to show the applicability of the proposed method to the analysis of the cracked linear viscoelastic solids. Numerical results of example problems show the accuracy and effectiveness of the proposed method.

• Proceedings of the Korean Society for Noise and Vibration Engineering Conference
• /
• 2004.11a
• /
• pp.546-549
• /
• 2004

The T-50/A-50 Golden Eagle was developed for a supersonic trainer and light combat aircraft. At the design stage, vibration control plans were established and applied. For cockpit vibration, crew comfort vibration level was defined by the requirement of MIL-A-8892. It is found that the T-50/A-50 meets the requirement of cockpit vibration from the flight test data analysis. This paper contains the results of cockpit vibration analysis using the flight test data and the results of human vibration analysis lot the pilot inside aircraft. The human vibration level of pilot is increased as dynamic pressure is increased and at the specific high dynamic pressure, the ride comfort indicates 'a little uncomfortable'. Overall analysis results show that the vibration level of T-50/A-50 cockpit is tolerable and not critical for pilot's comfort.

• Journal of Information Technology Applications and Management
• /
• v.29 no.6
• /
• pp.63-80
• /
• 2022

In this paper, we study structural changes and performance gains in condition-based maintenance process redesign when mobile IoT technology is embedded into urban railway rolling stock. We first develop condition-based maintenance To-Be process model in accordance with the IoT deployment scheme. Secondly, we draw upon theoretical framework of redesign process analysis to develop performance evaluation method suitable to predictive maintenance shift from As-Is ordinary maintenance practice. Subsequently, To-Be process performance evaluations are conducted adopting both the quantitative and qualitative method for time, cost, and dependability dimensions. The results ascertain the considerable benefits captured through detection abnormality prior to actual rolling stock failure occurrence, and details of performance improvements and enhancement of standardization level is revealed. The procedures and results presented in this paper offers useful insights in the fields of IoT economic analysis, condition based maintenance, and business process redesign.

• Asian Pacific Journal of Cancer Prevention
• /
• v.13 no.1
• /
• pp.111-115
• /
• 2012

Variants of X-ray repair cross-complementing group 1 (XRCC1) are involved in the development of cancer, but studies investigating the association of XRCC1-77T>C polymorphism with cancer risk have reported conflicting results. To clarify the effect of the XRCC1 -77T>C polymorphism on cancer risk, we performed a meta-analysis by conducting searches of the published literature in PubMed, Embase and CBM databases. Finally, 13 studies were included into our meta-analysis, involving a total of 11, 678 individuals. Subgroup analyses were performed by ethnicity and cancer type. The results of this meta-analysis showed that there was significant association between the C variant of XRCC1-77T>C polymorphism and cancer risk in all four genetic comparison models (ORC vs. T =1.19, 95%CI 1.07-1.31, P = 0.001; OR homozygote model =1.28, 95%CI 1.07-1.52, P = 0.007; OR recessive genetic model =1.22, 95%CI 1.04-1.44, P = 0.015; OR dominant model =1.21, 95% CI 1.07-1.35, P = 0.001). In the subgroup analyses based on ethnicity, the association was still significant in the Asian population (all p values<0.001), but not in the Caucasian population (all p values > 0.05). Thus, the XRCC1 -77T>C polymorphism is associated with cancer risk, and individuals with XRCC1 -77C variant have a significantly higher cancer risk, particularly in the Asian population.

• Asian Pacific Journal of Cancer Prevention
• /
• v.14 no.2
• /
• pp.1043-1047
• /
• 2013

Although there have been many studies investigating possible associations between the C1653T mutation and risk of HCC, the results have been inconsistent. We conducted searches of the published literature in Pubmed and Embase databases up to January 2013. Seventeen studies with a total of 1,085 HCC cases and 1,365 healthy controls were retrieved. We found a significant association between the C1653T mutation and HCC risk (OR = 2.01, 95%CI= 1.49-2.70). In the subgroup analysis by ethnicity, a significant association was also found in Asians (OR = 2.07, 95%CI= 1.71-2.51). In subgroup analysis by HBV genotype, B and C were linked with development of HCC (B:OR = 2.21, 95%CI= 1.13-4.34; C:OR = 2.26, 95%CI= 1.61-3.16). However, no significant association was found between the C1653T mutation and HCC risk in HBeAg positive cases. In conclusion, this meta-analysis suggests that the C1653T mutation may be associated with susceptibility to HCC.