基于一维高分辨距离像的相关测速补偿算法

在分析运动目标对频率步进信号成像影响的基础上,阐述和推导了基于一维高分辨距离像的相关测速算法,给出了该算法的测速性能和实现流程.对是否利用IFFT结果的相位信息,提出了距离像实包络相关和复包络相关两种处理模式.针对空间高速运动目标,仿真和分析了各因素对测速精度的影响.结果表明,该算法测速精度高,计算量小,抗噪性能较好,为宽带雷达实时自测速补偿提供可能.

临近空间武器对预警探测制导技术的挑战

临近空间进攻武器具有速度快、射程远、机动性强的特点,对未来空天安全构成重大威胁。简要综述了国内外临近空间武器的发展现状、主要特点及特性,包括高超声速巡航导弹和高速滑翔弹头两大主要威胁,从预警探测和探测制导的角度,指出了预警探测制导技术在应对临近空间进攻武器上面临的严峻挑战,提出了对其关键技术和技术途径的几点思考。

频率步进雷达距离像互相关测速补偿算法

测速补偿是宽带雷达信号处理的关键。目前宽带雷达系统一般采用窄带信号测速、宽带信号成像,导致工作效率降低、体系复杂。深入研究了一维距离像互相关测速法,提出了实包络互相关和复包络互相关两种处理方法,并详细分析了二者的区别,给出了理论测速性能。理论分析和仿真表明,采用距离像复包络互相关处理,即使距离像存在严重波形发散,无需先进行粗测速补偿,仍能精确测速且具有良好的抗噪性能,使得宽带频率步进雷达实时自测速补偿成为可能。

可达性与状态方程可满足性等价的两个Petri网子类

可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。

高重频频率步进雷达的杂波抑制和高分辨处理

充分利用多个频率步进周期的回波,提出一种类似MTD原理的同频去杂波方法,从频域上有效分离杂波并加以剔除,再反变换恢复时域波形。运动补偿后相参积累,最后脉压得到一维高分辨距离像。文中给出了关键参数的设计原则,仿真并分析了慢时间内目标运动对成像的影响及所需的速度补偿精度。研究表明,该方法不受限脉宽频率步进阶梯积的取值,即使目标和杂波在距离像上混叠,它仍能在强杂波、低信噪比情况下取得很好的检测性能和成像效果。

向量目标整数线性规划问题及其在工作流网分析中的应用

为了求解一类特殊的整数规划问题以对工作流网进行可达性分析和不变量计算,将该类问题进行归纳和抽象,提出向量目标整数线性规划问题的概念和标准模型;在传统整数规划问题求解方法的基础上,针对一类正定的向量目标整数线性规划问题设计了一种新的分支定界算法,以求取全部最优解;将工作流网不变量分解与恰当终结性验证等问题转换为前述向量目标整数规划问题,结合实例说明了该方法在工作流网性质分析中的应用。

非线性状态空间模型的EHMM抽样法

给出了一种新的非线性状态空间模型的MCMC方法———EHMM(EmbeddedHiddenMarkovModel)抽样法,运用该方法构造的Markov链的收敛速度比传统的MCMC方法有明显提升,文中证明了这一结论并以一维非线性状态空间模型为例加以说明。

随机数生成的Petri网模拟

引入含弧权变量的连续Petri网的概念,并以此为工具,介绍了用Petri网来模拟逆变换法和离散法的方法,利用该方法可以生成服从任意连续或离散分布的随机数。

S-不变量极小支集判定的多项式算法

S-不变量是对Petri网进行结构性质分析的重要工具,但S-不变量的求取尚无有效算法。主要分析了S-不变量极小支集的判定问题。结合Petri网中库所子集列生成子阵的性质证明了一个库所子集为S-不变量极小支集的充分必要条件,在此基础上提出了判断给定库所子集是否为S-不变量极小支集的多项式算法。

求取S-不变量基的新算法

S-不变量是进行Petri网结构性质分析的重要工具,但S-不变量的求取尚无有效算法。作者在S-不变量的极小支集的判定、极小支集上S-不变量的求取等方面创新性地提出了一些多项式解决算法。将在上述工作的基础上,结合枚举思想给出一个求取S-不变量基的算法,并提出一些筛选规则以提高枚举的性能。

一种并行化的启发式流程挖掘算法

启发式流程挖掘算法在日志噪音与不完备日志的处理方面优势显著,但是现有算法对长距离依赖关系以及2-循环特殊结构的处理存在不足,而且算法未进行并行化处理.针对上述问题,基于执行任务集将流程模型划分为多个案例模型,结合改进的启发式算法并行挖掘各个案例模型所对应的C-net模型;再将上述模型集成得到完整流程对应的C-net.同时,将长距离依赖关系扩展为决策点处两个任务子集之间的非局部依赖关系,给出了更为准确的长距离依赖关系度量指标和挖掘算法.上述改进措施使得该算法更为精确、高效.

