共有文档1550 打包下载
  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:王超 上传时间:2016-06-16

    摘要:随着软件规模的不断扩大以及复杂度的不断增长,人们越来越关注软件的可信性问题.验证程序是否满足断言所描述的性质,是保证软件可信性的一种常见方法.路径敏感的程序验证由于不可能遍历所有的路径,需要合并路径信息,因此造成精度...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:安子博 上传时间:2016-06-16

    摘要:新阶段,计算机物流管理系统广泛应用于管理工作中各环节,能够有效提升各项管理工作的效率与质量,将管理系统应用于高校繁复的饮食管理工作中具有重大的战略意义。运用计算机物流管理系统进行高校饮食管理能够为高校的饮食管理构建起...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:王娜 上传时间:2016-06-15

    摘要:本文构建了一个基于区间集的组合覆盖测试模型并提出了一个基于区间组合的测试用例生成算法(TCGIC).TCGIC算法用符号执行方法收集程序路径的约束条件,寻找相互关联的输入参数;借鉴组合覆盖测试的方法,构建解区间组合树...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:赵皋 上传时间:2016-06-15

    摘要:为解决云工作流中多租户需求变化的动态适应性问题,提出基于反演模式支持多租户动态配置的云工作流模型。该模型运用反演计算的思想,从过程模型、角色模型、接口模型和状态模型等方面对云工作流进行描述和控制,并通过租户元对象所控...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:蒋雯 上传时间:2016-06-15

    摘要:针对机组运行优化系统设计并实现了数据接口平台。接口采用API方式实现与openPlant SIS数据库之间的数据交互,并采用OPC规范完成了机组运行优化系统各功能模块之间的数据传输。接口平台的OPC服务器采用Wint...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:庞媛媛 上传时间:2016-06-15

    摘要:针对现有的特征函数空间滤值方法存在算法复杂、计算效率低下、难以满足海量空间数据应用需求等问题,提出一种特征函数空间滤值并行化方法。基于主从模型(master/slave模型)和MPI+OpenMP混合编程模式,充分挖...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:沈姗姗 上传时间:2016-06-15

    摘要:针对电力三维交互仿真培训系统的运行和开发需求,设计和开发了基于XNA Framework的三维交互仿真平台PowerX。PowerX支持大规模三维虚拟场景实时渲染,能够很好地呈现具有仿真对象数量众多、虚拟设备三维模型...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:张世杰 上传时间:2016-06-15

    摘要:在充分分析语义网查询语言的语法功能及查询实现的基础上,提出在语义网查询语言的查询语法基础上增加用于查询资源对象间隐性语义关系的语法逻辑。并以实现语义查询的开源软件为基础增加隐性语义查询的算法实现。然后在已有的RDF关...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:李文川 上传时间:2016-06-15

    摘要:文中提出了一种利用公共无线网络实现AIS、VHF、VTMIS功能的内河船舶管理与信息服务系统的总体架构,对实现原理、终端和服务器系统的设计进行了详细描述,就实现系统功能的关键技术问题进行了初步探讨,并通过天津港小型船...

  • 分类:工业技术 格式:PDF 积分:0 机构:武汉大学 上传者:董慧超 上传时间:2016-06-15

    摘要:基于覆盖率的错误定位(Coverage Based Fault Localization,CBFL)方法旨在通过分析程序执行的结果预测错误信息,是一种行之有效的错误定位方法.然而,CBFL方法中代码覆盖率的独立统计忽...

上一页 1 2 3 4 5 6 7 8 9 10 下一页 跳转