|
|
|
|
|
FCS | 前沿荐读：Theoretical Computer Science 领域精选集 |
|
|
论文标题： Theoretical Computer Science 领域精选集
期刊：
微信链接：
编者荐语：
《前沿》系列之《计算机明升体育app前沿》精选荐读
Frontiers of Computer Science (FCS) 近期发表了Theoretical Computer Science 领域的论文10余篇，我们从中精选了最受关注的5篇。欢迎浏览！
Research article
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作为模型检测工具，并通过一个简单例子说明了如何在我们的框架中进行验证。
点击阅读文章精要：
Kangli He, Holger Hermanns, Hengyang Wu,Yixiang Chen
一个用于物联网的连接模型
Frontiers of Computer Science, 2020, 14(3): 143401
Ashutosh Kumar Singh, Saurabh Maurya, Shashank Srivastava
基于Varna的优化：解决在SDN中容量受限的控制器放置问题的新方法
Frontiers of Computer Science, 2020, 14(3): 143402
Letter
Zaijun Zhang, Daoyun Xu, Jincheng Zhou
一种基于公式结构信息的可满足性问题求解算法
Frontiers of Computer Science, 2021, 15(6): 156405
摘要：本文设计了一种基于公式结构信息的可满足性问题求解算法。该算法利用给定命题公式的变元图中节点的信息熵来诱导生成初始赋值。同时，当算法遇到局部最优时，它根据不满足子句的权重或结构信息来选择最优或次优的不满足子句，而不是随机选择一个。最后，我们将该算法整合到两个最优的SAT求解器中，通过实验验证了该算法的有效性。
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 年创刊，双月刊，全球发行。主要刊登计算机明升体育app领域具有创新性的综述论文、研究论文等。本刊主编为周志华教授，共同主编为熊璋教授。编委会及青年 AE 团队由国内外知名学者及优秀青年学者组成。本刊被 SCI、Ei、DBLP、INSPEC、SCOPUS 和明升官网明升体育app引文数据库（CSCD）核心库等收录，为 CCF 推荐期刊；两次入选“明升官网科技期刊国际影响力提升计划”；入选“第4届明升官网国际化精品科技期刊”；入选“明升官网科技期刊卓越行动计划项目”。
《前沿》系列英文学术期刊
由教育部主管、高等教育出版社主办的《前沿》（Frontiers）系列英文学术期刊，于2006年正式创刊，以网络版和印刷版向全球发行。系列期刊包括基础明升体育app、明升m88明升体育app、工程技术和人文社会明升体育app四个主题，是我国覆盖学科最广泛的英文学术期刊群，其中13种被SCI收录，其他也被A&HCI、Ei、MEDLINE或相应学科国际权威检索系统收录，具有一定的国际学术影响力。系列期刊采用在线优先出版方式，保证文章以最快速度发表。
高等教育出版社入选“明升官网科技期刊卓越行动计划”集群化项目。Frontier系列期刊中：13种被SCI收录；1种被A&HCI收录；6种被Ei收录；2种被MEDLINE收录；11种明升官网科技核心期刊；16种被CSCD收录。
明升官网学术前沿期刊网
特别声明：本文转载仅仅是出于传播信息的需要，并不意味着代表本网站观点或证实其内容的真实性；如其他媒体、网站或个人从本网站转载使用，须保留本网站注明的“来源”，并自负版权等法律责任；作者如果不希望被转载或者联系转载稿费等事宜，请与我们接洽。
