论文标题： Theoretical Computer Science 领域精选集

期刊：Frontiers of Computer Science

微信链接：点击此处阅读微信文章

编者荐语：

《前沿》系列之《计算机科学前沿》精选荐读

Frontiers of Computer Science (FCS) 近期发表了Theoretical Computer Science 领域的论文10余篇，我们从中精选了最受关注的5篇。欢迎浏览！

Research article

1.A verification framework for spatio-temporal consistency language with CCSL as a specification language

Yuanrui Zhang, Frédéric Mallet, Yixiang Chen

以CCSL为规约语言的时空一致性语言的验证框架

Frontiers of Computer Science, 2020, 14(1): 105–129

摘要：时空一致性语言（STeC）是一种用来专门处理时空行为——即与特定的位置与时间相关的行为的高层建模语言。这样对位置和事件的约束在某些实时系统中是及其重要的。CCSL语言是一种基于逻辑时钟的形式化规约语言。介于它表达基于逻辑和精密计时的时间约束的强大的表达能力，被用于对实时系统的一些关键安全性质进行刻画。这篇文章考虑一种新颖的，结合STeC语言和CCSL语言的形式化验证框架，该框架其优势是可强调系统行为的时空一致性约束，以及对一些关键时钟约束的易表示性。文章提出了一个基于联系这两种语言的理论和在STeC模型中验证CCSL类型的一种方法。文章采用UPPAAL作为模型检测工具，并通过一个简单例子说明了如何在我们的框架中进行验证。

点击阅读文章精要：【FCS 理论计算科学专栏】以CCSL为规约语言的时空一致性语言的验证框架

2.Connection models for the Internet-of-Things

Kangli He, Holger Hermanns, Hengyang Wu,Yixiang Chen

一个用于物联网的连接模型

Frontiers of Computer Science, 2020, 14(3): 143401

3.Varna-based optimization: a novel method for capacitated controller placement problem in SDN

Ashutosh Kumar Singh, Saurabh Maurya, Shashank Srivastava

基于Varna的优化：解决在SDN中容量受限的控制器放置问题的新方法

Frontiers of Computer Science, 2020, 14(3): 143402

Letter

1.An algorithm for solving satisfiability problem based on the structural information of formulas

Zaijun Zhang, Daoyun Xu, Jincheng Zhou

一种基于公式结构信息的可满足性问题求解算法

Frontiers of Computer Science, 2021, 15(6): 156405

摘要：本文设计了一种基于公式结构信息的可满足性问题求解算法。该算法利用给定命题公式的变元图中节点的信息熵来诱导生成初始赋值。同时，当算法遇到局部最优时，它根据不满足子句的权重或结构信息来选择最优或次优的不满足子句，而不是随机选择一个。最后，我们将该算法整合到两个最优的SAT求解器中，通过实验验证了该算法的有效性。

2.Nonmonotonic propositional logic

Wei Li, Yuefei Sui, Yuhui Wang

非单调命题逻辑

Frontiers of Computer Science, 2021, 15(3): 153402

Frontiers of Computer Science

Frontiers of Computer Science （FCS）是由教育部主管、高等教育出版社和北京航空航天大学共同主办、SpringerNature 公司海外发行的英文学术期刊。本刊于 2007 年创刊，双月刊，全球发行。主要刊登计算机科学领域具有创新性的综述论文、研究论文等。本刊主编为周志华教授，共同主编为熊璋教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和中国科学引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“中国科技期刊国际影响力提升计划”；入选“第4届中国国际化精品科技期刊”；入选“中国科技期刊卓越行动计划项目”。

《前沿》系列英文学术期刊

由教育部主管、高等教育出版社主办的《前沿》（Frontiers）系列英文学术期刊，于2006年正式创刊，以网络版和印刷版向全球发行。系列期刊包括基础科学、生命科学、工程技术和人文社会科学四个主题，是我国覆盖学科最广泛的英文学术期刊群，其中13种被SCI收录，其他也被A&HCI、Ei、MEDLINE或相应学科国际权威检索系统收录，具有一定的国际学术影响力。系列期刊采用在线优先出版方式，保证文章以最快速度发表。

高等教育出版社入选“中国科技期刊卓越行动计划”集群化项目。Frontier系列期刊中：13种被SCI收录；1种被A&HCI收录；6种被Ei收录；2种被MEDLINE收录；11种中国科技核心期刊；16种被CSCD收录。

中国学术前沿期刊网

http://journal.hep.com.cn