嵌入式实时操作系统内核混合代码的自动化验证框架

"如何构造高可信的软件系统"已成为学术界和工业界的研究热点.操作系统内核作为软件系统的基础组件，它的安全可靠是构造高可信软件系统的重要环节.为了确保操作系统内核的安全可靠，将形式化方法引入到操作系统内核验证中，提出了一个自动化验证操作系统内核的框架.该验证框架包括：（1）分别对C语言程序和混合语言程序（C语言和汇编语言）进行验证；（2）在混合语言程序验证中，为汇编程序建立抽象模型，并将C语言程序和抽象模型粘合形成基于C语言验证工具可接收的验证模型；（3）从规范中提取性质，基于该自动验证工具，对性质完成自动验证；（4）该框架不限于特定的硬件架构.成功地运用该验证框架对两种不同硬件平台的嵌入式实时操作系统内核μC/OS-II进行了验证.结果显示：利用该框架在对两个不同的硬件平台上内核验证时，框架的可重复利用率很高，高达到88%，虽然其抽象模型需要根据不同的硬件平台进行重构.在对基于这两种平台的操作系统内核验证中，分别发现了10~12处缺陷.其中，在ARM平台上两处与硬件相关的问题被发现.实验表明，该方法对不同硬件平台的同一个操作系统分析验证具有一定的通用性.     

Broad-Spectral-Range Sustainability and Controllable Excitation of Hyperbolic Phonon Polaritons in α-MoO3

Hyperbolic phonon polaritons (HPhPs) in orthorhombic-phase molybdenum trioxide (α-MoO₃) show in-plane hyperbolicity, great wavelength compression, and ultralong lifetime, therefore holding great potential in nanophotonic applications. However, its polaritonic response in the far-infrared (FIR) range remains unexplored due to challenges in experimental characterization. Here, monochromated electron energy loss spectroscopy (EELS) in a scanning transmission electron microscope (STEM) is used to probe HPhPs in α-MoO₃ in both mid-infrared (MIR) and FIR frequencies and correlate their behaviors with microstructures and orientations. It is found that low structural symmetry leads to various phonon modes and multiple Reststrahlen bands (RBs) over a broad spectral range (over 70 meV) and in different directions (55–63 meV and 119–125 meV along the b-axis, 68–106 meV along the c-axis, and 101–121 meV along the a-axis). These HPhPs can be selectively excited by controlling the direction of swift electrons. These findings provide new opportunities in nanophotonic and optoelectronic applications, such as directed light propagation, hyperlenses, and heat transfer.     

Synthesis and characterization of MCM-41-supported nano zirconia catalysts

Series of MCM-41 supported sulfated Zirconia (SZ) catalysts with different loadings (2.5–7.5% wt.) were prepared using direct impregnation method. The acquired solid catalysts were characterized structurally and chemically using X-RD, HRTEM, BET, FT-IR, Raman spectroscopy and TPD analysis. The acidity of the solid catalysts was investigated through cumene cracking and isopropanol dehydration at different temperatures. As the SZ loading increases, the surface acidity of the mesoporous catalysts was enhanced, this was reflected by the higher catalytic activity toward cumene cracking and isopropanol dehydration.     

Design of novel urogenital pharmabiotic formulations containing lactobacilli,salivaricin CRL 1328 and non-microbial compounds with different functionalities

Context: The administration of pharmabiotics is a promising alternative to antimicrobial drugs for the treatment and/or prevention of female urogenital infections.

Objective: To design pharmabiotic formulations including bioactive ingredients of microbial origin combined with non-microbial substances and then to evaluate the stability of the combinations during freeze-drying and storage.

Materials and methods: Different formulations including Lactobacillus gasseri CRL 1263, Lactobacillus salivarius CRL 1328, salivaricin CRL 1328 (a bacteriocin) and non-microbial compounds (lactose, inulin and ascorbic acid) were assayed, and the ingredients were freeze-dried together or separately. The formulations were stored in gelatin capsules at 4?°C for 360?d.

Results: The viability of lactobacilli was affected to different extents depending on the strains and on the formulations assayed. L. salivarius and ascorbic acid were successfully combined only after the freeze-drying process. Salivaricin activity was not detected in formulations containing L. gasseri. However, when combined with ascorbic acid, lactose, inulin or L. salivarius, the bacteriocin maintained its activity for 360?d. The selected microorganisms proved to be compatible for their inclusion in multi-strain formulations together with lactose, inulin and ascorbic acid. Salivaricin could be included only in a L. salivarius CRL 1328 single-strain formulation together with non-microbial substances.

Conclusions: This study provides new insights into the design of urogenital pharmabiotics combining beneficial lactobacilli, salivaricin CRL 1328 and compounds with different functionalities.     

Potential bio-activity of whey fermented extract as sanitizer of organic grown lettuce

