共被期刊论文引用了4次
您的检索式：您选中1篇文献正在查看引证文献汇总
|
|
|
题名
|
作者
|
年代
|
出处
|
被引量
|
| 1 | 基于物联网的智能饮水机系统设计与实现显示文摘为了实现对饮水机系统的智能管理,在综合分析物联网关键技术的基础上,采用超文本传输协议(HTTPS)协议和安全哈希(SHA1)加密算法,结合通用无线分组技术(GPRS)和无线网(WiFi)技术,运用智能卡防克隆技术形成智能M1卡安全应用体系,同时通过手机应用软件(APP)和微信扫码与后台数据中心服务器进行数据交互,设计了基于物联网的智能饮水机系统。产品测试和应用表明此系统既保障了信息传送的安全性,又实现了对饮水机、用户、售后维护人员以及服务器站点管理人员等大数据的统一管理和维护。 | 夏鲲 付夏乐 陈昂辉 李洪恩 刘邦正 李少华 | 2018 | 电子测量技术2018，41，8： | 9 |
| 2 | Net-structure-based conditions to decide compatibility and weak compatibility for a class of inter-organizational workflow nets显示文摘Inter-organizational workflow nets(IWF-nets) can well model the interactions among multiple processes by sending/receiving messages. Compatibility and weak compatibility are crucial properties for IWF-nets.The latter guarantees that a system is deadlock-free and livelock-free while the former also guarantees that it has no dead tasks. Our previous work proved that the(weak) compatibility problem is PSPACE-complete for safe IWF-nets. This paper defines a class of IWF-nets in which some simple circuits are allowed. Necessary and sufficient conditions are presented to decide compatibility and weak compatibility for this class, and they are dependent on the net structures only. Algorithms are developed based on these conditions. In addition, we show that the traditional net structures like siphon cannot be easily used to decide the(weak) compatibility of IWF-nets. | LIU GuanJun JIANG ChangJun | 2015 | Science China(Information Sciences)2015，58，7： | 3 |
| 3 | Anti-chain based algorithms for timed/probabilistic refinement checking显示文摘Refinement checking answers the question on whether an implementation model is a refinement of a specification model, which is of great value for system verification. Some refinement relationships, e.g.,trace refinement and failures/divergence refinement, have been recognized for different verification purposes.In general, refinement checking algorithms often rely on subset construction, which incurs in the state space explosion problem. Recently the anti-chain based approach has been suggested for trace refinement checking, and the results show a significant improvement. In this paper, we investigate the problems of applying the anti-chain approach to timed refinement checking(a timed implementation vs. a timed or untimed specification) and probabilistic refinement checking(a probabilistic implementation vs. a non-probabilistic specification), and show that the state space can be reduced considerably by employing the anti-chain approach. All the algorithms have been integrated into the model checking tool PAT, and the experiments have been conducted to show the efficiency of the application of anti-chains. | Ting WANG Tieming CHEN Yang LIU Ye WANG | 2018 | Science China(Information Sciences)2018，61，5： | 0 |
| 4 | 支持物联网的智能切削刀具视觉在线监测系统显示文摘针对国内数控加工中心刀具管理混乱、刀具损耗严重进而导致加工工件次品率急剧上升等实际问题,结合国内外智能切削刀具的研究现状和发展水平,提出一种支持物联网的智能切削刀具视觉在线监测系统。该系统构建支持物联网的机器视觉刀具磨损在线监测,采用Zig Bee技术组建无线传感器网络,通过机床关键部位安装的传感器,实现数据的实时传输。通过以太网传输到智能管理系统,并对在线视觉监控和实时传输数据进行分析与整理,完成对刀具生命全周期的在线监测和管理,在保证加工质量的同时提高加工效率和降低成本。 | 郭天赐 曹岩 李丽娟 刘菊花 孙夏辉 | 2018 | 工具技术2018，52，10： | 0 |
您所在的机构暂未开通此部分的功能，请联系管理员