基于SPEAR Ⅱ的Kerberos协议安全性分析

Kerberos认证是云计算安全采用的信息安全技术之一,对Kerberos协议进行形式化验证可以有效发现和避免协议设计缺陷和攻击。采用一种自动安全协议建模和分析工具SPEAR Ⅱ对Kerberos协议的安全性进行了分析。首先设计了窃听、重放和篡改攻击场景并分析了以上场景中通信主体的特点,在此基础上提出推理假设,然后通过SPEAR Ⅱ中基于Prolog的分析引擎从协议假设条件推导到协议目标。结果表明,Kerberos协议可以抵抗窃听和重放攻击,保护合法用户密钥的安全,但在篡改攻击下,若信任主体被攻陷,则攻击者可以通过伪造密钥骗取合法用户的信任,并与合法用户建立通信。     

共产主义实现过程的数学刻画

指出了极限蕴含着理想与现实的统一,以此刻画了共产主义的实现过程——人类社会可以无限地趋近共产主义.把人类社会视为一个系统,提出了它的两条基本公理.借助于公理法,利用逻辑推理论证了劳动将逐渐成为人们的第一需要、劳动创造财富、人类的思想觉悟可以逐渐达到共产主义人生观等重要结论.     

关于油管悬挂器的设计计算及选材

针对高超深井油管悬挂器设计计算及选材的问题,分别对油管悬挂器本体为75K 12Cr13和120K 718ALLOY的材料的连接强度和悬挂器本体的拉伸强度进行计算,以及油管自身承载能力的计算。结果表明:120K 718ALLOY油管悬挂器在同压力等级下具有更高的载荷能力,可以满足如高超深井等工况更苛刻的井口使用要求。     

宿州国家农业科技园建设和发展展望

<正>宿州国家农业科技园自2009年5月被正式评为国家级科技园以来,根据《国家农业科技园区指南》的要求,按照园区的总体规划与实施方案,以自行研发的新品种、新技术为支撑,以引进的优新品种与技术为突破,密切结合安徽省特别是皖北地区农业主导产业的发展情况,按照"政府引导、企业运作、中介参与、农民受益"的原则,建立了以企业为主体,产、学、研相结合的技术创新和技术推广示范基地,有效地推进了以农产品精深加工为重点的产业化经营,全     

基于HF-RBF的初始地应力场预测研究与应用

用水压致裂法(HF)测量地应力时存在实测数据数量少、不连续、精度低的问题.为此,建立基于HF-RBF的初始地应力场预测方法,首先构建埋深和水平主应力之间的学习样本,然后利用径向基函数(RBF)神经网络对学习样本进行训练,建立埋深与水平主应力之间的非线性映射,最后利用检验样本对初始地应力场预测效果进行检验.在黑龙江某矿山利用2个勘探钻孔开展了水压致裂法测量地应力试验,应用HF-RBF方法获得了该矿区水平主应力分布规律,训练样本最大预测误差为28.6%,检验样本水平最小、最大主应力预测误差都在10%以内,满足工程设计要求.表明了在矿山钻孔勘探期间,HF-RBF法能较好地预测矿区初始地应力场.     

煤层气排采产气通道适度携煤粉理论

考虑在煤储层中实际地层液混合流体中煤粉含量和煤粉颗粒群的悬浮分级,建立煤粉颗粒在产气通道内悬浮运移模型,给出煤粉悬浮排出的条件;打破以往以防煤粉为主的思想,基于液流携带建立煤层气排采产气通道内的适度携煤粉方法,基于液固两相流理论建立液流携带煤粉运移模型,并分析地层液参数和煤粉颗粒参数对适度携煤粉的影响。结果表明:煤粉颗粒粒径越小,地层液流速越大、黏度越大,煤粉在产气通道截面上分布越均匀,其悬浮排出能力越强,煤粉较易被地层液携带排出;煤层气井排采各个阶段(单相水流阶段、气水两相流阶段和单相气体流动阶段)地层液中气液固三相混合的比例不同导致地层液的黏度不同,造成排采过程中地层液携带煤粉的能力随着产气量的变化而变化。合理控制地层液的参数有利于煤粉适度排出,疏通产气通道增加其渗流能力,提高煤层气井产气量。     

纳米生物效应与纳米毒理学中的剂量与表面化学效应关系（英文）

生命过程是由一系列发生在纳米尺度上的程序化、多级次、多步骤的化学、物理或生物学过程组成.有趣的是,在构成细胞的亚细胞器中或它们之间发生的这些复杂过程,很多需要对生物分子(如蛋白质、核酸等)进行纳米尺度空间上的精确调控,以维持生命过程的正常进行.因此,理解在纳米尺度下物质与生命体系的相互作用,对生命科学与纳米科学、化学、材料科学、医学、环境健康科学和毒理学等领域的交叉和融合,将提供独特的视点和启迪.本文从纳米化学的角度,系统归纳影响纳米材料在体内的生物蓄积、作用器官(或靶器官)和体内毒性的关键因素,主要集中在纳米表面化学修饰和剂量效应.由于已有的纳米材料很多,本文重点分析了碳纳米管、金属相关(金属和金属氧化物)纳米材料以及量子点在生物体内的蓄积规律、作用器官选择性及其体内毒理;它们的剂量效应;以及纳米表面化学修饰对其体内蓄积规律、作用器官选择性及其体内毒理的调控作用.最后,我们从纳米化学的角度讨论这个领域具有挑战性的科学问题以及建立概念性知识框架尚需要深入研究的方向.这篇综述是我们将纳米毒理学领域的知识系统化的持续努力的一部分.