扩展Meadows模型分析Ad Hoc网络路由协议安全性

目前,Ad hoc网络安全路由协议缺乏有效的形式化分析方法.通过添加基于图论的路由描述和分析方法,文章扩展了Meadows模型的分析能力.使用扩展后的Meadows模型对Ad hoc网络安全路由协议Ariadne进行了分析,分析结果显示Ariadne协议存在产生虚假路由的漏洞,从而也说明了扩展后的Meadows模型能够用于Ad hoc网络安全路由协议的安全性分析.     

关于化学位和化学反应等温式几个问题的讨论

讨论了化学位的意义和化学反应等温式的应用条件;△G_m=∑υ_iμ_i≤0,△G_m(T,P,W′=0)≤0、—△G_m(ξ)=—∑υ_iμ_i≥W′和-△G_m(T,P)≥W′作判据的异同和各自使用条件。     

量子力学随机诠释的数学结构和物理学特征

由纳尔逊和德·拉·彭那首创,并曾得到德布罗意支持的量子力学随机诠释起源于玻姆的量子势诠释和马德隆—高林武彦的流体力学表象,它统一了布朗运动和量子力学的基本方程,并且建立起经典概率同量子概率之间的严格对应关系。这一诠释引起了许多物理猜测,并成为目前研究量子力学基础问题的热点之一,但其非局域特征最终令德布罗意大为失望。     

用网络拓扑分析含受控源电路的一种系统方法

通过３个实例分析，阐明用网络拓扑分析含受控源电路的一种系统方法。     

电流变液的一类新型单链拉伸模型

本文通过对电流变液的边界层扩展研究，建立了一类新型单链拉伸模型，由此导出了系统屈服应力和等效单链力的计算公式，并将其计算结果与实验数据进行了比较。同时我们也给出了单链修理因子Ａｓ的计算结果与实验数据的比较。     

节能用电设备在非正弦状态下的节电效率测量

本文指出目前供电网络中由于用电设备的非线性以及广泛采用晶闸管控制技术,造成网络波形畸变相当严重,采用理想正弦条件下定标的仪器进行用电设备功率测量必然造成大的误差,不能真正反映设备耗能及节电情况,这种现象尚未引起人们的重视.本文根据作者前期所做的工作.介绍了一种采用模拟乘法器的测量方案.较好地解决了非正弦电量的测量.     

一般动力学系统的守恒量（Ⅲ）

本文研究了分布参数的非保守力学系统的守恒律问题,将经典的Noether守恒律存在的条件-Killing方程推广到了分布参数系统,并给出了分布参数的非保守力学系统的Noether守恒律的形式,讨论了对断裂力学的有关应用。     

波纹管的特征值分析

基于Novozhilov薄壳理论 ,用有限元法建立了旋转波纹管非轴对称自由振动的广义特征值方程并进行了求解。选取两结点非协调曲边旋转壳单元作为波纹管的离散单元 ,并将所有相关变量沿其环向进行了Fourier展开。该方法不仅给出了子午线曲率连续变化的U型波纹管任意环向谐波所对应的特征值 ,而且对子午线曲率有突变的C型波纹管旋转壳也能很好地适应。算例结果表明 ,波纹管不存在一个最低固有频率对应的固定环向波数 ,但其轴对称振型和低阶非轴对称振型在动态分析中占绝对优势 ,高阶振型的作用并不明显。     

Banach空间中有限族非扩张映象隐迭代程序的收敛性

在Banach空间的框架下，研究了有限族非扩张映象隐迭代程序的收敛性，其结果不仅改进和发展了最新的有关结果，而且也肯定地回答了Xu提出的一个公开问题。