Performance modeling and analysis of message-oriented event-driven systems

Message-oriented event-driven systems are becoming increasingly ubiquitous in many industry domains including telecommunications, transportation and supply chain management. Applications in these areas typically have stringent requirements for performance and scalability. To guarantee adequate quality-of-service, systems must be subjected to a rigorous performance and scalability analysis before they are put into production. In this paper, we present a comprehensive modeling methodology for message-oriented event-driven systems in the context of a case study of a representative application in the supply chain management domain. The methodology, which is based on queueing Petri nets, provides a basis for performance analysis and capacity planning. We study a deployment of the SPECjms2007 standard benchmark on a leading commercial middleware platform. A detailed system model is built in a step-by-step fashion and then used to predict the system performance under various workload and configuration scenarios. After the case study, we present a set of generic performance modeling patterns that can be used as building blocks when modeling message-oriented event-driven systems. The results demonstrate the effectiveness, practicality and accuracy of the proposed modeling and prediction approach.     

GMAC: An overlay multicast network for mobile agent platforms

The lack of proper support for multicast services in the Internet has hindered the widespread use of applications that rely on group communication services such as mobile software agents. Although they do not require high bandwidth or heavy traffic, these types of applications need to cooperate in a scalable, fair and decentralized way. This paper presents GMAC, an overlay network that implements all multicast related functionality–including membership management and packet forwarding–in the end systems. GMAC introduces a new approach for providing multicast services for mobile agent platforms in a decentralized way, where group members cooperate in a fair way, minimize the protocol overhead, thus achieving great scalability. Simulations comparing GMAC with other approaches, in aspects such as end-to-end group propagation delay, group latency, group bandwidth, protocol overhead, resource utilization and failure recovery, show that GMAC is a scalable and robust solution to provide multicast services in a decentralized way to mobile software agent platforms with requirements similar to MoviLog.     

Building Illumination Coherent 3D Models of Large-Scale Outdoor Scenes

Systems for the creation of photorealistic models using range scans and digital photographs are becoming increasingly popular in a wide range of fields, from reverse engineering to cultural heritage preservation. These systems employ a range finder to acquire the geometry information and a digital camera to measure color detail. But bringing together a set of range scans and color images to produce an accurate and usable model is still an area of research with many unsolved problems. In this paper we address the problem of how to build illumination coherent integrated texture maps from images that were taken under different illumination conditions. To achieve this we present two different solutions. The first one is to align all the images to the same illumination, for which we have developed a technique that computes a relighting operator over the area of overlap of a pair of images that we then use to relight the entire image. Our proposed method can handle images with shadows and can effectively remove the shadows from the image, if required. The second technique uses the ratio of two images to factor out the diffuse reflectance of an image from its illumination. We do this without any light measuring device. By computing the actual reflectance we remove from the images any effects of the illumination, allowing us to create new renderings under novel illumination conditions.     

Use of Ontologies as Representation Support of Workflows Oriented to Administrative Management

One of the applications of workflow systems is the management of administrative processes characterized by the transmission of information elements among users of an organization. Tasks contained in these processes are carried out by users responsible for confirming, modifying or adding information throughout. These processes need to be defined in workflow management systems in which all the elements are perfectly identified and are easily adaptable to changes that may arise in the sequences of tasks, in the users involved or in the data transmitted from one task to another. For this kind of processes is easier to reuse those represented in ontologies. On one hand, existing ontologies for representing some domain elements can be reused. At the same time, ontologies have an excellent expressive capacity to define tasks, their relationships and the flow control among them with precision. This paper proposes a complete model, together with the necessary software tools, for tackling this issue.

Linear quadratic gaussian optimization approach for signal-to-noise ratio constrained control over network

The research area of control over networks has attracted great interest in recent years. Inserted in this research area is the study of control feedback limitations imposed by the presence of a communication channel. In this paper we analyze the fundamental limitations in control feedback stabilizability imposed by a class of Signal-to-Noise Ratio (SNR) constrained communication channels. We solve the SNR constrained control over network problem as a linear quadratic Gaussian (LQG) optimization with loop transfer recovery (LTR). If the communication channel is located on the feedback path then the LTR is said to be performed at the output. Vice versa, if the communication channel is on the control path, then the recovery is said to be performed at the input. In the present paper we address both cases, namely the LQG optimization with LTR at the output and the LQG optimization with LTR at the input to solve an LTI SNR constrained problem. We then explore the link between these two solutions.     

