Additional kernel observer: privilege escalation attack prevention mechanism focusing on system call privilege changes

International Journal of Information Security - Cyberattacks, especially attacks that exploit operating system vulnerabilities, have been increasing in recent years. In particular, if administrator...     

Effect of Computational Constraints on Zero-Dimensional Computations for the Nanosecond-Order Ignition Process of the CH4/Air Mixture

Combustion, Explosion, and Shock Waves - Zero-dimensional computations of nanosecond-order ignition using a nanosecond discharge are performed with two constraints. The effects of these constraints...     

Experimental design to evaluate properties of electrospun fibers of zein/poly (ethylene oxide) for biomaterial applications

The production of polymer fibers from the combination of zein and PEO might have great potential in the field of biomaterial. Zein/PEO fibers were obtained in this work through solution electrospinning. An experimental design, 2^4-1, was used for evaluating the influences of PEO content in the blend, distance from the needle tip to the collector, applied electric voltage and solution flow for average fiber diameter and relative-yield process. Beyond this, the relationship between PEO content in the blend and the fiber properties were evaluated through FTIR, DSC, TG, tensile tests, and cytotoxic tests. The factor that exerts the greatest effect on the average fiber diameter response was the electrical voltage. The increase in PEO content in the blend decreased the thermal stability and increased the degree of the fibers' crystallinity. The mechanical tests showed that fibers with higher elongation were obtained at richer PEO blends. The fibers presented cytocompatible characteristics.     

Hydrogen absorption characteristics of Pd1−xLix (x = 0.055 and 0.072) alloys and ordered Pd7Li

Thermodynamic quantities were determined for the absorption of hydrogen in Pd-5.5at.%Li and Pd-7.2at.%Li alloys, the latter alloy being in the two-phase field of saturated -Pd(Li,s) solid solution and the ordered Pd₇Li phase. Data were also determined for the Pd-10.6at.%Li alloy which consists only of the ordered Pd₇Li phase. The data were determined from measurements of pressure-composition isotherms at temperatures between 273 K and 463 K and hydrogen pressures up to 1000 Torr. The Pd---Li alloys dissolve considerable amounts of hydrogen and form a more stable hydride phase than Pd despite the lattice contraction which occurs on alloying Pd with Li. The hydrogen solubility in the ordered Pd₇Li phase alone is a little smaller than that in the two-phase mixture. The large hydrogen absorption of Pd---Li alloys, which does not depend on the presence of ordered Pd₇Li, may be attributed to (i) an attractive H---Li pair interaction, (ii) a decrease in the strain energies necessary for hydrogen occupation of the interstices, because of the similar lattice parameters of the -Pd(Li,s) and ordered Pd₇Li phases, and the large compressibility of Pd---Li alloys, and (iii) the valence of 1 of Li in Pd compared with 3 for, for example, Y in Pd.     

A new refining process for iron oxide using iron ore and its application to hard ferrites

Kawasaki Steel Corporation and Kawatetsu Mining Co., Ltd. have developed a new refining process to extract iron oxide from iron ore to meet the increase in demand for iron oxide for high- grade hard ferrites. This article discusses the quality of iron oxides and the characteristics of the hard ferrite magnets produced from them.     

Predicting Long‐Term Changes in Riparian Bird Communities in Floodplain Landscapes

As anthropogenic impacts on riverine ecosystems expand, both aquatic and terrestrial ecosystems are influenced over large spatiotemporal scales. We predicted how riparian bird communities changed in response to long‐term changes in floodplain landscapes such as woodland expansion (i.e. rapid increases in vegetation cover on gravel bars and the progress of vegetation succession due to a decrease in the frequency and magnitude of flood disturbance). To test the hypothesis that woodland expansion after dam construction reduces the abundance of gravel bar‐nesting birds and increases the abundance of forest‐nesting birds, we estimated historical changes between past and present bird abundances using species distribution models across multiple rivers that were either unregulated or regulated by dams. We created past and present vegetation maps from remote sensing images and used habitat quantities as explanatory variables in the species distribution models. As we hypothesized, the estimated abundance of gravel bar‐nesting birds decreased and that of forest‐nesting birds increased because of woodland expansion in some regulated rivers. This suggests that anthropogenic alterations of riverine conditions (e.g. dam construction) can affect terrestrial ecosystems (e.g. riparian bird communities) through changes in floodplains (e.g. woodland expansion). In addition, our findings highlight the efficacy of combining spatial and temporal analyses when examining long‐term ecological dynamics. Copyright © 2013 John Wiley & Sons, Ltd.     

滨海湿地原生灌草群落土壤养分与盐分关系

通过灌草群丛划分、土壤采样以及室内测定、数理统计等方法,分析了黄河三角洲原生湿地灌草群落土壤的养分、盐分分布特征及相互关系,发现原生灌草群落土壤可溶性盐的垂直分布变异性较大,其中,碱蓬群丛与柽柳群丛土壤可溶性盐分布具有较强的表聚性,而土壤有机质含量表现为芦苇群丛>柽柳群丛>碱蓬群丛,且灌草群落中土壤C/N值都大于5,表明其有机质腐殖化程度较高。另一方面,土壤全氮与有机质存在明显的线性正相关;而土壤全盐与有机质、全氮之间存在明显的倒数关系,表明全盐对二者的制约作用,其中15~20g/kg的土壤盐分范围对应的是土壤全氮、有机质由迅速减少向缓慢减少的变化趋势。研究结果可以为盐碱土改良提供重要参考。     

High‐pixel‐rate grating‐light‐valve laser projector

Abstract— A high‐pixel‐rate, high‐contrast (30,000:1) wide‐color‐gamut grating‐light‐valve laser projector is reported. A new optical engine enabling high‐frame‐rate (240 Hz) scan projection is employed. Panoramic wide‐angle‐scan projection with a 64:9 aspect ratio was also developed. Speckle noise is eliminated using a simple but highly efficient technique. The optical throughput efficiency of the grating‐light‐valve laser projector is reviewed.     

Anode‐voltage‐control circuit for compensation of luminance deterioration

Abstract— An external driving circuit that has realized long lifetime, power‐consumption control, and peak luminance for organic light‐emitting diode (OLED) displays have been developed. This circuit realizes an effective method for constant‐anode‐voltage (CV) driving refered to as clamped inverter (CI) driving. The feature of CV driving is to achieve low‐power consumption compared with constant‐anode‐current (CC) driving and to control the power consumption and peak luminance according to the image because display luminance can be easily changed by controlling the anode voltage. On the other hand, CV driving has the problem that luminance deterioration appears to be serious compared with that of CC driving because the current of the OLED element decreases according to usage time. To cope with this, a lifetime compensation circuit that has increased the anode voltage so that it compensates for the luminance deterioration has been developed. This circuit can compensate not only the decrease in current but also the decrease in luminance at a constant current that CC driving cannot. However, increasing the anode voltage causes an increase in stress on the OLED element. The influence of stress on OLED lifetime was verified. As a result, it was confirmed that this circuit can extend the lifetime by 32% even if the anode voltage is increased, causing stress on the OLED structure.     

Using formal methods to increase confidence in a home network system implementation: a case study

A home network system consists of multiple networked appliances, intended to provide more convenient and comfortable living for home users. Before being deployed, one has to guarantee the correctness, the safety, and the security of the system. Here, we present the approach chosen to validate the Java implementation of a home network system. We rely on the Java Modelling Language to formally specify and validate an abstraction of the system. This is a substantially revised version of our paper that appeared in the proceedings of the Workshop On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), Poitiers-Futuroscope, France, December 2007.