计算机网络课程群的规划与建设 被引量：16

1

作者 王勇 任兴田 +1 位作者 杨建红 方娟 《计算机教育》 2010年第2期102-104,108,共4页

本文结合作者承担的计算机网络课程群建设的实践,设置了计算机网络课程群建设的目标,对计算机科学与技术相关专业本科生的计算机网络课程群的规划和建设进行了初步的探讨。

关键词 计算机网络 课程群 课程建设

下载PDF 职称材料

基于Web Services服务管理系统的研究 被引量：7

2

作者 任兴田 黄小红 马严 《计算机工程》 CAS CSCD 北大核心 2007年第4期91-93,96,共4页

提出了基于Web Services的服务管理体系结构,并设计和实现了基于XML服务管理信息模型和基于SOAP服务管理协议。该系统能够对跨不同管理域的服务进行有效的管理和对服务管理系统进行灵活的配置。通过用XPath表达式指定范围和过滤规则,有... 提出了基于Web Services的服务管理体系结构,并设计和实现了基于XML服务管理信息模型和基于SOAP服务管理协议。该系统能够对跨不同管理域的服务进行有效的管理和对服务管理系统进行灵活的配置。通过用XPath表达式指定范围和过滤规则,有效地共享跨不同管理域的服务管理信息,通过XPath表达式指定的过滤规则支持较细粒度的事件通知,解决了跨不同管理域间实现服务管理的难题。 展开更多

关键词 服务管理 WEB services(WS) XML SLA

下载PDF 职称材料

基于蚁群算法的自适应ad hoc路由协议 被引量：8

3

作者 任兴田 王勇 《北京工业大学学报》 EI CAS CSCD 北大核心 2012年第5期744-748,共5页

为了在ad hoc网络中建立和维护路由,提出一种基于蚁群算法的自适应ad hoc路由协议.该路由协议按需广播蚂蚁,建立了到目的结点的一条路径,并在数据传输过程中通过连续发送蚂蚁维护现有路径和探索新的路径,从而动态建立到目的结点的多路... 为了在ad hoc网络中建立和维护路由,提出一种基于蚁群算法的自适应ad hoc路由协议.该路由协议按需广播蚂蚁,建立了到目的结点的一条路径,并在数据传输过程中通过连续发送蚂蚁维护现有路径和探索新的路径,从而动态建立到目的结点的多路径路由,能较好适应网络拓扑结构的动态变化.仿真实验表明,该路由协议在平均分组端到端的延迟和分组投递率等性能上比AODV和W_AntNet协议具有更大的优势. 展开更多

关键词 AD HOC网络 路由协议 蚁群算法

下载PDF 职称材料

云环境下基于可靠性的均衡任务调度算法研究 被引量：8

4

作者 王勇 刘美林 +2 位作者 李凯 任兴田 许荣强 《计算机科学》 CSCD 北大核心 2015年第S1期325-331,共7页

云计算作为一种新兴的具有商业特性的计算模式,已经受到了广泛的关注。云计算中的关键问题——任务调度问题也成为了社会各界研究的热点。主要以云计算系统中的可靠性需求为优化目标,运用博弈论工具,将云计算的任务调度系统建模为一个... 云计算作为一种新兴的具有商业特性的计算模式,已经受到了广泛的关注。云计算中的关键问题——任务调度问题也成为了社会各界研究的热点。主要以云计算系统中的可靠性需求为优化目标,运用博弈论工具,将云计算的任务调度系统建模为一个合作博弈模型。合作博弈的参与者为计算节点,效用函数为计算节点在稳定状态下的提供能力,博弈策略为任务在计算节点上的速率分配策略。系统中的各计算节点相互合作,选择自己的博弈策略,以期使系统在稳定状态下的提供能力最大。将计算节点看作具有一般重试时间和服务器崩溃的M/G/1排队系统,根据M/G/1排队论,分析了计算节点在稳定状态的提供能力,并根据合作博弈理论知识,证明了纳什讨价还价解的存在性,从而给出了最优博弈策略的求解算法;在此基础上,给出了基于可靠性的均衡任务调度算法。 展开更多

