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

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

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

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

把握商机 寻求发展——可再生能源企业的市场机遇

能源短缺和环境污染已经成为全球性的两大危机,严重威胁着人类的生存与发展。在能源市场连续出现“油荒”、“煤荒”的情形下,各国政府开始从国家长治久安的战略高度积极寻求对策。对于即将腾飞的中国而言,可再生能源市场蕴藏着巨大的经济价值和社会价 值     

试述自然大调音阶教学的视觉启发

自然大调音阶是音乐创作、音乐表演和音乐欣赏的重要基础,如何唱准自然调音阶是视唱、识谱要解决的基本问题。笔者通过对弹簧的压缩与伸张,结合传统的音阶示意图以及半音与全音的对比,形象地启发人们怎样唱准自然大调音阶的上行与下行,同时对唱准其它音阶(如小调音阶)具有重要意义。     

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

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

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

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

液压缸动态特性分析

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

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

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

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

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