工作流门户中的流程分析

工作流管理系统记录了在流程执行时的发生的事件通过对这些珍贵信息的分析,可以让企业和IT人员捕获到潜在的影响企业效率的问题,并制定相应的解决方案.文中采取数据仓库技术和联机分析处理(online analytical processing,OLAP)工具来整合、分析和表示从流程日志里获得的信息.对于更进一步的分析,数据仓库仍然可以作为数据挖掘和知识发现技术的基础.     

基于分簇的无线传感器网络数据汇聚传送协议

提出了一种基于分簇的无线传感器网络数据汇聚传送协议CDAT(a cluster-based data aggregation and transmission protocol for wireless sensor networks).CDAT通过均衡能耗的分簇方法及数据预测传送机制,可以有效延长网络的生命期.在簇头选取阶段,利用应用期望的无缝覆盖率与所需簇头数的数学关系,限制节点竞选簇头的初始概率,并联合节点的度和剩余能量来选取簇头;在数据聚合阶段,簇头广播消息,接收所有加入该簇的成员节点,然后对簇内数据进行聚合;在数据传送阶段,利用数据在时间上的相关性,簇头在满足传送精度的要求下,采用预测传送机制将数据传送给基站,通过该机制,网络有效地减少了数据传送的次数.理论分析和模拟实验结果表明,CDAT协议在满足应用期望的服务质量要求下,通过均衡能耗、减少数据传送次数,使得网络生命期优于LEACH(low-energy adaptive clustering hierarchy),PEGASIS(power-efficient gathering in sensor information systems)等协议.     

命令的指称语义在谓词域上的一种表示

文中讨论了谓词转换器和状态转换器之间的对应关系,将谓词转换器作为命令的指称,刻画了IMP语言命令的指称语义,并证明与状态转换器形式的指称语义是等价的.     

SIMD-LA模型上的大整数乘法

本文提出了一种基于SIMD-LA模型的大整数乘法的算法,将分治策略与Karatsuba-Offman算法相结合改进了已有的算法.当使用p台处理器,大整数长度n＜=256p时,其时间复杂度为O(p);大整数长度n＞256p时,其时间复杂度为O(p[n]1.58/|p|+p).其时间复杂度比传统算法有了进一步的提高.     

多被动传感器多目标数据互联算法

将求解指派问题的行列启发式算法应用于求解多传感器多目标数据互联的广义3D分配问题松弛的2D子问题;针对3D分配算法计算量较大的问题提出一种改进算法。仿真结果表明,行列启发式算法不仅实施方便,而且程序运行时间较短。改进的3D分配算法既大幅度降低了3D分配问题的拉格朗日松弛算法的程序运行时间,又可将目标互联准确率提高3%～5%。行列启发式算法与改进的3D分配问题算法联合使用,可进一步减少改进3D分配算法的运算量,使其能更好地适应工程实际应用的需要。     

黄河宁夏水权转换实践与关键技术探讨

通过黄河宁夏水权转换三个试点启动项目,以及后续多个水权转换项目可行性研究,从保护灌区出让方和用水企业受让方的根本利益出发,对水权转换过程中的转换水量、转换费用和建设管理等进行了分析,并结合宁夏自然条件和引黄灌区渠道工程特点,提出了有利于农户、企业和国家的水权转换要点.     

旅行售货员问题的图论近似算法

讨论了旅行售货员问题和图论中的哈密顿回路之间的关系,在此基础上结合图论中关于完全图最短路径的近似算法得到旅行售货员问题的一种近似算法。通过分析及实例验证了所提出的算法的可行性及有效性。     

混沌粒子群优化算法

将混沌融入到传统粒子群提出了混沌粒子群算法。该方法利用了混沌运动的遍历性、随机性以及对初值的敏感性等特性,根据早熟判断机制,在基本粒子群算法陷入早熟时,进行群体的混沌搜索．数值仿真结果表明该方法能跳出局部最优,进一步提高了计算精度和收敛速度,以及全局寻优能力。     

全排列递归算法在算法教学中的重要性

全排列递归算法简洁,清晰,可读性强。针对该算法在递归算法的设计以及回溯法中的应用．讨论了全排列递归算法在算法教学中的重要作用。     

基于分布Maple系统下特征列相关算法的并行化研究

特征列算法是吴方法的核心算法,为了提高吴方法的计算效率,分析吴方法计算中的特征列计算和多项式因式分解,采用粗粒度并行计算的方法,给出基于分布Maple系下的吴方法计算的特征列计算以及多项式因式分解的并行化算法,为吴方法计算的并行化研究提供方法.