基于遗传禁忌算法的贝叶斯网边定向方法

针对贝叶斯网边定向过程中存在的问题,提出一种基于遗传禁忌算法的贝叶斯网边定向方法,该方法将禁忌搜索的＂多样化＂引入遗传算法的交叉算子和变异算子中,生成禁忌交叉算子和禁忌变异算子,并对航班离港延误骨架模型进行定向,仿真实验结果表明,该方法是有效可行的。     

无线传感器网络的元胞自动机自组织算法

提出一种分布式、自适应的无线传感器网络元胞自动机(CA)自组织算法,将网络中的每个节点映射成CA中的元胞,通过控制节点在不同时间的状态转换(活跃/睡眠),消除与邻居节点间的频繁通信,从而降低能源消耗。仿真实验结果表明,该算法具有较强的目标检测能力。     

嵌入式系统中多用户程序在线编程技术

针对嵌入式系统中只能实现单用户程序在线编程的问题,提出一种多甩户程序在线编程方法。以MC9S12DG128为例,基于片内Flash存储器的特性和存储映像,采用Flash存储空间划分、向量重定位、监控程序组织与设计等关键技术实现系统资源在多个用户程序之间的合理分配。在教学机器人开发平台中的应用结果表明,采用多用户程序在线编程技术的嵌入式系统,运行稳定、可维护性好、方便更新。     

基于TMS320F2812的高速数据采集处理系统

介绍一种基于TMS320F2812的多路数据采集系统的设计方案。采用DSP芯片TMS320F2812实现对多路数据的实时采集处理。通过USB2．0将数据传到上位机,由上位机对数据进行具体分析并将结果反馈给DSP进行控制。该系统具有结构简单、可靠性高、使用灵活和性价比高等优点。     

基于双客服的远程控制实验系统研究与开发

传统的C／S结构和B／S结构各有优缺点,双客户-服务器结构弥补了单一结构存在的缺陷,具有较强的可扩展性。该文针对AE2000B型过程控制实验装置,采用双客户-服务器的软件体系架构,通过自定义通信协议,结合实时曲线的表现方式达到用户远程控制实验的目的。实验结果表明,双客户-服务器结构带来的实验效果令人满意。     

轨道平顺性检测方法研究

轨道平顺性是高速铁路安全的重要保障参数,在分析弦测法、光学测量法、惯性基准法及光学摄像法4种常用轨道平顺性检测方法的基础上,研究了惯性连续检测方法.该方法采用中等精度光纤陀螺作为主要传感器,对左、右高低和轨向进行分别测量,设计了专用分组地推算法,能够适应各种速度下的高精度连续检测.最后,对该方法的核心部分进行了实验仿真.结果表明,惯性连续检测方法的惯性器件平顺性检测精度小于0.3 mm,总误差小于1 mm,满足平顺性检测指标要求,为研制新一代轨道检测设备奠定了基础.     

基于数传电台的靶用型无人机测控系统

靶用型无人机简称靶机,模拟航空飞行器的飞行性能和外部特性,用于防空探测系统和防空武器系统的功能和性能测试.由于靶机是一种消耗性资源,为其研制专用测控系统,价格昂贵且通用性受限.本着低成本、通用化和小型化的原则,以数传电台为核心硬件,设计了适用于靶机的测控系统.详细论述了该测控系统的总体设计、硬件设计和软件设计,并对测控作用距离进行了分析.该测控系统已在多型靶机上得到了成功应用.     

智能磁致伸缩液位测量仪设计

针对当前液位测量监测系统中存在的多种问题,设计了一种高精度的智能磁致伸缩液位测量仪.系统采用ARM Cortex-M4系列的EK-TM4C1294NCPDTI芯片作为核心控制处理器,包含电源模块、时钟模块、激励信号模块、信号检测模块、以太网接口模块、故障报警模块、数据存储模块等.实现了测量精度高、稳定性好、人机交互友好,具有网络化通信功能的智能液位测量仪.     

基于分支分析的机翼摇晃预测与抑制

针对现代战斗机大迎角飞行时的机翼摇晃预测与抑制问题,根据其主要动态特性建立了新的横侧向多自由度模型,通过开环分支分析准确预测了机翼摇晃对应的临界迎角.在此基础上考虑模型不确定性和舵面位置限幅的影响,利用滤波器动态对跟踪误差进行补偿,设计了一种约束滤波自适应反步控制算法,通过采用补偿误差代替跟踪误差进行自适应律设计,确保了输入饱和条件下自适应过程的稳定,并结合闭环分支分析实现了对机翼摇晃运动的有效抑制.六自由度仿真验证了多自由度模型的有效性和控制算法的鲁棒性.     

求解#SMT问题的局部搜索算法

#SMT问题是SMT问题的扩展,它需要计算一阶逻辑公式F所有可满足解的个数.目前,该问题已被广泛应用于编译器优化、硬件设计、软件验证和自动化推理等领域.随着#SMT问题的广泛应用,设计可以求解较大规模#SMT实例的求解器亟待解决.基于以上原因,设计了一种求解较大规模#SMT实例的近似求解器——VolComputeWithLocalSearch.它在现有的#SMT精确求解算法的基础上加入差分进化算法,通过调用体积计算工具qhull,进而给出#SMT问题的近似解.算法采用群体规则减少体积计算的次数,差分进化方法快速地枚举各个有解的区域.另外,从理论上证明了VolComputeWithLocalSearch求解器可以得到精确解的下界,使其可以应用在软件测试等只需要知道问题下界的领域.实验结果表明：VolComputeWithLocalSearch求解器是稳定的、具有快速的求解能力,并在高维问题上具有很好的表现.