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

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

COREX用煤成焦的高温性能研究

通过观察COREX块煤在成焦过程中所形成的不同煤焦的微观结构及形貌，分析了COREX所用两种煤成焦结构及性能的特点.借鉴高炉焦炭反应性及反应后强度的定义，提出以MCRI和MCSR来表示煤焦的反应性及反应后强度，并给出其物理意义.MCRI与MCSR主要是由煤焦显微结构的组成决定的.针对COREX所用的两种煤，对1100℃下不同成焦时间的煤焦反应性及反应后强度与微观结构进行多元线性回归，建立了预测COREX用煤成焦时煤焦热态性能的公式.由此推算了两种煤在600，800及1000℃条件下不同成焦时间的煤焦反应性及反应后强度，与实测值比较吻合.     

A Simple Linear Regression Approach to Modeling and Forecasting Mortality Rates

Observing that a sequence of negative logarithms of 1‐year survival probabilities displays a linear relationship with the sequence of corresponding terms with a time lag of a certain number of years, we propose a simple linear regression to model and forecast mortality rates. Our model assuming the linearity between two mortality sequences with a time lag each other does not need to formulate the time trends of mortality rates across ages for mortality prediction. Moreover, the parameters of our model for a given age depend on the mortality rates for that age only. Therefore, whether the span of the study ages with the age included is widened or shortened will not affect the results of mortality fitting and forecasting for that age. In the empirical testing, the regression results using the mortality data for the UK, USA and Japan show a satisfactory goodness of fit, which convinces us of the appropriateness of the linear assumption. Empirical illustrations further show that our model's performances of fitting and forecasting mortality rates are quite satisfactory compared with the existing well‐known mortality models. Copyright © 2015 John Wiley & Sons, Ltd.     

基于模型的汽油机电子节气门控制器设计

摘要： 建立了电子节气门系统模型，并通过系统辨识方法得出模型参数.根据被控电子节气门的摩擦力和非线性回位弹簧模型，设计了前馈非线性补偿控制器.将经过前馈非线性补偿后的电子节气门系统简化成线性系统，并对该线性系统进行H无穷控制器的设计.对设计的H无穷控制器进行离散化，并加入比例控制环节来弥补控制器离散化导致的性能下降.经过试验验证，在前馈非线性补偿器、H无穷控制器和比例控制的作用下，被控电子节气门的性能达到了设计需求.     

农业产业型科研院所现状探析

为增强科技实力,我国政府近年来发布了多项旨在提高科研发展的政策措施,在目前我国社会主义市场经济条件下,产业型科研院所如何改进现有的科研管理模式,主动适应社会主义市场经济发展的需要,把自身的科技潜力发挥出来,为实施创新驱动发展战略服务,是当前产业型科研院院所发展所面临的重要课题.该文根据国家深化科技体制改革加快国家创新体系建议的要求,探析了我国农业产业型科研院所在科研成果评价、科研成果转化和科研管理体制的现状与存在问题,旨在对我国农业产业型科研院所的发展模式提出建议与措施.     

中国移动通信网络的发展历程和趋势探析

对中国移动通信从模拟到数字的20多年的发展做了详细的分析和总结,基于中国移动网络目前的发展状况,提出中国移动向第三代移动系统过渡的过程中,应该充分考虑网络和业务平稳演进.     

酸处理对多壁纳米碳管形态的影响

文中研究了酸处理对多壁纳米碳管形态的影响。分别用浓硝酸及浓硫酸和浓硝酸混合酸对未经石墨化多壁纳米碳管(MWCNTs)和石墨化多壁纳米碳管(MWGNTs)进行处理,讨论了不同处理时间,不同酸体系对不同碳管的处理效果,并采用TEM对其进行形态分析。结果发现,用硝酸长时间处理MWCNTs使纳米碳管发生短切,长径比变小,并且侧壁被整层剥离,管壁变薄;硝酸对MWGNTs的短切与剥离现象不明显。硝酸和硫酸的混合酸在0.5h内就可以将MWCNTs氧化殆尽,而使MWGNTs氧化殆尽则需要2h。在短切过程伴随着可以将多壁纳米碳管的管壁整层剥离的现象,用硝酸处理MWCNTs时该现象比较明显,处理MWGNTs时效果不明显;而混酸的氧化速度太快,处理两种多壁纳米碳管过程中的短切与剥离现象均不明显。     

热电厂锅炉过热器管材质状况研究及剩余寿命计算

为了将某热电厂２＃锅炉由主力炉改为备用炉，文章从化学成分、力学性能、碳化物、金相组织、外壁腐蚀等几个方面对２＃炉过热器的各级管段材质状况进行了可行性分析研究，计算了其计及外壁减薄时的剩余寿命，并对其今后的备用提出了建议。     

银钢高炉炉料结构的实验研究

介绍银钢公司外的马来西亚球团矿在实验室条件下的物理性能和冶金性能的试验测定结果，同时对马来球团与国内外其他球团作了性能比较；在此基础上，根据银钢公司现有原料条件，对银钢300m^3级高炉目前可能的炉料结构进行了理论配料计算，为指导生产提供了参考意见。     

大学生体育态度和体育行为的现状调查及对策研究

本文采用问卷调查法对西安地区4所大学的非体育专业学生对体育锻炼价值的认识，体育态度，体育锻炼时间和频度，锻炼形式和项目的选择等方面进行了现状调查，结果显示，大学生对体育锻炼价值的认识有一定的片面性，锻炼时间和频度严重不足，高校 体育教育在全民健身运动和终身体育思想方面宣传教育不够，建议高校加大宣传教育力度，补充体育理论课内容，通过延长课程，固定选修课学分，建立各类健身俱乐部，实行大学体育的全程教育等形式，培养大学生的体育锻炼意识，能力和行为，使其成为真正的终身体育者。