空间完备性理论及其测试

证明和测试是验证规格说明是否正确的2种方法，两者互为补充。针对软件规格说明难以证明的问题，提出对状态空间进行完备性测试的理论。采用构造函数和受限状态空间的概念，讨论用于测试Z规格说明语言初始状态存在性的方法，通过实例证明该方法的可行性。

Theory of Space Completion and Its Test

The variety of facial pose and expression will affect the result of facial recognition.The traditional methods analyses facial pose and expression from every pixel of image on the contrary.This paper analyses the pose and expression from geometric relationship among image data.It uses Locally Linear Embedding(LLE) which computes low dimensional,neighborhood preserving embedding of high-dimensional data.The algorithm finds the nonlinear structure of data effectively,invariable to translation,revolution and s...