In vitro adhesion and biocompatability of osteoblast-like cells to poly(methylmethacrylate) and poly(ethylmethacrylate) bone cements

A bone cement, poly(ethylmethacrylate)/n-butylmethacrylate (PEMA/nBMA) has been developed with lower exotherm and monomer leaching compared to the traditional poly(methylmethacrylate)/methylmethacrylate (PMMA/MMA) cement. This study compares the in vitro biological response to the cements using primary human osteoblast-like cells (HOB). Cell attachment was qualified by immunolocalization of vinculin and actin cytoskeleton, showing more organization on PEMA/nBMA compared to PMMA/MMA. Proliferation was assessed using tritiated thymidine incorporation, and phenotype expression determined by measuring alkaline phosphatase (ALP) activity. An increase in proliferation and ALP activity was observed on PEMA/nBMA compared to PMMA/MMA. The results confirm the biocompatability of PEMA/nBMA, and an enhanced cell attachment and expression of differentiated cell phenotype.     

Knowledge representation of the software architecture design process based on situation calculus

Software architecture design is an interactive, complex, decision‐making process. Such a design process involves the exploration, evaluation, and composition of design alternatives. Increasingly, new computer‐aided tools are available to help designers in these complex activities. However, these tools do not know how design is actually done, in other words, by means of which design activities the final artefact was obtained. In fact, the architectural design knowledge exclusively rests in the mind of designers, and there is an urgent need to move it, as much as possible, to a computer‐supported environment that enables the capture of this type of knowledge. This contribution addresses this need by introducing a model for capturing how products under development are generated and transformed along the software architecture design process. The proposed model follows an operational perspective, where architectural design decisions are modelled by means of sequences of operations that are applied on the design products. Situation calculus is used to formally express the existence of an object in a given state of a design process. In addition, this formalism allows us expressing without ambiguities when an operation can be performed in a specific state of the design process.     

Symbolic backward reachability with effectively propositional logic

We describe a symbolic procedure for solving the reachability problem of transition systems that use formulae of Effectively Propositional Logic to represent sets of backward reachable states. We discuss the key ideas for the mechanization of the procedure where fix-point checks are reduced to SMT problems. We also show the termination of the procedure on a sub-class of transition systems. Then, we discuss how reachability problems for this sub-class can be used to encode analysis problems of administrative policies in the Role-Based Access Control (RBAC) model that is one of the most widely adopted access control paradigms. An implementation of a refinement of the backward reachability procedure, called asasp, shows better flexibility and scalability than a state-of-the-art tool on a significant set of security problems.     

Data-driven and adaptive control applications to a wind turbine benchmark model

Wind turbines are complex dynamic systems forced by stochastic wind disturbances, as well as gravitational, centrifugal, and gyroscopic loads. Since their aerodynamics are nonlinear, wind turbine modelling is thus challenging. Moreover, accurate models should contain many degrees of freedom to capture the most important dynamic effects. Therefore, the design of control algorithms for wind turbines should account for these complexities. However, these algorithms must capture the most important turbine dynamics without being too complex and unwieldy. The main purpose of this study is thus to give two examples of viable and practical designs of control schemes with application to a wind turbine prototype model. Extensive simulations on the benchmark process and Monte-Carlo analysis are the tools for assessing experimentally the main features of the proposed control schemes, in the presence of modelling and measurement errors. These developed control methods are also compared with other different approaches, in order to evaluate advantages and drawbacks of the considered solutions. Finally, Hardware-In-the-Loop simulations serve to highlight the potential application of the proposed control strategies to real wind turbines.     

Temporal scale and spatial resolution effects on Amazon forest fragmentation assessment in Rondônia

The Amazon has been under an intense deforestation process for the last 30 years, causing landscape fragmentation in many different regions and at distinct stages. The fragmentation process is commonly assessed by land‐use maps derived from satellite sensor data and analysed at a landscape context. The analysis of fragmentation depends on an adequate choice of spatial resolution of land‐use maps, and temporal scale in landscape dynamics studies. In this study, spatial–temporal resolution variation effects on fragmentation assessment were analysed in the Quatro Cachoeiras watershed, located at central Rondônia, Brazilian Amazon. Land‐use maps derived from 1984 to 2002 satellite sensor data at 2‐year intervals were used for landscape structure analysis on 12 samples randomly distributed along the watershed. In the spatial resolution variation analysis, landscape metrics obtained at 30 m resolution were compared with those obtained at coarser spatial resolutions. Effects of temporal scale variation were tested by comparison of landscape metrics calculated at 2‐, 4‐ and 6‐year intervals in the studied period. Results show that fragmentation stage influences sensitivity of landscape metrics for spatial resolution and at initial stages of fragmentation finer spatial resolution is required. Also, coarser resolutions up to 100 m could be used to assess landscape fragmentation at regions and the adequate time interval for landscape dynamics studies should be between 3 and 4 years.     

The effect of an innovative atmospheric plasma jet treatment on physical and mechanical properties of wool fabrics

This work concerns the study of some important physical and mechanical properties of a wool fabric treated with a roll-to-roll atmospheric plasma jet equipment. The plasma pilot unit, based on a post-discharge technology, was equipped with an innovative plasma-to-fabric contactor, which promotes a relevant penetration of plasma through the fabric structure and geometrically defines the atmosphere. Wool fabrics were processed at three different velocities (1, 3 and 6 m/min); the other process variables were kept constant. Tensile strength, elongation at break, surface thickness, wettability and air permeability increased after the plasma treatment, while several low-stress mechanical properties, strictly related to the handle, were not modified. SEM analysis was also carried out to better interpret the above macroscopic results.