Global asymptotic stabilization of the attitude and the angular rates of an underactuated non-symmetric rigid body

The paper deals with the global stabilization of both the attitude and the angular velocities of an underactuated rigid body. First a stability theorem is proven for a class of systems; subsequently, the equations describing the physics of the rigid body are presented, showing that the rigid body belongs to the considered class of systems, and a sufficient condition for the application of the theorem to the stability of the rigid body equilibrium is pointed out. Finally, some simulation results are reported showing the effectiveness of the proposed methodology.     

Immersive and desktop virtual reality in virtual fashion stores: a comparison between shopping experiences

Virtual Reality - With the high growth and prosperity of e-commerce, the retail industry needs to explore new technologies that improve digital shopping experiences. In the current technological...     

Generation and interpretation of parsimonious predictive models for load forecasting in smart heating networks

Applied Intelligence - Forecasting future heat load in smart district heating networks is a key problem for utility companies that need such predictions for optimizing their operational activities....     

Velocity‐based formulations for standard and quasi‐incompressible hypoelastic‐plastic solids

We present three velocity‐based updated Lagrangian formulations for standard and quasi‐incompressible hypoelastic‐plastic solids. Three low‐order finite elements are derived and tested for non‐linear solid mechanics problems. The so‐called V‐element is based on a standard velocity approach, while a mixed velocity–pressure formulation is used for the VP and the VPS elements. The two‐field problem is solved via a two‐step Gauss–Seidel partitioned iterative scheme. First, the momentum equations are solved in terms of velocity increments, as for the V‐element. Then, the constitutive relation for the pressure is solved using the updated velocities obtained at the previous step. For the VPS‐element, the formulation is stabilized using the finite calculus method in order to solve problems involving quasi‐incompressible materials. All the solid elements are validated by solving two‐dimensional and three‐dimensional benchmark problems in statics as in dynamics. Copyright © 2016 John Wiley & Sons, Ltd.     

The solid-state rearrangement of the Wells-Dawson K6P2W18O62·10H2O to a stable Keggin-type heteropolyanion phase: a catalyst for the selective oxidation of isobutane to isobutene

The thermal and structural stability of the Wells-Dawson-type heteropoly compound K₆P₂W₁₈O₆₂·10H₂O was examined by FT-IR spectroscopy, X-ray powder diffraction, thermogravimetric analysis and HRTEM. It was found that calcination at temperatures higher than 850 K led to the formation of a Keggin-type compound K₃PW₁₂O₄₀, containing small amounts of an additional phase originated from the high-temperature interaction between potassium phosphate (K₃PO₄ formed during the decomposition of the K₆P₂W₁₈O₆₂·10H₂O) and the Keggin-type compound itself. The Keggin-type product showed a higher activity in the selective oxidative dehydrogenation of isobutane to isobutene compared to both the Wells-Dawson precursor and to pure, authentic K₃PW₁₂O₄₀. This higher activity can be tentatively attributed to the presence of an amorphous layer of unknown stoichiometry at the surface of the thermally rearranged Wells-Dawson compound.     

Fault detection for discrete event systems using Petri nets with unobservable transitions

In this paper we present a fault detection approach for discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservable, including all those transitions that model faulty behaviors. Our diagnosis approach is based on the notions of basis marking and justification, that allow us to characterize the set of markings that are consistent with the actual observation, and the set of unobservable transitions whose firing enable it. This approach applies to all net systems whose unobservable subnet is acyclic. If the net system is also bounded the proposed approach may be significantly simplified by moving the most burdensome part of the procedure off-line, thanks to the construction of a graph, called the basis reachability graph.     

Performance evaluation of efficient multi-objective evolutionary algorithms for design space exploration of embedded computer systems

Multi-objective evolutionary algorithms (MOEAs) have received increasing interest in industry because they have proved to be powerful optimizers. Despite the great success achieved, however, MOEAs have also encountered many challenges in real-world applications. One of the main difficulties in applying MOEAs is the large number of fitness evaluations (objective calculations) that are often needed before an acceptable solution can be found. There are, in fact, several industrial situations in which fitness evaluations are computationally expensive and the time available is very short. In these applications efficient strategies to approximate the fitness function have to be adopted, looking for a trade-off between optimization performance and efficiency. This is the case in designing a complex embedded system, where it is necessary to define an optimal architecture in relation to certain performance indexes while respecting strict time-to-market constraints. This activity, known as design space exploration (DSE), is still a great challenge for the EDA (electronic design automation) community. One of the most important bottlenecks in the overall design flow of an embedded system is due to simulation. Simulation occurs at every phase of the design flow and is used to evaluate a system which is a candidate for implementation. In this paper we focus on system level design, proposing an extensive comparison of the state-of-the-art of MOEA approaches with an approach based on fuzzy approximation to speed up the evaluation of a candidate system configuration. The comparison is performed in a real case study: optimization of the performance and power dissipation of embedded architectures based on a Very Long Instruction Word (VLIW) microprocessor in a mobile multimedia application domain. The results of the comparison demonstrate that the fuzzy approach outperforms in terms of both performance and efficiency the state of the art in MOEA strategies applied to DSE of a parameterized embedded system.