基于SPI演算的移动自主网络安全路由协议分析

安全协议是许多分布式系统安全的基础,也是MANET网络的基础,确保MANET路由协议的安全运行是极为重要的。对于MANET的特点,设计一个可靠的安全路由协议是必须的,也是一个艰巨的任务,但大多数的安全路由协议都是通过模拟结果来进行解释的,缺乏严格形式化分析来确保其安全属性。在传统的安全属性中,加密协议已经被形式化分析许多年了,然而去形式化分析移动adhoc网路由协议的工作并没有出现已成熟的方法和理论的文献。论文针对SRP(secureroutingprotocol)协议模型用SPI演算做出形式化分析,在论文提出的攻击者进程模型下,可以推导出SRP产生一定的脆弱性。     

中国传统人居的生态设计思想及其价值探析

中国传统人居中蕴含着丰富的生态设计思想,其一是合理有效利用自然生态环境,其二是追求天人合一生态和谐。反映了中国农业社会渴望与自然融为一体,人伦和谐的生态生活方式。它涵养及衍生的传统天地人和谐理论,给我们保护和恢复人居环境的自然生态,创造宜人的居住环境提供了智慧,并将不断提供有益的启迪与思考。     

管理学科CAI实践──企业经营管理动态教学系统

论述了计算机辅助教学（ＣＡＩ）的内容、意义及计算机模拟在管理学科中的作用，介绍了作者参与研制成功开发的企业经营管理动态教学系统的内容、活动程序及其实现过程。     

基于LabWindows/CVI的数据采集系统

针对传统数据采集系统通信接口缺乏灵活性的问题,提出一种基于LabWindows/CVI的高速数据采集系统。以Cypress公司FX2LP系列的CY7C68013A芯片作为通信和主控芯片,选择LabWindows/CVI语言搭建数据采集系统的软件平台,采用调用动态链接库方法设计上位机和数据采集系统的通信软件。结果证明,该数据采集系统完全满足设计和使用需求。     

机构位移仿真分析方法比较研究

机构位移分析是运动分析中最根本的问题,机构位移分析方程通常是非线性的,只有简单的二级机构才能列出输入变量和输出变量之间的显函数表达式,而在其他情况下,方程的求解就需要利用各种数值解法.以压床六杆机构为研究对象,推导了机构多位移矩阵迭代求解和单一位移精确求解的理论方程,并用上述两种方法对压床六杆机构进行了机构位移仿真计算比较分析,证实单一位移精确求解方法的计算比较简便,求解过程不用推导,一旦确定单一位移值后,可对其它位移进行精确求解,对机构位移仿真计算有一定的实用性,累积误差小,可用于机构运动学设计.     

表面粗糙度检查仪微机改造方法

介绍一种通过人机交互式界面选择控制设定表面粗糙度检测仪测量参数的方法。该方法可有效地消除人为因素的影响,稳定测量精度,简化操作。     

自适应最小误差阈值分割算法

对二维最小误差法进行三维推广, 并结合三维直方图重建和降维思想提出了一种鲁 棒的最小误差阈值分割算法. 但该方法为全局算法, 仅适用于分割均匀光照图像. 为 提高其自适应性, 本文采用Water flow模型对非均匀光照图像进行背景估计, 以此获 得原始图像与背景图像的差值图像, 达到降低非均匀光照对图像分割造成干扰的目的. 为进 一步提高分割性能, 本文对差值图像采用γ 矫正进行增强, 然后采用鲁棒最小误差 法进行全局分割, 从而完成目标提取. 最后本文对均匀光照下以及非均匀光照下图像进行了 实验, 并与一维最小误差法、二维最小误差法、三维直方图重建和降维的Otsu阈值分割 算法、灰度波动变换自适应阈值方法以及一种改进的FCM方法在错误分割率和运行时间上进 行了对比. 实验结果表明, 相对于以上方法, 本算法的分割性能均有明显提升.     

嵌入式移动机器人红外路标定位模块研究

针对室内环境移动机器人的自定位问题,提出一种嵌入式移动机器人红外路标定位模块。采用基于单应矩阵的初始标定算法和陒机初始标定方法,补偿由于实际使用中的安装误差所引起的定位偏差。实验结果表明,该模块易于嵌入式系统实现,定位模块位置精度可达厘米级别,角度定位精度雓于6°。     

Foxpro2.5与C语言接口技术

本文介绍了通过Foxpro2.5的外部应用程序接口（API），实现与C语言程序的链接技术，并附有实例。     

关于鱼雷自导技术发展的几点思考

本文针对当前国外鱼雷自导技术发展的现状,介绍并讨论了几种对我国鱼雷自导技术的发展具有重要价值的实用技术及其相关的工作,其中包括：船基光纤自导技术,尾流研究及尾流自导技术、亮点结构目标识别技术和低频线远程自导技术。