软件测试自动化实践

介绍了软件自动化测试技术及其特点,提出了一种具有一定自动化程度的软件测试综合方案,对其原理、方法进行了阐述,讨论并展望了该技术的特点和应用.     

C2有理插值样条曲线曲面

首先提出一组基函数向量,它具有以下特定的性质：ＢＢ（０）Ｔ＝（０．０,１．０,０．０,０．０）,ＢＢ（１）Ｔ＝（０．０,０．０,１．０,０．０）ＢＢ＇（０）Ｔ＝（－０．５,０．０,０．５,０．０）,ＢＢ＇（１）Ｔ＝（０．０,－０．５,０．０,０．５）ＢＢ″（０）Ｔ＝－（１．０,－２．０,１,０,０．０）,ＢＢ″（１）Ｔ＝（０．０,１．０,－２．０．１．０）。进而研究了以此函数向量的张量积形式定义的有理样条曲面。并得以下结论：（１）插值性;（２）Ｃ２连续性;（３）局部性和可调性。文中还分析了“权”的作用,并指出它与三次Ｂ－样条的类似性。     

信息时代航天力量对局部战争的影响

继陆、海、空之后,空间已成为当今维护国家安全和利益所必须关注和占据的"制高点"。文章分析了俄、美这两个航天大国航天力量的发展现状,预测了航天力量对未来作战的影响,结合我国现有的航天系统,提出了发展我国航天力量的一些看法。