C. Colombo¹, E.G. Marchesin¹, L. Vergani^1,2, E. Boccafogli³, G. Verni³

Structural Durability & Health Monitoring, Vol.8, No.4, pp. 307-328, 2012, DOI:10.32604/sdhm.2012.008.307

Abstract In this study an experimental device for testing the structural integrity of lower limb (transtibial and transfemoral) prostheses is proposed and studied, in accordance with the ISO 10328 Standard. Aim of the development of this device is to mechanically test these kinds of prostheses, for claiming the compliance with the standard. In the first part of the paper, experimental setup of the laboratory is described for the different kinds of prescribed tests. In the second part, the test case of a transtibial prosthesis for children is proposed. After verifying the compliance with the standard of the studied prosthesis, values recorded… More >

Syh-Tsang Jenq, Yuen-Sheng Chiu

The International Conference on Computational & Experimental Engineering and Sciences, Vol.16, No.1, pp. 15-16, 2011, DOI:10.3970/icces.2011.016.015

Abstract Current work studies the transient hydroplaning behaviors of 200 kPa inflated pneumatic radial tires with V-shaped grooved tread patterns and then rolls over the water film with a thickness of 10 mm. we also perform complete numerical simulations in order to know how to elevate the hydroplaning capability. Tires were numerically loaded with a quarter car weight of 4 kN on initial step, and then subsequently accelerated from rest rolling over a water film with a thickness of 10 mm on top of a flat roadway. Tire structure is composed of outer rubber tread and inner fiber reinforcing composite layers.… More >

B.K.Raghu Prasad¹, Rabindra Kumar Saha¹, A.R.Gopalakrishnan¹

The International Conference on Computational & Experimental Engineering and Sciences, Vol.14, No.3, pp. 65-84, 2010, DOI:10.3970/icces.2010.014.065

Abstract Several different models have been proposed to characterize mode-I crack propagation in concrete. The fictitious crack model proposed by Hillerborg et al. and the blunt crack band theory developed by Bazant & Oh are particularly well suited for a finite element analysis. The two-parameter fracture model proposed by Jenq & Shah is found to be applicable only for beams with s/w=4, where s=span & w=depth of the beam. The general applicability of the model for other testing configurations is not published. In the present study an experimental verification of a one-parameter model based on fundamental equation of equilibrium developed by… More >

Shen Shang and Gun Jin Yun^1,1

CMC-Computers, Materials & Continua, Vol.27, No.1, pp. 55-72, 2012, DOI:10.3970/cmc.2012.027.055

Abstract In this paper, the Self-Optimizing Inverse Method (Self-OPTIM) has been experimentally verified by identifying constitutive parameters solely based on prescribed boundary loadings without full-field displacements. Recently the Self-OPTIM methodology was developed as a computational inverse analysis tool that can identify parameters of nonlinear material constitutive models. However, the methodology was demonstrated only by numerically simulated testing with full-field displacement fields and prescribed boundary loadings. The Self-OPTIM is capable of identifying parameters of the chosen class of material constitutive models through minimization of an implicit objective function defined as a function of full-field stress and strain fields in the optimization process.… More >

Zhiqiang Ruan^1,*, Haibo Luo¹, Wenzhong Lin¹, Jie Wang²

CMC-Computers, Materials & Continua, Vol.56, No.3, pp. 483-499, 2018, DOI: 10.3970/cmc.2018.03687

Abstract Content caching is a core component in Named Data Networking (NDN), where content is cached in routers and served for future requests. However, the adversary can launch verification attack by placing poisoned data into the network with a legitimate name and allow the routers in the delivery path to frequently identify the content. Since NDN employs digital signature on each piece of content, verifying all content will exhaust routers’ computational resources due to the massive data in the network. In this paper, we propose a selective verification scheme upon the contents that are hit in the content store and allow… More >

B.T. Tang^1,2, X.Y. Lu¹, H. Xie²

