用户自定义论文

论文摘要目前，虽然人们应用软件形式化技术、程序正确性证明、模型检验等数学方法来保证软件质量，但在实践中缺乏大规模项目的支持，我们且尚未达到实用阶段。在这种情况下，软件测试在今后...

论文摘要励磁系统本身种类繁多,再加上不断研发的新型号,因此电力系统仿真软件中需要建立大量的励磁系统模型。本文的目的就是采用一种新的建模方法进行用户自定义设计,提高励磁系统建模设...