Advanced Techniques for Computational and Information Sciences

Guo, Wenqiang; Hung, Chih‐Cheng; Scheunders, Paul; Kuo, Bor‐Chen; Lan, Yihua; Ma, Zhiqiang

doi:10.1155/2016/5623913

Cited by 2 publications

(1 citation statement)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In view of the severe situation of domestic industrial structure imbalance, rising manufacturing costs, and the weakness of traditional manufacturing competitive advantage, in 2015, the Chinese government launched the ''China manufacturing 2025,'' 1 combining the entity manufacturing industry with cloud computing, 2 big data, 3 and other virtual network technology, 4 to promote the transformation of industrial structure to the high end. 5 Cloud manufacturing promotes the transformation of China's manufacturing from traditional production to service-oriented and customized production.…”

Section: Introductionmentioning

confidence: 99%

Cloud manufacturing service composition and formal verification based on extended process calculus

Yao

2018

Advances in Mechanical Engineering

View full text Add to dashboard Cite

Cloud manufacturing is an emerging service-oriented model to solve existing problems in manufacturing. This study proposes a process calculus-based approach to formally model cloud manufacturing service composition that is composed of description model, interaction scenario model, and composition process formal model, in which the semantics of process calculus to describe the quality of service (QoS) information of service composition is extended, and an intelligent service composition method is put forward based on the extended process calculus. Then, a platform architecture for implementing the proposed approach is addressed. The integrated development environment for the platform is set up with selection of free software tools. Thus, a prototype of the platform is developed. Finally, automated guided vehicle processing service composition and the open integrated manufacturing system service composition are taken as examples to illustrate the application of the proposed service composition method. The main attributes of the formal models for the application cases are verified. Case study results show that the proposed service composition and formal verification method based on the extended process calculus is feasible. Compared with other approaches for service composition, the proposed intelligent service composition method meets the most requirements for service composition.

show abstract

Section: Introductionmentioning

confidence: 99%

Cloud manufacturing service composition and formal verification based on extended process calculus

Yao

2018

Advances in Mechanical Engineering

View full text Add to dashboard Cite

show abstract

A finite-deformation constitutive model of particle-binder composites incorporating yield-surface-free plasticity

Agarwal

Gonzalez

2021

Journal of Applied Mechanics

View full text Add to dashboard Cite

We present a constitutive model for particle-binder composites that accounts for finite-deformation kinematics, nonlinear elasto-plasticity without apparent yield, cyclic hysteresis, and progressive stress-softening before the attainment of stable cyclic response. The model is based on deformation mechanisms experimentally observed during quasi-static monotonic and cyclic compression of mock Plastic-Bonded Explosives (PBX) at large strain. An additive decomposition of strain energy into elastic and inelastic parts is assumed, where the elastic response is modeled using Ogden hyperelasticity while the inelastic response is described using yield-surface-free endochronic plasticity based on the concepts of internal variables and of evolution or rate equations. Stress-softening is modeled using two approaches; a discontinuous isotropic damage model to appropriately describe the softening in the overall loading-unloading response, and a material scale function to describe the progressive cyclic softening until cyclic stabilization. A nonlinear multivariate optimization procedure is developed to estimate the elasto-plastic model parameters from nominal stress-strain experimental compression data. Finally, a correlation between model parameters and the unique stress-strain response of mock PBX specimens with differing concentrations of aluminum is identified, thus establishing a relationship between model parameters and material composition.

show abstract

Advanced Techniques for Computational and Information Sciences

Cited by 2 publications

References 9 publications

Cloud manufacturing service composition and formal verification based on extended process calculus

Cloud manufacturing service composition and formal verification based on extended process calculus

A finite-deformation constitutive model of particle-binder composites incorporating yield-surface-free plasticity

Contact Info

Product

Resources

About