基于架位预留的藏书扩架执行参数的计算及实施方法

藏书扩架要合理规划、充分利用书架空间。工作中要避免反复倒架等无效劳动,对藏书做好架位预留以便分段实施。扩架执行参数是在倒架过程中必须遵守或参照执行的流程数值。通过测量、计算藏书长度与书架长度的比例关系,结合倒架的不同方式,可以得出工作流程所需要的执行参数。

包含依赖输入分支程序的符号化WCET分析

符号化WCET(worst-caseexecutiontime)分析是用符号表达式表示任务的最大执行时间:表达式中包含了参数.通过在运行时刻快速确定表达式值,符号化WCET分析可以更精确地估算WCET.提出了一种针对其分支直接依赖于输入数据的程序的符号化WCET分析方法.首先对Blieberger方法进行扩充,使得WCET符号表达式能够表达依赖输入分支,然后利用程序的控制依赖图对符号表达式进行化简,从而产生带条件的WCET符号表达式,即不同的条件对应不同的符号表达式.与已有方法不同,符号化WCET公式直接依赖于输入参数,使得运行时的WCET估算更加简单直接.

面向CUDA程序的性能预测框架

为对CUDA并行程序内核性能进行分析和预测,从而指导并行程序设计及性能优化,提出一种性能预测框架.1)从GPU编程模型和设备架构细节入手,以线程束为研究单位,通过整合与GPU程序用时密切相关的软硬件基本特征,定义了并行空间闲置度、流处理器线程束负载、并行效应因子等高层次性能相关特征.2)基于上述特征,框架针对线程负载均衡型GPU程序,评估内核函数在不同问题规模以及执行配置下的执行时间.3)依据性能评估原理提出了内核函数执行配置参数的优化策略.验证实验结果表明,该框架在两种典型情境下对现有程序性能的平均预测准确率分别达到89%和94%,客观归纳了高层次特征与程序性能间的相关关系,且能定性分析并行算法性能水平.

基于LPV观测器的风力机桨距执行器故障诊断

为了快速准确地诊断出风力机桨距执行器故障,在建立的线性变参数(linear parameter varying,LPV)风力机系统的基础上,设计自适应LPV故障观测器.首先,考虑风扰动和故障对系统稳定性的影响,将故障观测器的限制条件扩展到LPV系统,得到自适应LPV故障观测器的限制条件;然后,采用凸分解技术对LPV系统进行近似,从而将求解无穷个线性矩阵不等式的问题转化为求解有限个线性矩阵不等式的问题;最后,利用LMIs工具箱,求解得到自适应LPV故障观测器增益和故障更新增益.仿真结果表明,在处理风力机桨距执行器正弦故障、液压空气含量过高故障和泵堵塞故障方面,该算法比自适应故障观测器算法具有更优的快速性和灵敏度.