无线自组织通信中基于前导符号的定时同步

传统的基于自相关的和基于互相关的定时同步算法具有相关峰的旁瓣较宽或对载波频率偏移(carrier frequency offset, CFO)敏感的问题,均无法满足无线自组织通信系统对快速准确的定时同步的需求。针对这一问题,提出了一种新的基于改进互相关的定时同步算法,通过将一个长的相关器拆分为两个较短子相关器的乘积,使度量函数的主峰更加尖锐、次峰更低,理论分析了算法的抗频偏性和计算复杂度。对所提算法和传统互相关算法的蒙特卡罗仿真结果表明,在复杂度相当的前提下,所提算法在检测准确率上具有1.1 dB的性能增益,且对频偏的鲁棒性较好。     

基于有限时间LaSalle不变集的PMSM混沌控制

为有效地抑制永磁同步电动机系统的混沌行为,基于有限时间理论和LaSalle不变集定理设计了一种自适应控制器。分析了永磁同步电动机系统的混沌动力学特性,确定了系统处于不同运动状态的参数域;在理论上证明该控制器能够在有限时间内稳定到平衡点且能自动跟踪系统平衡点;仿真实验证明,该控制方案形式简单,快速性更好,稳定性更高。研究结果对保证永磁同步电动机的稳定运行具有重要意义。     

基于有色petri网的多媒体流同步控制

有色Petri网是一种高级网系统,可以为系统建模提供强有力地支持,既可以反映静态结构,又可以描述动态过程。本文针对多媒体的同步控制问题,以信宿端的缓存控制和时间戳为控制策略,建立了变迁时化有色Petri网模型,并对该模型进行了基于Simulink的实验仿真,实验结果验证了该模型的有效性。     

列车运行线路仿真系统的研究

介绍了列车运行线路仿真系统整体功能和结构,阐述了整个仿真系统的仿真原理和方法,如列车运行过程中牵引力,制动力,列车运行阻力的运算仿真和线路图像与实物视景的仿真。详细阐述了列车运行仿真过程中对列车运行微分方程的简化处理办法、以及线路坡道运行仿真中寻找变坡点的方法,并重点介绍了采用当前最新的多媒体技术来实现视景仿真过程线路图像同步的控制方法,以及在列车低速运行时以插帧的方法实现平滑调速的技术。     

以极小化峰谷差为目标的智能电网实时定价

利用在线电量波动数据对有多类用户的智能电网的实时定价问题进行研究.首先依据用户用电习惯将用户分类,对同一时段不同种类用户采用不同价格引导其消费,其次针对实时定价削峰填谷的目的,以极小化峰谷差为目标建立实时定价优化模型,并给出一种依赖在线电量波动的同步扰动随机逼近算法.讨论了模型的性质,给出了算法收敛性的证明.数值仿真结果表明新方法不但能够削峰填谷,避免下载同步化情形的出现,而且有助于提高用户和供电商的双方利益.与已有方法相比,每次迭代过程中仅需观测价格扰动产生的最大和最小用电总量而不需要掌握每个用户的隐私信息,操作简单,容易实现,不但适用于单供应商多用户情形,也适用于多供应商多用户情形.     

局域网分布实时仿真中的调度策略研究

分析局域网分布实时仿真系统中的仿真时间延迟和仿真实时性条件，提出了适用于单速率和多速率分布实时仿真系统时序控制和测量的逻辑时间和逻辑时间戳机制，设计了同步启动调度策略和基于交互信息流的调度策略，并分别就调度策略的统一描述、技术特点、实现流程进行了分析，提出了调度策略引起的时间延迟的测量和补偿方案。     

采用模糊控制方法实现混沌同步

研究了混沌系统的同步问题。采用T-S模糊动态模型描述混沌系统，用Lyapunov稳定性理论设计出全局渐近稳定的模糊变结构同步控制器。应用到两Lorenz混沌系统的同步控制中，仿真验证了方案的有效性，模糊控制器结构简单，规则少，有实用价值。     

基于线性时态逻辑的Petri网模型检测

Petri网是一种重要的数学工具,它能有效地对并发系统进行描述和建模.线性时态逻辑LTL则是描述和验证并发系统特性的一种重要的形式化工具,它能方便准确地描述并发系统的重要性质,如安全性和活性.文章深入描述了线性时态逻辑、Bu chi自动机、Petri网和同步积之间的内在联系,并探讨了基于线性时态逻辑的Petri网模型检测策略.与其它方法比较,这种模型检测的策略结合了线性时态逻辑和Petri网模型的不同优点,增强了Petri网的模型分析和验证能力.最后,通过对一个并发系统形式化的模型检测分析,验证了相应的结论.     

Petri网的公平性及分析

公平性是反映了在资源竞争时Petri网模型系统中行为的无饥饿性。公平关系分为三个层次,即公平关系、弱公平关系和广义公平关系,并衍生出亚公平关系和准公平关系;对应的系统网模型包括公平网、弱公平网,亚公平网等。同时相对公平网严格要求,系统的Petri网模型存在分组公平和局部公平,反映了网系统局部行为的公平关系。在Petri网模型简化和子网合成时的公平性保性,反映简化和合成后资源共享的保持特性。综述了以上公平性及判定方法,介绍公平性在系统中的应用,并给出公平性的细化定义和同步距离的关系,展望了Petri网公平性在连续系统与离散事件系统中的未来研究方向和应用难点,对公平关系今后的研究具有一定的指导意义。     

基于全息地图的机器人与操作手同步路径规划

针对机器人行走路径规划与机械手操作路径规划之间缺乏同步性,提出了一种机器人与机械手同步路径规划方法,使机器人在路径规划时不仅可以实现行走路径规划,还实现了对操作路径的规划。首先,借鉴人对空间规划的思想,设计了实现机器人与机械手同步规划的总体思路,并且给出了其涉及的两个新概念,分别为物品点和二维物品操作点;其次,设定了同步规划模型,利用转换矩阵将其同化为机器人路径点模型;最后,将机器人路径点模型分裂为二维行走路径规划模型和三维路径规划模型,并据此同步的规划行走路径和操作路径。在家庭环境下,家庭服务机器人基于全息地图利用该方法实现了机器人行走与机械手操作之间的同步性,同时也可以生成合理的行走路径和操作路径。