QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 一种基于组件的信息物理系统描述语言 学位论文 硕士, 北京: 中国科学院大学, 2017 作者:  时雨霖 收藏  |  浏览/下载：19/0  |  提交时间：2017/07/08 信息物理系统  基于组件  系统描述  XML   Modeling and verifying of CPS component services based on hybrid automata 期刊论文 International Journal of Multimedia and Ubiquitous Engineering, 2014, 卷号: 9, 期号: 6, 页码: 49-57 作者:  Zhang, Jianning;  Zhang, Guanquan;  Yan, Rongjie;  Zhu, Yi;  Qi, Xingjun 收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 一种基于多维属性的CPS软件可信性评估方法 期刊论文 计算机科学, 2013, 卷号: 40, 期号: 11, 页码: 187-190 戎玫 收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16 多维属性  信息物理融合系统  可信证据时效性  软件可信性评估  Multi-attributes  Cyber-physical system  Aging of trustworthiness evidences  Software trustworthiness evaluation   基于体系结构能耗建模的CPS软件可信性评估方法 期刊论文 电子学报, 2013, 期号: 11, 页码: 2270-2275 张广泉; 张侃; 祝义; 周航 收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 信息物理融合系统  软件可信性评估  可信性指标模型  能耗建模  (CPS) cyber physical systems  software trustworthiness evaluation  trustworthiness indicator model  energy con-sumption modeling   描述CPS物理实体的时空Petri网模型 期刊论文 计算机科学与探索, 2013, 期号: 4, 页码: 377-384 张茗泰; 张广泉; 张侃; 陈名才; 封飞 收藏  |  浏览/下载：8/0  |  提交时间：2013/09/17 时间Petri网  信息物理融合系统(CPS)  物理实体  空间信息  时空Petri网   a radio-driven time synchronization protocol in hybrid simulation systems 会议论文 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation, PADS 2012, Zhangjiajie, China, July 15, 2012 - July 19, 2012 Huang Zhiyu 收藏  |  浏览/下载：15/0  |  提交时间：2013/09/22 Embedded systems  Network layers  Sensor nodes   a case study on rest-style architecture for cyber-physical systems: restful smart gateway 期刊论文 COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 卷号: 8, 期号: 4, 页码: 1317-1329 Li Qiang; Qin Weijun; Han Bing; Wang Ruicong; Sun Limin 收藏  |  浏览/下载：17/0  |  提交时间：2013/10/08 cyber-physical systems  REST  architecture  smart gateway  wireless sensor network