期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于时间自动机的物联网服务建模和验证 被引量：48
1
作者 李力行 金芝 李戈 《计算机学报》 EI CSCD 北大核心 2011年第8期1365-1377,共13页
物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变... 物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性. 展开更多
关键词 物联网服务 时间自动机 环境实体 服务建模 模型验证
下载PDF
一种基于Android平台数据采集系统的设计与实现 被引量：16
2
作者 王柯 马宏斌 《测绘与空间地理信息》 2014年第10期29-32,共4页
针对快速变化的地理环境实体的数据采集作业,首先基于Android平台的二次开发技术进行了研究,分析了Android平台的开发框架和开发环境搭建流程;然后,针对数据采集作业进行了需求分析,设想了一种基于Android平台的数据采集系统,提出了该... 针对快速变化的地理环境实体的数据采集作业,首先基于Android平台的二次开发技术进行了研究,分析了Android平台的开发框架和开发环境搭建流程;然后,针对数据采集作业进行了需求分析,设想了一种基于Android平台的数据采集系统,提出了该系统的逻辑设计和功能模块设计;最后,对所设想的系统进行了技术验证和效果实现。该系统的设计与实现对数据采集作业方式具有重要的技术参考价值。 展开更多
关键词 地理环境实体 数据采集 二次开发技术 ANDROID平台
下载PDF
从公民环境权保护的视角看环境司法
3
作者 仲卫东 《山东工会论坛》 2015年第1期113-115,共3页
环境司法是保护公民环境权的最后防线和有力屏障。然而纵观我国的环境司法现状,由于存在环境实体法的不完善、环境诉讼主体资格的限制以及环境案件执行救济方面的不足等突出问题,司法在公民环境权的保护上并未发挥出应有的功能。应当加... 环境司法是保护公民环境权的最后防线和有力屏障。然而纵观我国的环境司法现状,由于存在环境实体法的不完善、环境诉讼主体资格的限制以及环境案件执行救济方面的不足等突出问题,司法在公民环境权的保护上并未发挥出应有的功能。应当加快完善环境立法、健全诉讼机制以及不断完善环境案件执行救济体系,以促进环境司法功能的发挥,从而有效保护公民的环境权益。 展开更多
关键词 环境权 环境司法 环境实体法 环境立法 环境公益诉讼
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部