|
|
|
|
|
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 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为周志华教授，共同主编为熊璋教授。编委会及青年 ae 团队由国内外知名学者及优秀青年学者组成。本刊被 sci、ei、dblp、inspec、scopus 和中国科学引文数据库（cscd）核心库等收录，为 ccf 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”；入选“中国科技期刊卓越行动计划项目”。
《前沿》系列英文学术期刊
由教育部主管、高等教育出版社主办的《前沿》（frontiers）系列英文学术期刊，于2006年正式创刊，以网络版和印刷版向全球发行。系列期刊包括基础科学、生命科学、工程技术和人文社会科学四个主题，是我国覆盖学科最广泛的英文学术期刊群，其中12种被sci收录，其他也被a&hci、ei、medline或相应学科国际权威检索系统收录，具有一定的国际学术影响力。系列期刊采用在线优先出版方式，保证文章以最快速度发表。
中国学术前沿期刊网
特别声明：本文转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负米乐app官网下载的版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
