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

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

全隐式E-CUSP迎风格式大攻角分离流数值模拟

采用全隐式、低耗散E-CUSP格式,通过求解雷诺平均Navier-Stokes方程耦合Spalart-Allmaras(SA)湍流模型,模拟了细长旋成体在超声速、大攻角下的流场,分析了背风面涡的发展过程.结果表明:E-CUSP格式耦合SA湍流模型能够准确地模拟背风面的流动分离和精细的二次涡,对横向分离具有较高的模拟精度;预测的物面压力系数分布和激波位置与实验数据吻合良好,力和力矩的相对误差在1.98%之内;E-CUSP格式可用于模拟复杂的分离流动,具有高的计算精度和效率.     

DLR—F6翼身组合体跨音速流场CFD应用计算研究

针对跨音速运输机经典算例DLR—F6翼身组合体模型,采用CFD方法对其气动特性进行了黏性流动数值模拟,流动模型为雷诺平均N-S(RANS)方程。首先采用"超立方体"概念生成绕DLR—F6翼身组合体的高质量多块结构拼接网格,研究网格拓扑结构对气动特性的影响。在此基础上通过网格细分和粗分考查了网格密度对计算结果的影响,最后进行了湍流模型的影响研究。通过与实验数据对比分析,得出了适宜DLR—F6翼身组合体跨音速黏性流动的计算网格,并总结出了能较好模拟其跨音速流场特性的湍流模型。结果表明:网格拓扑结构的合理设计会对计算结果产生一定的影响。网格密度对机翼表面压力分布没有明显影响,但对阻力系数影响显著。湍流模型对机翼表面压力系数分布的影响主要体现在激波位置上,对翼根处的分离也有一定的影响。SST模型计算的气动力系数比SA模型接近实验值。     

高校计算机开放实验室安全的研究

针对高校计算机开放实验室的设备安全、操作系统的安全和网络安全进行分析、研究与探讨,提出了应采取的安全措施.     

加强学习提高认识不断增强科技管理创新的自觉性

在全党开展深人学习实践科学发展观活动，是党的十七大做出的一项重大战略部署。州科技局党组制定了《科技局开展深入学习实践科学发展观活动实施方案》，召开动员大会，启动学习实践科学发展观活动工作，贯彻落实中央和省州党委部署，统一思想，明确任务，切实把思想和行动统一到中央和省州党委的重大决策上来。作为一名党员干部，坚决响应中央和省州党委的号召，以饱满热情、高昂斗志、扎实作风投入到深入学习实践科学发展观活动中，在学习活动中，要抓好学习，提高认识，转变观念；要立足岗位，解决问题，突出成效。     

兰州市银滩湿地硅藻群落演变及PCA相关分析

分析了兰州市银滩湿地2011年3—10月沉积物中硅藻群落结构以及演变特征.每月中旬在湿地样点采集8个沉积物样,同时测定样点水体温度、电导率和pH值.共鉴定出27属,126种及变种硅藻,Navicula和Nitzschia两个属出现的频率最高.各个月份的硅藻优势种、个体形态、种群数量及结构有较大的差异.其中,3月份以Navicula pupula为优势种,4月份以Navicula simplex为优势种,5,8,10三个月Navicula veneta在表层沉积物中含量最高,6月份Cymbella pusilla丰度最高,7,9两个月的优势种为Navicula viridula var.rostellata.而从7月以后湿地硅藻属种的面貌发生了较大的变化,Nitzschia palea,Cymbella affinis,Cymbellaventricosa,Navicula veneta,Navicula viridula var.rostellata等成为了主要硅藻属种.受黄河7月以后水位上升的影响,外源污水可能大量进入湿地水体,湿地大部分处于弱有机污染状态.通过对硅藻属种及pH、电导率、总有机质质量分数和温度环境变量之间的去趋势对应分析和主成分分析表明:pH是影响硅藻属种分布最主要的环境变量,能解释较多的硅藻属种分布特征;次要的环境变量是电导率、有机质质量分数受水体的影响,表明湿地水体有机污染物有外源输入的特征.     

马克思恩格斯分配公正思想及当代观照

生产方式决定分配方式的历史唯物主义基本原理,是马克思恩格斯建构分配公正理论的立论基础.为分配公正建立社会主义公有的制度基础,必须通过社会革命方式.由共产主义第一阶段按劳分配的实然原则向共产主义高级阶段按需分配的应然原则过渡是一个渐进的、漫长的历史过程,任何超越历史阶段的分配思路都不可取.梳理马克思恩格斯分配公正的本真思想,对当前我国分配制度改革具有重大现实意义.     

论美剧《老友记》里的中国形象

美国的情景喜剧因其剧情贴近生活、语言幽默风趣,在全球的电视剧市场占据重要地位。《老友记》是美国情景喜剧的经典之作,影响非常深远。通过梳理该剧涉及中国主题的情节和分析频繁出现的中国形象,揭示了美国人对中国的刻板印象及其优越感。