国家自然科学基金(61070030)

作品数：6被引量：33H指数：2
导出分析报告
相关作者：赵会群孙晶魏光郭峰孙秀娟更多>>
相关机构：北方工业大学北京工业职业技术学院更多>>
相关期刊：《计算机与数字工程》《北京工业职业技术学院学报》《信息与电脑（理论版）》《小型微型计算机系统》更多>>
相关主题：物联网MARKOV模型抽象代数进程代数网构软件更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
物联网中RFID识读器非集中管理模型的实现
《信息与电脑（理论版）》2015年第2期1-4,共4页刘帅飞 赵会群 
国家自然科学基金(No.61070030,61370051);北京市教委学术创新团队项目(No.PHR201107107)
随着物联网应用的越来越广泛,物联网应用系统的传感器节点数量越来越大、种类越来越多,传感器节点的管理越来越复杂。具体到RFID识读器系统管理,现在采用最广泛的是集中管理模型,管理中心要管理系统内各个地点的识读器,由于识读器数量...
关键词：物联网 传感器 射频识别 识读器 非集中管理 
EPC物联网中标签加密算法研究被引量：1
《北京工业职业技术学院学报》2014年第4期19-23,27,共6页孙秀娟 赵会群 
国家自然科学基金项目(61070030);北京市市属高校学术创新团队项目(PHR201107107)
针对EPC物联网中数据安全性问题,以及传统的PKI系统构建开销过大、认证体系复杂等问题,提出一种轻型的PKI加密算法。该算法结合EPC物联网的特点,通过引入EPC密钥和基于社会学信任协商模型的认证机制,对传统的PKI进行裁减,在不改变传统PK...
关键词：电子标签 物联网 信息安全 
一种面向服务Petri网模型及其结构化操作语义被引量：3
《小型微型计算机系统》2013年第12期2739-2743,共5页郭峰 魏光 邓蒙蒙 
国家自然科学基金项目(61070030)资助;北京市属高校学术创新团队建设项目(PHR201107017)资助
在工作流网、开放网等Petri网模型的基础上,提出适合描述面向服务系统的Petri网模型—EON(扩展开放网).针对服务的各种组合方式定义了五种EON的组合算子,利用这些组合算子可以从基本EON组合成复杂EON.基于这些组合算子,EON本身可以采用...
关键词：PETRI网 面向服务 结构化操作语义 
基于GFT的TTCN-3测试套自动生成工具的设计与实现
《计算机与数字工程》2013年第6期925-931,共7页孙晶 余昌蓉 
国家自然科学基金项目(编号:61070030;61111130121);北京市市属高校学术创新团队项目(编号:PHR201107107)资助
针对TTCN-3(Testing and Test Control Notation Version 3)第三部分GFT(Graphical presentation format of TTCN-3)标准只对TTCN-3测试行为提供图形表示的问题,提出扩展GFT图形的方法,进一步完善TTCN-3的图形表示格式。实现基于GFT图...
关键词：TTCN-3 GFT 测试用例生成 
网构软件体系结构代数模型被引量：8
《中国科学：信息科学》2013年第1期161-177,共17页赵会群 孙晶 
国家自然科学基金项目(批准号:61070030;61111130121);北京市属高等学校人才强教深化计划学术创新团队项目(批准号:PHR201107107)资助
由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战.挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制.一个有效的途径是建立可范用软件体系结构的抽...
关键词：网构软件体系结构 抽象代数 进程代数 软件演化 
一种SOA软件系统可信性评价方法研究被引量：21
《计算机学报》2010年第11期2202-2210,共9页赵会群 孙晶 
国家自然科学基金(61070030);北京市属高校学术创新团队建设计划项目(可信物联网关键技术研究及应用示范系统研制)资助~~
结合计算机系统可信性评价需求,研究基于SOA软件系统可信性评价方法.首先引入SOA软件代数模型,给出SOA软件可信范式,为从软件体系结构角度研究可信性评价问题奠定基础.给出SOA软件元素(服务组件和服务组合)可信属性的定义以及可信性定义...
关键词：面向服务的体系结构 软件可信性评价 半Markov模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部