您的位置： 专家智库 > >

国家自然科学基金(60863015)

作品数：21 被引量：48H指数：4
相关作者：李华叶新铭吴承勇周建涛郭亚杰更多>>
相关机构：内蒙古大学内蒙古财经学院中国科学院更多>>
发文基金：国家自然科学基金内蒙古自治区自然科学基金教育部“春晖计划”更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 21篇期刊文章
  • 2篇会议论文

领域

  • 23篇自动化与计算...

主题

  • 5篇PETRI网
  • 3篇互操作
  • 3篇篡改
  • 2篇网页
  • 2篇文本检测
  • 2篇路由
  • 2篇接口
  • 2篇互操作测试
  • 2篇PNML
  • 2篇BITTOR...
  • 1篇调度
  • 1篇多属性决策
  • 1篇信息检索
  • 1篇形式化
  • 1篇形式化建模
  • 1篇遗传算法
  • 1篇移动IPV6
  • 1篇移动IPV6...
  • 1篇引擎
  • 1篇语言模型

机构

  • 23篇内蒙古大学
  • 1篇内蒙古财经学...
  • 1篇中国科学院
  • 1篇中国科学院研...

作者

  • 11篇李华
  • 8篇叶新铭
  • 5篇吴承勇
  • 5篇周建涛
  • 3篇庞滨
  • 3篇刘玉林
  • 3篇郭亚杰
  • 3篇阮宏玮
  • 2篇刘铁钢
  • 2篇王小雨
  • 2篇刘龙
  • 2篇岳婧媛
  • 1篇吕东旭
  • 1篇徐小茸
  • 1篇张巨萍
  • 1篇王龙
  • 1篇敖腾河
  • 1篇陆海燕
  • 1篇洪有芬
  • 1篇王佳

传媒

  • 6篇内蒙古大学学...
  • 3篇计算机科学
  • 2篇系统仿真学报
  • 2篇广西大学学报...
  • 1篇计算机研究与...
  • 1篇武汉大学学报...
  • 1篇计算机工程与...
  • 1篇计算机工程
  • 1篇中山大学学报...
  • 1篇小型微型计算...
  • 1篇计算机与数字...
  • 1篇中国科技论文

年份

  • 1篇2014
  • 1篇2012
  • 8篇2011
  • 4篇2010
  • 8篇2009
  • 1篇2008
共 21 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
主成分分析法的网页篡改检测被引量：2
2012年
通过介绍网页在生活和应用中的重要性,说明网页篡改的主要方法以及特点。针对网页属性选取的规范化程度不高,规则不清晰和检测工作量很大等问题,提出对网页属性进行分类,对不同分类的属性采取适应性针对性规则处理方法,在保证效率的基础上实现降维处理,以减轻检测压力。提出利用主成分分析法对网页属性进行分类和规范化,并基于此提出指导性的实现网页防篡改检测系统规则。
阮宏玮刘铁钢李华王小雨
关键词：网页篡改主成分分析文本检测
个性化信息检索方法研究被引量：4
2010年
个性化信息检索是十分有用的检索方法,用户模型能够表示用户个人的爱好与兴趣,有许多研究工作以各种方式使用用户模型扩充问句。提出一种新的基于一元语言模型的方法。它通过对包含多个主题域的长期用户模型的学习得到相关的语义内容,对问句进行扩展后进行检索,得到更接近用户兴趣的结果,然后再与伪相关反馈模型相结合,进一步提高检索性能。通过实验证明,该方法取得了较好的效果。
王俊义叶新铭
关键词：信息检索语言模型个性化
一种轻量级网格工作流引擎的研究与实现被引量：4
2009年
如何将网格技术和现有的工作流技术相结合,通过对资源、业务的合理管理,实现虚拟组织的协同目标,近几年已成为计算机支持的协同工作领域的研究热点。本文在分析现有网格工作流系统的基础上,基于WSRF和WS-BPEL技术,提出了一种网格工作流系统的框架结构,并在该结构的基础上设计、实现了一个轻量级网格工作流引擎。
周建涛徐小茸
关键词：网格工作流WSRFWS-BPEL引擎
基于UCM的Web应用集成测试方法
2010年
UCM(Use Case Map)是一种基于场景的软件工程技术,能够以场景的形式模拟系统的功能。用于以可视化的方式描述一个或多个用例中行为之间的因果关系。文章提出一种基于UCM的web应用集成测试方法。该方法首先利用UCM描述Web系统的行为,得到测试场景,然后对测试场景参数化,最后通过对参数进行实例化生成具体的测试例。
刘玉林
关键词：UCMWEB应用
基于Petri网的构件行为适配模型
2008年
基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署到新系统之前,有必要先检查构件接口行为的兼容性并进行适配,使不同构件之间能够正常交互。提出一种基于Petri网的构件行为的适配算法,该方法用接口Petri网描述构件的接口行为,以用例为单位,利用同步向量检查构件接口交互行为的兼容性,建立基于Petri网的构件行为适配模型,最后验证此模型中行为的兼容性。
刘玉林周建涛
关键词：接口PETRI网
面向用例的构件行为适配模型被引量：1
2010年
基于构件的软件工程的目标是对已有软件构件的重用.实际上,由于构成系统的多个构件之间往往存在不兼容的情况,所以大部分构件不能直接集成到应用中.因此在构件集成之前,需要检测其接口的兼容性并进行适配.针对构件行为的不兼容性,提出面向用例的行为适配算法,生成基于Petri网的适配模型.最后通过检验Petri网的活性,从而验证适配模型的兼容性.
刘玉林孙剑锋
关键词：接口PETRI网
WF-net模型到PNML的转换方法研究与实现被引量：5
2010年
Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于工作流系统建模和定性、定量分析的重要形式化技术之一。工作重点是将WF-net模型转换为PNML格式。首先,在标准PNML元模型的基础上,通过元素扩展提出WF-net的PNML元模型。然后,依据元模型,提出WF-net模型中各元素到PNML格式的转换规则,包括起始/结束库所转换、四种触发器转换和四种分支/合并结构转换。最后设计并实现了WF-net描述到PNML描述自动转换的工具软件。这些工作为Petri网标准交换格式的制定做了有力的探索。
周建涛海晓军
关键词：元模型WF-NETPNML
一种互操作场景中策略路由的建模与测试
策略路由是路由协议中的一种策略,其作用是优化路由。基于一定的场景,就策略路由根据具体情况用FSM进行建模,根据互操作性测试的要求对被测系统的两个对等体的FSM按照合成算法进行合成,基于合成模型,提出一种测试序列推导算法,...
武茂春李华王龙
关键词：策略路由遗传算法
基于属性的Minix3系统调用的建模和测试
2011年
面向属性的测试关注所要测试的部分,比非面向属性需要少得多的测试序列,可以降低测试的复杂度,用层次Petri网对系统进行建模可增强模型的可读性.提取Minix3系统调用的属性,利用层次Petri网对系统调用在功能层次进行了建模,可降低在代码层次中产生的复杂度,提高测试效率.
岳婧媛李华郭亚杰贺楠庞滨
BitTorrent协议的Petri网建模方法研究被引量：3
2011年
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri网层次模型,集成模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析,确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。
刘靖叶新铭李军
关键词：BITTORRENT协议着色PETRI网
全选 清除 导出
共3页<123>
聚类工具0