SO(3) nonlinear σ model for a spiral phase in the spin-fermion model

Starting from a doped spin-fermion model for the CuO₂ planes in high-T_c superconductors, we derive an effective continuum theory for the spin degrees of freedom by means of a gradient expansion. We assume an incommmensurate, spiral configuration for the spins. Extending our previous treatment of a planar spiral, we allow for three-dimensional fluctuations of the spin fields, which are described by an S0(3) matrix order parameter. The continuum limit is obtained by a systematic expansion in powers of a short distance cutoff. The occurring infinite series is summed to all orders using a combinatorial method which exploits the constraint obeyed by the S0(3) order parameter. The resulting continuum theory is given by an S0(3) quantum nonlinear model, where the influence of doping is contained in the fermionic susceptibilities that enter into the coupling constants of the model.     

Healing Effect of Controlled Anti‐Electromigration on Conventional and High‐Tc Superconducting Nanowires

The electromigration process has the potential capability to move atoms one by one when properly controlled. It is therefore an appealing tool to tune the cross section of monoatomic compounds with ultimate resolution or, in the case of polyatomic compounds, to change the stoichiometry with the same atomic precision. As demonstrated here, a combination of electromigration and anti‐electromigration can be used to reversibly displace atoms with a high degree of control. This enables a fine adjustment of the superconducting properties of Al weak links, whereas in Nb the diffusion of atoms leads to a more irreversible process. In a superconductor with a complex unit cell (La_2?x Ce_x CuO₄), the electromigration process acts selectively on the oxygen atoms with no apparent modification of the structure. This allows to adjust the doping of this compound and switch from a superconducting to an insulating state in a nearly reversible fashion. In addition, the conditions needed to replace feedback controlled electromigration by a simpler technique of electropulsing are discussed. These findings have a direct practical application as a method to explore the dependence of the characteristic parameters on the exact oxygen content and pave the way for a reversible control of local properties of nanowires.     

Empirical Comparisons of X‐bar Charts when Control Limits are Estimated

A control chart is a very common tool used to monitor the quality of business processes. An estimator of the process variability is generally considered to obtain the control limits of a chart when parameters of the process are unknown. Assuming Monte Carlo simulations, this paper first compares the efficiency of the various estimators of the process variability. Two empirical measures used to analyze the performance of control charts are defined. Results derived from various empirical studies reveal the existence of a linear relationship between the performance of the various estimators of the process variability and the performance of charts. The various Monte Carlo simulations are conducted under the assumption that the process is in both situations of in‐control and out‐of‐control. Copyright © 2015 John Wiley & Sons, Ltd.     

Additive Manufacturing of Porous Structures for Unmanned Aerial Vehicles Applications

Unmanned aerial vehicles (UAVs) have shown promising benefits in many applications. This has been enabled by the emergence of additive manufacturing (AM), which give the designers a large amount of geometrical freedom. In this paper, a novel design process of fused deposition modeling (FDM) combining both topology and infill optimization is introduced for AM of high performance porous structures. Tensile testing of FDM printed samples is first carried out to study the effect of the build orientation on the mechanical properties of acrylonitrile butadiene styrene (ABS) samples. It is found that samples built perpendicular to the load axis are the weakest with a tensile strength of 29 MPa and Young's modulus of 1960 MPa. The materials properties are fed to the finite elements analysis (FEA) for geometrical topology optimization, aiming to maximize stiffness and reduce weight of those parts. Afterwards, an infill optimization is carried out on the topology optimized parts using different mesostructures such as honeycomb, triangular, and rectangular to achieve high structural performance. The results showed that triangular pattern with 50% infill density had the lowest developed stresses, less mass, and strain energy when compared to other structures. Optimum UAVs parts of a quadcopter are successfully manufactured, assembled, and tested.