关键词 云计算 合作博弈 任务调度 讨价还价解 可靠性

下载PDF 职称材料

可信计算中信任链建立的形式化验证 被引量：6

5

作者 王勇 许荣强 +1 位作者 任兴田 杨建红 《北京工业大学学报》 CAS CSCD 北大核心 2016年第3期387-392,共6页

为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系... 为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为. 展开更多

关键词 可信计算 信任链 可信平台控制模块 形式化验证 进程代数

下载PDF 职称材料

信任增强的服务组合调度算法 被引量：4

6

作者 王勇 代桂平 +3 位作者 姜正涛 侯亚荣 方娟 任兴田 《电子学报》 EI CAS CSCD 北大核心 2009年第10期2234-2238,共5页

通过把信任度作为组合服务实现调度和绑定的依据,可以使得组合服务的执行和调度更好地围绕服务的信任度展开,有利于信任度高的成员服务加入到服务组合的过程中来,进而提高组合服务的可信性.把信任引入到服务组合中,研究了信任增强的服... 通过把信任度作为组合服务实现调度和绑定的依据,可以使得组合服务的执行和调度更好地围绕服务的信任度展开,有利于信任度高的成员服务加入到服务组合的过程中来,进而提高组合服务的可信性.把信任引入到服务组合中,研究了信任增强的服务组合的调度问题,建立了调度问题的数学模型,设计了基于蚁群系统的调度算法.通过实验结果分析,表明设计的信任增强的服务组合调度算法具有较好的寻优性能. 展开更多

关键词 WEB服务 信任 服务组合 调度 蚁群系统

下载PDF 职称材料

基于进程代数的TCG远程证明协议的形式化验证 被引量：5

7

作者 王勇 方娟 +1 位作者 任兴田 林莉 《计算机研究与发展》 EI CSCD 北大核心 2013年第2期325-331,共7页

可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了... 可信计算组织(Trusted Computing Group,TCG)的远程证明协议是最早提出的远程证明的解决方案,其协议的形式化验证对于工程实施具有重要意义.分析了TCG远程证明协议的两种形式——直接证明协议和借助可信第三方的证明协议,对它们进行了抽象处理,得到了两种协议形式的抽象模型.在抽象模型的基础上,给出了基于进程代数的形式化描述,并分别进行了形式化验证.验证结果表明两种协议形式的并行系统均展示了期望的外部行为. 展开更多

关键词 可信计算 远程证明 协议验证 形式化 进程代数

下载PDF 职称材料

基于Web Services服务管理协议的设计与分析

8

作者 任兴田 黄小红 +1 位作者 苏玉洁 马严 《电子与信息学报》 EI CSCD 北大核心 2007年第10期2460-2465,共6页

该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性... 该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。 展开更多

关键词 互联网服务管理 Web SERVICES UML(Unified Modeling Language) PETRI网

下载PDF 职称材料

基于并发事务逻辑的Web服务编制验证 被引量：3

9

作者 王勇 代桂平 +2 位作者 侯亚荣 方娟 任兴田 《电子学报》 EI CAS CSCD 北大核心 2009年第10期2228-2233,共6页

服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础... 服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性. 展开更多

关键词 服务编制 并发事务逻辑 形式化 验证

下载PDF 职称材料

计算机网络课程设计的任务编制与实践 被引量：3

10

作者 王勇 杨建红 任兴田 《计算机教育》 2008年第22期94-94,37,共2页

本文从计算机网络课程设计的目的、计算机网络课程设计的任务编制和计算机网络课程设计的实践三个方面介绍了作者从事计算机网络课程设计教学实践的一些体会和经验。

关键词 计算机网络 课程设计 任务编制

下载PDF 职称材料

云计算中基于序贯博弈的任务调度策略 被引量：3

11

作者 刘美林 王勇 +3 位作者 李凯 刘鹏飞 任兴田 杨建红 《计算机科学》 CSCD 北大核心 2015年第S1期341-344 358,358,共5页

