您的位置： 专家智库 > >

任兴田

作品数：24 被引量：70H指数：5
供职机构：北京工业大学计算机学院更多>>
发文基金：国家重点基础研究发展计划下一代互联网中日IPv6合作项目博士科研启动基金更多>>
相关领域：自动化与计算机技术文化科学机械工程更多>>

合作作者

文献类型

  • 20篇期刊文章
  • 3篇会议论文
  • 1篇学位论文

领域

  • 21篇自动化与计算...
  • 4篇文化科学
  • 1篇机械工程

主题

  • 11篇网络
  • 5篇网络管理
  • 5篇XML
  • 4篇计算机
  • 4篇计算机网
  • 4篇计算机网络
  • 3篇调度
  • 3篇形式化
  • 3篇可信计算
  • 3篇课程
  • 3篇WEB_SE...
  • 3篇PETRI网
  • 3篇WEB服务
  • 2篇代理
  • 2篇信任
  • 2篇形式化验证
  • 2篇形式语义学
  • 2篇蚁群
  • 2篇义学
  • 2篇语义

机构

  • 14篇北京工业大学
  • 11篇北京邮电大学
  • 1篇中国传媒大学

作者

  • 24篇任兴田
  • 10篇马严
  • 9篇王勇
  • 6篇方娟
  • 6篇杨建红
  • 5篇黄小红
  • 4篇苏玉洁
  • 3篇侯亚荣
  • 3篇代桂平
  • 2篇赵晓宇
  • 2篇李凯
  • 2篇毛国君
  • 2篇刘美林
  • 2篇许荣强
  • 2篇王勇
  • 1篇林昭文
  • 1篇刘鹏飞
  • 1篇林莉
  • 1篇赵海军
  • 1篇王勇

传媒

  • 4篇北京工业大学...
  • 4篇高技术通讯
  • 3篇计算机教育
  • 2篇电子学报
  • 2篇计算机科学
  • 1篇电子与信息学...
  • 1篇计算机研究与...
  • 1篇通信学报
  • 1篇计算机工程
  • 1篇大连理工大学...
  • 1篇2004年C...
  • 1篇第二届中国计...
  • 1篇中国教育和科...

年份

  • 1篇2016
  • 2篇2015
  • 1篇2013
  • 2篇2012
  • 2篇2010
  • 3篇2009
  • 4篇2008
  • 3篇2007
  • 2篇2006
  • 3篇2005
  • 1篇2004
共 24 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
NetConf查询操作的形式化模型
2005年
使用形式语义学方法详细说明了查询操作需求分析,建立了查询过程演算概念,并以NetConf协议的查询操作(get)为例验证了提出的方法.
任兴田马严
关键词：网络管理NETCONF形式语义学XML
可信计算中信任链建立的形式化验证被引量：6
2016年
为了对可信平台控制模块的信任链建立过程进行理论验证,在对基于可信平台控制模块(trusted platform control module,TPCM)的信任链建立过程进行抽象处理的基础上,给出了抽象模型中各个实体状态的进程代数描述,并利用进程代数的公理系统做了形式化验证.验证的结果表明系统具有期望的外部行为.
王勇许荣强任兴田杨建红
关键词：可信计算可信平台控制模块形式化验证进程代数
校选“计算机网络”的实用性教学原则与实践被引量：2
2008年
本文分析了校选计算机网络课程的目的和定位，从教材选取和教学内容组织、教学方法和教学手段、实践环节和考核环节四个方面讨论了教学实践。
王勇任兴田杨建红方娟毛国君
关键词：计算机网络
基于Web Services服务管理协议的设计与分析被引量：3
2007年
该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。
任兴田黄小红苏玉洁马严
关键词：SERVICESPETRI网
基于Web Services服务管理系统的研究被引量：9
2007年
提出了基于Web Services的服务管理体系结构,并设计和实现了基于XML服务管理信息模型和基于SOAP服务管理协议。该系统能够对跨不同管理域的服务进行有效的管理和对服务管理系统进行灵活的配置。通过用XPath表达式指定范围和过滤规则,有效地共享跨不同管理域的服务管理信息,通过XPath表达式指定的过滤规则支持较细粒度的事件通知,解决了跨不同管理域间实现服务管理的难题。
任兴田黄小红马严
关键词：服务管理WEBXMLSLA
ANFIDS:基于模糊神经网络的自适应入侵检测系统被引量：1
2008年
在研究和分析现有网络入侵检测技术的基础上,提出了一种基于神经网络和模糊推理技术的自适应入侵检测系统(ANFIDS)。该系统运用模糊理论把安全参数模糊化,使得系统能更好地描述网络流量特性与攻击的关系,从而更精确地捕获攻击行为,同时利用网络流量对隶属度函数和模糊规则进行调整和优化。实验结果表明,训练后的 ANFIDS系统能够检测网络的异常行为并有效地减低误报率。
林昭文任兴田马严
关键词：入侵检测模糊推理神经网络自适应系统
基于Web Services服务管理技术的研究
随着互联网的飞速发展和网络服务/(WWW、FTP、IPTV、VoD、VoIP和QQ等/)的极大丰富，传统的网络管理已经不能满足服务提供商对网络服务管理的需求，而且它的不足和缺陷正逐渐暴露出来，成为进一步发展的瓶颈。为了加...
任兴田
关键词：服务管理网络管理XMLPETRI网访问控制
文献传递
基于模糊逻辑的组合服务信任度评估方法
2010年
基于信任的主观性、不确定性和模糊性,给出了信任度的模糊表示方法,分析了基于WS-BPEL的组合服务模型中编程结构对于信任度评估的贡献情况,设计了基于WS-BPEL的服务组合模型中活动的信任度推理规则,并给出了基于模糊逻辑的组合服务信任度的估算方法.
王勇代桂平侯亚荣任兴田
关键词：信任信任度评估模糊逻辑
基于并发事务逻辑的Web服务编制验证被引量：3
2009年
服务编制解决的是组织之间的业务集成问题,面临的是一个广泛分布、动态、自治、异构的网络环境,保障组合服务的正确执行以及相关特性的验证问题显得尤为重要.形式化方法是一种有效的解决方法,服务编制需要建立在严格的形式化模型的基础上,可以通过具有明确的、形式化语义的形式化模型研制验证工具来完成组合服务正确性的验证.本文基于并发事务逻辑(CTR:Concurrent TRansaction Logic)对服务编制的元素进行了描述和建模,给出了从WS-BPEL到并发事务逻辑的转换规则,讨论了服务编制在CTR中的验证问题以及WS-BPEL和CTR的表达能力,最后给出了一个实际的服务编制在CTR中建模的例子,验证了服务编制的CTR模型的有效性.
王勇代桂平侯亚荣方娟任兴田
关键词：形式化
信任增强的服务组合调度算法被引量：5
2009年
通过把信任度作为组合服务实现调度和绑定的依据,可以使得组合服务的执行和调度更好地围绕服务的信任度展开,有利于信任度高的成员服务加入到服务组合的过程中来,进而提高组合服务的可信性.把信任引入到服务组合中,研究了信任增强的服务组合的调度问题,建立了调度问题的数学模型,设计了基于蚁群系统的调度算法.通过实验结果分析,表明设计的信任增强的服务组合调度算法具有较好的寻优性能.
王勇代桂平姜正涛侯亚荣方娟任兴田
关键词：WEB服务信任调度蚁群系统
全选 清除 导出
共3页<123>
聚类工具0