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

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

基于不同摄像机配置的空间点检测模型及精度研究

针对空间点检测问题给出了一种简便而精确的空间点检测方法并建立了实验环境下的数学模型,提出了视差为零时,所测得的空间点深度最接近真实值的假设,并得到如下结论：给定空间点,深度不变,基线越短,光轴的夹角越小；深度改变时,基线一定,则深度越长,夹角越小。推导出在不同基线、不同深度下摄像机光轴之间理想夹角的数学模型并通过实验进行了验证。该方法对实际双目检测系统的摄像机配置有一定的指导作用。     

关于可对称化矩阵的Weyl-Лидский型定理

建立了可对称化矩阵情形下的型定理和与近似不变子空间相关的特征值扰动分析.拓广了W Kahan的相应结果.     

奇异电路能量损耗的一种分析方法

奇异电路存在能量损耗，对于这种损耗给出一种无须应用电磁场理论而应用电路分析和微积分计算来进行分析的方法。     

液压缸动态特性分析

本文主要以拉氏变换和控制工程为基础，从理论上分析了影响液压缸稳定工作的动态特性，探讨了液压缸动态特性的机理。     

影响工业企业可比产品成本降低额的因素分析模型

企业在进行可比产品成本降低分析中采用的初等数字运算工具对产品结构变化的影响分析概念模糊,没有定量分析。对此,本文把各影响因素以向量形式作为自变量,建立涵数,借助向量运算解决这问题,收到满意效果。     

行人碰撞交通事故再现的综合分析

这篇论文阐述行人碰撞交通再现方法的观战并提出了对有关文献的综合评论。为了能从事故现场获取有效的资料，从而能再现交通事故的具体情节，人们研讨了好几种分析方法。从这篇论文中可概括为：刹车痕迹检验；残留与遗留物分析；损害与伤害分析，行车轨迹鉴定；夜间视见度；体内酒精浓度的影响。     

负反馈放大电路的网络参数分析法

利用双口网络参数分析负反馈放大电路的方法．通过对典型电流串联负反馈电路的z参数分析，得到了与其它分析方法相同的结果．分析过程简洁，物理概念清晰．     

集值函数的广义共轭函数和次微分

该文通过推广实函数的凸共轭函数及其次微分的概念,建立了一类关于集值函数的广义共轭函数及其次微分理论——集值函数的(H,Ω)共轭函数及(H,Ω)次微分理论。这一理论可以用来建立非线性规划问题的一类对偶性原理。