无线传感器网络空中下载协议的研究

无线传感器网络分布广或散播于一些很难触及的地方,应用传统的嵌入式系统程序代码编程方法对其代码进行升级再编程时凸现出固有的缺陷,制约了无线传感器网络的应用.本文提出了应用于无线传感器网络节点程序更新的无线空中下载协议.通过该协议,可实现节点程序的远程更新.定义了协议中通信各方的功能,给出协议的框架和各对象的状态机理论模型,应用层数据包的封包格式和应用层数据传输协议.最后在国内外流行的Mica2平台上实现了该协议,实验结果表明该协议具有一定可行性与可靠性,增强了无线传感器系统的可用性.     

惯性测量单元全自动简易标定台设计

针对传统惯性器件标定台价格昂贵且体积庞大的问题,该文提出了一种全自动简易标定平台.以传统“三轴嵌套”模式为基础,设计了标定台的机械结构;考虑惯性传感器中的误差因素,建立了相应的线性误差模型,通过拟合载体坐标系下的输出和IMU传感器的输出获取误差参数,得到IMU在载体坐标系下的输出;以MPU9250芯片为基础,根据六位置标定法,得出芯片中陀螺仪与加速度计的标定结果.将标定后的MPU9250与高精度的MTI-300进行了对比分析,并结合人体行走定位实验,检验了标定效果.结果表明：该文设计的简易标定台能够有效提高IMU的测量精度,与商用系统相比整个系统欧拉角测量误差均方根降低至3.5以下.     

基于BOM组件模型的可组合性研究

首先讨论了仿真模型及其接口,模型的语法组合、语义组合以及组合的判定方法。重点研究了BOM模型组件在HLA中的运用,利用BOM状态机分析了基于BOM的仿真模型组件的组合特性,探讨了基于BOM仿真模型组件的仿真系统框架的构建方法,研究了在资源库管理系统中基于BOM组件的模型组合装配问题。通过对基于BOM的组件模型的可组合性研究,促进了模型开发和接口设计的标准化,同时增强了模型的重用性和互操作性,提高了建模仿真的效率。     

利用嵌套微分进化算法选择微下击暴流模型参数

微下击暴流场的建模在飞行仿真中具有重要意义。将多涡环微下击暴流模型参数选择看作一个优化问题,引入微分进化算法来解决该问题。在按照水平垂直风速最大峰值比进行参数选择中,同时包含了互相关联的两种寻优过程。对标准微分进化算法进行改进,提出利用嵌套的微分进化算法同时完成目标寻优和中间寻优两个过程。仿真试验表明,本文方法可灵活地生成任意水平垂直风速最大峰值比值的微下击暴流场,并且能够满足用户设定的误差范围要求。     

Ad hoc网络AODV协议的形式化分析与仿真

基于形式化建模的思想,分别建立源节点、中间节点和目的节点的有限状态机(FSM)模型,描述AODV协议的路由行为及算法思想,分析影响AODV协议性能的可能性因素后,利用NS2对AODV协议进行仿真,以指导对协议算法的改进及其下一步研究方向,使其更好地适应Ad hoc网络特点。     

基于珠算原理设计64位除法器及FPGA实现

随着数字信号处理的迅猛发展,除法器在计算机和芯片技术发展中受到越来越高的重视。秉承古代数学的操作模型原理,在FPGA平台上设计了一种高性能的64位除法器,将珠算过程的"一列"对应为四位二进制数,利用珠算归除法一次计算可产生四位二进制商,大幅降低关键路径延时。该设计将珠算归除法口诀通过元件例化成五个模块:商位数模块、初商模块、退商模块、撞归模块和补商模块,根据归除原理控制状态机选择模块进行计算。经ISE软件仿真及Xilinx Virtex-2P开发板验证表明,64位珠算除法器的最大工作频率为184 MHz,平均运算仅需0.347 8μs。这适合于对计算能力和速度有较高要求的FPGA设计应用。     

区间约束数据库语言ISQL

描述了区间约束数据库的语法和语义,给出了相应的实例和说明,简要讨论了ISQL语言的封闭性。     

矿区产业发展的非线性嵌套模型

为了解决矿区各产业发展、生产与环境污染之间的协调控制问题,以焦作矿区为例,基于logistic方程,建立了矿区社会经济系统产业发展的非线性嵌套模型,指出了协调控制途径,提出了一套适合于模型特点的参数协调方法,运用四阶龙格．库塔算法进行数值求解,求解结果分析预测了焦作矿区各产业发展的趋势值,提出了焦作矿区煤炭开采业和非煤产业的发展方向。     

基于CPLD和Verilog的高精度线阵CCD驱动电路设计

以东芝公司生产的TCD1711DG线阵CCD为例,研究了一种基于CPLD的线阵CCD驱动电路的设计方法。首先,分析了线阵CCD基本结构和工作原理,并叙述了线阵TCD1711DG驱动脉冲的时序要求。在QuartusⅡ开发系统上,运用Verilog描述的有限状态机,设计了基于Altera公司MAX 7000S系列EPM7032STC44的驱动电路。最后,采用ModelSim SE软件进行仿真,并用示波器测试出CPLD输出的驱动脉冲。仿真和试验结果表明,CCD输出结果完全符合TCD1711DG的时序要求。     

正则m2空间及其刻划

通过对单调T2空间和强单调T2空间的比较和分析,引入了嵌套T2空间的定义,证明了正则m2空间等价于嵌套T2空间,从而改进了Buck关于m2空间的一个结果．