Sensei: Enforcing secure coding guidelines in the integrated development environment

We discuss the potential benefits, requirements, and implementation challenges of a security-by-design approach in which an integrated development environment plugin assists software developers to write code that complies with secure coding guidelines. We discuss how such a plugin can enable a company's policy-setting security experts and developers to pass their knowledge on to each other more efficiently, and to let developers more effectively put that knowledge into practice. This is achieved by letting the team members develop customized rule sets that formalize coding guidelines and by letting the plugin check the compliance of code being written to those rule sets in real time, similar to an as-you-type spell checker. Upon detected violations, the plugin suggests options to quickly fix them and offers additional information for the developer. We share our experience with proof-of-concept designs and implementations rolled out in multiple companies, and present some future research and development directions.     

Sediment geochemistry of Al, Fe, and P for two historically acidic, oligotrophic Maine lakes

Phosphorus (P) may be liberated from lake sediments by reductive dissolution of Fe(OH)(3(S)) during periods of hypolimnetic anoxia. P, however, remains adsorbed to Al(OH)(3(S)) regardless of redox conditions. During chronic or episodic acidification of a catchment, ionic Al is mobilized from soils to receiving waters. A fraction of the mobilized Al may precipitate as a consequence of higher pH of the receiving waters. We hypothesized that phosphorus retention in lake sediments is directly related to the magnitude of Al loading in response to low pH in the watershed. We studied cores representing over 200 years of sediment accumulation in historically acidic Mud Pond and Little Long Pond in eastern Maine, USA. Sequential chemical extractions of sediment were used to assess the history of Al, Fe, and P interactions. Mud Pond is a first-order pond with a pH of approximately 4.7, having acidified slightly in response to anthropogenic acidification from approximately 1930. The inlet stream to Mud Pond has dissolved Al concentrations often exceeding 500 microg/L, of which more than half is organically-bound. Mud Pond drains into Little Long Pond, a second-order pond with a historical pH of <6, and which has shown little pH or alkalinity response to increases or decreases in atmospheric SO(4)(2-) input. Sequential extractions show that Al and P are predominantly in the 0.1 M NaOH-extractable fraction in the sediments from both ponds throughout the cores. The concentration of the likely biogenic and non-reactive P within the NaOH fraction increases up core from <30% to approximately 60%. Extractable Fe (<20% of extractable Al) is mainly in the 0.1 M NaOH-extractable fraction, except for the top few cm, which are predominantly in the bicarbonate-dithionite reducible fraction. Accumulation rates of sediment, Al, Fe, and P in both ponds have increased in the last 50-60 yr, but fractions remain in the same proportion. Throughout both sediment cores the molar ratio of specific Al:P fractions greatly exceeds 25, and molar ratio of specific Al:Fe fractions greatly exceeds 3, the thresholds proposed by Kopácek et al. [Kopácek J, Borovec J, Hejzlar J, Ulrich K-U, Norton SA, Amirbahman A. Aluminum control of phosphorus sorption by lake sediments. Environ Sci Technol 2005; 39: 8784-89.] for P release during anoxia. The data illustrate a continuous association of P with Al in both ponds during the last two centuries, likely due to the persistent natural acidity of the catchments.     

An optical strain measurement system for asphalt mixtures

Knowledge of the conditions governing the initiation and propagation of cracks in hot mix asphalt (HMA) mixtures is a prerequisite for a comprehensive understanding of HMA cracking mechanisms. Traditional strain measurement sensors have proved to be not completely adequate in the sense that they do not provide pointwise measurements, thus not pinpointing the location of crack initiation, and not accounting for non-uniform strain distributions. This paper presents a digital image correlation (DIC) system for non-contact and full strain field measurements, conceived for the purpose of investigating the cracking behavior of HMA mixtures. The whole system was developed so as to account for the special nature of typical HMA testing configurations. An image matching technique (least squares matching) was employed for providing matches with sub-pixel accuracy. The performance of the method was investigated by several tests. The DIC system was shown to overcome the shortcomings of traditional on-specimen strain measurement devices achieving satisfactory accuracy compared to strain gauges.     

Hydrophobicity engineering of cholera toxin A1 subunit in the strong adjuvant fusion protein CTA1-DD

