Dynamic response of UHMWPE plates under combined shock and fragment loading

Ultra-high molecular weight polyethylene(UHMWPE)fiber composite has been extensively used to construct lightweight protective structures against ballistic impacts,yet little is known about its performance when subjected to combined blast and fragment impacts.Built upon a recently developed laboratory-scale experimental technique to generate simulated combined loading through the impact of a fragment-foam composite projectile launched from a light gas gun,the dynamic responses of fullyclamped UHMWPE plates subjected to combined loading were characterized experimentally,with corresponding deformation and failure modes compared with those measured with simulated blast loading alone.Subsequently,to explore the underlying physical mechanisms,three-dimensional(3D)numerical simulations with the method of finite elements(FE)were systematically carried out.Numerical predictions compared favorably well with experimental measurements,thus validating the feasibility of the established FE model.Relative to the case of blast loading alone,combined blast and fragment loading led to larger maximum deflections of clamped UHMWPE plates.The position of the FSP in the foam sabot affected significantly the performance of a UHMWPE target,either enhancing or decreasing its ballistic resistance.When the blast loading and fragment impact arrived simultaneously at the target,its ballistic resistance was superior to that achieved when subjected to fragment impact alone,and benefited from the accelerated movement of the target due to simultaneous blast loading.

Analysis and design for the comprehensive ballistic and blast resistance of polyurea-coated steel plate

Fragments and blast waves generated by explosions pose a serious threat to protective structures.In this paper,the impact resistance of polyurea-coated steel plate under complex dynamic loading is analyzed and designed for improving comprehensive ballistic and blast resistance using the newly established computational evaluating model.Firstly,according to the thickness and placement effects of the coating on the impact resistance,the steel-core sandwich plates are designed,which are proved to own outstanding comprehensive ballistic and blast resistance.Besides,the distribution diagram of ballistic and blast resistance for different polyurea-coated steel plates is given to guide the design of protective structures applying in different explosion scenarios.Furthermore,the dynamic response of designed plates under two scenarios with combined fragments and blast loading is studied.The results show that the synergistic effect of the combined loading reduces both the ballistic and blast resistance of the polyurea-coated steel plate.Besides,the acting sequence of the fragments and blast affects the structural protective performance heavily.It is found that the first loading inducing structural large deformation or damage is dominant.When fragments impact first,the excellent unit-thickness ballistic performance of the structural front part is strongly needed for improving the comprehensive ballistic and blast resistance.

D^(*) jet fragmentation function paradox and combination mechanism

In the framework of the perturbative Quantum Chromodynamics factorization,the production of a hadron includes contributions from fragmentation as well as combination,with the latter being of higher twist.In particular,the heavy meson production can be via the combination of a heavy quark with a light one,and the cross section can be factorized to be the convolution of the combination matrix element,the light quark distribution function,and the hard partonic sub-cross section of the heavy quark production.The partonic distribution and the combination matrix element are functions of a scaling variable,respectively,which is the momentum fraction of the corresponding quark with respect to the heavy meson.We studied the D^(*±)production in jet via combination in pp collision at the LHC.The total result is comparable with the experimental data.The combination matrix elements can be further studied in various hadron production processes.

Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification

UML 2.X sequence diagrams(SD)are among privileged scenarios-based approaches dealing with the complexity of modeling the behaviors of some current systems.However,there are several issues related to the standard semantics of UML 2.X SD proposed by the Object Management Group(OMG).They mainly concern ambiguities of the interpretation of SDs,and the computation of causal relations between events which is not specifically laid out.Moreover,SD is a semi-formal language,and it does not support the verification of the modeled system.This justifies the considerable number of research studies intending to define formal semantics of UML SDs.We proposed in our previous work semantics covering the most popular combined fragments(CF)of control-flow ALT,OPT,LOOP and SEQ,allowing to model alternative,optional,iterative and sequential behaviors respectively.The proposed semantics is based on partial order theory relations that permit the computation of the precedence relations between the events of an SD with nested CFs.We also addressed the issue of the evaluation of the interaction constraint(guard)for guarded CFs,and the related synchronization issue.In this paper,we first extend our semantics,proposed in our previous work;indeed,we propose new rules for the computation of causal relations for SD with PAR and STRICT CFs(dedicated to modeling concurrent and strict behaviors respectively)as well as their nesting.Then,we propose a transformational semantics in Event-B.Our modeling approach emphasizes computation of causal relations,guard handling and transformational semantics into Event-B.The transformation of UML 2.X SD into the formal method Event-B allows us to perform several kinds of verification including simulation,trace acceptance,verification of properties,and verification of refinement relation between SDs.