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

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

改进HSR-FCN的服装图像识别分类算法研究

目前网络上的服装图像数量增长迅猛，对于大量服装图像实现智能分类的需求日益增加。将基于区域的全卷积网络（Region-Based Fully Convolutional Networks，R-FCN）引入到服装图像识别中，针对服装图像分类中网络训练时间长、形变服装图像识别率低的问题，提出一种新颖的改进框架HSR-FCN。新框架将R-FCN中的区域建议网络和HyperNet网络相融合，改变图片特征学习方式，使得HSR-FCN可以在更短的训练时间内达到更高的准确率。在模型中引入了空间转换网络，对输入服装图像和特征图进行了空间变换及对齐，加强了对多角度服装和形变服装的特征学习。实验结果表明，改进后的HSR-FCN模型有效地加强了对形变服装图像的学习，且在训练时间更短的情况下，比原来的网络模型R-FCN平均准确率提高了大约3个百分点，达到96.69%。     

苯乳酸抑制链格孢霉作用靶位的分析

以从自然腐败的樱桃上分离的链格孢霉（Alternaria sp.）LD3.0086为指示菌，研究苯乳酸对链格孢霉的主要抑制作用靶位。应用分光光度法测定苯乳酸对链格孢霉的最小抑菌浓度，通过卡尔科弗卢尔荧光增白剂染液（calcofluor white，CFW）染色观察苯乳酸对菌丝顶端生长的破坏作用，利用扫描电子显微镜和透射电子显微镜观察链格孢霉的超微结构变化，通过测定苯乳酸作用前后链格孢霉上清液中N-乙酰葡萄糖胺质量浓度变化研究苯乳酸对菌丝细胞壁的破坏作用，应用荧光双染色法观察苯乳酸对链格孢霉菌丝细胞膜的损伤作用。结果表明，12.5 mmol/L的苯乳酸能有效抑制链格孢霉的生长；与对照组（无菌水处理）相比，苯乳酸处理后链格孢霉顶端生长细胞无明显形变，经12.5 mmol/L苯乳酸处理的链格孢霉上清液中N-乙酰葡萄糖胺质量浓度基本不变；苯乳酸处理24 h，链格孢霉菌丝细胞壁表面无明显损伤，细胞内结构发生明显变化；苯乳酸短时间（4 h）处理链格孢霉，菌丝细胞膜仍较为完整，加入苯乳酸较长时间（8 h）后细胞膜发生破裂。综合分析可知，苯乳酸对链格孢霉的主要作用靶位应不是菌丝体的细胞壁和细胞膜，而是在菌丝体内部，通过破坏菌丝内部细胞器结构或引起细胞内的生化反应，从而抑制链格孢霉的生长和繁殖，发挥抑菌活性。     

Research on phase shift characteristics of electromagnetic wave in plasma

The phase shift characteristics reflect the state change of electromagnetic wave in plasma sheath and can be used to reveal deeply the action mechanism between electromagnetic wave and plasma sheath. In this paper, the phase shift characteristics of electromagnetic wave propagation in plasma were investigated. Firstly, the impact factors of phase shift including electron density,collision frequency and incident frequency were discussed. Then, the plasma with different electron density distribution profiles were employed to investigate the influence on the phase shift characteristics. In a real case, the plasma sheath around the hypersonic vehicle will affect and even break down the communication. Based on the hypersonic vehicle model, we studied the electromagnetic wave phase shift under different flight altitude, speed, and attack angle. The results indicate that the phase shift is inversely proportional to the flight altitude and positively proportional to the flight speed and attack angle. Our work provides a theoretical guidance for the further research of phase shift characteristics and parameters inversion in plasma.     

基于Web的3D模型浏览与交互系统的研究与实现

设计了基于Web的3D模型浏览与交互系统，主要采用基于WebGL的第三方库Three.js来实现。该系统的建立主要包括场景的构建、场景的交互控制和模型的云存储。模型是场景构建的前提，用户可从外部导入所需模型或利用系统自带的简单模型进行模型的构建。场景交互技术主要包括模型的平移、旋转、缩放、拾取、剖切、3D动画模型的播放以及信息的显示等。模型的云存储是指用户可以通过登录账户将3D模型存储到服务器，日后需要时直接从服务器中加载即可。     

含锡废液的安全处理技术研究

论述了两级沉淀法对含锡废液的处理技术,通过实验得到两级沉淀法处置含锡废液的最优条件,实现了含锡废液的安全有效快速处理.     

植物细胞分裂素ortho-Topolin Riboside对人白血病细胞株THP-1的抗癌活性及机制初探

本研究以人急性髓性白血病细胞株THP-1为研究对象,初步探讨其抗癌活性及作用机制。通过光学显微镜观察N6-2-苄胺羟基腺苷(oTR)作用后THP-1细胞形态学和数目变化;CCK-8法检测oTR对THP-1细胞的增殖抑制作用,并用核苷转运体拮抗剂和腺苷受体拮抗剂预处理细胞检测oTR进入细胞的方式;用流式细胞仪分析oTR作用对THP-1细胞凋亡和分化的影响。结果表明,oTR可显著(P<0.05)抑制THP-1细胞的增殖能力,且呈浓度依赖性;核苷转运体拮抗剂Dipyridamole预处理THP-1细胞后,可明显逆转oTR的增殖抑制作用,而4种腺苷受体拮抗剂(DPCPX、SCH58261、MRS1754和MRA1191)则无显著影响;oTR可诱导处理组细胞亚倍体峰比例显著(P<0.05)高于对照组,且细胞髓系分化标志蛋白CD11b表达明显升高。以上结果表明细胞分裂素oTR通过核苷转运体途径进入THP-1细胞,显著(P<0.05)抑制细胞的增殖,并可诱导THP-1细胞发生凋亡和髓系分化。     

浅谈冶金实验室绿色化建设

介绍了实验室绿色化建设的措施,叙述了实验室废弃物的处理方法。从化学试剂的科学管理和应用,检测方法的选择,减少常规湿法分析,实验室废弃物的管理以及实验室废弃物的处理方法等方面提出了具体方案。