Protein engineering of the cholera toxin A1 subunit (CTA1) fusedto a dimer of the Ig-binding D-region of Staphylococcus aureusprotein A (DD) was employed to investigate the effect of specificamino acid changes on solubility, stability, enzymatic activityand capacity to act as an adjuvant in vivo. A series of CTA1-DDanalogues were selected by a rational modeling approach, inwhich surface-exposed hydrophobic amino acids of CTA1 were exchangedfor hydrophilic counterparts modeled for best structural fit.Of six different mutants initially produced, two analogues,CTA1Phe132Ser-DD and CTA1Pro185Gln-DD, were demonstrated tohave 50 and 70% increased solubility, respectively, at neutralpH. The double mutant CTA1Phe132Ser/Pro185Gln-DD was at leastthreefold more soluble, demonstrating an additive effect ofthe two mutations. Only the Phe132Ser analogue retained fullbiological activity and stability compared with the native CTA1-DDfusion protein. Two mutants, Pro185Gln and Phe31His mutations,exhibited unaltered ADP-ribosyltransferase activity in vitro,but demonstrated markedly reduced adjuvant function. Since thePro185 and Phe31 amino acids are located in close vicinity onthe distal side of the molecule relative to the enzymaticallyactive cleft, it is conceivable that this region is involvedin mediating a biological function, separate from the enzymaticactivity but intrinsic to the adjuvant activity of CTA1.     

Fatigue and post-fatigue tensile behaviour of non-crimp stitched and unstitched carbon/epoxy composites

An experimental study is described in this paper dealing with the tensile–tensile fatigue and the quasi-static post-fatigue tensile behaviour of a structurally stitched multi-ply carbon composite and the unstitched counterpart. The influence of the stitching on the fatigue life and on the residual post-fatigue quasi-static properties in two principal direction is investigated. The fatigue behaviour of both composites is represented by Wöhler-like diagrams. The damage imparted during fatigue is studied by X-ray analyses. The residual mechanical properties of the fatigued composites after different number of cycles are compared in term of stiffness and strength. The post-fatigue quasi-static tensile tests include acoustic emission (AE) registration and full-field surface strain mapping (SM) to investigate the damage onset and development. The main conclusions of the experimental work are: the fatigue life is improved in the direction of the structural stitching and is reduced in the orthogonal direction; for the considered cyclic stress level the post-fatigue reduction of the mechanical properties is limited by the structural stitching.     

Linear mixed-integer models for biomass supply chains with transport,storage and processing

This paper presents a linear mixed-integer modeling approach for basic components in a biomass supply chain including supply, processing, storage and demand of different types of biomass. The main focus in the biomass models lies on the representation of the relationship between moisture and energy content in a discretized framework and on handling of long-term processes like storage with passive drying effects in the optimization. The biomass models are formulated consistently with current models for gas, electricity and heat infrastructures in the optimization model ‘eTransport’, which is designed for planning of energy systems with multiple energy carriers. To keep track of the varying moisture content in the models and its impact on other biomass properties, the current node structure in eTransport has been expanded with a special set of biomass nodes. The Node, Supply, Dryer and Storage models are presented in detail as examples of the approach. A sample case study is included to illustrate the functionality implemented in the models.     

Essential instabilities of fronts: bifurcation, and bifurcation failure

Various instability mechanisms of fronts in reaction-diffusion systems are analysed; the emphasis is on instabilities that have the potential to create modulated (i.e. time-periodic) waves near the primary front. Hopf bifurcations caused by point spectrum with associated localized eigenfunctions provide an example of such an instability. A different kind of instability occurs if one of the asymptotic rest states destabilizes: these instabilities are caused by essential spectrum. It is demonstrated that, if the rest state ahead of the front destabilizes, then modulated fronts are created that connect the rest state behind the front with small spatially periodic patterns ahead of the front. These modulated fronts are stable provided the spatially periodic patterns are stable. If, on the other hand, the rest state behind the front destabilizes, then modulated fronts that leave a spatially periodic pattern behind do not exist.     

A RAPID METHOD FOR DETERMINING BIOTIN ACTIVITY IN RAW MATERIALS FOR FERMENTATION

The biotin activity of a raw material towards yeast may consist of the sum of the activities of biotin, desthiobiotin, oxybiotin, biocytin and possibly other factors. Some of these substances only stimulate certain strains of yeast; on the other hand, the strains of lactobacilli generally used for estimation of biotin activity utilize only D-biotin. It is thus desirable to have a method available in which a manufacturer's own strain of yeast is used as test organism for biotin activity. A simple method for biotin determination based on the cup plate assay is described. Biotin-free agar is inoculated with yeast and a series of standard solutions of D-biotin and a series of dilutions of the raw material under investigation are placed in holes cut in the agar. After incubation, the zones of growth are measured and from their diameters the biotin activity can be calculated.     

Successful Aging

This issue's Works in Progress department presents six abstracts for projects that are developing interesting solutions to the elderly's quality of life challenges. The first two abstracts discuss projects that will help provide the elderly with freedom and independence by instrumenting their environments with supportive technology. The next two abstracts discuss projects building specialized user interfaces for addressing some of the challenges associated with aging, such as vision impairment. The final two abstracts present projects that will aid independence for the elderly by providing remote monitoring and assistance.