SPI演算规范的建模、实现验证研究

针对安全协议安全属性是否满足，缺乏有效性能评价方法的现状，大都使用SPI演算或相近的进程代数方法进行建模。利用这种方法不仅能够有效地形式化描述安全协议，并且能够对安全协议进行多方面的系统评价，但基本上没有说明怎么样寻找设计合适的验证工具，验证其安全属性实现的正确性。本文引入基于SPI演算的验证工具SPRITE来保证建模过程正确性，并设计给出实现映射的具体方法。本方法通过对典型的WOO-LAM单向认证协议予以说明，最后SPRITE产生的具体JAVA代码，给出了安全协议的安全属性，使形式化描述的协议的安全属性是否满足更接近于人的理解而不仅只是机器的解释。     

Trochilidae:面向众核平台的高性能轻量级虚拟机监控器

虚拟化技术在云计算中广泛应用。传统虚拟化技术对操作系统的一些操作都进行了捕捉与封装,使其越来越复杂,同时也影响了操作系统的性能。针对众核平台的发展趋势和特点,面向众核平台设计并实现了一个轻量级的高性能虚拟机监控器——蜂鸟(Trochilidae)。多操作系统可以同时运行在此虚拟机监控器之上,同时对操作系统性能无损失。在提供传统虚拟机监控器功能的基础上,蜂鸟的代码量仅4000行左右(包括汇编与C代码),降低了系统的复杂度,便于系统的维护与调试。     

响应面法优化芽孢杆菌LJ-7发酵产酯酶条件

为了获得海洋芽孢杆菌LJ-7发酵产酯酶的最佳条件,采用响应面法对其发酵条件进行了优化。首先,通过单因素试验选出对酯酶产量影响较显著的3个因素,即发酵温度、初始pH和发酵时间。在单因素试验的基础上,采用Box-Benhnken中心组合方法进行三因素三水平的试验设计,以酶活为响应值,利用响应面分析法进行进一步优化,确定最佳发酵条件为:发酵时间42.81h,发酵温度29.40℃,pH为6.21,此时预测的酯酶酶活为24.91 U/mL。在此最佳条件下,平行试验测得实际酶活为24.63U/mL,达到理论预测值的95%以上。该模型较好地预测了实际发酵情况,得到的优化条件具有实际应用价值。     

对基于TCP/IP协议的几个网络安全问题的分析与讨论

从对ＴＣＰ／ＩＰ协议的分析出发;针对ＴＣＰ／ＩＰ协议本身存在的安全隐患,讨论了几种可能的攻击策略;并给出了针对这些攻击的一些防范措施,为基于ＴＣＰ／ＩＰ协议的网络安全建设提供了建设性的参考．     

国内第三方Android应用市场安全性的检测

根据目前第三方Android应用市场应用存在的重新打包行为,随机选取国内官方的150个应用以及作为对比的第三方应用市场的572个同款应用,设计了Android重新打包应用安全检测系统。该系统先进行相似性计算,细粒度识别出重新打包应用,再通过逆向工程获得其资源文件,根据系统API与权限之间的映射匹配分析其越权行为,并根据构建的方法控制流图分析其权限滥用行为。系统通过并行化处理检测出第三方应用市场存在33.17%的重新打包应用,其中19.58%修改了权限。在修改过权限的应用中,45.95%存在越权行为,27.03%存在滥用权限行为。     

PVC树脂生产中的降耗措施

通过改造扑集器及合理地使用消泡剂，解决了出料回收乙烯时浆料跑气柜的问题．有效降低了成本，提高了经济效益。     

利用河南当地原料研制低温一次快烧瓷质外墙砖

采用河南地方丰富的钾长石、钠长石、瓷石、焦宝石、灰矸、紫木节、珍珠岩、叶腊石为主要原料,成功研制出低温一次快烧瓷质外墙砖。文中主要介绍了坯用原料的基本性能、一次快烧坯釉配方研制的方法,以及大生产工艺控制的基本参数。     

“落别”樱桃果实不同发育期糖酸组分积累及软化相关成分研究

以贵州地方品种“落别”樱桃为试材,测定果实发育过程中初生代谢产物及果实软化相关酶活性,分析果实发育过程中糖酸组分积累特征和果实软化相关酶活性变化特点及其相互关系。结果表明:“落别”樱桃果实发育不同时期糖分积累以葡萄糖和果糖两种还原糖为主,占总糖含量的79.17%~88.23%,苹果酸含量在果实发育的四个时期占总酸的98%以上,为典型的己糖积累型和苹果酸型水果。“落别”樱桃果实发育前期原果胶含量较高,随着果实的发育,果胶裂解酶和多聚半乳糖醛酸酶活性先升高后逐渐降低,在果实膨大期活性达到最高值,而后在转色期活性显著降低(P<0.05),果胶裂解酶和多聚半乳糖醛酸酶促进了原果胶的降解,使得果实中原果胶含量显著下降,可溶性果胶含量显著升高(P<0.05)。与淀粉水解相关的α淀粉酶和β淀粉酶活性呈先升高再降低的趋势,α淀粉酶和β淀粉酶将淀粉水解成还原糖,使得淀粉含量逐渐降低。醛类化合物是樱桃果实香气成分中是最主要的一类物质。其中,含量较丰富的为3-己醛,且随着果实发育时期的进行丰富度不断降低。果实中丰富的鲜味类氨基酸（天门冬氨酸、谷氨酸）在樱桃风味和品质方面发挥了作用。     

纯钛TA2激光气体氮化涂层的组织与性能

使用快速横流的CO2连续激光器在工业纯钛TA2表面进行激光气体氮化改性处理,制备形成致密、无裂纹缺陷的改性层。用扫描电镜和能谱分析仪对激光气体氮化改性层的色泽、宏观形貌和微观组织进行分析;利用显微硬度计对氮化区域的显微硬度进行测试。研究结果表明:经过激光表面氮化处理后,在基体纯钛TA2表面发生了化合反应,生成以TiN为增强相的金黄色耐磨涂层。氮化改性层的组织主要是由细小的、枝晶状的TiN构成。随着激光输出功率的增加,TiN涂层的色泽特征由浅变深,表面形态由平整变为皱状。工业纯钛TA2显微硬度提高,表面强化明显。