【摘 要】
：
形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载
【机 构】
：
国防科学技术大学计算机学院,南京大学计算机科学与技术系,东北大学计算机科学与工程学院
论文部分内容阅读
形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效.本专题主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入评审阶段.每篇稿件经过2位专家的评审,有16篇进入复审阶段,
其他文献
利用中国科学院大气物理研究所研制的短期气候距平数值预测系统（ＩＡＰ ＰＳＳＣＡ），采用两种版本的大气环流模式：ＡＧＣＭ１．１和ＡＧＣＭ１．２，分别以２月１１～１９日的９天大气观测值为初始场，以给定海温边界场，对１９８０～１９９４年的１５年的降水异常进行了
利用１９５５～１９９３年各种类型高原冬季异常积雪资料的综合再分析结果，首次分析、阐明并讨论了青藏高原画异常与中纬度大气环流的关系及其对低纬热带大气和海洋的影响。结果表明，高原冬季雪盖
秩函数法是循环程序终止性分析的主流方法.针对一类多分支多项式循环程序,这类程序的秩函数计算问题被证明可归结为单形上正定多项式的探测问题,从而便于利用线性规划工具Sim
随着云计算、大数据、物联网、移动互联网等新兴技术的快速发展和社交网络、在线购物、位置服务、医疗服务、移动服务和云存储等应用的广泛普及,隐私安全问题有愈演愈烈之势.
本文阐述了学习策略的定义和分类,探讨了学习策略在英语听力中的运用。本文将学习策略应用在英语听前阶段、听中阶段和听后阶段,并分析如何将它们直接运用于学生的学习,从而
利用统计数据模拟方法，通过对各种试验统计方案的功效、准确度和灵敏度的分析，选择适宜的统计方案，确定试验周期和选择影响效果评价各种因子的最佳值，为人工降水方案统计设计提供
用一个具有解析解的二维动力锋生成过程算例，对比自适应网格方案和因定网格方案的优劣，结果表明：同等误差要求下，固定网格方案的网格点数为自适应网格方案的３倍。从时间演化上看，自
此文分析了建设工程评标专家管理、抽取、通知、签到系统的设计原理和功能,该系统基于B/S平台,无需另外安装软件,采用系统集成独有的硬件模块将抽选专家方式完全封装,比同类C
通过大气环流模式试验，研究了春季亚洲中纬带地面温度异常对其后４个月月平均气候参数的影响。结果发现：正的地面温度异常对其后气候参数的影响的第１个月最弱，第３个月最强；它导致欧亚
乳腺癌在我国已跃居妇女恶性肿瘤的第一位。以手术为主的综合性治疗是现阶段治疗乳腺癌的主要手段。乳腺癌改良根治术是临床最常用的手术方式,但皮瓣坏死却是乳腺癌改良根治