形式化推导相关论文
可信软件的不断发展,进一步推动了形式化方法的深入研究。形式化方法具有严格的数学语言和精确的逻辑语义,从而保证软件在开发过程......
目前在高中课堂中,算法的应用也比较多,本文主要提出PAR作为高中阶段对算法学习的基础平台,对素数及多项式两个经典数学问题通过PA......
通过分析操作系统隐通道和数据库隐通道的区别,提出基于操作系统进程的数据库隐通道搜索方法和消除方法.实验表明该方法有效可行.......