随着互联网应用的普及,云计算逐渐成为企业、学者等各界研究的热点。云计算是继分布式计算、并行计算、网格计算之后的一种新兴计算模式。在对云计算系统的研究中,任务调度是其研究的重点。在总结了云计算的研究现状之后,提出了一种基... 随着互联网应用的普及,云计算逐渐成为企业、学者等各界研究的热点。云计算是继分布式计算、并行计算、网格计算之后的一种新兴计算模式。在对云计算系统的研究中,任务调度是其研究的重点。在总结了云计算的研究现状之后,提出了一种基于序贯博弈的任务调度策略,在任务的响应时间上有较好的优化。 展开更多

关键词 云计算 序贯博弈 纳什均衡 任务调度

下载PDF 职称材料

校选“计算机网络”的实用性教学原则与实践 被引量：2

12

作者 王勇 任兴田 +2 位作者 杨建红 方娟 毛国君 《计算机教育》 2008年第8期116-117,共2页

本文分析了校选计算机网络课程的目的和定位，从教材选取和教学内容组织、教学方法和教学手段、实践环节和考核环节四个方面讨论了教学实践。

关键词 计算机网络 校选课 实用性

下载PDF 职称材料

ANFIDS:基于模糊神经网络的自适应入侵检测系统 被引量：1

13

作者 林昭文 任兴田 马严 《高技术通讯》 EI CAS CSCD 北大核心 2008年第2期116-120,共5页

在研究和分析现有网络入侵检测技术的基础上,提出了一种基于神经网络和模糊推理技术的自适应入侵检测系统(ANFIDS)。该系统运用模糊理论把安全参数模糊化,使得系统能更好地描述网络流量特性与攻击的关系,从而更精确地捕获攻击行为,同时... 在研究和分析现有网络入侵检测技术的基础上,提出了一种基于神经网络和模糊推理技术的自适应入侵检测系统(ANFIDS)。该系统运用模糊理论把安全参数模糊化,使得系统能更好地描述网络流量特性与攻击的关系,从而更精确地捕获攻击行为,同时利用网络流量对隶属度函数和模糊规则进行调整和优化。实验结果表明,训练后的 ANFIDS系统能够检测网络的异常行为并有效地减低误报率。 展开更多

关键词 入侵检测 模糊推理 神经网络 自适应系统

下载PDF 职称材料

新一代互联网服务模型及框架研究

14

作者 赵海军 马严 +2 位作者 黄小红 苏玉洁 任兴田 《高技术通讯》 CAS CSCD 北大核心 2007年第11期1101-1106,共6页

针对下一代互联网基础网络资源异构、用户需求个性化、参与者众多等特征,结合Web服务、语义Web、服务分类、参与者角色细分、面向服务的体系结构、开放网格服务体系结构等研究成果,分别从服务参与者、语义描述、技术视点角度提出了多角... 针对下一代互联网基础网络资源异构、用户需求个性化、参与者众多等特征,结合Web服务、语义Web、服务分类、参与者角色细分、面向服务的体系结构、开放网格服务体系结构等研究成果,分别从服务参与者、语义描述、技术视点角度提出了多角色合作交互管理模型、本体模型和能力分层提供模型。多角色合作交互管理模型使用智能化方式综合管理服务,本体模型解决服务本质特征统一语义描述的问题,能力分层提供模型实现异构基础网络资源的融合开放,并基于这三个服务模型提出了一个完整的服务框架。 展开更多

关键词 下一代互联网(NGI) 服务模型 WEB服务 语义WEB 面向服务架构 开放网格服务体系结构

下载PDF 职称材料

NetConf查询操作的形式化模型

15

作者 任兴田 马严 《大连理工大学学报》 EI CAS CSCD 北大核心 2005年第z1期52-54,共3页

使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.

关键词 网络管理 NETCONF 形式语义学 XML

下载PDF 职称材料

基于模糊逻辑的组合服务信任度评估方法

16