基于流程案例簇的任务关系挖掘算法

为了进行流程发现,提出一种基于流程案例簇的任务关系挖掘方法。该方法首先将基本案例按照特征向量分为多个案例簇,根据基本案例的任务轨迹对案例簇中任务间的依赖关系进行挖掘;然后给出了基于循环基元的循环结构建模和挖掘方法,最终可以从事件日志导出流程中完整的任务依赖关系以及存在的循环结构。所提方法能正确处理任务依赖关系随案例属性取值不同而变化的情况。只要日志完备,基于挖掘到的任务关系和循环结构就能得到一个与原流程行为等价的流程模型。

Petri网不可达标识的判定方法研究及其在死锁检测中的应用

为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据。分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用。

宽带频率步进信号参数估计的克拉美罗界研究

随着宽带雷达技术的发展,经典窄带信号参数估计的克拉美罗(CR)界已经不能再作为参数估计算法的评估标准。该文以宽带频率步进雷达为应用背景,首先推导了宽带频率步进信号参数估计的CR界,给出了Fisher信息阵元的闭合表达式。然后深入揭示了宽带CR界的特性,证明了频率步进信号参数估计的性能不仅与信号带宽、信噪比有关,还会受到相对带宽的影响。最后验证了窄带CR界只是宽带CR界的一个特例,宽带CR界综合考虑了宽带模型下各种因素的影响,在理论分析中有更加全面的指导意义。

判定工作流网S-可覆盖性的有效算法

为有效判定工作流网的S-可覆盖性,将工作流网的S-可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网S-可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网S-可覆盖性的同时可以求出一组S-不变量的极小支集。只要给定的工作流网满足S-可覆盖性,上述算法就可以求出一组覆盖所有库所的S-不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。

有效模-n S-不变量与不可达性判定

Hohn F E提出用S-不变量判定Petri网不可达性的一个方法。Desel J指出,存在某些标识,用S-不变量无法判定其不可达性,但利用模-n S-不变量却可加以判定。然而,对于一个给定的标识,是否存在模-n S-不变量能判定该标识的不可达性。如果存在的话,又该如何求取这些模-n S-不变量Desel J并未就这两个问题给出答案。该文提出了有效模-n S-不变量的概念,将上述问题转化为有效模-n S-不变量的存在性问题,并借助矩阵的整数分解给出了寻找有效模-n S-不变量的方法,有效解决了利用模-n S-不变量进行不可达性判定的问题。

整数环上的Farkas引理及其应用

将实数域上的Farkas引理进行推广,提出整数环上的Farkas引理.之后,利用整数环上的Farkas引理证明了一个有关Petri网结构有界性的判定定理.

一种基于云边端协同的智能安全帽设计与实现

文章对用于工程施工场景下的智能安全帽进行设计与研发,以“云—边—端”协同为技术架构,融合物联网、移动互联网、边缘计算、云计算和AI技术,实现了基于安全帽的安全生产环境信息、人定位与体征数据、人员行为异常以及点对点通信等功能,使安全帽成为施工作业环境的感知端、通信端以及智能预警设备,边缘侧的处理充分调度各个环节资源,解决了智能安全帽传感器过于集中问题,同时有效降低了云侧服务器载荷。

目标导向的多线程程序UAF漏洞预测方法

Use-after-free(UAF)漏洞是多线程程序的常见并发缺陷.预测性UAF漏洞检测方法因兼顾误报率和漏报率而备受关注.然而,已有的预测性UAF检测方法未结合待检测目标作针对性优化,当程序规模大或行为复杂时会导致检测效率低下.为了解决上述问题,提出一种目标导向的多线程程序UAF漏洞检测方法.首先,由程序运行轨迹挖掘程序的Petri网模型;之后,针对每一个潜在可构成UAF漏洞的内存Free/Use操作对,以触发该漏洞为目标导向,在程序的Petri网模型中添加保持操作间因果约束和数据一致性的行为控制结构;在此基础上,设计了一种基于Petri网反向展开的UAF漏洞检测方法.该方法每次只针对1个潜在的UAF漏洞,有针对性地验证其真实性,从而保证检测的效率.与此同时,为了减少待检测的潜在UAF漏洞数量,提出了一种新型向量时钟进行Free操作与Use操作间的因果关系自动识别,据此对潜在的UAF漏洞进行筛选.结合多个程序实例对所提方法进行了实验评估.实验结果表明,所提方法在检测的效率和准确性方面较主流方法有所提高.