Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks

The spreading of multicast technology enables the development of group communication and so dealing with digital streams becomes more and more common over the Internet. Given the flourishing of security threats, the distribution of streamed data must be equipped with sufficient security guarantees. To this aim, some architectures have been proposed, to supply the distribution of the stream with guarantees of, e.g., authenticity, integrity, and confidentiality of the digital contents. This paper shows a formal capability of capturing some features of secure multicast protocols. In particular, both the modeling and the analysis of some case studies are shown, starting from basic schemes for signing digital streams, passing through protocols dealing with packet loss and time-synchronization requirements, concluding with a secure distribution of a secret key. A process-algebraic framework will be exploited, equipped with schemata for analysing security properties and compositional principles for evaluating if a property is satisfied over a system with more than two components.     

Simplified analytical models for compressed concrete columns confined by FRP and FRCM system

In order to consider the response of concrete columns confined by FRP and FRCM system, proper models have to be formulated. In this context the present paper shows a generalized criterion for the determination of the increase in strength, in ductility and in dissipated energy for varying corner radius ratio of the cross section and fiber volumetric ratio. The procedure is based on the best fitting of several experimental data and unlike the usual empirical approaches available in the literature, the proposed technique relates the confinement effectiveness to a single parameter representative of the relative stiffness between the original concrete core and the reinforcement system. Furthermore, the proposed analytical models overcomes the limit of many empirical or semi-empirical models given in the literature that are applicable only to specific cases. A comparison with same available models confirm the reliability of the proposed procedure.     

Sorafenib delivery nanoplatform based on superparamagnetic iron oxide nanoparticles magnetically targets hepatocellular carcinoma

Currently,sorafenib is the only systemic therapy capable of increasing overall survival of hepatocellular carcinoma patients.Unfortunately,its side effects,particularly its overall toxicity,limit the therapeutic response that can be achieved.Superparamagnetic iron oxide nanoparticles (SPIONs) are very attractive for drug delivery because they can be targeted to specific sites in the body through application of a magnetic field,thus improving intratumoral accumulation and reducing adverse effects.Here,nanoformulations based on polyethylene glycol modified phospholipid micelles,loaded with both SPIONs and sorafenib,were successfully prepared and thoroughly investigated by complementary techniques.This nanovector system provided effective drug delivery,had an average hydrodynamic diameter of about 125 nm,had good stability in aqueous medium,and allowed controlled drug loading.Magnetic analysis allowed accurate determination of the amount of SPIONs embedded in each micelle.An in vitro system was designed to test whether the SPION micelles can be efficiently held using a magnetic field under typical flow conditions found in the human liver.Human hepatocellular carcinoma (HepG2) cells were selected as an in vitro system to evaluate tumor cell targeting efficacy of the superparamagnetic micelles loaded with sorafenib.These experiments demonstrated that this delivery platform is able to enhance sorafenib's antitumor effectiveness by magnetic targeting.The magnetic nanovectors described here represent promising candidates for targeting specific hepatic tumor sites,where selective release of sorafenib can improve its efficacy and safety profile.     

Force sensor based on discrete optoelectronic components and compliant frames

In this paper, a novel force sensor based on commercial discrete optoelectronic components mounted on a compliant frame is described. The compliant frame has been designed through an optimization procedure to achieve a desired relation between the applied force and the angular displacement of the optical axes of the optoelectronic components. The narrow-angle characteristics of Light Emitting Diode (LED) and PhotoDetector (PD) couples have been exploited for the generation of a signal proportional to very limited deformation of the compliant frame caused by the external traction force. This sensor is suitable for applications in the field of tendon driven robots, and in particular the use of this sensor for the measurement of the actuator side tendon force in a robotic hand is reported. The design procedure of the sensor is presented together with the sensor prototype, the experimental verification of the calibration curve and of the frame deformation and the testing in a force feedback control system. The main advantages of this sensor are the simplified conditioning electronics, the very high noise-to-signal ratio and the immunity to electromagnetic fields.     

Solvent vapor treatment controls surface wettability in PMMA femtosecond-laser-ablated microchannels

A solvent vapor treatment was applied to femtosecond-laser-ablated microchannels in PMMA to selectively restore the original hydrophilic wetting behavior of the pristine surface. The hydrophobic surface of the microchannels from the submicron porosity induced by ablation becomes smoother and more transparent after the treatment. This simple and low-cost method, together with suitable masking, can produce wettability patterns that may be exploited to develop passive microfluidic elements such as valves and mixers.     

Microwave‐assisted polymerization: Inert addition and surface coating of superabsorbent polymer for improved physical properties

Two different polymerization techniques, microwave‐assisted polymerization and free radical solution polymerization, were utilized in the syntheses of superabsorbent polymers with varying amounts of acrylic acid (31–50%). Degrees of neutralization were in the range of 68–80 mol %, and clay level was varied between 0 and 5%. The base polymer produced with microwave‐assisted polymerization had higher absorbency under low load (0.3 psi) than those with the free radical solution polymerization. To improve its absorbency under higher loads (0.6 and 0.9 psi), the surface coating step was implemented by using ethylene glycol diglycidyl ether as a surface crosslinking agent. Properties such as capacity, permeability, and absorbency under different loads were tested in 0.9% sodium chloride solution for the base and the surface‐coated polymers. In addition, extractables and residual acrylic acid were measured to determine the reaction's efficiency. In conclusion, surface coating improved polymer properties, and the incorporation of clay imparted permeability to the polymer. © 2016 Wiley Periodicals, Inc. J. Appl. Polym. Sci. 2016 , 133, 43990.     

