|
|
|
|
|
FCS | 文章精要：华东师范大学朱惠彪教授团队——CaIT演算的证明系统 |
|
|
论文标题：
期刊：
作者：Ningning CHEN, Huibiao ZHU
发表时间：15 Apr 2024
DOI：
微信链接：
导读
物联网（IoT）可以实现人、机、物随时随地互联互通。现有的研究大多集中在物联网的实际应用上，缺乏从形式化方法的角度对物联网系统进行建模和推理的研究。因此，CaIT（Calculus of the Internet of Things）演算被提出来，在物联网实际实施之前，对其进行建模和分析，从而可以有效提高物理网系统的开发效率，并确保系统的质量和可靠性。为了验证由CaIT演算描述的物联网系统的正确性，本文基于带有时间的霍尔逻辑，提出了CaIT演算的证明系统。此外，我们探索了单独的证明之间的协作关系，即它们相互协作验证这些证明中提到的通信行为的后置条件，其中广播通信是我们研究的重点。我们还证明了证明系统的正确性，并给出了一个简单的“智能家居”注册来说明这个证明系统的可用性。
文章信息
相关内容推荐：
Frontiers of Computer Science
Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社和北京航空航天大学共同主办、SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机明升体育app领域具有创新性的综述论文、研究论文等。本刊主编为周志华教授，共同主编为熊璋教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和明升官网明升体育app引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“明升官网科技期刊国际影响力提升计划”；入选“第4届明升官网国际化精品科技期刊”；入选“明升官网科技期刊卓越行动计划项目”。
《前沿》系列英文学术期刊
由教育部主管、高等教育出版社主办的《前沿》（Frontiers）系列英文学术期刊，于2006年正式创刊，以网络版和印刷版向全球发行。系列期刊包括基础明升体育app、明升m88明升体育app、工程技术和人文社会明升体育app四个主题，是我国覆盖学科最广泛的英文学术期刊群，其中12种被SCI收录，其他也被A&HCI、Ei、MEDLINE或相应学科国际权威检索系统收录，具有一定的国际学术影响力。系列期刊采用在线优先出版方式，保证文章以最快速度发表。
明升官网学术前沿期刊网
特别声明：本文转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
