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

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

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

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

液压型风力发电机组并网冲击仿真研究

以液压型风力发电机组励磁同步发电机系统和并网控制系统为研究对象,针对励磁同步发电机的准同期并网条件,建立了同步发电机和励磁系统数学模型。理论分析了同步发电机并网冲击电流和冲击转矩。通过MATLAB/Simulink建立同步发电机、励磁系统和准同期锁相模块仿真模型,采用AMESim软件建立液压调速系统模型,采用联合仿真的方法,对液压型风力发电机组准同期并网过程进行研究,分析了系统并网冲击特性。在实验室搭建30kVA实验台,实验验证了仿真模型和仿真结果的正确性。研究表明定量泵-变量马达液压调速系统能将同步发电机转速稳定控制在准同期并网条件范围内,同时能有效控制系统并网冲击,使风力发电机组平稳并入电网。     

数控总线基于贝叶斯估计的同步抖动修正方法

提出一种基于贝叶斯推理估计方法的时间同步抖动修正计算方法,通过已获得的总线传输延时作为采样样本,并通过贝叶斯推理估计,得到经过估计修正的总线传输延时,以提高数控系统现场总线时间同步精度,经过试验测试,提出的同步抖动修正方法能够保证时间同步的同步抖动不大于0.5uS,能够满足高档数控系统高速、精密加工对总线的同步控制需求。     

基于FPGA的实时整数霍夫变换

为了解决霍夫变换计算量大、难以实时实现及峰值检测不准确的问题,提出一种适合在FPGA上实现的基于两阶段快速搜索算法的改进整数霍夫变换,并将其在FPGA中实现。首先,设计了一种基于该改进霍夫变换算法的流水线结构,能够在单个时钟周期内完成霍夫空间的参数计算和累加;接着,设定3个参数阈值,以寻找霍夫子空间中的局部极值;最后,确定全局极值,实现直线参数的提取。采用实际图像在FPGA中进行实验验证,结果表明提出的算法占用硬件资源较少,其准确率达到93%以上。     

Petri网的公平性及分析

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

基于RLS的联合同步和信道估计算法

针对采用跳频正交频分复用(frequency hopping orthogonal frequency division multiplexing, FH-OFDM)系统进行战时通信时存在的高误码率(bit error rate, BER)问题,对定时偏差(timing offset, TO)、载波频率偏差（carrier frequency offset, CFO）和采样率偏差(sampling frequency offset, SFO)进行综合考虑,提出一种导频辅助的联合同步和信道估计算法。在时域中分别对TO和子载波干扰项进行预先补偿。使用线性误差函数来配合递归最小二乘法对信道冲激响应、CFO和SFO进行估计。采用改进的极大似然算法对迭代参数的初始值进行估计,提高了估计的准确度。分析并给出FH OFDW系统频谱效率的权衡标准。仿真结果表明,该系统工作在1 000 hop/s时,该算法的估计均方差和BER均优于传统的算法。     

二维发汗控制方程的直线解法及其收敛性

对二维发汗控制方程建立了直线解法,可用任何解常微分方程组的数值方法求解。对固定边界（非烧蚀）和活动边界（烧蚀）情形分别进行讨论。在某些假定下给出了直线法的收敛性。     

Modeling for UAV resource scheduling under mission synchronization

Unmanned aerial vehicle (UAV) resource scheduling means to allocate and aggregate the available UAV resources depending on the mission requirements and the battlefield situation assessment. In previous studies, the models cannot reflect the mission synchronization; the targets are treated respectively,which results in the large scale of the problem and high computational complexity. To overcome these disadvantages, a model for UAV resource scheduling under mission synchronization is proposed, which is based on single-objective non-linear integer programming. And several cooperative teams are aggregated for the target clusters from the available resources. The evaluation indices of weapon allocation are referenced in establishing the objective function and the constraints for the issue. The scales of the target clusters are considered as the constraints for the scales of the cooperative teams to make them match in scale. The functions of the intersection between the "mission time-window" and the UAV "arrival time-window" are introduced into the objective function and the constraints in order to describe the mission synchronization effectively. The results demonstrate that the proposed expanded model can meet the requirement of mission synchronization, guide the aggregation of cooperative teams for the target clusters and control the scale of the problem effectively.     

有向多重边复杂网络的自适应同步控制

基于网络拆分的思想,将具有不同时延的多重边有向复杂网络进行拆分,建立了具有非线性耦合节点的多重边有向复杂网络模型,并对其自适应同步控制加以研究.运用Lyapunov稳定性理论并结合自适应控制方法,给出了外部耦合系数未知的情况下自适应同步控制器的设计,最后以陈系统为例对多重边有向复杂网络进行数值仿真,验证了控制策略的有效性.