![基于类型系统的程序验证方法研究]()
论文摘要今天软件在我们的生活中已经无处不在,它对人们的影响越来越大,虽然有时会觉察不到它的存在。在许多领域如航空航天、金融、医疗、汽车电子等,软件的可信性具有十分重要的意义。随...
![出具证明编译器中证明生成的研究]()
论文摘要随着计算机科学技术的飞速发展,计算机软件的规模日益庞大,调试和维护越来越困难。而另一方面,软件的安全形势严峻,对未受信源提供的代码的安全执行问题逐渐凸现出来。在这种背景...
![有限元法在略阳电厂边坡稳定性分析中的应用与研究]()
论文摘要近年来,边坡稳定性分析一直是岩土工程中重要的研究课题,在岩土工程或土木工程领域占据相当重要的地位。同时,也是全球性三大地质灾害之一,边坡的失稳严重危及到国家财产和人们的...
![VeriJava中静态验证器的设计与实现]()
论文摘要软件的可靠性一直是工业界和学术界关注的焦点,随着软件系统的规模和复杂度的不断增长,如何保证其可靠性成为了亟待解决的问题。软件开发方法和软件工程也在不断发展,当今主流的面...
![面向C程序验证的切片执行方法]()
论文摘要随着计算机系统的广泛应用,计算机软件的高可信性质受到了越来越多的关注。面向软件源程序的形式验证是保障软件高可信性质的一种有效方法,受到了大量的关注和广泛的研究。但是,由...
![Java语言的类和多态性的公理语义]()
论文摘要本文以Java语言为背景,重点讨论了类的继承和多态性的公理语义,同时也给出了必要的及相关的语言成分的公理语义。主要工作包括:（1）给出了类的公理语义,包括类的声明、类的...
![连强：基于RELAP5的螺旋管蒸汽发生器热工水力程序研发与验证论文]()
本文主要研究内容作者连强,田文喜,秋穗正,苏光辉（2019）在《基于RELAP5的螺旋管蒸汽发生器热工水力程序研发与验证》一文中研究指出：由于较高的换热效率和紧凑的结构设计,螺旋管式直流蒸汽发生器(HCOTSG)在多种模块化小型堆的设计中得到了广泛应用。RELAP5作为广泛应用于反应堆热工水力特性分...
