基于UPPAAL的简单网络支付协议形式化验证

分析简单支付协议中不同银行间的交易行为和各主体的超时约束,建立消费者、商家、银行和超时计时器的时间自动机模型,并用UPPAAL工具验证其是否满足商品原子性。新模型在原模型的基础上,增加了超时计时器进程来负责接收来自其它进程的超时信息,在各主体的计时器触发超时之后,计时器将发送超时信息,再通过外部的仲裁程序来解决纠纷。新模型能够满足货币原子性和商品原子性,并且比原模型更加符合协议运行的实际环境。     

基于MODIS数据的陕西省气溶胶光学厚度变化趋势与成因分析简

利用MODIS（moderate resolution imaging spectroradiometer）数据探讨了2000年3月~ 2012年2月陕西省气溶胶光学厚度（aerosol optical depth,AOD）的时空变化趋势及成因. 结果表明,在地形因素和局地源的共同影响下,关中盆地、安康和汉中是陕西AOD高值区,除上述地区AOD在上升外,陕西大部分地区AOD在下降. 陕西气溶胶波长指数（α）分布与植被覆盖情况密切相关,地面扬尘是粗模态气溶胶的重要来源,归一化植被指数（normalized difference vegetation index,NDVI）上升和沙尘天气的减少使秦岭以北地区粗模态AOD逐年递减,而人类活动导致陕西林区以外的大部分地区细模态AOD的上升. 随着细模态AOD上升和粗模态AOD下降,人类活动对气溶胶影响日益突出,陕西地区气溶胶类型正逐渐向城市工业型转变.     

猪瘟基因疫苗在小鼠肌肉中的免疫病理学观察

应用细胞免疫组化法肌肉注射猪温基因疫苗pcDST,pcDSW后,对基因疫苗在小鼠胫前肌组织中的表达及组织病理学进行了动态观察。结果为：pcDST质粒肌注后第3天,pcDSW质粒肌肉注后第5天,在胫前肌肌肉中可检测到表达产物,持续表达20天以上,初期肌肉表现为机械性损伤性炎症变化,中期在炎症区有CD^8 免疫细胞的浸润性损伤性变化,后期恢复,表明基因免疫部位的免疫损伤及非炎症对促进免疫水平有积极的意义。     

某些添加剂对铅镉共沉积的作用

测定极化曲线和微分电容曲线研究三种添加剂:间苯二酚、胨、乙烯醇(PVG)及其组合对Pb、Cd共沉积的作用,结果表明,单一添加剂及其组合表现不同的吸附规律;相应地,它们对Pb、Cd和Pb-Cd合金电沉积的极化也有不同影响,从含组合添加剂(6g·l~(-1)间苯二酚+1g·l~(-1)胨+1g·l~(-1)聚乙烯醇)的氟硼酸镀液可得到满意的高镉含量的Pb-Cd合金镀层。     

厦门市科技计划改革与对策研究

推进厦门市新一轮跨越式发展．发挥海峡西岸重要中心城市的龙头作用．率先将厦门建设成为科学技术创新型城市．科技工作肩负着重要的历史使命。科技计划是科技工作的核心内容，科技计划经费是政府科技投入最直接、最重要的形式。随着政府科技投入的逐年递增，资助金额也随之增大．改革和完善科技计划管理体系，提高资金使用效益，更好地发挥政府资金在引导和带动科技发展方面的作用就成为新形势下需要着重研究的课题。     

服务国家特殊需求项目博士生培养质量评价体系构建研究

国内对学术型、专业型博士生培养质量评价形成了比较一致的认识,通过构建多样化评价指标,运用数理分析等实证方法进行了评价,但目前缺乏对服务国家特殊需求博士人才培养质量的评价;分析了服务国家特殊需求项目人才培养的特殊性,依据相关原则,构建了人才培养的3个一级指标,13个二级指标,42个观测点,并对指标选取依据给予了说明,确立了指标权重的赋值方法及TOPSIS评价方法,以展开对人才培养质量的评价。     

IL—2与猪瘟病毒E2基因真核双表达载体的构建及其免疫增强作用的研究

应用DNA重组技术构建了猪瘟病毒E2基因与IL－2基因的双表达真核表达载体,观察其表达水平,并对其免疫增强效果进行了观察,结果是构建了猪瘟病毒E2基因与白细胞介素－2的真核表达质粒pIRST IL-2。将质粒转染BHK－21细胞,可在体外表达E2和有生物活性IL－2,pIRST IL-2质粒能诱导产生CSFV的特性免疫反应,pIRST IL-2所诱导的免疫应答反应比使用单表达质粒pIRST强,实验表明,IL－2与猪瘟病毒E2基因构建的双表达基因疫苗能有效提高基因疫苗的免疫效果。     

改善质量传递效应对SPR阵列检测的影响

减小质量传递效应影响是提高SPR(surface plas-mon resonance)阵列检测一致性的有效途径。该文在理论分析的基础上,提出通过改变流体池结构来改善质量传递效应的影响,并设计4种不同流体池结构,利用Ansys中的FLUENT模块进行有限元仿真。仿真结果表明,与传统的流体池相比,用改变结构的流体池检测得到的动力学常数ka、kd的一致性分别提高了16.9%和23.8%以上。根据仿真结果制作了3种微流体池,利用阵列式SPR生物分析仪对smx分子与其抗体的相互作用进行检测。结果表明:与传统型流体池相比,台阶形和斜坡形流体池动力学常数ka的一致性分别提高了32.3%和42.8%,台阶形和斜坡形流体池动力学常数kd的一致性分别提高了55.8%和35.4%,质量传递效应影响的改善效果明显。这些结果可以用于指导微流体池的设计,为实现高精度的SPR阵列检测创造条件。     

数字时代的真实与虚假

这是一个真实的事件，《美国国家地理杂志》把两个金字塔挪近了一些，目的是使其变成一张竖片，好做封面。而这也是真的——画册《美国人的一天》，封面上的美国牛仔和背景月亮的距离也被挪近了，同样是为了配合封面的尺寸。 可见，在享用数字狂欢的同时，我们也在承受信息的脆弱与单薄。真实和虚假，并无天渊之别．往往只隔着一道细细的线，跨过去转回来，都在一念之间。关键是我们做好准备了吗？面对这个最好，也是最坏的时代。     

动物医学专业本科生毕业论文的指导实践与思考

本科生毕业论文是对大学四年来掌握和运用所学基础理论、基本知识、基本技能以及从事科学研究能力的综合考核,是实现本科培养目标的重要教学环节,在训练本科学生撂求真理、强化科学研究意识、提高学生实际动手操作能力及素质等方面,都具有不可替代的作用.本文针对目前湖南农业大学在动物医学专业本科生毕业论文指导中存在的科研认识不足、实验设计不合理、实验缺乏创新、科研经费不足、专业指导老师缺乏、论文答辩把关不严等问题进行分析,认为应当从时间前移提高认识、加强选题、增加经费、严把论文答辩关几方面来指导动物医学专业本科生,才能确保毕业论文的顺利进行.