工作流管理系统中一种概率性分析和调整时间约束的方法

时间管理是工作流管理系统应提供的重要功能,其中一个关键问题是分析时间约束的可行性,并调整时间约束以避免可能出现的违反.然而,在高度不确定的工作流环境下,传统定性的时间约束分析结果过于严格.因此,提出概率时间约束工作流网来描述时间约束下的工作流流程.基于该网提出一种方法,以随机的形式分析活动满足时间约束的概率.该概率能帮助流程管理者灵活地分析时间约束的可行性,进一步为时间约束调整提供精确的指导.此外,用一个实际工作流管理系统中的例子验证工作的有效性.     

短波地空通信站址布局评估方法

针对短波地空通信站址布局的评估问题,给出2个评估站址布局方案的指标——覆盖度和覆盖效率,分别运用网格扫描法和蒙特卡罗方法对这2个指标进行确定。通过仿真,对正方形和正六边形2种特殊站址布局结构进行评估和比较,得出正六边形结构更合理的结论,并验证了这2个评估指标和确定方法的可行性和有效性。     

基于记忆表的连续蚁群优化算法

蚁群算法的离散本质限制了其在连续问题求解中的应用,针对该问题提出求解连续函数优化问题的连续蚁群优化算法。对概率密度呈高斯分布的分布函数进行随机采样,为每只蚂蚁产生下一步迭代的 个候选位置,引入记忆表取代基本蚁群算法中的禁忌表,通过对记忆表中的优良解进行动态替换实现信息素更新。与其他连续优化算法的比较结果证明,该算法在复杂度、稳定性等方面具有优势。     

基于Sobel算子的自适应图像缩放算法

为了提高图像的缩放质量,提出一种自适应图像缩放算法。当原图像像素点处于边缘区域时,沿Sobel算子确定的边缘方向进行自适应插值,当原图像像素点处于非边缘区域时,采用双线性插值法进行插值。实验结果表明,Sobel算子可有效获得图像边缘特性,该算法能通过较低的运算复杂度获得较好的图像缩放质量。     

并行图形绘制技术综述

为研究并行图形绘制技术,介绍图形绘制的流水线过程,对其内在的可并行性进行分析,研究并行绘制的实现方式,包括流水线并行、数据并行和作业并行,以及前分布拼接合成、中分布拼接合成和后分布拼接合成,讨论并行绘制面临的主要问题及其发展趋势。     

基于SIFT的远程在线教育情感识别研究

针对现代远程在线教育实践领域中的情感缺失问题,提出了一种基于人脸表情识别的尺度不变特征转换SIFT(Scale Invariance Feature Transform)情感识别算法.SIFT情感识别算法以情感计算为理论基础,以人脸面部表情识别为核心技术,通过捕捉远程学习者的面部表情,进行SIFT特征提取,来识别远程学习者的表情,从而来帮助学习者在一定程度上补偿远程学习中缺失的情感.通过SIFT特征提取算法,建立了自动情感识别流程,并通过试验验证了基于SIFT特征提取算法的远程在线教育情感识别的效果是令人满意的.     

一个Object-Z规格说明的证明责任产生器

定理证明是一种形式化验证技术,也是形式化方法的重要组成部分,它能从形式规格说明中推理出应具备的性质与属性,从而可以对规格说明进行形式验证。Object-Z是形式规格说明语言Z的面向对象扩充,基于集合论与数理逻辑,具有严密的逻辑性,适合于精确地描述大型软件系统,并且可以对其形式规格说明进行推理。设计一个证明责任产生器,从Object-Z形式规格说明出发,按照相关规则自动抽取相应的证明责任,这些证明责任可以直接输入到已有的定理证明器Z/EVES中进行证明之。证明责任产生器起着Object-Z规格说明编辑器与证明器Z/EVES之间的桥梁作用,方便于Object-Z形式规格说明的验证。     

低时延的无线传感器网络数据融合算法

由于网内数据融合过程中融合节点在等待其孩子结点传输数据的时间对数据融合过程有很大影响,为减少此等待时间,降低整体的融合时间,提出一种改进的数据融合算法.该算法根据节点的传榆范围,一个簇被分为多个区域,每个节点根据自己所处的区域选择多跳或单跳通信方式向簇头传输数据,减少了等待时间.仿真结果表明,该算法可以降低数据融合时间,减少网络时延.     

移动社会性软件中的位置隐私研究

为了保护移动社会性软件中用户的位置隐私,以位置缸匿名模型为基础,基于分布式结构提出了一种移动社会性软件系统中的P2P位置匿名算法.用户在提出服务请求前,查找k-1个用户形成包含自己在内的一个组,覆盖整个组成员的最小区域就是用户匿名后的位置范围.在该算法中引入了复杂网络中度的概念.根据用户度的大小决定查找k-1个用户的方式(单跳/多跳),有效地减少了服务的平均响应时间.实验结果表明,与基于中心服务器结构的匿名算法相比,该算法有较强的可扩展性和有效性.     

气体传感器的温度调制技术研究进展

气体传感器的温度调制技术是改善传感器选择性和稳定性的有效方法之一,近几年研究比较活跃.详细分析了气体传感器的温度调制技术,并从温度调制方法、动态信号处理技术、调制模式优化以及动态响应建模等方面进行了综述,并讨论了该技术的研究趋势.