基于SMP2的导弹攻防仿真想定编辑系统研究

简要介绍了仿真模型可移植性标准(Simulation Model Portability Standard,SMP)及依此进行的导弹攻防对抗仿真总体设计,分析了各分系统间的功能关系;着重讨论了想定编辑分系统的作用,指出了对它的功能需求;最终设计并实现了该系统.该系统能够构建合理的战场地理环境、生成作战模型实例、完成实例配置和装配、自动建立实例间的链接关系,还支持表现属性设定和模型实例入口点设置.该系统可以有效支持基于SMP2标准构架下的导弹攻防对抗仿真系统的总体运行.     

密码协议的π -网形式化描述和分析

π-网是一类模块化的、具有代数演算功能的高级Petri网.通过引入项、buffer库所和解密变迁等建模元素,本文在π-网中建立了密钥管理和加密信息的传输机制,形成了密码协议的Petri网形式化模型,而且对于任意的一个密码协议,都可以将其模块化,本文还提出了密码协议的鉴别性和安全性的验证机制.通过对Needham-Schroeder协议的实例分析,对密码协议的密钥交换和鉴别性,以及协议存在的漏洞,进行了有效的形式化描述和分析.     

沟埋还田方式下不同埋草量对冬季稻田CO2排放的影响

采用了碱液吸收法对冬季稻田CO2排放进行了田间原位测定,探讨了水旱轮作水稻季秸秆沟埋还田方式下不同埋草量对越冬稻田土壤CO2排放的影响,分析了不同处理单位草量与CO2排放通量之间的关系,并对不同单位沟埋草量的越冬稻田裸田CO2季节排放量进行了估算。结果表明：CO2通量和季节排放量与埋草量的变化规律基本一致,各处理平均CO2通量在51.25 mg.m-2.h-1~84.92 mg.m-2.h-1之间,不同处理之间差异不显著。各处理季节排放量为1 591.40mg.m-2.h-1~1 936.12 kg.hm-2,各处理平均CO2通量和CO2季节排放量均小于空白对照。单位草量CO2通量随埋草量的增加而下降,变化范围为10.63 mg.m-2.h-1~30.69 mg.m-2.h-1,处理Ⅰ与其它处理之间差异显著（P〈0.05）。     

用MATLAB实现AAL2信元带宽利用率近似模型仿真

论文通过使用MATLAB仿真对AAL2协议在移动通信中的应用进行研究和分析。文中介绍了CDMA系统中AAL2协议的基本原理,然后用一种新的近似计算的分析方法分析了定时参数t和信元带宽利用率之间的关系,并通过使用MATLAB仿真验证了结论。     

三江平原旱田CO2通量日变化特征研究

利用静态暗箱/气相色谱法对三江平原由小叶章草句垦殖后的旱田(大豆地)进行CO2排放通量的日变化观测实验.结果表明旱田土壤-植物系统和旱田土壤的CO2通量均具有明显的日变化规律,旱田土壤-植物系统CO2通量最大值出现在10:00,最小值出现在6:00,其变化趋势与气温和0cm地温呈显著正相关;旱田土壤CO2通量最大值出现在16:00,最小值出现在6:00,且其变化趋势与气温、5cm、10cm、15cm和20cm地温均呈显著或极显著正相关.旱田土壤-植物系统CO2通量的主要贡献者是植物的暗呼吸作用,且土壤-植物系统CO2通量的日变化幅度大于土壤.图5,表3,参16.     

带跳市场中亚式期权的价格下界

亚式期权有两种类型,固定敲定价格亚式期权和浮动敲定价格亚式期权.它们的收益依附于标的资产有效期内的平均价格(算术平均),但是很难得到它们的闲形式的定价公式.借鉴Chen等在完备市场下对这两种亚式期权价格给出的下界的方法,给出了带跳市场中当标的资产价格为跳跃扩散过程时该两种期权价格的一个下界.     

α-卤代酰胺参与的氮杂环构建方法研究进展

杂环化合物在医药、农药、材料和精细化工品等许多领域发挥着重要作用,因此,开发新颖、有效的合成策略构建杂环化合物一直是人们关注的重点.重点介绍了2011～2020年间α-卤代酰胺原位产生氮氧烯丙基阳离子通过[3+m]-环加成/环化反应构建含氮杂环化合物的最新进展.     

具非局部条件的非线性分数阶微分方程耦合系统的正解

对一类具有黎曼—刘维尔导数的非线性分数阶微分方程耦合系统进行研究,得到其正解的存在性.此类耦合系统具有积分边界条件且带有参数.首先,运用分数阶微积分的定义,将此分数阶微分方程耦合系统转化为一个与之等价的常微分方程耦合系统;其次,在Banach空间中定义一个新的具有矢量的锥,同时构造一个全连续算子;最后,通过运用Prec...     

组合赋权聚类-双基点模型的井下人体热舒适评价

针对井下人体热舒适性评价不准确、评价指标少等问题,以蒋家河煤矿工作面为例,选取环境温度等13个评价指标,构建井下人体热舒适评价指标模型.采用主客观赋权的方法计算各指标权重,引入拉格朗日函数,优化决策模型,通过欧式距离建立两者联系,确定两种方法偏重系数,计算各指标的理想组合权重,构建组合赋权聚类-双基点综合评价模型,利用...     

广义维里定理与非谐振子的能级

通过解SchrФdinger方程求束缚态能级的过程非常复杂．采用Killingbeck由广义维里定理和费曼-海尔曼定理得出的无波函数微扰论推导了非谐振子的能级,推导结果与福里格的结果符合得很好,且计算过程简单明了．