CMES-Computer Modeling in Engineering & Sciences, Vol.73, No.2, pp. 171-182, 2011, DOI:10.3970/cmes.2011.073.171

Abstract The Traditional Inverse Analysis Method (TIAM) of sheet metal stamping has the shortcoming of neglecting the effects of deformation history on stress prediction. An Updated Inverse Analysis Method (UIAM) is proposed based on the final workpiece in Euler coordinate system. The UIAM uses the constitutive equation based on pseudo flow theory of plasticity to consider the loading history. In order to avoid numerous iterations to ensure the numerical stability in Newton-Raphson scheme to obtain plastic multiplier ∆λ, the equation in unknown stress vectors is transformed into a scalar equation using the notion of the equivalent stress. Thus a scalar equation… More >

Daoming Shen¹, Hua Si^1,*, Jinhong Xia¹, Shunqun Li²

FDMP-Fluid Dynamics & Materials Processing, Vol.15, No.1, pp. 63-76, 2019, DOI:10.32604/fdmp.2019.04799

Abstract The correct determination of thermal parameters, such as thermal conductivity and specific heat of soil during freezing, is the most important and basic problem for the construction of an appropriate freezing method. In this study, a calculation model of three stages of soil temperature was established. At the unfrozen and frozen stages, the specific temperatures of dry soil, water, and ice are known. According to the principle of superposition, a calculation model of unfrozen and frozen soils can be established. Informed by a laboratory experiment, the latent heat of the adjacent zone was calculated for the freezing stage based on… More >

Tao Shang^1,*, Zhuang Pei², Ranyiliu Chen³, Jianwei Liu¹

CMC-Computers, Materials & Continua, Vol.59, No.1, pp. 149-165, 2019, DOI:10.32604/cmc.2019.05360

Abstract In January 2015, the first quantum homomorphic signature scheme was proposed creatively. However, only one verifier is allowed to verify a signature once in this scheme. In order to support repeatable verification for general scenario, we propose a new quantum homomorphic signature scheme with repeatable verification by introducing serial verification model and parallel verification model. Serial verification model solves the problem of signature verification by combining key distribution and Bell measurement. Parallel verification model solves the problem of signature duplication by logically treating one particle of an EPR pair as a quantum signature and physically preparing a new EPR pair.… More >

Chunhua Li^1,*, Peng Wang¹, Changhong Sun¹, Ke Zhou¹, Ping Huang²

CMC-Computers, Materials & Continua, Vol.58, No.2, pp. 319-333, 2019, DOI:10.32604/cmc.2019.03856

Abstract The security of cloud data has always been a concern. Cloud server provider may maliciously tamper or delete user’s data for their own benefit, so data integrity audit is of great significance to verify whether data is modified or not. Based on the general three-party audit architecture, a dynamic auditing scheme without bilinear pairings is proposed in this paper. It utilizes exponential operation instead of bilinear mapping to verify the validity of evidence. By establishing the mapping relation between logic index and tag index of data block with index transformation table, our scheme can easily support dynamic data operation. By… More >

Yu Zhang^1,2,*, Mengxing Huang^1,2,*, Hao Wang³, Wenlong Feng^1,2, Jieren Cheng^1,2, Hui Zhou^1,2

CMC-Computers, Materials & Continua, Vol.58, No.1, pp. 287-306, 2019, DOI:10.32604/cmc.2019.03736

Abstract Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and transcend traditional control systems and embedded system. Such systems are often mission-critical; therefore, they must be high-assurance. High-assurance CPS require co-verification which takes a comprehensive view of the whole system to verify the correctness of a cyber and physical components together. Lack of strict multiple semantic definition for interaction between the two domains has been considered as an obstacle to the CPS co-verification. A Cyber/Physical interface model for hierarchical a verification of CPS is proposed. First, we studied the interaction mechanism between computation and physical processes. We further classify the… More >