颜色Petri网一种专有协议的描述和验证

介绍了我们在一个网络安全项目中设计的点到点链路层协议,然后利用颜色Petri网和CPN Tools对该协议建模、分析和验证。首先建立了协议模型,然后运用仿真方法和状态空间分析方法考察协议行为特征。通过建模分析方法有助于我们找到协议中的疏漏,体现了协议设计过程中形式化建模和分析方法的优点和遇到的挑战。     

水位梯度对狭叶香蒲光合作用的影响

水淹深度的变化影响着湿地植物的生长,然而长江中游作为暴雨频繁发生区域,暴雨事件可能对长江中游湿地碳汇功能产生重要影响.本实验以盆栽方法研究不同水位条件下香蒲植物叶片光合-光响应曲线的敏感度变化,以期揭示暴雨事件对湿地碳汇功能的影响规律.研究结果表明:水位为5 cm、10 cm和20 cm的狭叶香蒲植物叶片光合-光响应曲线发生了变化,出现水位越低光合能力越强,3种处理水平下,最大净光合速率依次为25. 430、14. 241和6. 886μmol/(m~2·s),光补偿点分别为18. 94、48. 32和27. 16μmol/(m~2·s),光饱和点各自为6 975. 50、1 963. 07和1 079. 77μmol/(m~2·s).植物叶片净光合速率与气孔导度、蒸腾速率和光合有效辐射呈正相关关系.     

移动多用户通信系统的中断概率性能研究

随着第五代移动通信技术的发展,移动用户的数量呈爆炸性增长.但是由于复杂多变的移动通信环境,对移动多用户通信系统的性能研究非常复杂,也是一个亟待解决的问题.本文在NNakagami信道下,建立了移动多用户通信系统模型,设计了两种发射天线选择(transmit antenna selection,TAS)方案,研究了移动多用户通信系统的中断概率(outage probability,OP)性能.针对最佳TAS方案和次最佳TAS方案,分别推导了系统中断概率的闭合表达式.然后在不同条件下,通过Monte-Carlo仿真,验证了系统的OP性能.仿真结果表明:理论值与Monte-Carlo仿真值有着很好的吻合,理论分析的正确性得到了验证.     

市场不确定性对住宅开发项目上市时机的影响

实物期权理论认为,市场不确定性能够延迟房地产开发项目的上市时间.基于全国主要城市在2006和2016年间商品住宅开发项目的土地购置和项目上市记录,本文建立久期模型分析住房价格增长波动率和其他因素对项目上市时间的影响规律.实证结果显示,市场不确定性能够显著延迟项目的上市时间,但在高房价水平下这种延迟效果较为有限;此外,项目和企业特征也会显著影响项目的上市时间.该结果表明,房地产企业"高价拿地+捂盘惜售"的策略并不能从实物期权理论中得到充分的支持,是一种高风险的投资行为.     

刚烈遇上幽雅——北方草原青铜兵器元素在包设计上的运用研究

中国北方草原青铜器是游牧民族重要的精神文化载体,更是重要的艺术表现形式。本文主要的研究范围是北方草原青铜兵器独特的审美取向、造型特点、装饰风格及文化寓意,并探索北方草原青铜兵器元素在包设计中的方法原则,在具体设计案例中展现了草原人民的文化精华与审美,并就其设计过程及设计构想做详细论述与解析,冷兵器遇上暖装饰、刚烈遇上幽雅。     

浙江豆科植物新记录——安徽山黧豆

报道了分布于浙江杭州的豆科植物——安徽山黧豆Lathyrus anhuiensis Y.J.Zhu et R.X.Meng.经确定,该种为浙江分布新记录.凭证标本保存于浙江农林大学植物标本馆(ZJFC).     

钢纤维再生混凝土动态冲击试验破坏形式研究

试验制作了一系列具有不同体积钢纤维掺量下的再生骨料混凝土试件,利用74 mm变截面分离式的霍普金森压杆(SHPB)进行了动态冲击压缩试验,研究了不同钢纤维掺量和气压值下再生骨料混凝土材料的破坏形态与模式,分析了材料的动态应变速率敏感性.结果表明,钢纤维再生混凝土的破坏形式与钢纤维体积掺量和应变速率有较高的相关性,对进一步进行深入研究具有指导意义.     

基于多相位分段调制的间歇采样转发干扰

针对间歇采样转发干扰范围有限以及干扰具有规律性的问题,提出一种基于多相位分段调制(multiple phases sectionalized modulation,MPSM)的间歇采样转发干扰方法。该方法首先对信号间歇采样,然后对每段信号调制不同的相位,之后放大转发出去。通过控制间歇采样参数和调制相位情况,能够产生多个位置和范围可控的压制式干扰区域,有效扩展了间歇采样转发干扰范围,并且削弱了干扰的规律性。在此基础上,针对MPSM干扰中干扰效果与调制相位关系难以推导的问题,提出一种基于遗传算法的优化方法,解决了无法得到最优干扰效果的问题。理论分析和仿真实验证明了干扰方法的可行性和有效性。     

基于遗传算法优化的软件可靠性组合模型评估

文章针对现有软件可靠性组合模型评估方法在模型选择、评估精度和评估效率方面的不足,从软件可靠性模型特征的形式化定义出发,借助特征量化获取的特征矩阵,给出了构建软件可靠性模型基本集的统一方法。依据软件可靠性评估的特点,对传统遗传算法的适应度函数和爬山操作进行了改进,并将其用于基模型权值的求解。在此基础上,给出了基于加权组合基模型的软件可靠性评估方法。实例验证表明,该方法在全局评估精度和评估效率上均有显著提升。     

局部凸Hausdorff空间上的C-伪预解式

研究了局部凸Hausdorff空间上的C-伪预解式。利用C-伪预解式的概念,给出了它的一些性质,从而推广了伪预解式理论的相关结果。