Fractional-order visco-plastic constitutive model for uniaxial ratcheting behaviors

This paper proposes a novel unified visco-plastic constitutive model for uniaxial ratcheting behaviors. The cyclic deformation of the material presents remarkable time-dependence and history memory phenomena. The fractional(fractional-order)derivative is an efficient tool for modeling these phenomena. Therefore, we develop a cyclic fractional-order unified visco-plastic(FVP) constitutive model. Specifically, within the framework of the cyclic elasto-plastic theory, the fractional derivative is used to describe the accumulated plastic strain rate and nonlinear kinematic hardening rule based on the Ohno-Abdel-Karim model. Moreover, a new radial return method for the back stress is developed to describe the unclosed hysteresis loops of the stress-strain properly.The capacity of the FVP model used to predict the cyclic deformation of the SS304 stainless steel is verified through a comparison with the corresponding experimental data found in the literature(KANG, G. Z., KAN, Q. H., ZHANG, J., and SUN, Y. F. Timedependent ratcheting experiments of SS304 stainless steel. International Journal of Plasticity, 22(5), 858–894(2006)). The FVP model is shown to be successful in predicting the rate-dependent ratcheting behaviors of the SS304 stainless steel.

A UTP semantic model for Orc language with execution status and fault handling

The Orc language is a concurrency calculus pro- posed to study the orchestration patterns in service oriented computing. Its special features, such as high concurrency and asynchronism make it a brilliant subject for studying web applications that rely on web services. The conventional se- mantics for Orc does not contain the execution status of ser- vices so that a program cannot determine whether a service has terminated normally or halted with a failure after it pub- lished some results. It means that this kind of failure cannot be captured by the fault handler. Furthermore, such a seman- tic model cannot establish an order saying that a program is better if it fails less often. This paper employs UTP methods to propose a denotational semantic model for Orc that con- rains execution status information. A failure handling seman- tics is defined to recover a failure execution back to normal. A refinement order is defined to compare two systems based on their execution failures. Based on this order, a system that introduces a failure recovery mechanism is considered bet- ter than one without. An extended operational semantics is also proposed and proven to be equivalent to the denotational semantics.