Automating data exchange in process choreographies

Communication between organizations is formalized as process choreographies in daily business. While the correct ordering of exchanged messages can be modeled and enacted with current choreography techniques, no approach exists to describe and automate the exchange of data between processes in a choreography using messages. This paper describes an entirely model-driven approach for BPMN introducing a few concepts that suffice to model data retrieval, data transformation, message exchange, and correlation – four aspects of data exchange. For automation, this work utilizes a recent concept to enact data dependencies in internal processes. We present a modeling guideline to derive local process models from a given choreography; their operational semantics allows to correctly enact the entire choreography from the derived models only including the exchange of data. Targeting on successful interactions, we discuss means to ensure correct process choreography modeling. Finally, we implemented our approach by extending the camunda BPM platform with our approach and show its feasibility by realizing all service interaction patterns using only model-based concepts.     

A bi-layer optimization approach for a hybrid flow shop scheduling problem involving controllable processing times in the steelmaking industry

A steelmaking-continuous casting (SCC) scheduling problem is an example of complex hybrid flow shop scheduling problem (HFSSP) with a strong industrial background. This paper investigates the SCC scheduling problem that involves controllable processing times (CPT) with multiple objectives concerning the total waiting time, earliness/tardiness and adjusting cost. The SCC scheduling problem with CPT is seldom discussed in the existing literature. This study is motivated by the practical situation of a large integrated steel company in which the just-in-time (JIT) and cost-cutting production strategy have become a significant concern. To address this complex HFSSP, the scheduling problem is decomposed into two subproblems: a parallel machine scheduling problem (PMSP) in the last stage and an HFSSP in the upstream stages. First, a hybrid differential evolution (HDE) algorithm combined with a variable neighborhood decomposition search (VNDS) is proposed for the former subproblem. Second, an iterative backward list scheduling (IBLS) algorithm is presented to solve the latter subproblem. The effectiveness of this bi-layer optimization approach is verified by computational experiments on well-designed and real-world scheduling instances. This study provides a new perspective on modeling and solving practical SCC scheduling problems.     

Static and free vibration analysis of functionally graded plates based on a new quasi-3D and 2D shear deformation theories

In this study, two dimensional (2D) and quasi three-dimensional (quasi-3D) shear deformation theories are presented for static and free vibration analysis of single-layer functionally graded (FG) plates using a new hyperbolic shape function. The material of the plate is inhomogeneous and the material properties assumed to vary continuously in the thickness direction by three different distributions; power-law, exponential and Mori–Tanaka model, in terms of the volume fractions of the constituents. The fundamental governing equations which take into account the effects of both transverse shear and normal stresses are derived through the Hamilton's principle. The closed form solutions are obtained by using Navier technique and then fundamental frequencies are found by solving the results of eigenvalue problems. In-plane stress components have been obtained by the constitutive equations of composite plates. The transverse stress components have been obtained by integrating the three-dimensional stress equilibrium equations in the thickness direction of the plate. The accuracy of the present method is demonstrated by comparisons with the different 2D, 3D and quasi-3D solutions available in the literature.     

The control of sea lice in Atlantic salmon by selective breeding

Sea lice threaten the welfare of farmed Atlantic salmon and the sustainability of fish farming across the world. Chemical treatments are the major method of control but drug resistance means that alternatives are urgently needed. Selective breeding can be a cheap and effective alternative. Here, we combine experimental trials and diagnostics to provide a practical protocol for quantifying resistance to sea lice. We then combined quantitative genetics with epidemiological modelling to make the first prediction of the response to selection, quantified in terms of reduced need for chemical treatments. We infected over 1400 young fish with Lepeophtheirus salmonis, the most important species in the Northern Hemisphere. Mechanisms of resistance were expressed early in infection. Consequently, the number of lice per fish and the ranking of families were very similar at 7 and 17 days post infection, providing a stable window for assessing susceptibility to infection. The heritability of lice numbers within this time window was moderately high at 0.3, confirming that selective breeding is viable. We combined an epidemiological model of sea lice infection and control on a salmon farm with genetic variation in susceptibility among individuals. We simulated 10 generations of selective breeding and examined the frequency of treatments needed to control infection. Our model predicted that substantially fewer chemical treatments are needed to control lice outbreaks in selected populations and chemical treatment could be unnecessary after 10 generations of selection. Selective breeding for sea lice resistance should reduce the impact of sea lice on fish health and thus substantially improve the sustainability of Atlantic salmon production.     

Alloying behavior and novel properties of CoCrFeNiMn high-entropy alloy fabricated by mechanical alloying and spark plasma sintering

An equiatomic CoCrFeNiMn high-entropy alloy was synthesized by mechanical alloying (MA) and spark plasma sintering (SPS). During MA, a solid solution with refined microstructure of 10 nm which consists of a FCC phase and a BCC phase was formed. After SPS consolidation, only one FCC phase can be detected in the HEA bulks. The as-sintered bulks exhibit high compressive strength of 1987 MPa. An interesting magnetic transition associated with the structure coarsening and phase transformation was observed during SPS process.     

Effects of interphase on tensile strength of polymer/CNT nanocomposites by Kelly–Tyson theory

The micromechanics models for composites usually underpredict the tensile strength of polymer nanocomposites. This paper establishes a simple model based on Kelly–Tyson theory for tensile strength of polymer/CNT nanocomposites assuming the effect of interphase between polymer and CNT. In addition, Pukanszky model is joined with the suggested model to calculate the interfacial shear strength (τ), interphase strength (σ_i) and critical length of CNT (L_c).The proposed approach is applied to calculate τ, σ_i and L_c for various samples from recent literature. It is revealed that the experimental data are well fitted to calculations by new model which confirm the important effect of interphase on the properties of nanocomposites. Moreover, the derived equations demonstrate that dissimilar correlations are found between τ and B (from Pukanszky model) as well as L_c and B. It is shown that a large B value obtained by strong interfacial adhesion between polymer and CNT is adequate to reduce L_c in polymer/CNT nanocomposites.     

Study of planar structure applying reciprocity technique combined with MGEC and analysis of discontinuity

The 3D structure electromagnetic computation presents several difficulties related to the volume mesh. In fact, the entire volume space must be taken into account even the smallest details. In this article, we propose a formulation based on the reciprocity theorem combined with the generalized equivalent circuit method to model a planar 3D structure with both coaxial and planar excitation. The major advantage of this formulation is the fact to reduce the computational volume into 2D ones in the discontinuity plane. In addition, we focused on the calculation of the discontinuity between the excitation source and the planar structure to determine the exact behavior of the electric coaxial excitation model. The obtained current density, electric field distributions, and the input impedance are presented and discussed in the following sections. An approximately good agreement of input impedance with those obtained by the simulator and measurement is shown.     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。