Formal analysis on an extended security model for database systems

In order to develop highly secure database systems to meet the requirements for class B2, the BLP （Bell-LaPudula） model is extended according to the features of database systems. A method for verifying security model for database systems is pro- posed. According to this method, an analysis by using Coq proof assistant to ensure the correctness and security of the extended model is introduced. Our formal security model has been verified secure. This work demonstrates that our verification method is effective and sufficient.     

优化甲硫氨酸补料策略提高重组毕赤酵母G12-CBS合成S-腺苷甲硫氨酸

重组毕赤酵母G12-CBS经代谢工程改造,可高效表达重组S-腺苷甲硫氨酸(SAM)合成酶,并弱化了SAM转化途径的关键酶β-胱硫醚合成酶,是一株优良的SAM高产菌。为了利用G12-CBS高效合成SAM,需对前体(甲硫氨酸)的补料策略进行优化。首先在摇瓶中考察了不同甲硫氨酸(L-Methionine,L-Met)添加量对于G12-CBS的影响,发现每24hL-Met补加量超过3mg/mL时,会影响重组菌生长和SAM合成。在15L发酵罐中优化L-Met的补料速率,当外源补料速率为0.4g/(L·h)时SAM产量最高,分别比补料速率为0.2g/(L·h)和0.6g/(L·h)时提高22.2%和31.8%,达到13.01g/L,比出发菌最高产量提高54%。代谢物及酶活测定的结果表明,较低的L-Met补料速率(0.2g/(L·h))导致前体供应不足而影响SAM合成,过高的补料速率(0.6g/(L·h))可能会抑制三羧酸循环,并且影响氮源的摄取和利用,从而导致菌体生长和产物合成受到抑制。     

Electrochemical behavior of different shelled microcapsule composite copper coatings

Copper/liquid microcapsule composite coatings with polyvinyl alcohol (PVA), gelatin or methyl cellulose (MC) as shell materials were prepared by electrodeposition. The influence of shell materials on the corrosion resistance of the composite coatings in 0.1 M H₂SO₄ was investigated by means of electrochemical techniques, scanning electron microscopy (SEM), and energy dispersion spectrometry (EDS). The results show that the participation of microcapsules can enhance the corrosion resistance of the composite coatings compared with the traditional copper layer. Based on the analysis of electrochemical test results, the release ways of microcapsules were deduced. Gelatin and MC as the shell materials of microcapsules are easy to release quickly in the composite coating. On the contrary, the releasing speed of PVA microcapsules is relatively slow due to their characteristics.     

Zircon U-Pb geochronology of basement metamorphic rocks in the Songliao Basin

Zircon LA-ICP MS U-Pb dating of six metamorphic rocks and a metagranite (breccia) from southern basement of the Songliao Basin are reported in order to constrain the formation ages of basement. The basement metamorphic rocks in the Songliao Basin mainly consist of metagabbro (L45-1), amphibolite (SN117), metarhyolitical tuff (G190), sericite (Ser) schist (N103), chlorite (Chl) schist (T5-1), biotite (Bi)-actinolite (Act)-quartz (Q) schist (Y205), and metagranite (L44-1). The cathodoluminesence (CL) images of the zircons from metagabbro (L45-1) and metagranite (L44-1) indicate that they have cores of magmatic origin and rims of metamorphic overgrowths. Their U-Pb isotopic ages are 1808±21 Ma and 1873±13 Ma, respectively. The zircons with oscillatory zoning from amphibolite (SN117) and Chl schist (T5-1), being similar to those of mafic igneous rocks, yield ages of 274 ± 3.4 Ma and 264 ± 3.2 Ma, re-spectively. The zircons from metarhyolitical tuff (G190) and Ser schist (N103) display typical magmatic growth zoning and yield ages of 424 ± 4.5 Ma and 287 ± 5.1Ma, respectively. Most of zircons from Bi-Act-Q schist (Y205) are round in shape and different in absorption degree in the CL images, implying their sedimentary detritals. U-Pb dating yield concordant ages of 427 ± 3.1Ma, 455 ± 12 Ma, 696 ± 13 Ma, 1384±62 Ma, 1649±36 Ma, 1778±18 Ma, 2450±9 Ma, 2579±10 Ma, 2793±4 Ma and 2953±14 Ma. The above-mentioned results indicate that the Precambrian crystalline basement (1808―1873 Ma) exists in the southern Songliao Basin and could be related to tectonic thrust, and that the Early Paleozoic (424―490 Ma) and Late Paleozoic magmatisms (264―292 Ma) also occur in the basin basement, which are consistent with the ages of the detrital zircons from Bi-Act-Q schist in the basement.     

Vanadyl ions binding to GroEL （HSP60） and inducing its depolymerization

