Dynamical evolution of escaped plutinos, another source of Centaurs

It was shown in previous works the existence of weakly chaotic orbits in the plutino population that diffuse very slowly. These orbits correspond to long-term plutino escapers and then represent the plutinos that are escaping from the resonance at present. In this paper we perform numerical simulations in order to explore the dynamical evolution of plutinos recently escaped from the resonance. The numerical simulations were divided in two parts. In the first one we evolved 20,000 test particles in the resonance in order to detect and select the long-term escapers. In the second one, we numerically integrate the selected escaped plutinos in order to study their dynamical post escaped behavior. Our main results include the characterization of the routes of escape of plutinos and their evolution in the Centaur zone. We obtained a present rate of escape of plutinos between 1 and 10 every 10 years. The escaped plutinos have a mean lifetime in the Centaur zone of 108 Myr and their contribution to the Centaur population would be a fraction of less than 6 % of the total Centaur population. In this way, escaped plutinos would be a secondary source of Centaurs.Comment: Accepted for publication in A&

A VNF modeling approach for verification purposes

Network Function Virtualization (NFV) architectures are emerging to increase networks flexibility. However, this renewed scenario poses new challenges, because virtualized networks, need to be carefully verified before being actually deployed in production environments in order to preserve network coherency (e.g., absence of forwarding loops, preservation of security on network traffic, etc.). Nowadays, model checking tools, SAT solvers, and Theorem Provers are available for formal verification of such properties in virtualized networks. Unfortunately, most of those verification tools accept input descriptions written in specification languages that are difficult to use for people not experienced in formal methods. Also, in order to enable the use of formal verification tools in real scenarios, vendors of Virtual Network Functions (VNFs) should provide abstract mathematical models of their functions, coded in the specific input languages of the verification tools. This process is error-prone, time-consuming, and often outside the VNF developers’ expertise. This paper presents a framework that we designed for automatically extracting verification models starting from a Java-based representation of a given VNF. It comprises a Java library of classes to define VNFs in a more developer-friendly way, and a tool to translate VNF definitions into formal verification models of different verification tools

A novel approach for security function graph configuration and deployment

Network virtualization increased the versatility in enforcing security protection, by easing the development of new security function implementations. However, the drawback of this opportunity is that a security provider, in charge of configuring and deploying a security function graph, has to choose the best virtual security functions among a pool so large that makes manual decisions unfeasible. In light of this problem, the paper proposes a novel approach for synthesizing virtual security services by introducing the functionality abstraction. This new level of abstraction allows to work in the virtual level without considering the different function implementations, with the objective to postpone the function selection jointly with the deployment, after the configuration of the virtual graph. This novelty enables to optimize the function selection when the pool of available functions is very large. A framework supporting this approach has been implemented and it showed adequate scalability for the requirements of modern virtual networks

Design of a miniature hydrogen fueled gas turbine engine

The design, development, and delivery of a miniature hydrogen-fueled gas turbine engine are discussed. The engine was to be sized to approximate a scaled-down lift engine such as the teledyne CAE model 376. As a result, the engine design emerged as a 445N(100 lb.)-thrust engine flowing 0.86 kg (1.9 lbs.) air/sec. A 4-stage compressor was designed at a 4.0 to 1 pressure ratio for the above conditions. The compressor tip diameter was 9.14 cm (3.60 in.). To improve overall engine performance, another compressor with a 4.75 to 1 pressure ratio at the same tip diameter was designed. A matching turbine for each compressor was also designed. The turbine tip diameter was 10.16 cm (4.0 in.). A combustion chamber was designed, built, and tested for this engine. A preliminary design of the mechanical rotating parts also was completed and is discussed. Three exhaust nozzle designs are presented

Automated optimal firewall orchestration and configuration in virtualized networks

Emerging technologies such as Software-Defined Networking and Network Functions Virtualization are making the definition and configuration of network services more dynamic, thus making automatic approaches that can replace manual and error-prone tasks more feasible. In view of these considerations, this paper proposes a novel methodology to automatically compute the optimal allocation scheme and configuration of virtual firewalls within a user-defined network service graph subject to a corresponding set of security requirements. The presented framework adopts a formal approach based on the solution of a weighted partial MaxSMT problem, which also provides good confidence about the solution correctness. A prototype implementation of the proposed approach based on the z3 solver has been used for validation, showing the feasibility of the approach for problem instances requiring tens of virtual firewalls and similar numbers of security requirements

An Efficient Data Exchange Algorithm for Chained Network Functions

In-network function chaining often involves the deployment of multiple applications into a single, possibly multi-tenant, middlebox. This approach has gained much interest since new network paradigms, such as Software Defined Networking (SDN) and Network Function Virtualization (NFV), have been proposed to virtualize resources as well as network functions. In this scenario, it is very common to move data (e.g., packets) from an application to another by means of a switching module that is in charge of chaining network functions in the correct order, also ensuring an adequate level of isolation between any two virtualized components. With this purpose in mind, this paper proposes an efficient algorithm to handle the communication between the internal soft-switch and the heterogeneous network functions that are executed on the same server. Our proposal is designed with the aim of dealing with high speed packet processing, hence an extensive performance evaluation is also provided to prove the goodness of our solution in this context

Antimicrobial activity of zinc-doped hydroxyapatite coatings formed on titanium Ti6A14V surface for orthopedic implant

Prosthetic joint infection (PJI) is one of the most serious complications of prosthetic joint implantation leading to a longer hospitalization. S. aureus is the predominant cause of PJI followed by Pseudomonas aeruginosa and Stafilococci spp. coagulase negative. Several studies focused on the development of effective antibacterial surfaces that prevent bacterial adhesion, colonisation and proliferation into the surrounding tissues and it has been widely demonstrated that zinc ions (Zn2+) exhibit antimicrobial activity against various bacterial and fungal strains. In addition to its antimicrobial activities, zinc is important in healthy bone growth and development. The aim of this study was to evaluate the in vitro activity of Zn2+ generated from the partial dissolution of Zn particles on surface of titanium discs, against S. aureus ATCC 29213. Hydroxyapatite (HA), and HA/Zn2+ doped discs were used. Each disc was incubated with bacterial suspension following standard ASTM (American Society for Testing and Materials) method. After, colony-forming unit (CFU) were counted. The results showed 1,7 log10 (97,8 %) CFU decrease vs untreated samples (p< 0.05), after 6 hours of incubation. To confirm quantitative data, morphological analysis was performed by Scanning Electron Microscope (SEM). On HA disc, bacteria, recognized by the typical spherical shape, colonized micro and nano porosities surface assuming an homogeneous distribution, while on the surface doped with Zn2+, being smoother and less porous, the bacteria adhered to the surface in small colonies of about 2-10 bacteria. This new formulation of zinc coating could represent a promising approach for prevention and treatment of peri-implant diseases