一类完全由内积构造的多任务核的几个性质

本文应用多任务核的刻画定理,给出完全由内积构成的多任务核的几个性质,找到一个在乘积型多任务核构造中对断定乘积项是否为多任务核起到作用的新数列,并证明其为增数列。

有限秩多任务核的若干性质

多任务核的性质研究较少。应用多任务核的刻画定理,给出多任务核的若干性质,主要包括多任务核空间结构、沿对角线平移性质、多任务核的Kronecker乘积相关的几个性质,为多任务核学习实验中选择多任务核提供必要的方法和依据。

一个多任务核对称性猜想成立的若干条件

关于多任务核对称性的一个猜想认为,所有的多任务核都应该具有某种对称形式.此猜想本身已经有非对称多任务核的反例,然而在实际应用中的大量再生核符合这个猜想所提出的形式,且所有对称多任务核中仍未发现反例.本文将讨论其成立的若干充分条件,从某种程度上说明对称多任务核结构的多样性.

有限秩多任务核刻画定理的新证明

有限秩多任务核的刻画定理的原证明简短但较难理解.因此通过矩阵的合同变换,给出了一个比原证明过程更初等更易理解的证明.

嵌入式多核多任务实时DVFS调度方法仿真

嵌入式设备在调度多核多任务时,由于引入的处理器数量增多,导致调度效率低,以及能耗大等问题。基于此,提出基于实时动态电压频率调整(Dynamic voltage and frequency scaling,DVFS)的嵌入式多核多任务调度算法。构建嵌入式多核多任务能耗模型,得到不同情况下设备的能量消耗情况;建立多核多任务调度数学模型,在策略集合中找到合适的调度策略,保持时间值始终为最小;利用多核多任务调度算法机制,通过计算嵌入式设备中各个处理核的潜在负载能力,找出与预期负载最接近的处理核,并将任务分配到该任务核中,实现多核多任务的合理调度。实验结果表明,所提方法的调度效率高,且能量消耗低于3.5mW。

面向数据流的多任务多核在线学习算法

对于数据流的处理,现有的在线学习算法在准确性上仍有欠缺,故提出一种新的多任务多核在线学习模型用于提高数据流预测的准确性。在保持多任务多核学习的基础上,将其扩展到在线学习中,从而得到一个新的在线学习算法;同时为输入数据保持一定大小的数据窗口,用较小空间换取数据的完整性。实验部分对核函数的选取以及训练样本集的大小进行了较为详细的分析,通过对UCI数据和实际的机场客流量数据进行分析,很好地保障了流数据处理的准确性及实时性,有一定的实际应用价值。

抢占式调度问题的PPTA模型与验证方法

优先级用于解决诸如在资源共享和安全设计等方面的冲突,已经成为实时系统设计中不可或缺的一部分.对于引入优先级的实时系统,每个任务都会被分配优先级,这就导致低优先级的任务在运行时可能会被高优先级的任务抢占资源,进而给实时系统带来抢占式调度问题.现有研究,缺乏一种可以直观表示任务的优先级以及任务之间的依赖关系的建模及自动验证方法.为此,提出抢占式优先级时间自动机(PPTA)并引入抢占式优先级时间自动机网络(PPTAN).首先,通过在时间自动机上添加变迁的优先级来表示任务的优先级,再利用变迁将具有依赖关系的任务相关联,从而可以利用PPTA建模带有优先级的实时任务.在时间自动机上添加阻塞位置,进而利用PPTAN建模优先级抢占式调度问题.其次,提出基于模型的转换方法,将抢占式优先级时间自动机映射到自动验证工具UPPAAL中.最后,通过建模多核多任务实时系统实例并与其他模型进行对比,说明所提模型不仅适用于建模优先级抢占式调度问题并可对其进行准确验证分析.

乘积匹配多项式的存在性

假若一个以点积为自变量的多项式不是再生核,则它无法在机器学习的核方法中使用.解决此问题的办法之一是匹配另外一个点积的多项式,使两者乘积成为再生核.在一定条件下,通过解一系列的不等式,得到匹配多项式存在的充分必要条件,并探讨与此条件相关的数列和生成函数列的性质.

基于VxWorks的网络数据实时处理软件的设计与实现

机载实时数据处理可以大幅提高数据处理的效率;为满足机载网络化测试系统架构下的实时数据处理的需求,设计并实现了一种基于VxWorks的网络数据实时处理软件;该软件运行在多核嵌入式数据处理系统上,通过多任务并发执行的方法保证实时性;软件运行过程中利用零拷贝技术实时接收机载测试系统发送的网络包数据,然后按照自定义的文件格式存储原始数据,同时将需要处理的网络包存入数据处理缓存中,根据网络数据协议实时解析网络包数据,最后利用预留缓存的办法将处理结果写入结果文件;实践证明,该软件能快速接收并实时处理网络数据,同时将原始数据和结果数据进行存储,该方法有效提高了数据处理的效率,为飞行试验数据处理提供了新的途径。

模拟实时系统的点区间优先级时间Petri网与TCTL验证

时间Petri网为实时系统提供了一种形式化的建模方法,时间计算树逻辑(TCTL)为描述实时系统与时间相关的设计需求提供了一种逻辑化的表达方式,因此,基于时间Petri网的TCTL模型检测广泛应用于实时系统的正确性验证.然而对于一些涉及优先级的实时系统,例如多核多任务实时系统,这里不仅需要考虑任务之间的时间约束,还要考虑任务执行的优先级以及引入优先级带来的抢占式调度问题,致使相应的建模和分析变得更加困难.为此,提出了点区间优先级时间Petri网,通过在时间Petri网上定义变迁发生的优先级以及变迁的可挂起性,从而可以模拟实时系统的抢占式调度机制.首先,高优先级的任务抢占低优先级的任务所占用的资源,导致后者被中断;然后,前者执行完毕后释放资源;最后,后者再次获得资源,从中断的地方恢复.通过点区间优先级时间Petri网来模拟多核多任务实时系统,使用TCTL来描述它们的设计需求,设计了相应的模型检测算法,开发了相应的模型检测器以验证它们的正确性.通过一个实例,来说明该模型和方法的有效性.