Several vanadium compounds have been known for the hypoglycemic and anticancer effects. However, the mechanisms of the pharmacological and toxicological effects were not clear. In this work, we in- vestigated the potential targets of vanadium in mitochondria. Vanadyl ions were found to bind to mi- tochondria from rat liver with a stoichiometry of 244±58 nmol/mg protein and an apparent dissocia- tion constant (Kd) of (2.0±0.8)×10·16 mol/L. Using size exclusion chromatography, a vanadium-binding protein was isolated and identified to be the 60-kDa heat shock protein (HSP60) by mass spectrometry analysis and immunoassays. Additionally, binding of vanadyl ions was found to result in depolymeri- zation of homo-oligomeric HSP60 (GroEL). HSP60 is an indispensable molecular chaperone and in- volved in many kinds of pathogenesis of inflammatory and autoimmune diseases, e.g. type 1 diabetes. Our results suggested that HSP60 could be a novel important target involved in the biological and/or toxicological effects of vanadium compounds.     

基于程序依赖图的Aspect挖掘技术

为了有效地识别遗产代码中因横切关注点而导致的零散代码或交织代码,提出了一种基于程序依赖图的Aspect挖掘方法.根据横切关注点的本质特性,考察了横切关注点与核心关注点之间的依赖关系及其在依赖图上的表现形式,对于单个方法体,结合程序的语义信息,在程序依赖图中引入一个虚拟结点表征方法体的核心功能,所有影响核心功能的语句都与之建立依赖关系,然后对依赖图进行拓扑分析,先从虚拟结点开始分离出核心代码,再通过求解连通分量的方式挖掘方法体内横切代码.实例分析表明,该方法不仅能识别出方法体内的零散特性代码,而且还能有效地挖掘出交织特性的代码.     

直接硼氢化钠-过氧化氢燃料电池电极材料的研究现状

直接硼氢化钠-过氧化氢燃料电池(DBHPFC)是一种新型液体燃料电池,其阳极采用硼氢化钠(NaBH4)溶液作为燃料,阴极采用过氧化氢(H2 O2)溶液作为氧化剂.在DBHPFC中,不需要采用氧气作为氧化剂,因此其在水下和太空等无氧环境中表现出巨大的应用优势.DBHPFC理论电池电压高(1.64 V)和能量密度高等优势使...     

新型肝素化聚氨酯膜的制备与研究

通过两步溶液聚合法合成表面含有羧基的聚氨酯（PU）,并用1-乙基-3-（二甲基丙胺）碳二亚胺（WSC）对聚氨酯表面羧基进行活化后,在4℃下柠檬酸钠缓冲液中与肝素上氨基反应得到表面共价键接枝的肝素化聚氨酯膜。通过甲苯胺蓝染色法、红外光谱法等对肝素化前后结构特征进行表征,用静态水接触角、体外抗凝血性测试其生物相容性。结果表明：在pH=5.0的肝素柠檬酸钠缓冲液中反应96 h,聚氨酯表面肝素接枝率最高,接枝量达到1.92μg/cm^2;同时,共价接枝肝素后接触角从61°降低到44°,并且抗凝血性能得到明显的改善。     

A novel method for improving cerussite sulfidization

Evaluation of flotation behavior, solution measurements, and surface analyses were performed to investigate the effects of chloride ion addition on the sulfidization of cerussite in this study. Micro-flotation tests indicate that the addition of chloride ions prior to sulfidization can significantly increase the flotation recovery of cerussite, which is attributed to the formation of more lead sulfide species on the mineral surface. Solution measurement results suggest that the addition of chloride ions prior to sulfidization induces the transformation of more sulfide ions from pulp solution onto the mineral surface by the formation of more lead sulfide species. X-ray diffraction and energy-dispersive spectroscopy indicate that more lead sulfide species form on the mineral surface when chloride ions are added prior to sulfidization. These results demonstrate that the addition of chloride ions prior to sulfidization can significantly improve the sulfidization of cerussite, thereby enhancing the flotation performance.     

Application of the modified neighborhood interference model to the cultivation of forest and herbaceous ecosystem

This paper is an extension of the application of neighborhood interference model--being modified--to the study of the interference between forest plants and herbaceous plants. The exploration of the neighborhood interference between triploid Populus tomentosa and Lolium multiflorum shows that the interference of Lolium multiflorum on triploid populus tomentosa is positive, with the primary interference factor living weight, and secondary factor cover degree; the growth of an individual tree is affected by the number, height, and coverage of the Lolium multiflorum; the more dense the coverage of the Lolium multiflorum in a certain area, the taller, faster and more trees will grow as a result of a greater positive neighborhood interference. The modified neighborhood interference model well serves as an effective approach to extend the application of neighborhood interference researches.