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

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

Zn2（M0O4）（SeO3）的水热合成及晶体结构

水热合成了一例新型的混金属的钼亚硒酸盐[Zn2（MoO4）（SeO3）（1）],采用了x-射线单晶衍射、红外光谱分析、热重性质对标题化合物进行了表征。结果表明：标题化合物中的{Zn（1）O4}四面体和{Zn（2）O6}八面体通过共用顶角相连,形成了平行（001）晶面的二维的Zn-O层,{M004}四面体连接Zn—O层形成了复杂的三维框架结构。TG—DSC曲线表明：Zn2（MoO4）（Se03）在温度4850C时开始分解,对应着在485—655℃范围释放SeO,。     

城市轨道交通工程GPS平面控制网的建立与精度分析

本文全面介绍了苏州轨道交通2号线延伸线、4号线及支线工程GPS平面控制网的布设方案,包括GPS控制网布设与观测、基线解算及检核、控制网平差及精度分析和可靠性检验等,同时对轨道交通GPS平面控制网建立的有关问题提出一些建议。     

浅析RTK技术在地形测量中的运用

介绍了RTK的3种测量模式,通过分析RTK技术对临汾市地形进行测绘的实战作业,总结出常规作业模式的特点。     

基于ArcGIS的肥东县建设用地地质环境适宜性评价

文章以合肥市肥东县为研究区域,从地形地貌、工程地质条件、水文地质条件和地质灾害风险度4个方面选取7个指标构成了建设用地适宜性评价体系,采用G1法和层次分析法(analytic hierarchy process,AHP)的线性组合确定了各个指标的权重,以ArcGIS为平台对各个指标进行空间分析叠加,通过K-means聚...     

高产5-氨基乙酰丙酸光合细菌株的分离鉴定

从不同生态环境中分离培养出20株光合细菌,进行5-氨基乙酰丙酸(5-ALA)的产量检测,筛选出一株分离自广州市云溪公园池塘底泥的菌株R5,其5-ALA产量最高,达4.92 mg/L.为了确定菌株R5的分类学地位,对该菌株的形态学、碳源利用情况等生理生化特性进行了研究,表明该菌株符合红假单胞菌属的生物学特征;以菌株R5基因组DNA为模板PCR扩增16S rDNA基因,对PCR产物进行了序列测定,将所测得的核酸序列与相关细菌的16S rRNA序列进行比对,并构建进化树进行系统发育分析,发现菌株R5与沼泽红假单胞菌株KUGB306(Rhodop-seudom onas palustrisKUGB306)形成一个类群,序列同源性为99%.故最后确定该高产5-ALA的菌株属于红假单胞菌属(Rhodopseudom onas).     

造型训练在动画专业教学中的重要意义

近些年,随着动画市场的日趋繁荣,相关动画专业的高等教育和职业教育也相继红火起来,但投放市场的优秀作品还不多,尤其是原创性较强、艺术生命力感人的动画作品非常少。虽然有动画技术和市场等多方面因素,但从根本上来看,仍是动画造型方面存在着问题。因此,在教学中加强动画造型设计的训练成为各高校尤其是高职院校的重要任务之一。     

军用导航定位系统能力需求的分析

本文着眼信息化军队和现代战争的特点,从军队的实际情况出发,分析了战争对军用导航定位系统需求,指出了导航定位系统应用于所要面临的多种情况,并由提出了一些可能的解决办法。     

面向大规模交通网络的时空关联挖掘方法

时空关联挖掘是智能交通领域的关键技术之一。大规模交通网络中的交通流量数据具有高度非线性和复杂特征,故精准地预测交通流量面临巨大挑战。现有方法大多设计2个独立模块来分别捕获交通流量的时间和空间相关性,故无法精准地对流量数据中的复杂时空相关性建模。该文提出一种时空组合图卷积神经网络(STCGCN),以更好地预测交通流量。STCGCN通过构建自适应时空组合图,并提出时空组合图卷积,来有效揭示交通流量数据动态和复杂的时空相关性。在美国加利福尼亚州高速公路流量公开数据集上进行了实验,结果表明STCGCN的预测效果优于11个现有方法。     

后奥运时代体育赛事营销对提升企业品牌价值的优势分析

体育赛事营销作为一种现代营销手段,是在近20年来随着现代体育运动的蓬勃发展才开始受到重视的。它是依托于体育活动,将产品与体育结合,把体育文化与品牌文化相融合以形成特有企业文化的系统工程,具有长期性、系统性和文化性的特点。