Joint scheduling and power control supporting multicasting in wireless ad hoc networks

This paper addresses the problem of power control in a multihop wireless network supporting multicast traffic. We face the problem of forwarding packet traffic to multicast group members while meeting constraints on the signal-to-interference-plus-noise ratio (SINR) at the intended receivers. First, we present a distributed algorithm which, given the set of multicast senders and their corresponding receivers, provides an optimal solution when it exists, which minimizes the total transmit power. When no optimal solution can be found for the given set of multicast senders and receivers, we introduce a distributed, joint scheduling and power control algorithm which eliminates the weak connections and tries to maximize the number of successful multicast transmissions. The algorithm allows the other senders to solve the power control problem and minimize the total transmit power. We show that our distributed algorithm converges to the optimal solution when it exists, and performs close to centralized, heuristic algorithms that have been proposed to address the joint scheduling and power control problem.     

Insiders Behaving Badly

This column goes beyond previous insider analyses to identify a framework for a taxonomy of insider threats including both malicious and inadvertent actions by insiders that put organizations or their resources at some risk. The framework includes factors reflecting the organization, the individual, the information technology system, and the environment.     

Microstructural Modelling of Nb Microalloyed Steels during Thin Slab Direct Rolling Processing

The microstructural evolution during the hot rolling of coarse grain sized austenite has been modeled considering all the microstructural mechanisms (dynamic, static and metadynamic recrystallization, strain induced precipitation) that can take place during an industrial TSDR production of three Nb microalloyed steels. Based on the results obtained from the model, processing maps have been drawn for 0.02%, 0.035% and 0.05% Nb microalloyed steels. Optimum processing conditions to exploit all the benefits of the Nb microalloying have been defined considering a final gauge thickness range between 1.5 and 12.65 mm. In addition, and facing the difficulties present in the production of thick hot strip, several alternative thermomechanical schedules are proposed, which would originate microstructures with a suitable combination of homogeneity and retained strain prior to transformation.     

Influence of steric length in electrosteric surfactants on emulsion polymerization

Four PPG Avanel Series S surfactants (sodium alkyl polyether sulfonates) with varying ethylene oxide content (n = 3, 7, 9, and 15) were used to investigate the influence of the steric length in this type of electrosteric stabilizers on emulsion polymerization. The polymerization studies employing potassium persulfate as an initiator with styrene, methyl methacrylate, and vinyl acetate monomers showed no apparent change in particle size, number of particles, and polymerization rate with the changing steric length of the surfactant. Steric influences were observed in the redox-initiated systems of styrene, butyl acrylate, and methyl methacrylate. Increasing the ethylene oxide unit content from three to nine units decreased the rate of polymerization, the particle size and number in the polystyrene latexes. Polymerizations with the acrylates displayed the same trend except that the polymerization rate reached a minimum value at nine ethylene oxide units and increased when the surfactant containing 15 ethylene oxide units was used.     

Alarm pheromone system of leaf-footed bugLeptoglossus zonatus (Heteroptera: Coreidae)

The alarm pheromone system ofLeptoglossus zonatus (Dallas) adults was shown to be composed of hexyl acetate, hexanol, hexanal, and hexanoic acid. Single components tested in the field elicited dispersive behavior of over 70% of adults. 2-(E)-Hexenal, found in the secretion of nymphs, but not in the exudates of adults, was also active against adults. In addition, first-instar nymphs responded to the four components of the alarm pheromone of adults as well as to 2-(E)-hexenal, a component of their own alarm pheromone system. Adults and nymphs possess different alarm pheromone systems, which are not specific to their own life stage. That hemipteran alarm pheromone systems are not species-specific was supported by the fact that both adult and nymphL. zonatus responded to butanoic acid, an alarm pheromone of Alydidae, which was not found in this Coreidae species.     

Towards a smooth design process for static communicative node‐link diagrams

Node‐link infographics are visually very rich and can communicate messages effectively, but can be very difficult to create, often involving a painstaking and artisanal process. In this paper we present an investigation of node‐link visualizations for communication and how to better support their creation. We begin by breaking down these images into their basic elements and analyzing how they are created. We then present a set of techniques aimed at improving the creation workflow by bringing more flexibility and power to users, letting them manipulate all aspects of a node‐link diagram (layout, visual attributes, etc.) while taking into account the context in which it will appear. These techniques were implemented in a proof‐of‐concept prototype called GraphCoiffure, which was designed as an intermediary step between graph drawing/editing software and image authoring applications. We describe how GraphCoiffure improves the workflow and illustrate its benefits through practical examples.     

