线性空间理论相关论文
目前，计算机系统的设计正确性检验问题已成为人们关注的重点，形式化方法就是一种新兴的系统设计验证方法，它有效地弥补了传统的测试、......
将量纲分析中的Ⅱ定理用线性空间表示，建立一种量纲分析的系统方法，并利用科学计算软件Mathematica9提供的新功能，使量纲分析变得方便......
