国家自然科学基金(60863015) 作品数:21 被引量:48 H指数:4 相关作者: 李华 叶新铭 吴承勇 周建涛 郭亚杰 更多>> 相关机构: 内蒙古大学 内蒙古财经学院 中国科学院 更多>> 发文基金: 国家自然科学基金 内蒙古自治区自然科学基金 教育部“春晖计划” 更多>> 相关领域: 自动化与计算机技术 更多>>
主成分分析法的网页篡改检测 被引量:2 2012年 通过介绍网页在生活和应用中的重要性,说明网页篡改的主要方法以及特点。针对网页属性选取的规范化程度不高,规则不清晰和检测工作量很大等问题,提出对网页属性进行分类,对不同分类的属性采取适应性针对性规则处理方法,在保证效率的基础上实现降维处理,以减轻检测压力。提出利用主成分分析法对网页属性进行分类和规范化,并基于此提出指导性的实现网页防篡改检测系统规则。 阮宏玮 刘铁钢 李华 王小雨关键词:网页篡改 主成分分析 文本检测 个性化信息检索方法研究 被引量:4 2010年 个性化信息检索是十分有用的检索方法,用户模型能够表示用户个人的爱好与兴趣,有许多研究工作以各种方式使用用户模型扩充问句。提出一种新的基于一元语言模型的方法。它通过对包含多个主题域的长期用户模型的学习得到相关的语义内容,对问句进行扩展后进行检索,得到更接近用户兴趣的结果,然后再与伪相关反馈模型相结合,进一步提高检索性能。通过实验证明,该方法取得了较好的效果。 王俊义 叶新铭关键词:信息检索 语言模型 个性化 一种轻量级网格工作流引擎的研究与实现 被引量:4 2009年 如何将网格技术和现有的工作流技术相结合,通过对资源、业务的合理管理,实现虚拟组织的协同目标,近几年已成为计算机支持的协同工作领域的研究热点。本文在分析现有网格工作流系统的基础上,基于WSRF和WS-BPEL技术,提出了一种网格工作流系统的框架结构,并在该结构的基础上设计、实现了一个轻量级网格工作流引擎。 周建涛 徐小茸关键词:网格 工作流 WSRF WS-BPEL 引擎 基于UCM的Web应用集成测试方法 2010年 UCM(Use Case Map)是一种基于场景的软件工程技术,能够以场景的形式模拟系统的功能。用于以可视化的方式描述一个或多个用例中行为之间的因果关系。文章提出一种基于UCM的web应用集成测试方法。该方法首先利用UCM描述Web系统的行为,得到测试场景,然后对测试场景参数化,最后通过对参数进行实例化生成具体的测试例。 刘玉林关键词:UCM WEB应用 基于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-NET PNML 一种互操作场景中策略路由的建模与测试 策略路由是路由协议中的一种策略,其作用是优化路由。基于一定的场景,就策略路由根据具体情况用FSM进行建模,根据互操作性测试的要求对被测系统的两个对等体的FSM按照合成算法进行合成,基于合成模型,提出一种测试序列推导算法,... 武茂春 李华 王龙关键词:策略路由 遗传算法 文献传递 基于正交实验的Web表单关联项测试 被引量:1 2011年 随着Web应用越来越庞大,Web应用的表单项之间的关系越来越复杂,这给Web测试带来了一定的难度.单纯的将Web表单项作为一个因素进行正交实验会得到一些不合理的测试例,因此将相互关联的表单项作为一个关联组,将关联组作为一个单独的因素进行正交实验,再将关联组内的表单项做全实验后嵌入到正交实验测试例中,得到最终的测试例.相对于简单的使用正交实验得到的测试例,该方法得到的测试例更加合理有效. 郭亚杰 李华 岳婧媛关键词:正交实验 WEB测试 一种互操作测试的建模及测试选择方法 被引量:4 2009年 互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作. 李华 叶新铭 吴承勇 王龙 王玲玲关键词:互操作性 不确定性