您的位置： 专家智库 > >

国家自然科学基金(61070030)

作品数：6 被引量：33H指数：3
相关作者：赵会群孙晶魏光郭峰孙秀娟更多>>
相关机构：北方工业大学北京工业职业技术学院更多>>
发文基金：国家自然科学基金北京市属高等学校人才强教计划资助项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 6篇期刊文章
  • 2篇会议论文

领域

  • 7篇自动化与计算...
  • 1篇经济管理

主题

  • 3篇物联网
  • 3篇联网
  • 2篇代数模型
  • 2篇数模
  • 1篇代数
  • 1篇电子标签
  • 1篇信息安全
  • 1篇射频识别
  • 1篇识读器
  • 1篇体系结构
  • 1篇自动生成
  • 1篇自动生成工具
  • 1篇网构软件
  • 1篇网模型
  • 1篇结构化操作语...
  • 1篇进程代数
  • 1篇集中管理
  • 1篇加密
  • 1篇管理模型
  • 1篇NORMAL...

机构

  • 7篇北方工业大学
  • 1篇北京工业职业...

作者

  • 5篇赵会群
  • 4篇孙晶
  • 1篇郭峰
  • 1篇余昌蓉
  • 1篇魏莹
  • 1篇王文文
  • 1篇孙秀娟
  • 1篇魏光

传媒

  • 1篇计算机学报
  • 1篇小型微型计算...
  • 1篇计算机与数字...
  • 1篇北京工业职业...
  • 1篇信息与电脑（...
  • 1篇中国科学：信...

年份

  • 1篇2015
  • 2篇2014
  • 3篇2013
  • 1篇2011
  • 1篇2010
共 6 条 记 录，以下是 1-8
全选 清除 导出
排序方式：
一种SOA软件系统可信性评价方法研究被引量：21
2010年
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义;证明可信范式下SOA软件系统的Markov特性,提出SOA软件系统的综合可信性评价模型.通过一个案例解释SOA软件系统可信性模型的应用.最后通过与同类研究比较,总结本文的特点和贡献.
赵会群孙晶
EPC物联网中标签加密算法研究被引量：1
2014年
针对EPC物联网中数据安全性问题,以及传统的PKI系统构建开销过大、认证体系复杂等问题,提出一种轻型的PKI加密算法。该算法结合EPC物联网的特点,通过引入EPC密钥和基于社会学信任协商模型的认证机制,对传统的PKI进行裁减,在不改变传统PKI基本功能的前提下对加密算法及CA管理进行简化,形成了轻型的PKI算法,构建了具有复合物联网特点的安全体系结构。实验表明:改进的算法有效地实现了对EPC数据访问的控制,保证了物联网中的信息传输效率。
孙秀娟赵会群
关键词：电子标签物联网信息安全
Technology research of publish service with reliable property
In order to guarantee the reliability of services composition, the author puts forward a few Trustworthy Norma...
J.SunN.N.LuoN.Shen
网构软件体系结构代数模型被引量：8
2013年
由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力.本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算.结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强.为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究.
赵会群孙晶
关键词：抽象代数进程代数
一种面向服务Petri网模型及其结构化操作语义被引量：3
2013年
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用代数化的构造性方式表达,本文进一步给出EON的结构化操作语义,这种语义是遗忘式的,不依赖于EON的标识,而是用发生变化的代数表达式描述EON的运行状态.
郭峰魏光邓蒙蒙
关键词：PETRI网结构化操作语义
服务体系结构的动态演化方法研究
针对服务动态演化基础理论研究薄弱的问题,提出了一种基于服务体系结构代数模型的体系结构动态演化方法。通过定义服务体系结构映射、体系结构同态与同构演化,明确了服务体系结构演化是一种代数系统变换的范例,从而可以用代数学方法分析...
赵会群孙晶魏莹王文文
关键词：代数模型物联网
文献传递
基于GFT的TTCN-3测试套自动生成工具的设计与实现
2013年
针对TTCN-3(Testing and Test Control Notation Version 3)第三部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图的图形编辑工具,强有力地支持TTCN-3测试套的开发。一方面提高了TTCN-3测试套的开发效率,测试套的可读性;另一方面,对图形元素的添加限制也有效地保障了开发的TTCN-3代码符合TTCN-3核心语言规则。
孙晶余昌蓉
关键词：TTCN-3测试用例生成
物联网中RFID识读器非集中管理模型的实现
2015年
随着物联网应用的越来越广泛,物联网应用系统的传感器节点数量越来越大、种类越来越多,传感器节点的管理越来越复杂。具体到RFID识读器系统管理,现在采用最广泛的是集中管理模型,管理中心要管理系统内各个地点的识读器,由于识读器数量持续增大,管理中心的工作变得越来困难。针对上述问题,设计实现了RFID识读器的非集中管理模型,识读器由本地终端服务器直接管理,管理中心通过和终端服务器进行通信,间接控制识读器完成工作,管理中心只接收终端服务器处理好的数据。这样把识读器的管理工作分布到终端服务器上,管理中心只负责和终端服务器通信,不再负责具体的识读器管理工作,系统内识读器由各个终端服务器进行非集中管理,可以根据具体管理的识读器的个数调节终端服务器的个数,该模型能够完成大量识读器的管理工作。
刘帅飞赵会群
关键词：物联网射频识别识读器
全选 清除 导出
共1页<1>
聚类工具0