Toward the Interactive 3D Modelling Applied to Ponte Rotto in Rome

We present the first step of a research aimed at automating a driven interactive 3D modeling of an existing architectural object. The method is based on oriented multi-image spherical panoramas produced by stitching techniques. The photogrammetric process has two steps: the creation of a semi-automatic process to find homolog points in two panoramas; the creation of parametric definitions for an interactive modeling creating points, segments, and surfaces based on the plotted points in the first step. By connecting these two steps, the creation of the model will be automatic, as we indicate the necessary points in just one panoramic photo. The principals of multi-view geometry and epipolar geometry were applied to simplify the calculation in the first step in order to create an automatic identification of the correspondent points in the other panorama. The epipolar geometry is described by both analytical and graphical programming, implementing in the first case a C++ application and in the second case a Rhinoceros and Grasshopper application. A case study of the Ponte Rotto in Rome (Italy) is presented.     

Minimum Setup Minimum Aberration Two‐level Split‐plot Type Designs for Physical Prototype Testing

Although new technologies allow for less effort in prototyping, physical testing still remains an important step in the product development cycle. Well‐planned experiments are useful to guide the decision‐making process. During the design of an experiment, one of the challenges is to balance limited resources and system constraints to obtain useful information. It is common that prototypes are composed of several parts, with some parts more difficult to assemble than others. And, usually, there is only one piece available of each part type and a large number of different setups. Under these conditions, designs with randomization restrictions become attractive approaches. Considering this scenario, a new and additional criterion, minimum setup, to construct split‐plot type designs is presented. Designs with the minimum number of setups of the more difficult parts, which are especially useful for screening purposes in physical prototype testing, are discussed. The use of the proposed criterion combined with minimum aberration for selecting a regular design is shown through a real application in testing car prototypes. As a tool to practitioners, catalogs of selected 32‐run minimum setup minimum aberration split‐split‐plot and split‐split‐split‐plot designs are presented. More complete catalogs are available as Supporting information. Copyright © 2015 John Wiley & Sons, Ltd.     

Formalizing process-based risk with Value-Focused Process Engineering

Following calls to advance the integration of risk and business process modeling paradigms, this paper formalizes the process of incorporating risk into business process models through the principles of Value-Focused Process Engineering (VFPE). In doing so, the paper aims to extend the existing VFPE modeling notation to reflect a set of necessary constructs required to adequately represent risk in goal-oriented business-process models. The extended set of constructs is proposed to support a formal systems view of process-based risk. Process-based risk is formalized on the one hand, as a product of complex interactions between activity-based elements, and on the other hand, as a natural component of the value creation mechanism of an elementary function or a complex process. The proposed risk-aware VFPE formalism also formulates rules for decomposing risk in process models according to the organizational values, thereby enabling better risk visibility, reducing process complexity, and ensuring continuity of business processes.     

Discrete Semantics for Hybrid Automata

Many natural systems exhibit a hybrid behavior characterized by a set of continuous laws which are switched by discrete events. Such behaviors can be described in a very natural way by a class of automata called hybrid automata. Their evolution are represented by both dynamical systems on dense domains and discrete transitions. Once a real system is modeled in a such framework, one may want to analyze it by applying automatic techniques, such as Model Checking or Abstract Interpretation. Unfortunately, the discrete/continuous evolutions not only provide hybrid automata of great flexibility, but they are also at the root of many undecidability phenomena. This paper addresses issues regarding the decidability of the reachability problem for hybrid automata (i.e., “can the system reach a state a from a state b?”) by proposing an “inaccurate” semantics. In particular, after observing that dense sets are often abstractions of real world domains, we suggest, especially in the context of biological simulation, to avoid the ability of distinguishing between values whose distance is less than a fixed ε. On the ground of the above considerations, we propose a new semantics for first-order formulæ which guarantees the decidability of reachability. We conclude providing a paradigmatic biological example showing that the new semantics mimics the real world behavior better than the precise one.