公共文化服务平台

共 9 条记录，以下是 1-9

全选清除导出

排序方式：

基于M-tree的不等半径覆盖相异多样集求解方法: 2013年; 通过查询结果多样化处理,能够显著提升用户查询体验.过去的研究集中在等半径结果集多样化的无向图求解,而首次研究不等半径下多样集的有向图求解方法.基于结果集的覆盖相异多样集定义及有向图描述,提出多样化结果集的启发算法,并基于M-tree索引结构实现算法的求解.为了提高算法执行效率,提出剪枝等策略.最后,通过实验,从多样化结果集的大小及计算代价两个方面对比分析验证文中提出算法,并得出相关结论.; 刘明星马武彬邓苏黄宏斌

依据历史轨迹构建城市出租车移动概率模型被引量：4: 2014年; 针对无法在线实时获取移动出租车实时状态信息的条件下,根据对历史轨迹信息的处理分析,提出将隐马尔科夫理论应用到城市出租车移动轨迹模型中,通过实际数据的分析建立出租车运动模型,通过对模型的计算来预测节点的位置分布概率,并在此模型上针对不同的用户需求进行查询处理,为用户提供搭车路线决策支持。通过利用真实数据集的实验证明,模型能够较好的模拟出出租车节点的运动状态,用户也能够从模型中获取较高精度的位置状态信息。; 马武彬刘明星黄宏斌邓苏

处理顺序约束的信息物理融合系统静态任务表调度算法被引量：7: 2012年; 针对异构环境并行计算的静态任务调度问题,以最小化有向无环图(Directed acyclic graph,DAG)的执行跨度为目标,改变HEFT(Heterogeneous earliest finish time)算法中任务上行权重的计算方法,获得更加合理的任务顺序排列,提出了一种最早完成时间优先的表调度算法IHEFT(Improvement heterogeneous earliest finish time).该算法在计算任务的上行权重时,分别计算该任务分配给不同资源的上行权重,取其最小值,比使用所有资源对该任务的平均处理时间进行计算的HEFT算法更为准确.确定任务的处理顺序后采用最早完成时间越小越优先的策略将任务分配给最优资源,并使得任务的开始执行时间和结束时间满足DAG中有向边的通讯时间约束.通过使用部分文献中的算例数据以及随机生成满足一定结构要求的DAG进行算法测试,将IHEFT与HEFT,CPOP(Critical-path-on-a-processor)和LDCP(Longest dynamic critical path)进行了比较,结果显示IHEFT算法更有效,而且时间复杂度较低.; 王小乐黄宏斌邓苏; 关键词：异构计算环境信息物理融合系统有向无环图任务调度表调度

传感器选择问题的GSS算法有效性分析与改进: 2013年; 讨论了GSS算法的最优性,通过理论分析和反例证明了该算法不能保证解的最优性,并在系统状态维度大于观测向量维度的情况下,针对GSS算法起点随意性导致解变差的问题,提出了一种结合穷举搜索的改进方法.实验结果表明,GSS改进算法在实际中具有较好的效果,算法的最优率在90%以上,在未获得最优解的情况下,其所获解与最优解之间的误差在0.35%以下。文中最后以无线传感器网络中的目标跟踪问题为实例进行了仿真实验,结果表明GSS改进算法比原算法更优.; 王小乐黄宏斌邓苏刘明星; 关键词：目标跟踪有效性

面向物联网的语义空间资源索引构建及其查询优化算法被引量：4: 2014年; 面对物联网中的海量空间资源,在空间资源索引的构建中引入语义分类的方法,使得传统的IR树具备语义特征,支持用户对资源的语义查询,并提出一种top-k语义查询优化算法,通过对实际数据的使用和实验分析,得出索引结构的有效性和查询结果的正确性,从索引构建时间、查询时间和查询准确率3个指标来评估算法的性能,实验结果表明,算法支持语义空间资源索引构建,并且查询性能好,准确率高。; 马武彬刘明星邓苏黄宏斌; 关键词：物联网查询优化

基于局部堆内存抽象表示的堆操作程序内存泄露检测被引量：4: 2012年; 堆操作程序通过共享易变数据结构可灵活地申请、合并、删除堆内存.这类程序的内存泄漏检测要求精确的域敏感的指针别名信息,变得尤其复杂和难以处理.针对这个问题,提出了基于"指针扩展类型"域敏感的堆内存抽象方法,对指针变量在形态上的排列关系进行抽象以支持堆的局部推理.首先,定义了各种基本语句的操作语义,然后基于该抽象方法采用前向数据流迭代算法提出了一种新的内存泄露检测算法.在Crystal编译框架下实现了面向C程序的内存泄漏检测原型工具Heapcheck,该工具支持复杂数据结构内指针型数据域上的内存泄露检测.在典型基准C程序上的实验结果分析表明,该方法与现有的技术相比在效率和精度上都具有优势.; 董龙明王戟陈立前董威; 关键词：内存泄漏检测

一种嵌入式操作系统运行时验证方法被引量：3: 2014年; 作为测试、模型检验等开发阶段所用技术的有效补充,运行时验证技术越来越受到广泛的关注。然而,当前的运行时验证技术主要用于应用软件,很少专门针对操作系统进行研究。对面向嵌入式操作系统的运行时验证框架和关键技术进行了研究,并结合一个开源嵌入式操作系统FreeRTOS进行了设计与实现。首先提出了一种面向嵌入式操作系统的运行时验证和反馈调整框架,然后针对框架中的关键技术部分,完成了规约语言的设计、三值语义监控器的生成、FreeRTOS嵌入式操作系统相关接口的实现等主要工作。; 张可迪舒绍娴董威; 关键词：嵌入式操作系统

面向服务的信息物理融合系统建模与验证被引量：8: 2014年; 针对信息物理融合系统(CPS)中建模与验证面临的问题与挑战,基于服务组合的思想,提出一种CPS建模与验证方法。首先,综合分析已有研究成果,提出一种CPS的组成结构,包含物理世界、感知系统、信息处理系统、控制系统及时间约束。基于该结构提出CPS资源的服务分类及组成框架,并利用时间自动机理论,提出CPS物理环境建模方法、CPS原子服务建模方法及服务组合方法。最后,通过案例设计和模型检测工具Uppaal,分别对系统安全性、可达性、活性及时间约束四种类型的性质进行了相关验证。结果表明,系统通过了这些性质的验证,这也证明了面向服务的CPS建模方法的正确性。; 刘明星马武彬邓苏黄宏斌; 关键词：信息物理融合系统时间自动机 UPPAAL

基于状态转移的UAV单机侦察任务调度策略研究被引量：2: 2013年; 针对不确定环境中侦察无人机执行多任务时不同的任务调度顺序对代价和收益的影响,根据多任务执行过程的特征,建立了任务执行过程的状态转移模型.通过对模型推导获得了一个最优性判据,根据该判据对任务进行降序排列能够得到最优调度.仿真实验结果证明了文中所提调度策略的最优性,将文中所提策略产生的表调度算法与遗传算法和穷举搜索进行实验对比,实验结果与理论推导一致,说明了文中所提策略的最优性和高效性.; 王小乐黄宏斌邓苏吴继冰; 关键词：任务调度遗传算法

全选清除导出

共1页<1>

国家高技术研究发展计划(2011AA010106)