来源:Frontiers of Computer Science 发布时间:2021/11/19 10:33:22
选择字号:
FCS | 前沿荐读:Theoretical Computer Science 领域精选集

论文标题: 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

 
 
 
特别声明:本文转载仅仅是出于传播信息的需要,并不意味着代表本网站观点或证实其内容的真实性;如其他媒体、网站或个人从本网站转载使用,须保留本网站注明的“来源”,并自负版权等法律责任;作者如果不希望被转载或者联系转载稿费等事宜,请与我们接洽。
 
 打印  发E-mail给: 
    
 
相关新闻 相关论文

图片新闻
基于粒子不可分辨性的量子相干生成 迈向量子互联网的非相邻节点隐形传态
纸一样薄的音箱问世!MIT博士的神奇发明 极小种群野生植物平当树实现人工高效繁育
>>更多
 
一周新闻排行
 
编辑部推荐博文