FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis

Interest in the Web services (WS) composition (WSC) paradigm is increasing tremendously. A real shift in distributed computing history is expected to occur when the dream of implementing Service-Oriented Architecture (SOA) is realized. However, there is a long way to go to achieve such an ambitious goal. In this paper, we support the idea that, when challenging the WSC issue, the earlier that the inevitability of failures is recognized and proper failure-handling mechanisms are defined, from the very early stage of the composite WS (CWS) specification, the greater are the chances of achieving a significant gain in dependability. To formalize this vision, we present the FENECIA (Failure Endurable Nested-transaction based Execution of Composite Web services with Incorporated state Analysis) framework. Our framework approaches the WSC issue from different points of view to guarantee a high level of dependability. In particular, it aims at being simultaneously a failure-handling-devoted CWS specification, execution, and quality of service (QoS) assessment approach. In the first section of our framework, we focus on answering the need for a specification model tailored for the WS architecture. To this end, we introduce WS-SAGAS, a new transaction model. WS-SAGAS introduces key concepts that are not part of the WS architecture pillars, namely, arbitrary nesting, state, vitality degree, and compensation, to specify failure-endurable CWS as a hierarchy of recursively nested transactions. In addition, to define the CWS execution semantics, without suffering from the hindrance of an XML-based notation, we describe a textual notation that describes a WSC in terms of definition rules, composability rules, and ordering rules, and we introduce graphical and formal notations. These rules provide the solid foundation needed to formulate the execution semantics of a CWS in terms of execution correctness verification dependencies. To ensure dependable execution of the CWS, we present in the second section of FENECIA our architecture THROWS, in which the execution control of the resulting CWS is distributed among engines, discovered dynamically, that communicate in a peer-to-peer fashion. A dependable execution is guaranteed in THROWS by keeping track of the execution progress of a CWS and by enforcing forward and backward recovery. We concentrate in the third section of our approach on showing how the failure consideration is trivial in acquiring more accurate CWS QoS estimations. We propose a model that assesses several QoS properties of CWS, which are specified as WS-SAGAS transactions and executed in THROWS. We validate our proposal and show its feasibility and broad applicability by describing an implemented prototype and a case study.     

Production of monodisperse water-in-oil emulsions consisting of highly uniform droplets using asymmetric straight-through microchannel arrays

This paper reports the production of monodisperse water-in-oil (W/O) emulsions using new microchannel emulsification (MCE) devices, asymmetric straight-through MC arrays that were hydrophobically modified. The silicon asymmetric straight-through MC arrays consisted of numerous pairs of microslots and circular microholes whose cross-sectional sizes were 10 μm. This paper primarily focused on investigating the effect of the osmotic pressure of a dispersed phase (Π_d) on MCE. This paper also investigated the effects of the type of continuous-phase oils and the dispersed-phase flux (J _d) on MCE. The dispersed phases were Milli-Q water and Milli-Q water solutions containing sodium chloride. The continuous phases were decane (as control), hexane, medium chain triacylglyceride (MCT), and refined soybean oil (RSO) solutions containing tetraglycerin monolaurate condensed ricinoleic acid ester (TGCR) as a surfactant. At Π_d of exceeding threshold, highly uniform aqueous droplets with coefficients of variation of less than 3% were stably generated via hydrophobic asymmetric straight-through MCs. Monodisperse W/O emulsions with average droplet diameters between 32 and 45 μm were produced using the alkane–oil and triglyceride–oil solutions as the continuous phase. This work also demonstrated that the hydrophobic asymmetric straight-through MC array had remarkable ability to produce highly uniform aqueous droplets at very high J _d of up to 1,200 L m⁻² h⁻¹.     

Quantitative structural analysis of twin boundary in alpha-Zn7Sb2O12 using HAADF STEM method

