摘要：System C语言在软硬件协同设计过程中被广泛用来建模和仿真.笔者提出了一种验证System C设计的方法,即通过把System C设计映射成为一个具有良好定义语义的UPPAAL时间自动机.System C设计的结构和非正式定义的行为在形成的UPPAAL时间自动机中得到了完整的保留.产生的UPPAAL模型允许使用UPPAAL模型检查器和其配套工具来进行验证.模型检查器用来验证设计的一些重要属性,比如活性,死锁问题和时间约束属性.通过对两个实例的活性、安全性和时间属性的验证来证明该方法的适用性.

摘要：高校重点实验室秉承开放、流动、联合以及竞争的方针,每年设立一定数量的开放课题。开放课题的设立对重点实验室开展学术交流、人才培养,提升整体科研水平都起到了巨大的促进作用。本文重点介绍广西混杂计算与集成电路设计分析重点实验室在设立开放课题方面的一些做法和取得的一些成效,并对平台管理中存在的问题提出改进的思路及策略。

摘要：提出了对SMT问题的另一种方法.首先,编译SMT公式并转换为CNF公式.然后充分借鉴求解SAT问题中所用的方法,把它和SMT理论相结合,借鉴在2014SAT竞赛中的CCgscore算法,得到一个满足CNF公式的解.最后把得到的当前解与T-solver进行交互并且检查其在特定理论背景下的可满足性.由于在SMT求解的过程中结合了先进的CCgscore算法,所以在求解某些SMT问题时效果比较好.

摘要：高等数学是大学理工科专业的一门必修学位课。线面积分(曲线积分与曲面积分)是高等数学中下册中的一个重难点。很多同学在学习曲线积分和曲面积分时感到很茫然,无从下手。为了能让学生更好地掌握曲线积分与曲面积分,快速、准确地计算曲线积分与曲面积分,本文用类比法来讲解曲线积分与曲面积分,并结合Matlab 2018a软件来演示两类积分的区别。

摘要：文中首先介绍了一致性算法的应用状况,重点结合Paxos算法对并行计算的方法进行了探究。分析了计算机的计算问题,进行了问题抽象,设计了一个基于Paxos算法的分布式计算的原型系统。并通过仿真实验验证了方案的可行性。

摘要：高等数学是大学理工科专业的一门必修课.为了能让学生更准确、更全面地理解高等数学中的基本概念和重要知识点,教师在高等数学课堂教学中可以适当地应用信息化手段辅助课堂教学,将传统教学手段和现代教学手段有机结合起来,以提升课堂教学质量.笔者以广西民族大学2018级软件工程专业为例,讨论分析如何使用先进的信息化手段改进传统教学方式.