粗粒度并行任务的动态调度算法(PTDS)及其有效性证明

本文揭示和探讨了并行多机系统中粗粒度并行任务的时间变化对静态任务调度机制的影响,给出了基于预调度的粗粒度并行任务的动态调度算法PTDS,并且严格地定义和证明了PTDS算法的有效性.结果表明PTDS通过局部调整预调度方案,能够有效地获得近似最优的计算任务调度方案.

计算机数据取证有效性证明方法探究

随着计算机时代的到来,各个行业对于计算机技术的应用程度也有所增加,然而各种以计算机技术为基础的犯罪行为也变得愈加普遍,计算机也是电子犯罪的主要工具。所以,对于数据证据的获取和研究,也以计算机系统为主要研究对象。同时,由于网络技术的不断成熟,很多的计算机犯罪也也都与网络技术产生了较大的联系。本文就以计算机数据证据的内涵与特点为基础,分析了计算机数据证据取证的特殊性和相应的有效性证明方法。

电子数据取证及其有效性研究

在分析电子数据取证的发展及其存在问题的基础上,对电子数据取证有效性理念及其体系进行了研究。给出电子数据取证的流程,并就这一流程中的有效性规则处理模块和取证有效性证明模块进行了阐述。通过对取证方法有效性和所取数据有效性进行一定的定义和推导,研究了电子数据取证有效性的形式化证明方法。

一种永磁同步电机可视化双矢量调制模型预测控制方法

针对常规永磁同步电机单矢量模型预测控制存在电流谐波较大的问题,采用了一种永磁同步电机双矢量调制模型预测控制方法,以降低电流谐波。首先,定义了一个与常规单矢量模型预测控制相同的目标函数;然后,根据逆变器8个基本电压矢量构建了12个虚拟电压矢量,在计算电压矢量作用时间时,假设每个电压矢量的作用时间与其对应的目标函数值成反比;最后,为了降低计算量,使用了一种改进的电压矢量预选方法,但该双矢量调制模型预测控制方法仍缺乏严格的理论基础。因此提出一种可视化方法来详细证明了所述双矢量调制模型预测控制的有效性,从而为调制模型预测控制及其推广应用提供了坚实的理论基础。所提可视化分析方法还可以扩展到三矢量模型预测控制中。详细的对比实验结果验证了所述控制方法的有效性以及所提可视化分析的正确性。

成绩标准化算法研究与系统实现

本文针对目前常用的成绩标准化的处理方法进行了综合比较,提出了新的成绩标准化算法—变权算法,并对其进行了有效性证明。基于变权算法开发出了"成绩标准化信息管理系统"应用软件。

两电平电压源逆变器双矢量调制模型预测控制:理论分析、实验验证和推广

近年来,模型预测控制(MPC)以其良好的自适应性、鲁棒性等优越性能广泛应用于两电平电压源逆变器中。然而,常规的模型预测控制每个控制周期只使用1个电压矢量,导致电流谐波较大。为抑制电流谐波,提出一种双矢量调制模预测控制策略。首先,在每个控制周期同时使用两个电压矢量来跟踪目标矢量,且每个电压矢量的作用时间根据调制模型预测控制原理计算;其次,根据无差拍控制原理计算参考电压,并根据参考电压位置在每个控制周期仅需要选择三组电压矢量组合进行在线评估,从而得到最优电压矢量组合。最后,通过详细的理论分析,验证了所提双矢量调制模型预测控制策略的有效性。此外,该文研究还表明,所提策略还可用于控制其他类型的逆变器,如三相四开关逆变器。同时,所提方法可以获得和常规双矢量法类似的控制性能,且具有计算量小等优点。理论分析和实验结果验证了所提方法的有效性。

基于SMT的时钟约束语言CCSL的形式化分析方法与工具

时钟约束语言CCSL是一种用于描述实时嵌入式系统中事件之间约束的形式化语言,它是UML针对实时嵌入式系统建模的扩展包MARTE(modeling and analysis of real-time and embedded systems)中用于对时间建模的一个子语言.给定一组由CCSL定义的时钟约束条件,需要判断是否存在某种调度策略满足约束、是否所有满足这些约束的行为都不会导致系统死锁等分析.目前已经有一定的针对CCSL的形式化分析研究工作,如基于状态迁移系统与时间自动机的方法等.但这些方法要么只针对某种特定的分析,要么只适用于部分CCSL约束,要么分析效率较低.提出了基于SMT的统一且高效的CCSL形式化分析方法.统一性体现在其可用于有效性证明、迹分析、死锁检测、LTL模型检测等方面的验证与分析.基于该方法开发了原型工具,同时支持上述4种验证功能.工具集成了当前最高效的SMT求解器Z3和CVC4.得益于SMT求解器的高效性,实验中大部分的验证可以在短时间内完成.

行政处罚决定书的论证与反驳

本文对动物卫生监督执法案例的行政处罚决定书进行了分析,将决定书分为案由、违法条款、处罚依据和处罚内容四个要点,并将这四个要点翻译为四个命题。通过这对四个命题进行逻辑推理,提出了相应的逻辑语言符号。进一步运用这四个要点的逻辑符号进行推理,提出了处罚决定书的论证方法、违法条款的认证方法和针对处罚决定意见存在异议时的反驳方法。