The structure and composition of the 1/4{110} twin boundary in alpha-Zn7Sb2O12 have been determined by using quantitative high-angle annular dark field scanning transmission electron microscopy (HAADF STEM) analysis. The noise in the experimental HAADF STEM images is reduced by using the maximum entropy method and average processing, and the parameters used in dynamical simulations are experimentally determined. From the analysis, it has been found that octahedral sites in the twin boundary slightly shift parallel to the [110] direction, and a reduction of the Sb concentration at the octahedral sites on the plane adjacent to the twin boundary was detected. The reduction was measured from three regions in the same twin boundary, and the Sb concentrations were 4 +/- 3, 8 +/- 3 and 19 +/-2 at% from 33 at%.     

Superconductivity in the tetragonal phase of La1.9Bi0.1CuO4+δ annealed under high oxygen pressure

We have investigated the relation between the crystal structure and superconductivity in La_1.9Bi_0.1CuO₄₊ , in which the phase separation observed in La₂CuO₄₊ is suppressed. A phase diagram in theT– plane is given for La_1.9Bi_0.1CuO₄₊ with excess oxygen. For very small values, the crystal structure is orthorhombic, and an orthorhombic-tetragonal phase transition occurs markedly at 0.03 in the measured temperature range between 13 and 293 K. Superconductivity is observed in the range of 0.04<<0.11. This is clear evidence thathigh-T _c superconductivity also appears in the tetragonal phase.     

A low wall-loading DEMO reactor design with high priority for early and reliable realization of a tokamak fusion reactor over the cost performance

Based on scientific databases adopted for designing ITER plasmas and on the advancement of fusion nuclear technology from the recent R&D program, a low wall-loading DEMO fusion reactor has been designed, where high priority has been given to the early and reliable realization of a tokamak fusion plasma over the cost performance. Since the major radius of this DEMO reactor is chosen to be 10 m, plasma ignition is achievable with a low fusion power of 0.8 GW and an operation period of 4–5 hours is available only with inductive current drive. The low ignition power makes it possible to adopt a first wall with an austenitic stainless steel, for which significant databases and operating experience exists, due to its use in the presence of neutron irradiation in fission reactors. In step with development of advanced materials, a step-wise increase of the fusion power seems to be feasible and realistic, because this DEMO reactor has the potential to produce a fusion power of 5 GW.     

A study on improving shielding performance of shielded cable

With the developments in power electronics equipment, the electromagnetic environment has become severe for electronic equipment. In the smart facility field, the stable operation of electronic devices is indispensable, and noise countermeasures must be improved. To suppress intrusive noise from cables, shielded cables are used in many cases. However, electromagnetic induction cannot be suppressed when the shield is grounded at one end, and when grounding both ends of the shield, current flows through the shield creating intrusive noise in the cable. That is, even if a shielded cable is used, a sufficient effect cannot be obtained. Therefore, as a countermeasure, this study prototypes and evaluates cables that combine double shielded cables with magnetic cores. Evaluations conducted using the copper pipe method, triaxial method, and impulse test confirm that the shielded performance improved by 10–30 dB compared with the conventional shielded cable.     

Deformation and Fracture of Micron‐Sized Metal‐Coated Polymer Spheres: An In Situ Study

In situ imaging and analysis of the mechanical behavior of micron‐sized metal‐coated polymer particles under compression is reported. A nanoindentation set‐up mounted in a scanning electron microscope is used to observe the deformation and fracture of 10 μm polymer spheres with Ni, Ni/Au, Au, and Ag coatings. The spheres fracture in one of two metallization‐dependent modes, brittle, and ductile, depending only on the presence of a nickel layer. The metal coating always fractures parallel to the direction of compression. The mechanical properties up to the point of coating fracture are rate‐dependent due to the viscoelastic polymer core. Metal‐coated polymer spheres are an important composite material in electronics packaging, and this study demonstrates a novel method of evaluating the mechanical properties of particles to tailor them for electronic materials.

     

Rank 2 proximal Cantor systems are residually scrambled

