期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于属性文法的本体形式化描述方法及其应用 被引量:5
1
作者 宫慧颖 汪美玲 刘磊 《吉林大学学报(信息科学版)》 CAS 2005年第2期199-204,共6页
在分析本体概念和性质的基础上, 提出一种基于简单属性文法的本体形式化描述方法, 其中文法产生式描述本体内的各种逻辑关系, 为逻辑层推理奠定了基础, 通过属性求值规则实现本体的语义; 设计一种属性求值器的构造方法, 在此基础上实现... 在分析本体概念和性质的基础上, 提出一种基于简单属性文法的本体形式化描述方法, 其中文法产生式描述本体内的各种逻辑关系, 为逻辑层推理奠定了基础, 通过属性求值规则实现本体的语义; 设计一种属性求值器的构造方法, 在此基础上实现基于语义的信息检索模型; 将基于XML (extensibleMarkupLanguage)的本体元数据模型作为属性求值器处理的对象, 提供相应的文档类型定义 (DTD: DocumentTypeDefinition)以指导XML文档的创建; 结合应用实例说明基于此方法的信息检索结果具有令人满意的精确度; 通过改变产生式、属性及属性求值规则可扩充此方法。 展开更多
关键词 本体 简单属性文法 形式化方法
在线阅读 下载PDF
一种改进的规划器算法在军用软件GUI测试用例自动生成中的应用 被引量:1
2
作者 李丽 沈湘衡 +2 位作者 魏颖 任佳阅 王大勇 《解放军理工大学学报(自然科学版)》 EI 北大核心 2010年第3期267-273,共7页
以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事... 以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而这一问题又是导致规划失败的一个重要问题,针对这一现象,以IPP规划器为例,提出目标分解法对规划器所需事实文件进行划分,并对IPP规划器应用多事实文件处理算法进行扩展,扩展后的MF-IPP规划器能够处理多个事实文档,有效避免了组合爆炸问题的发生。将该方法应用到军用主控软件GUI(Graphical User Interface)测试用例自动生成中,主要思想是首先利用规划器生成初始测试用例,其次提出解扩展的方法来完善测试用例的生成。针对测试用例生成问题进行了比对分析,结果显示,MF-IPP可以很好地防止组合爆炸问题的发生。所生成的测试用例生成时间短、覆盖率高,不仅能够很好地辅助软件测试人员进行测试用例的编写,还能应用于自动化软件测试。 展开更多
关键词 组合爆炸 智能规划 MF-IPP GUI测试 测试用例自动生成 解扩展
在线阅读 下载PDF
一种新型超磁致压电混合精密位移机构的研究
3
作者 吴猛 朱喜林 郑慧 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2009年第1期149-151,共3页
为了研究大步距高精度精密位移机构,利用超磁致伸缩材料和压电陶瓷材料在驱动原理和使用方法上的相似性,提出一种超磁致伸缩材料与压电叠堆组成的混合驱动精密位移机构,介绍了机构运动原理及控制方式,制作了试验样机.测试表明,所研制的... 为了研究大步距高精度精密位移机构,利用超磁致伸缩材料和压电陶瓷材料在驱动原理和使用方法上的相似性,提出一种超磁致伸缩材料与压电叠堆组成的混合驱动精密位移机构,介绍了机构运动原理及控制方式,制作了试验样机.测试表明,所研制的混合精密位移机构能实现双向可控运动,单步前进最大位移可达20μm,调节驱动电压可控制单步位移量,能满足大步距、高精度的驱动要求. 展开更多
关键词 超磁致伸缩材料 压电陶瓷 精密驱动 柔性铰链
在线阅读 下载PDF
基于语义分组向量空间模型的Web新闻检索算法
4
作者 王强 战忠丽 张凤君 《电子科技》 2011年第4期24-26,共3页
针对Web新闻信息结构和内容特征,在分析了传统的向量空间模型存在不足的基础上,提出了根据特征词进行语义分组的向量空间模型。该模型将一篇新闻报道中的特征词从语义上划分为相对独立的4个组:时间、地点、人物和事件,进而形成了4个向... 针对Web新闻信息结构和内容特征,在分析了传统的向量空间模型存在不足的基础上,提出了根据特征词进行语义分组的向量空间模型。该模型将一篇新闻报道中的特征词从语义上划分为相对独立的4个组:时间、地点、人物和事件,进而形成了4个向量空间,并对每个向量空间进行特征项权值和相似度的计算。理论分析和实验结果表明,改进后的模型更适应Web新闻信息的检索,使查准率、查全率和查询速度都有所提高。 展开更多
关键词 向量空间模型 语义分组 信息检索 查准率 查全率
在线阅读 下载PDF
数字黑板系统的研究与实现
5
作者 李益民 车进辉 《吉林大学学报(信息科学版)》 CAS 2006年第2期215-219,共5页
在教学过程中教师通常只能使用计算机和数字投影机“展示”事先准备好的电子教案和电子素材,无法进行有效的互动和板书;互动式电子白板虽然可以实现黑板功能,但是受到工作区尺寸的限制,无法在常规教学中广泛使用。针对上述问题,基于人... 在教学过程中教师通常只能使用计算机和数字投影机“展示”事先准备好的电子教案和电子素材,无法进行有效的互动和板书;互动式电子白板虽然可以实现黑板功能,但是受到工作区尺寸的限制,无法在常规教学中广泛使用。针对上述问题,基于人机交互中的笔交互技术、Agent技术,设计并实现了一个数字黑板系统,并将线框几何模型技术和图形约束技术应用其中。系统工作时,使用投影机投影做大尺寸黑板板面,有效地解决了问题。该系统不仅实现了互动式电子白板的功能,同时也实现了一些附加的功能,如在计算机屏幕上直接进行标注和突出显示、黑板视窗、辅助绘图等功能,具有较好的应用前景。 展开更多
关键词 数字黑板 笔交互 消息Agent 屏幕标注
在线阅读 下载PDF
用相关元素定序法实现乐观并发控制
6
作者 苗巍 刘彦华 《吉林大学学报(信息科学版)》 CAS 2004年第5期526-530,共5页
针对两段锁2PL(Tow-PhaseLocking)并发控制方法的死锁率高,使Internet系统的性能大幅度降低的问题,提出了一种基于乐观机制的新的并发控制方法——相关元素定序法,并给出了一种新的冲突验证算法——相关元素验证算法。该方法不存在死锁... 针对两段锁2PL(Tow-PhaseLocking)并发控制方法的死锁率高,使Internet系统的性能大幅度降低的问题,提出了一种基于乐观机制的新的并发控制方法——相关元素定序法,并给出了一种新的冲突验证算法——相关元素验证算法。该方法不存在死锁问题,较以往的乐观并发控制法验证方法简单,事务重启动的次数减少5%,系统的吞吐能力比2PL提高160%,而且能保证重启动事务执行成功,因而能够缩短事务的响应时间,提高系统的吞吐能力。是一种实用的并发控制方法。 展开更多
关键词 并发控制 数据库系统 乐观机制
在线阅读 下载PDF
国画名作赏析网络平台的研究
7
作者 张秋彦 孟为 廖吉宁 《黑龙江科技信息》 2013年第7期198-198,共1页
国画艺术的产生与发展和国画作品的赏析是相辅相成的,如今,信息技术和网络技术的飞速发展促使国画名作赏析媒介发生着重大改变,国画名作赏析网络平台的产生是时代发展的必然趋势。本文主要对国画名作赏析途径的发展过程进行了探讨,并从... 国画艺术的产生与发展和国画作品的赏析是相辅相成的,如今,信息技术和网络技术的飞速发展促使国画名作赏析媒介发生着重大改变,国画名作赏析网络平台的产生是时代发展的必然趋势。本文主要对国画名作赏析途径的发展过程进行了探讨,并从图片检索技术、个性化服务、交互式服务和评价机制,以及网络系统的管理和维护等方面对国画名作赏析网络平台的构建进行了研究。 展开更多
关键词 国画名作 赏析 网络平台
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部