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

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

认知科学的某些计算理论

本文简述认知科学的历史，定义和范围，评论感知觉，学习和记忆的一些现代理论模型，提出若干有待进一步解决的关键问题。     

宇宙的拓扑结构及应用

宇宙的拓扑结构及应用杨旭（四平师范学院）关键词宇宙，拓扑，模型通过对几何公理内在矛盾的分析和近代科学发展内在逻辑之探讨，本文揭示了宇宙的拓扑结构并提出一个全新的宇宙模型，从而对宇宙奇点，有限无限以及黑洞与白洞的问题给出更为合理的解答．在奇点处被消灭的...     

组织和个体激励效益合理最大化的规划模型

激励是人力资源管理中的一项重要职能 ,激励是有投入与产出的管理活动 .文章通过定义激励过程中的组织和个体的激励效益及其合理最大化的概念 ,建立了一个组织激励效益和个体效益合理最大化的规划模型     

Duane模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型——Bayes分析方法

本文将Bayes分析方法应用于Duane可靠性增长模型、分组数据的AMSAA模型和具丢失数据的AMSAA模型,得到了参数以及系统能达到的MTBF的Bayes点估计和Bayes区间估计。     

谈谈“构造法”解题策略

构造法是中学数学中的一种常用的解题思想方法,其思维策略是:在解题中充分利用已知条件和数学知识,通过观察、联想,构造出满足条件的数学对象,或构造出一种新的问题形式,使问题的结论得以肯定或否定,或     

低空目标噪声模型

低空目标噪声模型李云，贾民生（青岛大学计算中心，青岛２６６０７１）关键词：噪声模型；地空武器系统在地空武器系统大型仿真实验中，要求加入检飞试验中测量低空目标所带来的噪声误差信号．传统的方法是将磁带机记录的噪声信号直接加入仿真模型中，这种方法极不方便，...     

系统设计的正式方法和模型

微电子设计的规模和设计能力之间的鸿沟正在越变越大，需要工具和技术去填补这一鸿沟。另外，我们也需要更新颖的方法以使理论能变为实际。本书正是出于这个目的而编写的。全书总结了以往各种正式的结构分解、抽象和精练的方法，重点强调了系统的行为和结构特性。书中的内容是以一系列学术论文的形式呈现给读者。论文的作者都运用自己的正式方法以完成软硬件设计，提供开发方法和工具的优化，或形成理论公式。