Downarowicz and Maass [7 T. Downarowicz and A. Maass, Finite-rank Bratteli–Vershik diagrams are expansive, Ergod. Th. Dynam. Sys. 28 (2008), pp. 739–747.[Web of Science ®] , [Google Scholar]] proposed topological ranks for all homeomorphic Cantor minimal dynamical systems using properly ordered Bratteli diagrams. In this study, we adopt this definition to the case of the essentially minimal zero-dimensional systems. We consider the cases in which topological ranks are 2 and unique minimal sets are fixed points. Akin and Kolyada [2 E. Akin and S. Kolyada, Li–Yorke sensitivity, Nonlinearity 16(4) (2003), pp. 1421–1433.[Crossref], [Web of Science ®] , [Google Scholar]], had shown that if the unique minimal set of an essentially minimal system is a fixed point, then the system must be proximal. The finite topological rank implies expansiveness; furthermore, in the case of proximal Cantor systems with topological rank 2, the expansiveness is always from the lowest degree. Rank 2 proximal Cantor systems are residually scrambled. We present a necessary and sufficient condition for the unique ergodicity of these systems. In addition, we show that the number of ergodic measures of the systems that are topologically mixing can be 1 and 2. Moreover, we present examples that are topologically weakly mixing, not topologically mixing, and uniquely ergodic. Finally, we show that the number of ergodic measures of the systems that are not weakly mixing can be 1 and 2.     

Fritless packed columns for capillary electrochromatography: separation of uncharged compounds on hydrophobic hydrogels

A novel column is described that does not require frits to keep packing material within a capillary. A continuous bed is prepared in situ in aqueous solution by radical copolymerization of N-isopropylacrylamide and 2-acrylamido-2-methylpropanesulfonic acid (the resultant gel is denoted poly(AMPS-co-IPAAm). N,N'-Methylenebisacrylamide is used for cross-linking. On the application of an electrical field, electroosmotic flow (EOF) is developed in the bed along the capillary, where fluid propulsion would be otherwise difficult to achieve. The resultant EOF transports neutral compounds through the column without forcing the gel out of the capillary. Examination of the fluid motion in the continuous bed using a video microscope system and an image processor shows a relatively flat flow profile of EOF. The bed functions as the stationary phase for reversed-phase capillary electrochromatography (CEC). This new approach is an alternative to packed capillary columns which have been used previously in CEC. A high efficiency is obtained for a steroid which is separated on a 4.0% total monomer concentration (T), 10.0% degree of cross-linking (C), and 10.0% mole fraction of AMPS in the total monomer (S), poly(AMPS-co-IPAAm) column. A mixture of polyaromatic hydrocarbons is separated on a 6.9% T, 5.8% C, and 5.5% S poly(AMPS-co-IPAAm) column. The capacity factor of benzo[a]pyrene increases from 0.63 to 1.91 as the acetonitrile content in a Tris-boric acid buffer is decreased from 45 to 30% (v/v). The run-to-run RSD of analyte migration time is less than 0.73%, and the day-to-day RSD is acceptable. Potential benefits of this approach are also mentioned.     

Anisotropy in the resistive superconducting transition under magnetic fields in single crystal Pb2Sr2Ho0.5Ca0.5Cu3O8

Anisotropie properties of the single crystal Pb₂Sr₂Ho_0.5Ca_0.5Cu₃O₈ have been investigated by measuring the electrical resistivity in theab-planeρ _ab (H, θ,T), which depends on the angleθ between theab-plane and the magnetic-field direction, in various constant fieldsH perpendicular to the current direction. All the angle-dependent values ofρ _ab (H, θ,T) at a constant temperature are scaled to be on one curve as a function of reduced field. The anisotropic parameter γ≡(m _c ^* /m _ab ^* )^1/2 is estimated as 12–13, which is larger than that of YBa₂Cu₃O₇ and much smaller than that of Bi₂Sr₂CaCu₂O₈. It has been concluded that the anisotropy does not always depend on the thickness of the blocking layer but seems to depend on the overlap of the electronic wave functions along thec-axis. Anisotropy in the pinning potential has also been discussed from the resistive tail in the temperature dependence ofρ _ab (H,θ,T).