EXPLOITING A GENERIC APPROACH TO CONSTRUCT COMPONENT-BASED SYSTEMS SOFTWARE IN LINUX ENVIRONMENTS

Component-based software engineering has recently emerged as a promising solution to the development of system-level software. Unfortunately, current approaches are limited to specific platforms and domains. This lack of generality is particularly problematic as it prevents knowledge sharing and generally drives development costs up. In the past, we have developed a generic approach to component-based software engineering for system-level software called OpenCom. In this paper, we present OpenComL an instantiation of OpenCom to Linux environments and show how it can be profiled to meet a range of system-level software in Linux environments. For this, we demonstrate its application to constructing a programmable router platform and a middleware for parallel environments.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Crystal engineering using functionalized adamantane

We performed a first-principles investigation on the structural, electronic and optical properties of crystals made of chemically functionalized adamantane molecules. Several molecular building blocks, formed by boron and nitrogen substitutional functionalizations, were considered to build zinc blende and wurtzite crystals, and the resulting structures presented large bulk moduli and cohesive energies, wide and direct bandgaps, and low dielectric constants (low-kappa materials). Those properties provide stability for such structures up to room temperature, superior to those of typical molecular crystals. This indicates a possible road map for crystal engineering using functionalized diamondoids, with potential applications ranging from space filling between conducting wires in nanodevices to nano-electromechanical systems.

Experimental characterization of nonlinear systems: a real-time evaluation of the analogous Chua`s circuit behavior

This paper presents an experimental characterization of the behavior of an analogous version of the Chua`s circuit. The electronic circuit signals are captured using a data acquisition board (DAQ) and processed using LabVIEW environment. The following aspects of the time series analysis are analyzed: time waveforms, phase portraits, frequency spectra, Poincar, sections, and bifurcation diagram. The circuit behavior is experimentally mapped with the parameter variations, where are identified equilibrium points, periodic and chaotic attractors, and bifurcations. These analysis techniques are performed in real-time and can be applied to characterize, with precision, several nonlinear systems.

Switching off the reservoir through nonstationary quantum systems

In this paper, we demonstrate that the inevitable action of the environment can be substantially weakened when considering appropriate nonstationary quantum systems. Beyond protecting quantum states against decoherence, an oscillating frequency can be engineered to make the system-reservoir coupling almost negligible. Differently from the program for engineering reservoir and similarly to the schemes for dynamical decoupling of open quantum systems, our technique does not require previous knowledge of the state to be protected. However, differently from the previously-reported schemes for dynamical decoupling, our technique does not rely on the availability of tailored external pulses acting faster than the shortest timescale accessible to the reservoir degree of freedom.

Pseudolikelihood equations for Potts MRF model parameter estimation on higher order neighborhood systems

This letter presents pseudolikelihood equations for the estimation of the Potts Markov random field model parameter on higher order neighborhood systems. The derived equation for second-order systems is a significantly reduced version of a recent result found in the literature (from 67 to 22 terms). Also, with the proposed method, a completely original equation for Potts model parameter estimation in third-order systems was obtained. These equations allow the modeling of less restrictive contextual systems for a large number of applications in a computationally feasible way. Experiments with both simulated and real remote sensing images provided good results.

Reliability Nonparametric Bayesian Estimation in Parallel Systems

Relevant results for (sub-)distribution functions related to parallel systems are discussed. The reverse hazard rate is defined using the product integral. Consequently, the restriction of absolute continuity for the involved distributions can be relaxed. The only restriction is that the sets of discontinuity points of the parallel distributions have to be disjointed. Nonparametric Bayesian estimators of all survival (sub-)distribution functions are derived. Dual to the series systems that use minimum life times as observations, the parallel systems record the maximum life times. Dirichlet multivariate processes forming a class of prior distributions are considered for the nonparametric Bayesian estimation of the component distribution functions, and the system reliability. For illustration, two striking numerical examples are presented.

1,4-Dioxane enhances properties and biocompatibility of polyanionic collagen for tissue engineering applications

Polyanionic collagen obtained from bovine pericardial tissue submitted to alkaline hydrolysis is an acellular matrix with strong potential in tissue engineering. However, increasing the carboxyl content reduces fibril formation and thermal stability compared to the native tissues. In the present work, we propose a chemical protocol based on the association of alkaline hydrolysis with 1,4-dioxane treatment to either attenuate or revert the drastic structural modifications promoted by alkaline treatments. For the characterization of the polyanionic membranes treated with 1,4-dioxane, we found that (1) scanning electron microscopy (SEM) shows a stronger reorientation and aggregation of collagen microfibrils; (2) histological evaluation reveals recovering of the alignment of collagen fibers and reassociation with elastic fibers; (3) differential scanning calorimetry (DSC) shows an increase in thermal stability; and (4) in biocompatibility assays there is a normal attachment, morphology and proliferation associated with high survival of the mouse fibroblast cell line NIH3T3 in reconstituted membranes, which behave as native membranes. Our conclusions reinforce the ability of 1,4-dioxane to enhance the properties of negatively charged polyanionic collagen associated with its potential use as biomaterials for grafting, cationic drug- or cell-delivery systems and for the coating of cardiovascular devices.