一种基于加密模式的Linux安全模块加载机制

研究了Linux可加载内核模块机制；详细地分析了模块可执行可连接格式目标文件（executable and linkable，ELF）格式的构成；针对Linux可以加载内核模块的安全缺陷，设计了基于加密模式安全模块加载机制，并分析解决了关键技术。     

一种较好的软件延时方法

工控软件中经常需要对控制的电机进行延时动作,本文对几种常用延时方法的优缺点进行比较后,推荐一种既能达到延时效果,又可以少占用系统资源的方法。此方法在《博达数字汽车衡称重管理软件》中得到了良好的应用。     

A群链球菌四价重组蛋白的表达、纯化及其免疫原性

目的原核表达并纯化A群链球菌M1、3、6、18型四价重组蛋白,并检测其免疫原性。方法以克隆质粒pUC18-Strep4为模板,PCR法扩增四价重组蛋白基因,克隆至表达载体pQE30中,构建重组表达质粒,转化E.coilM15,筛选阳性克隆,IPTG诱导表达。采用Ni2+-NTA凝胶亲和层析纯化重组蛋白。以该蛋白免疫家兔,ELISA法检测血清抗体滴度;间接免疫荧光法(IFA)检测A群链球菌型特异性抗体;体外杀菌试验检测杀菌抗体活性。结果四价重组蛋白表达质粒pQE30-Strep4经双酶切和测序,证明构建正确。重组蛋白相对分子质量与预期相符,表达量约占菌体总蛋白的30%,为可溶性表达。纯化后蛋白纯度可达90%以上,并可诱导家兔产生高滴度的M1、3、6型特异性杀菌抗体。结论已成功表达了A群链球菌四价重组蛋白,纯化后的蛋白可诱导家兔产生针对A群链球菌M1、3、6三个血清型菌株的特异性杀菌抗体。     

河道治理工程中的新思路

上海在河道治理中，以生态型护岸和沿河生态景观绿化工程建设为切入点，以建设水清、流畅、岸固、滩绿、景美，人与自然和谐相处的生态景观型河道为目标，形成了一整套河道建设新思路。本文简要叙述了上海河道整治前后概况，特别是河道整治建设改善了河道生态景观和环境。介绍了河道治理建设工程的新思路，以形成人与自然的和谐相处。     

脊髓灰质炎病毒Ⅲ型Sabin株C抗原和D抗原的分离及特性分析

目的分离脊髓灰质炎病毒Ⅲ型Sabin株(sPVⅢ)C抗原和D抗原,并分析其部分特性。方法采用CsCl密度梯度离心法分离sPVⅢ的C抗原和D抗原,电镜观察病毒形态;SDS-PAGE检测病毒结构蛋白组成;微量BCA法检测蛋白浓度,计算每种抗原所占比例;细胞病变法检测病毒滴度。同时检测上样浓度及超离次数对C抗原纯度的影响。结果sPVⅢC抗原和D抗原在透射电镜下均呈球形,C抗原病毒颗粒密度较小,外壳大多较为松散,D抗原病毒颗粒密度较大,结构更稳固;C抗原由VP0、VP1、VP3蛋白组成,D抗原由VP1、VP2、VP3和VP4蛋白组成;C抗原和D抗原分别约占总蛋白含量的10%和90%,部分C抗原在分离前及分离过程中易产生聚集;D抗原的病毒滴度高于C抗原。降低上样浓度及进行二次超离可提高C抗原纯度。结论采用CsCl密度梯度离心法成功分离了sPVⅢ的C抗原和D抗原,C抗原滴度远低于D抗原,且部分易产生聚集,较难达到较高纯度。     

树根桩在河道工程中的应用

树根桩因其所形成的桩基形状如"树根"而得名。本文结合崇明县七港河道整治工程树根桩基础护岸结构形式对树根桩的优缺点、适用范围、施工工艺、以及使用效果进行阐述,以期为类似河道工程施工提供成功经验。     

红外连续变焦镜头的结构设计与热分析

随着红外技术的不断发展,红外连续变焦镜头的应用越来越广泛。为了避免环境温度变化影响红外连续变焦镜头的成像质量,对改变过凸轮的红外镜头进行了光机热分析。建立连续变焦红外镜头的有限元模型,通过热分析对其模型进行处理,完成对有限元模型的热分析,并求解出不同情况下凸轮槽时镜头的位移云图、不同情况下镜片的位移云图、不同角度时凸轮的位移云图和不同角度下镜片的位移云图。结果表明,热光分析方法可以模拟红外光学系统的实际使用情况,并可以预测实际使用条件下的工作条件,对光学系统的设计具有重要的指导意义。     

基于深度学习的白菜田杂草分割

田间除草在农业生产中具有重要意义,传统杂草识别方式具有效率低或者局限性大的缺点。为此提出将Mask R-CNN算法应用到自然光照下杂草幼苗和白菜幼苗的图像识别。实验选取常见杂草幼苗和白菜幼苗图像作为训练集训练网络,经测试集测试得到81%的合格率。与传统阈值分割算法对比,Mask R-CNN在不同环境下都能精确地识别出杂草幼苗,解决了传统图像算法在复杂光照和叶片遮挡环境下图像难以分割的问题,并且避免了分类器设置工作。     

面向安全苛求软件的测试用例自动生成*

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。