您的位置： 专家智库 > >

内蒙古自治区自然科学基金(20080404ZD20)

作品数：8 被引量：22H指数：4
相关作者：叶新铭周建涛海晓军李华王俊义更多>>
相关机构：内蒙古大学中国科学院中国科学院研究生院更多>>
发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部“春晖计划”更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 8篇中文期刊文章

领域

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

主题

  • 2篇PETRI网
  • 1篇信息检索
  • 1篇形式化
  • 1篇形式化建模
  • 1篇引擎
  • 1篇语言模型
  • 1篇元模型
  • 1篇轻量
  • 1篇轻量级
  • 1篇着色PETR...
  • 1篇网格
  • 1篇密码
  • 1篇密码协议
  • 1篇互操作
  • 1篇互操作测试
  • 1篇互操作性
  • 1篇会话
  • 1篇个性化
  • 1篇个性化信息
  • 1篇个性化信息检...

机构

  • 8篇内蒙古大学
  • 1篇内蒙古建筑职...
  • 1篇中国科学院
  • 1篇内蒙古农业大...
  • 1篇中国科学院研...

作者

  • 6篇叶新铭
  • 2篇周建涛
  • 1篇徐小茸
  • 1篇白云莉
  • 1篇王龙
  • 1篇吴承勇
  • 1篇刘靖
  • 1篇王玲玲
  • 1篇海晓军
  • 1篇王俊义
  • 1篇李华
  • 1篇郑冰
  • 1篇李军

传媒

  • 3篇计算机科学
  • 1篇内蒙古大学学...
  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇系统仿真学报
  • 1篇计算机与现代...

年份

  • 1篇2015
  • 1篇2012
  • 1篇2011
  • 2篇2010
  • 3篇2009
共 8 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
基于Petri网的密码协议形式化建模被引量：1
2012年
密码协议是安全共享网络资源的机制和规范,是构建网络安全环境的基石,其安全性对整个网络环境的安全起着至关重要的作用。提出了采用Colored Petri Nets(CPN,着色Petri网)分析密码协议的新方法。采用新方法对TMN协议的多次并发会话通信进行形式化建模,模型依据会话配置和会话顺序进行功能单元划分,采用on-the-fly方法生成攻击路径。采用状态空间搜索技术,发现了该协议的多次并发会话不安全状态,并获得了新的攻击模式。
白云莉叶新铭
关键词：密码协议TMNCPN
一种互操作测试的建模及测试选择方法被引量：4
2009年
互操作性测试可以对设备互连互通互操作提供根本保证,一致性测试与互操作性测试既有相交的部分又各有不同.互操作性测试包括两个被测实现,其中一方有时称为QE(qualified equipment).根据被测的规范说明的不确定有限状态机模型和当前已有的互操作性测试经验构建概率不确定有限状态机,有效地刻画当前的互操作性测试状况.基于该模型采用宽度优先算法以及一定的策略生成包含所有状态的二叉树,然后基于得到的二叉树给出了包含不确定状态的互操作性测试序列的选择算法,通过示例展示了提出的算法的有效性,并以RIP协议的计数到无穷为例展示了提出的建模方法的应用.最后给出了结论以及下一步的研究工作.
李华叶新铭吴承勇王龙王玲玲
关键词：互操作性不确定性
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
个性化信息检索方法研究被引量：4
2010年
个性化信息检索是十分有用的检索方法,用户模型能够表示用户个人的爱好与兴趣,有许多研究工作以各种方式使用用户模型扩充问句。提出一种新的基于一元语言模型的方法。它通过对包含多个主题域的长期用户模型的学习得到相关的语义内容,对问句进行扩展后进行检索,得到更接近用户兴趣的结果,然后再与伪相关反馈模型相结合,进一步提高检索性能。通过实验证明,该方法取得了较好的效果。
王俊义叶新铭
关键词：信息检索语言模型个性化
一种轻量级网格工作流引擎的研究与实现被引量：4
2009年
如何将网格技术和现有的工作流技术相结合,通过对资源、业务的合理管理,实现虚拟组织的协同目标,近几年已成为计算机支持的协同工作领域的研究热点。本文在分析现有网格工作流系统的基础上,基于WSRF和WS-BPEL技术,提出了一种网格工作流系统的框架结构,并在该结构的基础上设计、实现了一个轻量级网格工作流引擎。
周建涛徐小茸
关键词：网格工作流WSRFWS-BPEL引擎
BitTorrent协议的Petri网建模方法研究被引量：3
2011年
BitTorrent协议被大规模文件共享、视频点播等P2P应用所广泛采用,但其交互行为复杂且并发度高,难以构建规模适度的形式模型以支持高效可行的协议功能行为分析。基于着色Petri网提出一种BitTorrent协议分层建模方法,给出协议的着色Petri网层次模型,集成模拟、状态空间分析与模型检验等方法对模型的不同抽象层进行分析,确认协议模型有效性,并验证协议行为满足协议需求。BitTorrent协议的着色Petri网层次模型不但为协议开发提供准确、直观的形式规范说明,而且便于协议行为模拟和协议属性分析,有效缓解大规模系统建模分析过程中存在的状态爆炸问题。
刘靖叶新铭李军
关键词：BITTORRENT协议着色PETRI网
TTCN-3测试系统中模板匹配机制的一种实现方法被引量：1
2015年
TTCN-3拥有一个功能强大且易于掌握的模板匹配机制。本文提出一种TTCN-3测试系统开发过程中模板匹配机制通用的、开放的实现方案。通过对模板匹配功能在TTCN-3测试系统中的作用进行深入分析,采用面向对象的程序设计语言C++实现TTCN-3测试系统中带有匹配机制的模板表示和模板匹配操作,并给出一个对于DNS协议实现功能测试的抽象测试套的翻译方案验证本文设计的合理性。
郑冰叶新铭
关键词：TTCN-3测试系统
软件形式验证与测试集成方法研究综述
2009年
形式化方法是具有严格数学基础的软件开发方法,将其应用到软件开发过程中可以有效提高软件质量,以形式模型为基础的形式验证和一致性测试是形式化方法中的关键技术.简介了形式验证与一致性测试技术的研究现状,重点阐述两者集成方法的研究意义和国内外研究现状,并指出进一步研究方向.
叶新铭
全选 清除 导出
共1页<1>
聚类工具0