作者 王勇 代桂平 +1 位作者 侯亚荣 任兴田 《北京工业大学学报》 EI CAS CSCD 北大核心 2010年第12期1711-1716,共6页

基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任... 基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任度的估算方法. 展开更多

关键词 服务组合 信任 信任度评估 模糊逻辑

下载PDF 职称材料

基于XML服务管理信息的访问控制模型

17

作者 任兴田 黄小红 +1 位作者 苏玉洁 马严 《北京工业大学学报》 EI CAS CSCD 北大核心 2009年第10期1412-1418,共7页

提出了一种基于XML细粒度的服务管理信息的访问控制模型,用于控制服务管理站对服务管理信息的访问.采用了形式化方法定义服务管理信息的访问控制模型的主体、客体和授权规则;讨论了授权规则的冲突解决方法,设计了标记XML文档中哪些节点... 提出了一种基于XML细粒度的服务管理信息的访问控制模型,用于控制服务管理站对服务管理信息的访问.采用了形式化方法定义服务管理信息的访问控制模型的主体、客体和授权规则;讨论了授权规则的冲突解决方法,设计了标记XML文档中哪些节点的元素或属性可以被操作的标签树算法;描述了服务管理系统中细粒度访问控制模型的4种操作.该模型能控制服务管理站对服务管理信息的访问控制,控制粒度可以达到XML文档中的元素或属性. 展开更多

关键词 网络管理 访问控制 XML

下载PDF 职称材料

基于Petri网的可信连接架构的安全属性分析

18

作者 任兴田 《高技术通讯》 CAS CSCD 北大核心 2012年第8期812-818,共7页

为确保可信连接架构（TCA）自身的安全可靠，研究了其安全属性量化问题，分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模，该模型用于描述攻击行为和TCA的双... 为确保可信连接架构（TCA）自身的安全可靠，研究了其安全属性量化问题，分析了其双向用户身份认证和平台认证过程中存在的安全威胁。利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模，该模型用于描述攻击行为和TCA的双向认证过程。以该模型为基础构造了马尔科夫链，通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析。最后给出了一个具体数值评估结果的实例。此研究给出的方法有理论和实用意义。 展开更多

关键词 可信计算 可信连接架构(TCA) 安全属性 定量分析 随机PETRI网

下载PDF 职称材料

基于SNMP代理的IPv6网络仿真环境

19

作者 任兴田 赵晓宇 马严 《通信学报》 EI CSCD 北大核心 2005年第B01期238-241,共4页

提出了一种利用软件技术仿真IPv6大型网络的方法，并详细分析了采用基于IPv6的SNMP代理技术实现对IPv6大型网络环境仿真的技术需求，并对实现作了初步介绍。

关键词 IPV6 SNMP AGENT 仿真环境 XML

下载PDF 职称材料

基于安全Web服务的网络管理技术的性能研究

20

作者 任兴田 黄小红 +1 位作者 苏玉洁 马严 《高技术通讯》 CAS CSCD 北大核心 2006年第7期676-680,共5页

实现了基于安全Web服务（WS）的网络管理的原型.研究了在读取不同对象数的情况下,由于消息认证和加密而增加的计算负担对网络性能的影响,并获得了WS在不同的安全等级以及是否压缩的情况下性能与读取对象数之间的关系.同时,对安全WS和SNM... 实现了基于安全Web服务（WS）的网络管理的原型.研究了在读取不同对象数的情况下,由于消息认证和加密而增加的计算负担对网络性能的影响,并获得了WS在不同的安全等级以及是否压缩的情况下性能与读取对象数之间的关系.同时,对安全WS和SNMPv3在带宽使用情况和往返时延方面的性能进行了深入研究,结果表明,WS由于加入了安全（认证和加密）机制而增加了计算负担,但是在读取大量对象数时,压缩的安全WS的性能优于SNMPv3的性能,而且安全功能所增加的负担并不会影响网络的正常运行. 展开更多

关键词 网络管理 WEB服务 XML SNMPV3 安全套接口层(SSL)

下载PDF 职称材料