面向流媒体应用的实时可执行概率获取方法研究

为准确获取网络实时可执行概率,从而对网络实时任务进行接纳控制,是解决当前网络尽力服务与实时任务服务质量（QoS）要求间矛盾的重要手段。面向流媒体应用,针对网络资源余量的高度不确定性,分析和实时获取了变化中的网络资源余量的概率时效图,并对今后的时效曲线进行预测,得到流媒体应用的实时可执行概率。实验比较了资源余量的概率时效图的预测值和实测值,结果较符合,为共享资源网络上执行实时任务作出了有益的探索。

基于ASM描述共享网络的实时任务可执行概率设计

利用抽象状态机(ASM),形式化描述了共享网络中实时任务接纳控制机制,提出了实时任务可执行概率设计过程的ASM模型,利用Spec Explorer给出了分析该模型的方法步骤。该模型不仅有助于验证其设计,还有利于实现实时任务接纳控制机制,并为利用ASM模型方法设计实现其他控制机制提供了范例。

保险欺诈概率问题研究

保险欺诈者的行动不仅受到违法成本的影响,也受到法律执行概率的影响。本文从分析保险欺诈者的效用和自身感受到的违法成本出发,研究违法者的行为动机和决策过程,为我国开展保险反欺诈工作和法制宣传教育工作提供对策和建议。

基于加权BPMN模型的流程相似性方法

文章针对现有流程相似性计算方法缺失模型结构考量的问题,提出了一种基于WBPMN模型的流程相似性方法。首先,对边进行分类,定义并给出不同边的执行概率计算方法;其次,由边的执行概率引出WBPMN模型的概念,并给出WBPMN模型的编辑距离;最后给出相似性计算方法整体架构。实验给出一个计算实例并与其他方法进行对比,验证了算法的可行性。

有矩形障碍物的物流射频识别网络优化研究

针对存在矩形障碍物的物流射频识别网络,综合考虑覆盖率、负载平衡程度、成本,建立了网络优化模型.将矩形障碍物对阅读器识别能力的影响问题,归结为线段与矩形对角线的交叉问题.讨论了快速排斥实验对判断是否交叉的影响程度.为减少计算量,提高算法寻优能力,基于Sigmoid函数设计了"跨立实验"执行概率.迭代前期,"跨立实验"执行概率低,加快算法探索速度;迭代后期,"跨立实验"执行概率高,提高算法开发精度.仿真实验表明,该方法具有较佳的搜索性能.

基于剖析信息和关键路径长度的软件扇出树生成算法

开发利用ILP(Inst ruction-level Parallelism)是现代高性能处理器取得高性能的关键要素之一。宽发射的超标量处理器、超长指令字处理器和数据流处理器只有在并行执行多条相邻的指令时才能获得较高的性能。数据流处理器的一个关键问题是如何把指令的计算结果高效地播送给目标指令而不用读写集中式寄存器文件。对于每条目标数大于指令所能编码的目标数的指令,编译程序都要插入一棵由MOV指令构成的软件扇出树来把计算结果播送给多条目标指令。为了暴露更多的ILP给硬件执行基底,提出了一种改进的软件扇出树生成算法,本算法根据目标指令的执行概率大小以及目标指令到该指令所在块的出口的关键路径长度来计算目标指令的权值,然后对各个叶子的优先权值进行排序,再根据优先权值的顺序来构造一棵软件扇出树,以便把指令的计算结果播送给多条目标指令。实验结果发现,本算法相对于传统的软件扇出树生成算法其性能有较大的提高。

服务响应时间约束下通信缺陷智能派单方法研究

针对通信缺陷下派单时效率较低的问题,文章以优化派单服务响应时间为目的,利用时间约束和路径优化方法设计了通信缺陷智能派单方法。首先,计算各派单服务流程的执行概率,依据执行概率调用与概率相统一的结构,利用调用结构预测派单服务响应频率和响应时间,通过预测值确定派单服务的最早开始和结束时间、最迟开始和结束时间以及时间余量信息,以此实现对派单流程实现路径的时间约束;然后,针对不满足时间约束的关键流程路径,采取缩短或替换候选路径的方式进行路径优化,实现派单服务响应时间的优化。实验结果表明,该方法可将通信缺陷智能派单服务响应时间提升4.4倍;不同通信缺陷数量派单任务下,平均响应时间仅为0.09 s,且可有效降低访问频率。

软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.

多自由度遥操作机器人可靠性控制研究

本文针对多自由度遥操作机器人的可靠性控制问题进行了研究,采用时延估计在线获得机器人系统的未知动力学和外界干扰,并在控制过程中加以补偿.这里,我们利用一些满足一定概率分布的不相关的随机变量来表示遥操作机器人的概率性执行器故障.通过考虑遥操作机器人的概率性执行器故障和控制时变时延,我们建立了新的遥操作机器人模型.在此基础上,研究了遥操作机器人的可靠性控制.通过使用Lyapunov稳定性方法和随机系统理论,得到了遥操作机器人的执行器概率分布依赖的渐近均方稳定的充分性条件,其中该条件是以线性矩阵不等式的形式给出,从而非常便于计算机转化为凸优化问题进行求解.最后用一个仿真算例来验证本文给出方法具有以下作用:首先,在考虑遥操作机器人的概率性执行器的故障的情况下,本文提出方法可以很容易地得到控制输入时延的上界;其次,在不考虑遥操作机器人执行器故障时,本文提出方法依然可以使用;最后,在考虑遥操作机器人的概率性执行器故障时,本文提出的方法都可以为其设计理想的控制器.