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

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

高Tc超导材料Bi_2Sr_2CuO_6和Bi_2Sr_2CaCu_2O_8的晶格振动对称性分析

本文运用群论方法,对高T_c Bi 系超导体中的Bi_2Sr_2CuO_(?)和Bi_2Sr_2CaCu_2O_8的晶格振动模进行了系统的对称性分类.给出了其布里渊区中(?)点,X 点和△线振动模式的对称分解和对称化基.     

复杂系统集成控制及其仿真研究

本文对于复杂系统提出一种集成控制策略,即解耦/模糊控制。并以机器人关节运动控制为例,进行仿真研究,仿真结果是令人满意的。全文包括五个部分:1.前言;2.复杂系统的解耦模型;3.复合规则库与模糊控制;4.仿真研究;5.结论。     

评估洪水灾情等级的投影寻踪模型

为检验所订洪水灾情等级标准的合理性 ,解决各单项指标灾情等级评估结果的不相容问题 ,提高灾情等级模型的灾级分辨率 ,提出了一种新的洪水灾情等级模型——投影寻踪 ( PP)模型 ,它的灾级是连续的实数值 .为减少 PP建模的计算量 ,给出了一套建模方案 ,构造了新的投影指标函数 ,并统一用实码加速遗传算法来优化投影指标函数和模型参数 .实例的计算结果表明 ,该方案是有效的和通用的 ,具有广泛的应用前景.     

灰色系统的分离建模方法

首先给出了平移算子和数据序列函数的定义 ,并在平移算子和数据序列函数的基础上提出了一种灰色系统的分离建模方法 .以全国电视机产量的预测为例 ,证明分离建模方法能够提高建模的精度 .这说明分离建模方法是很有意义的.     

集值映射空间中的图象拓扑（I）

在集值映射空间中引入了四种图象拓扑，给出它们之间的关系，并在点紧致连续映射空间上证明了其中两种拓扑之间的等价关系．     

贵州省中草药病虫害的现状与防治对策

经过对贵州省中草药病虫害发生与危害调查，26种栽培面积较大的品种共发现害虫47种，病原菌52种，结果表明：白术病毒病、长管蚜，太子参叶斑病，吴茱萸褐天牛，天麻细胸金针虫为近年主要流行病虫害，而农药残留、重金属、亚硝酸盐等有害物质含量的偏高，也严重影响中草药品质，因此防治上在建立完善的植物检疫制度、病虫草害预测预报的同时，加强田间管理，提倡生物防治、物理机械防治、化学防治等有效方法的结合。     

基于航速修正处理的单舰被动定位算法

提出一种基于航速修正处理的单舰被动定位算法，在修正增益推广卡尔曼滤波器的基础上，该算法把运动目标舰艇的航道约束当作输出为0的增加的观测数据加入到测量方程，约束的强度由约束条件的噪声方差确定。提出一种规避因子，用来约束目标状态方程中的航速，基本思想是根据当前估计的目标位置和航速，估计了一个针航行到陆地岛礁或即将航行到陆地岛礁时，用规避因子矩阵来修正航速的方向和大小，避免了出现目标航行到陆地岛礁的情况。计算机模拟结果表明，航速修正处理后不会出现穿越陆地岛礁的运动舰艇航透，同时还能提高对海上运动舰艇辐射源的被动定位精度。     

在 VISUAL FOXPRO 6.0 教学中应注意的问题

Microsoft Visual FoxPro6.0是优秀的小型数据库管理系统。从数据库中各表之间的关系、函数的重要性、以制作查询表单为核心以及与其他软件的相关性等方面,阐述了教授该软件时应注意的问题。