An optimization framework for “build-or-buy” decisions in software architecture

Building a software architecture that meets functional requirements is a quite consolidated activity, whereas keeping high quality attributes is still an open challenge. In this paper we introduce an optimization framework that supports the decision whether to buy software components or to build them in-house upon designing a software architecture. We devise a non-linear cost/quality optimization model based on decision variables indicating the set of architectural components to buy and to build in order to minimize the software cost while keeping satisfactory values of quality attributes. From this point of view, our tool can be ideally embedded into a Cost Benefit Analysis Method to provide decision support to software architects. The novelty of our approach consists in building costs and quality attributes on a common set of decision variables related to software development. We start from a special case of the framework where the quality constraints are related to the delivery time and the product reliability, and the model solution also devises the amount of unit testing to be performed on built components. We generalize the framework formulation to represent a broader class of architectural cost-minimization problems under quality constraints, and discuss advantages and limitations of such approach.     

Outlier detection using default reasoning

Default logics are usually used to describe the regular behavior and normal properties of domain elements. In this paper we suggest, conversely, that the framework of default logics can be exploited for detecting outliers. Outliers are observations expressed by sets of literals that feature unexpected semantical characteristics. These sets of literals are selected among those explicitly embodied in the given knowledge base. Hence, essentially we perceive outlier detection as a knowledge discovery technique. This paper defines the notion of outlier in two related formalisms for specifying defaults: Reiter's default logic and extended disjunctive logic programs. For each of the two formalisms, we show that finding outliers is quite complex. Indeed, we prove that several versions of the outlier detection problem lie over the second level of the polynomial hierarchy. We believe that a thorough complexity analysis, as done here, is a useful preliminary step towards developing effective heuristics and exploring tractable subsets of outlier detection problems.     

Impurity scattering in quantum wires with Coulomb interaction

The Coulomb 1/r-interaction plays an important role in quantum wires. We study the interplay between this long range interaction and impurity. For a single band quantum wire, we find that the transport properties are strongly modified. The linear conductance G is found to vanish with temperature as G exp[- ln^3/2(1/T)]and the current-voltage characteristics acquires a threshold-like behavior.We are grateful to A. Dyugaev for interesting discussions.     

A systematic literature review on IoT-aware business process modeling views,requirements and notations

Software and Systems Modeling - The Internet of things has been adopted in several sectors both influencing how people work and enhancing organizations’ business processes. This resulted in...     

Analysis of Non-Equilibrium Fluctuations In A Ternary Liquid Mixture

From the benchmark values of the diffusion and thermodiffusion coefficients of the tetralin, isobutylbenzene and n-dodecane ternary mixture, and the published optical contrast factors, we have evaluated the theoretical amplitudes of the two composition modes of the refractive-index fluctuations. Shadowgraph experiments have been performed on ground, where the current theory is expected to be correct only for large wave vectors. Two decay times have been observed experimentally. The fastest one being related to the thermal diffusivity of the mixture, while the slower one to mass diffusion. Hence, it has not been possible to distinguish the two eigenvalues of the mass diffusion matrix, a problem also encountered in traditional light-scattering with ternary mixtures of similar-size molecules. Thus, to compare the measured Intermediate Scattering Function with theory, we fix the amplitudes and decay rates to the benchmark values, use the wave number as a fitting parameter, and compare it to the experimental wave number. The good agreement between theory and experiments for the larger wave numbers validates the theory developed for the microgravity conditions.     

Dynamic Dictionary Matching in External Memory

In thedynamic dictionary matchingproblem, a dictionaryDcontains a set of patterns that can change over time under insertion and deletion of individual patterns. Given an arbitrary textT, we must efficiently list all the dictionary patterns that occur at each text position. We investigate the I/O complexity of this problem for a large dictionary that must be stored in external storage devices. By following a completely new approach, we devise an efficient solution which is based upon the SB-tree data structure (P. Ferragina and R. Grossi, 1995,in“Proc. ACM Symposium on Theory of Computing,” pp. 693–702), and a novel notion of certificate for the dictionary matching problem. Our data structure can be adapted to efficiently work in main memory and to solve other problems, thus providing a new insight into the nature of the dictionary matching problem.     

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.     

Black‐box position and attitude tracking for underwater vehicles by second‐order sliding‐mode technique

In this work we address the tracking control problems for autonomous underwater vehicles (AUVs). The proposed solution is based on the variable structure systems (VSS) theory and, in particular, on the second‐order sliding‐mode (2‐SM) methodology. The tuning of the controller is carried out via black‐box approach, dispensing with the knowledge of the actual AUV parameters, by simply progressively increasing a single gain parameter. The presented stability analysis includes explicitly the unmodelled actuator dynamics and the presence of external uncertain disturbances. The good performance of the proposed scheme is verified by means of simulations on a 6‐DOF AUV. Copyright © 2009 John Wiley & Sons, Ltd.     

On the second-order sliding mode control of nonlinear systems with uncertain control direction

This note deals with the implementation of a second-order sliding mode control algorithm for a class of nonlinear systems in which the sign of the high-frequency gain, though constant, is unknown. A specific second-order sliding mode control algorithm, the “Suboptimal” algorithm, is properly modified in order to face the uncertainty in the control direction. It is shown that after a finite time the uncertain sign is identified and the standard finite time convergence takes place from that time on. Simulation results are provided.