Containment of composite fan blades

The development of containment concepts for use with large composite fan blades, taking into account the frangible nature of composite blades is considered. Aspects of the development program include; (1) an analysis to predict the interaction between a failed fan blade and the blade containment structure; (2) scaling factors to allow impact testing using subscale containment rings and simulated blades; (3) the design and fabrication of containment systems for further evaluation in a rotating rig test facility; (4) evaluate the test data against the analytically predicted results; and (5) determine overall systems weights and design characteristics of a composite fan stage installation and compare to the requirements of an equivalent titanium fan blade system. Progress in the blade impact penetration tests and the design and fabrication of blade containment systems is reported

SENinja: A symbolic execution plugin for Binary Ninja

Symbolic execution is a program analysis technique that aims to automatically identify interesting inputs for an application, using them to generate program executions covering different parts of the code. It is widely used in the context of vulnerability discovery and reverse engineering. In this paper we present SENINJA, a symbolic execution plugin for the BINARYNINJA disassembler. The tool allows the user to perform symbolic execution analyses directly within the user interface of the disassembler, and can be used to support a variety of reverse engineering tasks

Authentication of cow feeding and geographic origin on milk using visible and near-infrared spectroscopy.

International audience; The ability of near-infrared spectroscopy to trace cow feeding systems and farming altitude was tested on 486 bulk milk samples from France and northwestern Italy. Milks were grouped into feeding systems according to the main forage in the diet. Partial least square discriminant analysis correctly classified 95.5, 91.5, and 93.3% of pasture versus maize silage, hay, and fermented herbage feeding systems, respectively. Discrimination was slightly less successful when diets with large proportions of the nondominant forage were included in each group. Near-infrared spectroscopy correctly discriminated no-pasture from pasture milk, even with only 30% of pasture in the diet (5.4% cross-validation error), and the error stabilized when pasture exceeded 70% (2.5% error). Near-infrared spectroscopy did not reliably trace milk geographic origin when the feeding system effect was isolated from the altitude effect. These findings may be usefully exploited for the authentication of dairy products

WEIZZ: Automatic grey-box fuzzing for structured binary formats

Fuzzing technologies have evolved at a fast pace in recent years, revealing bugs in programs with ever increasing depth and speed. Applications working with complex formats are however more difficult to take on, as inputs need to meet certain format-specific characteristics to get through the initial parsing stage and reach deeper behaviors of the program. Unlike prior proposals based on manually written format specifications, we propose a technique to automatically generate and mutate inputs for unknown chunk-based binary formats. We identify dependencies between input bytes and comparison instructions, and use them to assign tags that characterize the processing logic of the program. Tags become the building block for structure-aware mutations involving chunks and fields of the input. Our technique can perform comparably to structure-aware fuzzing proposals that require human assistance. Our prototype implementation WEIZZ revealed 16 unknown bugs in widely used programs

Data from docking simulations to develop an efficient strategy able to evaluate the interactions between RAGE and MDA-induced albumin adducts

This data article contains the results of docking simulations performed in order to develop a suitable in silico strategy able to assess the stability of the putative complexes between RAGE and MDA induced adducts on human albumin as experimentally determined doi: 10.1016/j.redox.2016.12.017, (Degani et al., 2017) [1]. The docking simulations involved different approaches to give a simplified yet realistic representation of the protein adducts and their environment. With increasing complexity, simulations involved the corresponding albumin tripeptides and pentapeptides with the modified residue in the central position as well as pseudo-structures which were generated by collecting the albumin residues around the adducted residue within a sphere of 7.5 \uc5 and 5 \uc5 radius. The reliability of the tested approaches was assessed by monitoring the score differences between adducted and unmodified residues. The obtained results revealed the greater predictive power of the spherical pseudo-structures compared to the simple tri- or pentapeptidic sequences thus suggesting that RAGE recognition involves residues which are spatially close to the modified residue even though not necessarily adjacent in the primary sequence

Statistical kinetic treatment of relativistic binary collisions

In particle-based algorithms, the effect of binary collisions is commonly described in a statistical way, using Monte Carlo techniques. It is shown that, in the relativistic regime, stringent constraints should be considered on the sampling of particle pairs for collision, which are critical to ensure physically meaningful results, and that nonrelativistic sampling criteria (e.g., uniform random pairing) yield qualitatively wrong results, including equilibrium distributions that differ from the theoretical J\"uttner distribution. A general procedure for relativistically consistent algorithms is provided, and verified with three-dimensional Monte Carlo simulations, thus opening the way to the numerical exploration of the statistical properties of collisional relativistic systems.Comment: Accepted for publication as a Rapid Communication in Phys. Rev.

Milk fat globule-epidermal growth factor-factor VIII downregulates interleukin-17 expression in sepsis by modulating STAT3 activation

BACKGROUND: Milk fat globule-epidermal growth factor-factor VIII (MFG-E8) is a secretory glycoprotein with a known role in inflammation. In sepsis, interleukin (IL)-17 acts as a proinflammatory cytokine to exaggerate systemic inflammation. We hypothesize that MFG-E8 downregulates IL-17 expression in sepsis. METHODS: Sepsis was induced in 8-week-old male C57BL/6 mice by cecal ligation and puncture (CLP). Recombinant mouse MFG-E8 (rmMFG-E8) at a dosage of 20 mug/kg body weight or phosphate-buffered saline was concurrently injected. After 10 hours, blood and spleen samples were harvested for analysis. For in vitro studies, splenocytes isolated from healthy mice pretreated with rmMFG-E8 and splenocytes from MFG-E8 knockout (mfge8-/-) mice were stimulated with phorbol 12-myristate 13-acetate (PMA) and ionomycin, followed by measurement of IL-17 expression with either quantitative PCR or enzyme-linked immunosorbent assay. RESULTS: At 10 hours after CLP, rmMFG-E8 inhibited the elevated levels of IL-17 protein in serum by 31%, compared with the vehicle. In the spleen, rmMFG-E8 reduced the upregulated IL-17 mRNA and protein levels by 81% and 51%, respectively. This correlated with a significant reduction in organ injury markers AST and ALT in sepsis after administration of rmMFG-E8. In vitro treatment of splenocytes isolated from healthy mice with rmMFG-E8 showed significant downregulation in PMA/ionomycin-induced IL-17 expression. In contrast, CD4 T-cells from mfge8-/- mice showed significant upregulation of IL-17 compared with wild-type mice. The phosphorylated level of signal transducer and activator of transcription 3 (STAT3) was downregulated in spleen tissue of septic mice treated with rmMFG-E8. Conversely, mfge8-/- mice showed increased phosphorylated STAT3 compared with wild-type mice after sepsis. CONCLUSION: Our findings demonstrate MFG-E8-mediated downregulation of IL-17 expression, implicating its potential as a novel therapeutic agent against sepsis

Input-Sensitive Performance Testing

One goal of performance testing is to find specific test input data for exposing performance bottlenecks and identify the methods responsible for these performance bottlenecks. A big and important challenges of performance testing is how to deeply understand the performance behaviors of a non-trivial software system in terms of test input data to properly select the specific test input values for finding the problematic methods. Thus, we propose this research program to automatically analyze performance behaviors in software and link these behaviors with test input data for selecting the specific ones that can expose performance bottlenecks. In addition, this research further examines the corresponding execution traces of selected inputs for targeting the problematic methods