基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

浅析企业战略风险管理

本文从战略风险管理的含义出发,对企业战略管理的风险因素进行了论述。提出了规避战略风险的几种方法。     

晋西北丘陵风沙区人工植物群落优势种群生态位研究

采用TWINSPAN将晋西北丘陵风沙区人工植物群落87个样方分为11个群丛类型,作为11个综合资源位.采用Levins、Shannon-Wiener生态位宽度指数和Petraitis生态位重叠指数,测定了该人工植物群落中16个优势种群的生态位宽度和生态位重叠.结果表明:(1)16个优势种群中小叶杨(Populus simonii)、油松(Pinus tabulaeformis)、沙棘(Hippophae rhamnoides)、柠条锦鸡儿(Caragana korshinskii)、达乌里胡枝子(Lespedeza davurica)、沙生冰草(Agropyron desertorum)、鹅观草(Roegneria kamoji)、铁杆蒿(Artemisia sacrorum)、糙隐子草(Cleistogenes squarrosa)的Shannon-Wiener生态位最宽,说明它们在晋西北丘陵风沙区人工植物群落中分布较广,数量较多,对有效资源的利用较充分,对环境有广泛的适应性.(2)不同优势种群在不同人工植物群落内的生态位宽度差异很大,种群生态位宽度越大,对环境的适应能力越强,对资源的利用能力也越强;同一优势种群在不同人工植物群丛内的生态位宽度差异也很大,如沙棘在群落Ⅵ中B1为0.131、B2为2.048,在群落Ⅺ中B1为1、B2为0.3)不同群落类型内生态位重叠越大,种群间的生态相似性越大,利用资源的相似性程度越高.如群丛Ⅲ中(小叶杨-沙棘+柠条锦鸡儿-沙生冰草群丛),各主要种群之间的生态位重叠程度较高,表明该群丛中的主要种群对生态因子有相似的要求.(4)生态位重叠与竞争之间关系在很大程度上受种对间的生物学特性的左右,群落优势种群生态位特征可用于指导混交林营造,如油松-沙棘人工混交林群丛、小叶杨-沙棘人工混交林群丛中,主要种群之间的生态位虽有一定程度的重叠,但总体较低,群落内种间竞争并不十分激烈.说明油松或小叶杨与沙棘适合于在该区立地条件下混交.     

低维显式语义空间下的语义关联度计算方法

语义关联度计算是数据科学中的一个关键性基础问题,在信息检索及自然语言处理等方面有着广泛的应用.针对ESA (Explicit Semantic Analysis)算法存在的局限性,提出一种显式语义特征选择算法,并构建低维语义空间.在此基础上,根据特征概念在Wikipedia中的映射信息,提出一种低维显式语义空间下的语义关联度计算方法.该方法解决了ESA算法在后续语义关联度计算过程中,因高维稀疏空间导致计算效果不够准确的问题.实验结果表明,与当前其他方法相比,该方法的计算结果在皮尔逊相关系数(P)及斯皮尔曼相关系数(S)上与人们的认知判断之间具有更好的一致性.     

常见二元表面活性剂复配体系对发泡能力的影响

使用阴离子表面活性剂十二烷基苯磺酸钠(SDBS)、十二烷基硫酸钠(SLS)、N-月桂酰肌氨酸钠(NLSS)、十二烷基磺酸钠(SDS),两性离子表面活性剂椰油酰胺丙烯甜菜碱(CAB),以及非离子表面活性剂脂肪醇聚氧乙烯醚(AEO)、吐温20(T20)进行二元表面活性剂的复配实验,表征其发泡性能并计算相应的表面活性参数,探究了二元表面活性剂复配的相互作用对发泡能力的影响。结果表明,阴离子与两性离子表面活性剂在复配过程中,物质的量之比接近1∶1时发生聚沉现象;拥有直链疏水基的表面活性剂与亲水基较大的非离子表面活性剂复配时会发生竞争吸附,削弱表面活性剂的发泡能力;拥有相似结构的阴离子表面活性剂复配时能够产生协同效应,SDBS和NLSS物质的量之比为7∶3时发泡能力最佳,对应的最高发泡倍数为14.0,发泡性能最好,二者相互作用参数β^m=-9.83(x_SDBS^m=0.4),协同效应最佳,吉布斯自由能为?G_m⁰=-13.60 kJ/mol,胶束形成为自发过程。     

建立含热网参数的300MW两用机组多变量特性方程

以东方汽轮厂生产的３００ＭＷ两用机为研究对象，应用数理统计学中的多元线性回归原理，在大量变工况计算的基础上建立了汽轮机组包含热负荷、热网水量、热网回水温度等 的多变量特性方程，从而不仅为两用机组特性的研究提供了一种新的方法，而且将热网参数的变化与机组的运行经济性联系起来。     

差分Turbo-OFDM在短波数据通信中的应用研究

该文提出了将Turbo码与OFDM调制、差分检测技术相结合，分析了这种差分Turbo-OFDM体制在短波数据通信中的应用可能。该体制具有较高的频率利用率，可有效地抑制短波信道中多径时延、频率选择性衰落、人为干扰与噪声带来的不利影响。仿真结果显示该体制提高了短波信道上数据通信的误码性能。     

切口零件冲击破坏的SPH模拟

简要介绍了光滑粒子动力学方法的基本思想和基本方程，利用该方法编制程序对带长方形切口式样的冲击破坏过程进行了数值模拟。给出了用这种方法模拟三维冲击破坏的一个算例，并对有关问题进行相关的讨论。     

基于多尺度地理加权回归模型的城市道路骑行流量分析

居民对城市慢行交通的服务品质需求不断提高,然而传统的慢行系统研究多关注大尺度和既有道路,无法充分满足城市街区慢行系统发展需求。以此为背景,该文提出了基于空间设计网络分析（spatial design network analysis,sDNA）的多尺度地理加权回归模型（multi-scale geographically weighted regression,MGWR）,考虑土地开发利用情况、道路路网结构和周边公共交通状况对路段自行车流量的影响,对城市道路骑行流量进行分析。通过对京张铁路沿线区域内共享单车出行数据分析,结果表明：该模型相较于经典地理加权回归模型和多元线性回归模型,有更好的回归效果,拟合优度R²分别提高0.087和0.113。最后,借助该模型数据分析影响骑行流量的主要因素及其作用尺度范围,拓展了基于定量分析方法的慢行交通规划维度。