期刊文献+
共找到15篇文章
< 1 >
每页显示 20 50 100
基于快照轮询和文本检测的批量网页防篡改系统 被引量:4
1
作者 阮宏玮 李华 +2 位作者 王小雨 吴承勇 庞滨 《广西大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第A01期142-147,共6页
本文首先分析了校园网络的建设意义,介绍了校园网络监控服务的现状,比较了主流的网页防篡改技术。在此基础上提出了网页比对属性的概念,给出选取比对属性的原则,并提出了以比对属性为核心的文本检测方法。最后设计并实现了基于快照轮询... 本文首先分析了校园网络的建设意义,介绍了校园网络监控服务的现状,比较了主流的网页防篡改技术。在此基础上提出了网页比对属性的概念,给出选取比对属性的原则,并提出了以比对属性为核心的文本检测方法。最后设计并实现了基于快照轮询及文本检测的批量网站网页防篡改系统,阐述主要技术要点细节,给出总体设计框架,分析了系统优缺点,并指明了下一步的工作方向。 展开更多
关键词 批量网页防篡改 比对属性 文本检测
下载PDF
主成分分析法的网页篡改检测 被引量:2
2
作者 阮宏玮 刘铁钢 +1 位作者 李华 王小雨 《中国科技论文》 CAS 北大核心 2012年第7期544-547,共4页
通过介绍网页在生活和应用中的重要性,说明网页篡改的主要方法以及特点。针对网页属性选取的规范化程度不高,规则不清晰和检测工作量很大等问题,提出对网页属性进行分类,对不同分类的属性采取适应性针对性规则处理方法,在保证效率的基... 通过介绍网页在生活和应用中的重要性,说明网页篡改的主要方法以及特点。针对网页属性选取的规范化程度不高,规则不清晰和检测工作量很大等问题,提出对网页属性进行分类,对不同分类的属性采取适应性针对性规则处理方法,在保证效率的基础上实现降维处理,以减轻检测压力。提出利用主成分分析法对网页属性进行分类和规范化,并基于此提出指导性的实现网页防篡改检测系统规则。 展开更多
关键词 网页篡改 主成分分析 属性分类 文本检测
下载PDF
论盲人摸象带给计算机教育的新思维 被引量:2
3
作者 阮宏玮 李华 邢海峰 《计算机教育》 2009年第23期110-112,共3页
本文针对计算机教学的难点和普遍存在的重理轻文倾向,以盲人摸象的新解另辟蹊径,提出教学过程中应注重结合文、哲等学科以提升教学效果,实践教学证明,这样的思维方式有益于启发学生的跳跃思维,对传统的计算机教育有一定的启示意义。
关键词 盲人摸象 重理轻文 新思维
下载PDF
基于XML和计费集成自动发现校园网布线拓扑方法
4
作者 阮宏玮 李文 +2 位作者 敖腾河 吴承勇 邢海峰 《计算机应用》 CSCD 北大核心 2009年第B06期38-40,43,共4页
从网管实际需求出发,针对校园网一些传统网络建设缺失网络布线拓扑导致维护困难的现象,采用基于XML的支持telnet设备互操作模型和计费集成设计了一种简单、快捷、低廉的方法,基于统计意义自动发现网络布线拓扑。
关键词 校园网 布线拓扑 XML 计费集成
下载PDF
SFCDSL:一种服务功能链领域专用语言
5
作者 阮宏玮 李华 王显荣 《小型微型计算机系统》 CSCD 北大核心 2022年第5期1114-1120,共7页
为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软... 为满足用户服务功能链需求,加快服务功能链编程效率,设计一种面向服务功能链领域的专用语言SFCDSL.从规范化和可扩展性考虑,首先提出SFC抽象化层次框架和SFCDSL编程框架.对于SFCDSL中的服务关系采用基于面向对象设计方法,给出了基于软件定义SF和面向对象的SFC形式化定义,在此基础上重点分析了SFCDSL的对象关系设计和风格设计,之后以实现的北向扩展ETSI NFV环境的Intent和南向基于Floodlight SDN的SFC框架原型,结合典型需求实例说明了SFCDSL语言可用性、可演化性和可扩展性优势,最后与其它SFC技术进行了分析对比. 展开更多
关键词 服务功能链 领域专用语言 形式化
下载PDF
OpenFlow协议IPv6属性测试研究 被引量:2
6
作者 李元平 李华 +1 位作者 赵俊岚 阮宏玮 《计算机工程与科学》 CSCD 北大核心 2018年第10期1757-1765,共9页
鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv... 鉴于SDN网络中数据转发与控制相互分离的特性,OpenFlow协议在其南向接口中扮演着重要的角色。随着下一代互联网的发展,IPv4可供分配的地址资源已然耗尽,瓶颈地位益发凸显。如何尽快部署IPv6,使其服务于社会生产与生活,使得当前网络与IPv6网络长期共存或平滑过渡到IPv6网络是工业界与学术界要解决的问题。SDN则提供了这样一个选项,其中OpenFlow协议是否支持IPv6协议便成为我们关注的重点。通过形式化方法对OpenFlow协议进行形式化建模,得到其非确定性有限状态机模型,在此基础上得到其测试生成树,以指导测试。同时,对于其是否支持IPv6进行重点关注,利用组合测试的方法,产生了167条测试例。完成了测试引擎的开发,支持高效的测试生成算法,以及测试执行与判定。利用此测试引擎,以上述测试例为测试输入,执行测试过程,同时进一步对测试结果进行分析,得到了定量的分析结果,符合预期要求。 展开更多
关键词 NFSM IPV6 OpenFlow 测试引擎
下载PDF
基于形式化的测试框架及实例分析 被引量:1
7
作者 李元平 李华 +2 位作者 阮宏玮 赵俊岚 王彪 《计算机应用研究》 CSCD 北大核心 2018年第6期1778-1782,共5页
测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法... 测试工作细致繁杂,如何保证测试工作的全面性、完整性并建立统一的测试理论,指导测试工作自动、高效地展开,继而提高测试的复用性,是人们长久以来追求的目标。设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法,由抽象测试序列得到相应的可执行测试序列,论证了此框架的合理性。同时依托该框架设计并实现了相应的关键测试构件之后,利用相应测试构件,在IPv6环境下针对Open Flow协议进行了一致性测试,发现了Open Flow协议实现对IPv6支持的一些实现错误,达到了预期效果。 展开更多
关键词 测试框架 IPV6 OpenFlow 测试引擎
下载PDF
基于YANG的连网需求的建模
8
作者 杨晓 阮宏玮 +2 位作者 王长忠 王显荣 李华 《小型微型计算机系统》 CSCD 北大核心 2017年第11期2482-2487,共6页
网络的连通和隔离是用户最基本的需求,也是网络正确运行的基本保障.为了证明需求与底层网络行为的一致性,首先要对连网需求进行描述,本文使用YANG数据建模语言对需求进行建模,模型的建立分为三个部分:1)需求模型,描述了对象之间在服务... 网络的连通和隔离是用户最基本的需求,也是网络正确运行的基本保障.为了证明需求与底层网络行为的一致性,首先要对连网需求进行描述,本文使用YANG数据建模语言对需求进行建模,模型的建立分为三个部分:1)需求模型,描述了对象之间在服务上的行为关系;2)需求接口模型,完成具体需求的远程过程调用的形式描述,包括RPC的名称,输入参数的形式、以及返回结果;3)需求属性模型,该模型依赖于需求接口模型中的参数输入,将需求属性模型实例化后,可以更好的为其它的服务提供参数输入.然后将模型转换为JAVA服务接口,同时生成相应的REST API为外部应用提供服务,实现需求属性模型向流规则的转化,最后完成了连网需求的建模. 展开更多
关键词 YANG 建模 连网 需求模型
下载PDF
基于SDN的校园网动态服务链设计与实现 被引量:8
9
作者 王长忠 董学诚 +2 位作者 杨晓 阮宏玮 李华 《计算机应用与软件》 CSCD 2016年第12期80-83,共4页
大学校园网中灵活多样的服务受限于校园网网络固定及硬性服务配置组合,不能快速满足用户对服务的灵活配置及网络架构的进化需求。给出基于SDN(Software-Defined Networking)的校园网动态服务链为核心的网络服务架构,利用SDN的控制与转... 大学校园网中灵活多样的服务受限于校园网网络固定及硬性服务配置组合,不能快速满足用户对服务的灵活配置及网络架构的进化需求。给出基于SDN(Software-Defined Networking)的校园网动态服务链为核心的网络服务架构,利用SDN的控制与转发相分离的机制实现对网络设备的逻辑集中化控制,利用SDN的可编程能力实现网络的灵活配置,并借助于SDN网络对数据包的修改能力,最终以动态服务链的形式对外提供校园网服务。实现了服务的动态添加、删除、动态透明迁移以及软服务和硬服务的混合编排,最后通过原型实验,验证了该方法的可行性。 展开更多
关键词 SDN 动态服务链 组合服务 编排
下载PDF
基于软件复用的学术会议管理系统设计与实现
10
作者 张彦 阮宏玮 《内蒙古电大学刊》 2013年第6期105-109,共5页
分析了学术会议管理系统的问题、现状,从工程化的角度基于软件复用的思想,通过对CMS系统再工程分析,提出复用CMS系统实现内容发布子系统的原则、主要问题及重构方法,以及复用实现会议注册管理的主要技术,该复用系统已通过测试及实际部... 分析了学术会议管理系统的问题、现状,从工程化的角度基于软件复用的思想,通过对CMS系统再工程分析,提出复用CMS系统实现内容发布子系统的原则、主要问题及重构方法,以及复用实现会议注册管理的主要技术,该复用系统已通过测试及实际部署运行。对于构建功能丰富、性能稳定、经济快速的学术会议管理系统具有重要指导意义。 展开更多
关键词 软件复用 会议管理 内容管理系统 软件再工程
下载PDF
一种基于DBN-LR集成学习的异常检测模型 被引量:8
11
作者 连超 李华 +2 位作者 刘亚 韩家茂 阮宏玮 《小型微型计算机系统》 CSCD 北大核心 2019年第12期2637-2643,共7页
目前企业所面临的运维环境往往是复杂系统的整合,因此,对多种数据源进行有效综合分析和异常检测,做到故障规避、及时止损,是企业在数字化转型道路上的关键.本文在分析云环境异常检测特点的基础上,提出了一种基于深度置信网络集成学习的... 目前企业所面临的运维环境往往是复杂系统的整合,因此,对多种数据源进行有效综合分析和异常检测,做到故障规避、及时止损,是企业在数字化转型道路上的关键.本文在分析云环境异常检测特点的基础上,提出了一种基于深度置信网络集成学习的异常检测模型.该模型解决了运维数据集正负样本不平衡问题,同时利用深度置信网络良好的特征提取功能,对多源时序KPI数据进行有效降维,并结合逻辑回归和受限玻尔兹曼机实现了异常检测,单个弱分类器对异常的识别率在99%以上.将多个弱分类器进行多数投票集成,提高了模型整体的泛化性,使异常检测模型的平均准确率达到了98.35%. 展开更多
关键词 深度置信网络 受限玻尔兹曼机 逻辑回归 集成学习
下载PDF
用户QoS与网络资源感知的服务功能链部署方法 被引量:3
12
作者 崔雅君 李华 +2 位作者 阮宏玮 许彤 王显荣 《小型微型计算机系统》 CSCD 北大核心 2021年第9期1931-1937,共7页
软件定义网络与网络功能虚拟化的发展,使得运营商可以更加灵活的根据用户请求部署服务功能链(Service Function Chains,SFC)为用户提供服务.当前对SFC部署方法的研究大多考虑了运营商的利益,不考虑用户体验到的服务质量(Quality of Serv... 软件定义网络与网络功能虚拟化的发展,使得运营商可以更加灵活的根据用户请求部署服务功能链(Service Function Chains,SFC)为用户提供服务.当前对SFC部署方法的研究大多考虑了运营商的利益,不考虑用户体验到的服务质量(Quality of Service,QoS)或是考虑的维度单一.鉴于此,提出了一种用户QoS与网络资源感知的服务功能链部署方法SA-TS,该方法综合考虑用户多个维度的QoS需求与运营商的成本,形式化描述了底层资源的约束条件,用时延、服务可用性、链路丢包及拥塞刻画了用户需求.SA-TS方法首先利用模拟退火算法构造了一个满足约束条件的启发式的初始解,然后结合禁忌搜索算法的记忆功能,在该可行解的邻域构造了一组候选解,最后利用禁忌表使候选解朝最小化运营商成本的目标函数不断移动寻优,直到得到最优解.仿真结果表明,该方法在有限的网络资源中很好的保证了用户对服务的QoS需求,得到的解的质量较高,相比于GLR和GLT两种方法,部署成功率平均提高了11%,链路拥塞率平均降低了16%. 展开更多
关键词 软件定义网络 网络功能虚拟化 服务功能链 服务质量 服务功能部署
下载PDF
CPN建模与on-the-fly方法相结合的测试用例生成 被引量:1
13
作者 张玉荣 李华 +3 位作者 邢熠 王显荣 阮宏玮 张素梅 《软件学报》 EI CSCD 北大核心 2017年第10期2564-2582,共19页
在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴... 在对复杂的软件系统进行测试时,生成的系统状态空间可能会非常庞大.为了避免对整个状态空间进行遍历,提出将on-the-fly方法与CPN形式化建模方法结合起来,用于生成测试例.在这种方法中,无需对整个状态空间进行遍历,只是仅对测试人员感兴趣的部分状态空间进行针对性的测试.首先,给出CPN和扩展可达图的定义,介绍了on-the-fly测试方法中涉及的相关概念,包括系统规约、测试目的、同步乘积和测试例等.然后,实现了同步乘积算法,并设计相关测试例对其进行了测试.最后,选定一个被测系统示例CPN建模与on-the-fly结合的方法,并通过适配器实现与被测系统的交互,生成和执行测试例,由此验证了方法的可行性和有效性. 展开更多
关键词 on-the-fly测试 CPN层次模型 扩展可达图 同步乘积 测试例
下载PDF
基于过滤驱动的文件防护系统的实现 被引量:1
14
作者 刘铁钢 阮宏玮 +2 位作者 王燕 庞滨 李华 《内蒙古大学学报(自然科学版)》 CAS CSCD 北大核心 2014年第3期299-303,共5页
为了提高Web服务器的安全性,结合当前主流的防篡改技术,设计并实现了基于文件过滤驱动的文件保护程序.根据文件保护程度不同,将被保护文件分为两个不同保护等级,低级保护等级包括禁止写操作、删除操作、重命名操作,其中禁止写操作是通... 为了提高Web服务器的安全性,结合当前主流的防篡改技术,设计并实现了基于文件过滤驱动的文件保护程序.根据文件保护程度不同,将被保护文件分为两个不同保护等级,低级保护等级包括禁止写操作、删除操作、重命名操作,其中禁止写操作是通过禁止修改文件只读属性来控制.高级保护等级是通过Hook技术禁止对文件进行访问操作,实验表明通过这两种方法实现的文件驱动程序可以进一步加强服务器文件的安全性. 展开更多
关键词 过滤驱动 文件属性 防篡改
原文传递
测试驱动的OpenFlow协议建模
15
作者 吕亮亮 阮宏玮 +1 位作者 董路路 李华 《小型微型计算机系统》 CSCD 北大核心 2016年第5期966-971,共6页
对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分... 对OpenFlow协议的形式化建模进行了研究,提出一种基于测试驱动的形式化建模新方法,首先,该方法在OpenFlow协议形式化建模之初就考虑它的测试例生成,然后对OpenFlow协议的通信过程进行了分析,并将其划分为三个阶段,最终得出先分段,再分角色对OpenFlow协议进行建模,并根据模型生成可执行测试例,用于测试支持OpenFlow协议的各种设备和控制器是否符合规范.对OpenFlow协议通信的第一个阶段—Hello消息,采用提出的方法进行了建模及测试例生成实验,实验结果表明,该方法有效简化了OpenFlow协议的形式化建模及测试例生成过程. 展开更多
关键词 软件定义网络 OpenFlow 测试 建模
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部