Degradation and stabilization of poly(3-hexylthiophene) thin films for photovoltaic applications

Polymer-based solar cells (PSC) represent a promising technology in the field of photovoltaics, although they still suffer from poor environmental stability. Poly(3-hexylthiophene) (P3HT) is one of the most commonly employed electron-donor materials for the preparation of the photo-active layer of PSC and it is known to undergo degradation when exposed to light. In this work, the degradation of P3HT was studied by irradiating polymer films by means of simulated sunlight. The results of this study highlighted a remarkable instability of P3HT. Substantial modifications of the infrared as well as of the UV–Vis spectra of the polymer were reported and a degradation pathway was suggested, in agreement with recent literature results. In order to stabilize the structure, two additives were evaluated namely a standard Hindered Amine Light Stabilizer (HALS) and Multi-Walled Carbon Nanotubes (MWCNT). The addition of MWCNT appeared to significantly reduce the rate of degradation.     

N-acryloyl–N′-phenylpiperazine as curing activator of unsaturated resins

N-acryloyl–N′-phenylpiperazine and three of its homopolymers of different molecular weight are tested as low toxicity redox activators in the BPO curing of unsaturated polyester resins. Gel times and other time and temperature parameters drawn from standard exothermal curves are determined with two kinds of resin, at different bath temperatures and amounts of activator. The reciprocal of gel time follows a kinetic equation with average order 0.85 with respect to the activator, and an activation energy of 19 kcal/mol. With polymeric activators it is a simple decreasing exponential function of intrinsic viscosity. Correlations are observed for other parameters relative to the second, faster step of the curing process, in general less sensitive to the mentioned variables. The crosslinked resins show mechanical properties similar to those obtainable with dimethylaniline as activator.     

Selective doping of silicon by rapid thermal and laser assisted processes

The selective doping technique, made by the combination of spin-on dopant (SOD) source deposition, rapid thermal annealing (RTA) and laser treatments is proposed as an innovative process for large area devices, like silicon solar cells.Rapid thermal diffusion (RTD) is first carried out from phosphorus SOD layers to form a lightly doped junction followed by pulsed laser irradiation to induce overdoping in selectively chosen regions.Here we present extensive study on the dependence of selective doping efficiency through different working variables, such as dopant source dilution, diffusion temperature and time for RTPs, and power and translation velocity for lasers. Electrical and structural characterizations have been performed by using several techniques: SIMS, stripping-Hall, four-point probe resistivity, SEM and TEM analysis.The combined use of these processes has been applied to the realization of selective emitter structures for silicon solar cells.     

Designing and upgrading model of pre-denitrification systems

This paper reports a three-substrate steady-state integrated model, whose unknowns are expressed in explicit terms once concentrations of nitrogen compounds in the effluent flow are fixed. The model can be applied both to design and to upgrade wastewater treatment plants. The model is also able to evaluate the flexibility of existing wastewater treatment plants, which represents the capacity of the system to operate under different working conditions caused by increases in influent load or reductions in effluent quality standards. In this case the admissible variation of influent load or effluent concentration can be measured using suitable dimensionless flexibility indexes.List of symbols Q influent flow [L³ T^–1] - R₁ sludge recycle flow ratio - R₂ aerated mixed liquor recycle flow ratio - V_D denitrification reactor volume [L³] - V_N nitrification reactor volume [L³] - S biodegradable organic substrate concentration [M L^–3] - N-NH₄ ammonia nitrogen concentration [M L^–3] - N-NO₃ nitrate nitrogen concentration [M L^–3] - N_tot total nitrogen concentration [M L^–3] - O₂ oxygen concentration in the nitrification reactor [M L^–3] - X_H heterotrophic biomass concentration [M L^–3] - X_AUT autotrophic biomass concentration [M L^–3] - maximum removal rate of biodegradable organic substrate for an assigned value of temperature [T^–1] - maximum removal rate of nitrate for an assigned value of temperature [T^–1] - maximum removal rate of ammonia nitrogen for assigned values of pH and temperature [T^–1] - _S removal rate of biodegradable organic substrate [T^–1] - _D removal rate of nitrate [T^–1] - _N removal rate of ammonia nitrogen [T^–1] - K_S saturation coefficient for biodegradable organic substrate [M L^–3] - K_D saturation coefficient for nitrate [M L^–3] - K_SD saturation coefficient for organic substrate in the denitrification kinetic [M L^–3] - K_N saturation coefficient for ammonia nitrogen [M L^–3] - saturation coefficient for oxygen [M L^–3] - Y_H yield coefficient for heterotrophic microorganisms in the biodegradable organic substrate removal process - Y_D yield coefficient for heterotrophic microorganisms in the nitrate nitrogen removal process - Y_AUT yield coefficient for autotrophic microorganisms in the ammonia nitrogen removal process - (X_H)_r heterotrophic biomass concentration in the recycle sludge [M L^–3] - (X_AUT)_r autotrophic biomass concentration in the recycle sludge [M L^–3] - biodegradable organic mass consumption for unitary nitrate nitrogen mass reduction in the denitrification reactor - nitrogen consumption in the biodegradable organic oxidation process by mean of heterotrophic biomass