统计算法选择对统计模型检测效率的影响分析

近年来,统计模型检测技术已经得到了广泛的应用,不同的统计算法对统计模型检测的性能有所影响。主要对比不同统计算法对统计模型检测的时间开销影响,从而分析算法的适用环境。选择的统计算法包括切诺夫算法、序贯算法、智能概率估计算法、智能假设检验算法及蒙特卡罗算法。采用无线局域网协议验证和哲学家就餐问题的状态可达性验证为实例进行分析,使用PLASMA模型检测工具进行验证。实验结果表明,不同的统计算法在不同的环境中对模型检测的效率有不同的影响。序贯算法适用于状态可达性性质的验证,时间性能最优;智能假设检验算法与蒙特卡罗算法适合验证复杂模型。这一结论有助于在模型检测时对统计算法的选择,从而提高模型检测的效率。     

功能需求到测试用例的可追溯性研究

软件开发主要由需求收集、设计、实现、测试和维护等几个阶段构成,其中维护始终是主要开销。在维护阶段,开发人员必须理解程序才能定位缺陷,而系统的需求和源代码、测试用例等之间的可追溯性连接能帮助减少开发人员在理解程序时的工作量。研究现有的功能定位技术和可追溯性方法,通过对现有方法的改进,提出了一种集成动态执行信息和IR技术的方案来建立需求到测试用例的可追溯性连接,用以辅助开发人员在维护阶段的工作。     

卷烟工厂生产异常信息分析及推送系统

卷烟工厂信息化程度高,采集了丰富的生产数据,如何有效利用这些生产数据来监控生产过程中的异常信息,是本文研究重点.在以往的监控中,管理者通过生产看板和人工反馈发现异常信息,并做出调整.这种方式对异常信息的响应速度慢,且存在疏漏.因此,本文提出了一种卷包车间生产异常信息分析方法来获取有效异常信息,同时将该信息通过移动平台推送给相关管理人员,从而提高异常信息响应能力和生产管控水平.     

基于图像混合图结构的区域匹配和图像约化算法

讨论使用混合图对图像进行识别的连通性、相似性和可比性原则,并提出一种混合图结构的约化算法。通过可比性原则,对图像的混合图结构中复合节点用参考图像进行比较,计算出混合图复合节点在参考图像中的可能匹配和相似度,以此对混合图结构进行约化。为方便计算和阐述约化过程,使用单个属性,对混合图进行属性标记,把相似性比较简化为线性复杂度的排序和查询运算。结果显示,该方法切实可行。     

网页中商品“属性—值”关系的自动抽取方法研究

商品属性及其对应值的自动挖掘,对于基于Web的商品市场需求分析、商品推荐、售后服务等诸多领域有重要的应用价值。该文提出一种基于网页标题的模板构建方法,从结构化网页中抽取完整的商品“属性—值”关系。该方法包含四个关键技术 1)利用商品网页标题构建领域相关的属性词包;2)基于预设分隔符细化文本节点;3)结合领域商品属性词包获取种子“属性—值”关系;4)结合网页布局信息和字符信息来筛选与构建模板。该文的实验基于相机和手机两个领域展开,获得94.68%的准确率和90.57%的召回率。     

基于WebGL的医学图像三维可视化研究

现今医学图像往往与大型的硬件设备和复杂的软件联系在一起, 然而随着互联网技术的发展, 越来越多互联网应用的出现改变了人们对传统本地软件的依赖, 现今医学图像在互联网领域才刚刚起步, 提出了一种在浏览器中实现医学图像的三维可视化的方法, 能够通过成熟的本地医学图像平台(比如3DSlicer)获取医学图像数据, 结合HTML5以及WebGL(Web Graphics Library)来实现医学图像的三维可视化.     

基于投递概率预测的DTN高效路由

在延迟容忍网络中,基于配额的多拷贝路由通过对消息拷贝数量的限制来控制开销,如何在控制开销的前提下尽可能提高消息投递成功率是其需要解决的关键问题.文中首先分析了提高消息投递成功率的配额分配策略,然后据此提出一种基于投递概率预测的配额路由算法.该路由算法根据节点的本地信息预测到其它节点的投递概率,在复制消息时,根据节点间投...     

基于VR的空间机器人遥控操作仿真的研究

在分析现有遥控操作系统存在问题的基础上,提出了修正的人在回路中的传真方案,并指出该方案要解决的三个关键技术：虚拟环境建模技术、校准处理技术及人－机接口技术。重点讨论空间机器人虚拟环境的建模技术及六自由度空间球的人－机接口技术。并给出了在三维空间球遥控下的空间机器人仿真结果。     

分布式集成信息系统中知识检索方法

支持产品设计的分布式集成信息系统中知识库是系统的核心,如何准确检索到所需知识对系统运行性能有重要影响。文章通过将人工神经网络、模糊理论和规则推理相结合提出的快速、有效的知识检索方法,并探讨了知识分层问题,以支撑件知识检索为对象开发了知识检索方法,为分布式集成信息系统的成功运行提供性能保障。     

汉英翻译系统英文生成中选词模型的设计

本文描述了一种基于实例比较,辅以语义模式匹配的英文选词模型的设计。首先,我们讨论了汉英翻译系统英文生成中选词的重要性,然后比较了几种可能的选词策略并提出我们的选词模型,接着我们较详细地描述了生成词典的结构以及选词算法。文中,我们还简要介绍了我们所使用的语义知识资源——《知网》。