Consumption of vegetables is increasing due to demand for healthy products in peoples' diets. To reduce microbial contamination and maintain freshness, industrial processes in Portugal rely on minimally processing of vegetables with hypochlorite as sanitizer. Formation of toxic chlorine derivatives has raised concern restrictions to its use and alternatives with whey permeate as a disinfection agent has been attempted. The aim of this work was to evaluate the bio potential of fermented cheese whey, for use on disinfection of minimally processed lettuce organically grown.Assays were made with whey obtained from inoculated milk during cheese processing, fermented for 120 h at 37 °C, after which, among other carbohydrates, lactic acid was measured by HPLC, giving average yields of 18 g L⁻¹.The sanitizing effect of whey, undiluted, 75 and 50% solutions, was compared with 110 ppm sodium hypochlorite, after rinsing. Aerobic Microorganisms (AM), Psychrotrophic Microorganisms (PM) and Enterobacteriaceae (ENT), were used as indicators for hygiene quality. For a level of significance of P < 0.05, the hygiene quality standards of lettuce samples, were better using 75% whey solution (AM 6.62, PM 7.48 cfu g⁻¹), than using sodium hypochlorite (AM 7.48, PM 8.15 cfu g⁻¹), for the 7 days of shelf life studied. Evaluation of Enterobacteriaceae showed significant differences after 3 days, between water (ENT 4.98 cfu g⁻¹) sodium hypochlorite (ENT 4.81 cfu g⁻¹) and 75% solution of whey (ENT 4.63 cfu g⁻¹).Considering the actual limitations imposed to chlorine sanitation, these results point a good alternative to the food industry, especially for organic fresh vegetables, which are chemical free brands.     

Mutagenic Effects of Iron Oxide Nanoparticles on Biological Cells

In recent years, there has been an increased interest in the design and use of iron oxide materials with nanoscale dimensions for magnetic, catalytic, biomedical, and electronic applications. The increased manufacture and use of iron oxide nanoparticles (IONPs) in consumer products as well as industrial processes is expected to lead to the unintentional release of IONPs into the environment. The impact of IONPs on the environment and on biological species is not well understood but remains a concern due to the increased chemical reactivity of nanoparticles relative to their bulk counterparts. This review article describes the impact of IONPs on cellular genetic components. The mutagenic impact of IONPs may damage an organism’s ability to develop or reproduce. To date, there has been experimental evidence of IONPs having mutagenic interactions on human cell lines including lymphoblastoids, fibroblasts, microvascular endothelial cells, bone marrow cells, lung epithelial cells, alveolar type II like epithelial cells, bronchial fibroblasts, skin epithelial cells, hepatocytes, cerebral endothelial cells, fibrosarcoma cells, breast carcinoma cells, lung carcinoma cells, and cervix carcinoma cells. Other cell lines including the Chinese hamster ovary cells, mouse fibroblast cells, murine fibroblast cells, Mytilus galloprovincialis sperm cells, mice lung cells, murine alveolar macrophages, mice hepatic and renal tissue cells, and vero cells have also shown mutagenic effects upon exposure to IONPs. We further show the influence of IONPs on microorganisms in the presence and absence of dissolved organic carbon. The results shed light on the transformations IONPs undergo in the environment and the nature of the potential mutagenic impact on biological cells.     

Lipase‐catalyzed synthesis of aliphatic poly(β‐thioether ester) with various methylene group contents: thermal properties,crystallization and degradation

A series of novel aliphatic poly(β‐thioether ester)s with various methylene group contents were prepared by direct lipase‐catalyzed polycondensation of the monomer with an acid‐labile β‐thiopropionate group. The polycondensation reaction using immobilized lipase B from Candida antarctica was carried out in diphenyl ether at 90 °C. Poly(β‐thioether ester)s with high molecular weights of 20 500–57 000 Da and narrow polydispersities in the range 1.40–1.48 were obtained. Thermogravimetric analysis, differential scanning calorimetry and wide‐angle X‐ray diffraction were used to investigate the thermal properties and crystal structures of these polyesters. All the poly(β‐thioether ester)s were semicrystalline polymers and thermally stable up to at least 200 °C. In vitro degradation studies showed that they can rapidly degrade under acidic conditions by the hydrolysis of the β‐thiopropionate groups, suggesting their potential as acid‐degradable polymeric materials. © 2019 Society of Chemical Industry     

Photopolymerization synthesis of polyacrylic acid dispersant with methoxysilicon end groups and its application in a nano‐SiO2 aqueous system

In order to improve the dispersity and stability of the nano‐SiO₂ aqueous system with high solid content, a kind of polyacrylic acid dispersant with methoxysilicon end groups (KH590‐PAA) was synthesized by photopolymerization of acrylic acid (AA) initiated with (3‐mercaptopropyl)trimethoxysilane (KH590). After adding KH590‐PAA into the nano‐SiO₂ aqueous dispersion system (20 wt% solid content), the viscosity and the curing time of the system were measured with a rotational viscometer and the inverted bottle method. Moreover, the dispersion mechanism of KH590‐PAA for the nano‐SiO₂ aqueous system was researched by measuring the adsorption capacity, the particle size and the zeta potential of the nanoparticles with a conductivity meter, dynamic light scattering, SEM and TEM, respectively. The results showed that the methoxysilicon groups in KH590‐PAA could react with hydroxyl groups on the surface of nano‐SiO₂ in the process of stirring, which enhanced the adsorption capacity of the dispersant and then increased the surface charge of the particles. Therefore, electrostatic repulsion and steric hindrance effects between the SiO₂ nanoparticles could be further enhanced by adding the KH590‐PAA dispersant, and then the nano‐SiO₂ aqueous system exhibited better dispersity and stability. Besides, the dispersion properties of SiO₂ nanoparticles in water were closely related to the addition amount and the molecular weight of the KH590‐PAA dispersant. © 2018 Society of Chemical Industry