Visual Foxpro中提高查询速度的方法与技巧

本文介绍了在ＶｉｓｕａｌＦｏｘｐｒｏ下，如何通过表之间的临时关系，如何巧妙地使用ｓｃａｎ并结合数组而提高查询统计速度的方法，并给出了实际的例子，对比了相同情况下的其它方法。     

运用栅栏函数验证连续系统的有界时间安全性

栅栏函数在连续系统验证方面有着广泛的应用.其主要想法在于: 在可达集和非安全集之间寻找一个栅栏,从初始区域出发的路径不会越过这个栅栏,而非安全区域在栅栏的另外一端.这样就可以通过寻找栅栏函数来验证一个系统的安全性.近年来,已有一些工作讨论连续系统在无界时间情况下的栅栏函数生成.但是对于有些系统,人们可能只关心其在有界时间内的安全性.因为在无界时间内不安全并不能说明在给定时间内也是不安全的,所以对于这类问题无界时间栅栏函数方法并不适用.受无界时间栅栏函数方法的启发,本文针对有界时间的情况,给出有界时间栅栏函数生成方法.首先给出有界时间栅栏函数的一些充分条件.对于多项式系统,将多项式非负的条件做平方和松弛后利用平方和规划工具求解这些充分条件得到栅栏函数;对于初等系统(包含一些初等函数),先将该初等系统转化为一个多项式系统,然后求解对应多项式系统的栅栏函数.对一些无界时间不安全的实例,演示了我们的方法在验证有界时间安性问题上的有效性.     

A complete algorithm for automated discovering of a class of inequality-type theorems

Making use of the discriminant sequence for polynomials, WR algorithm, Wu' s elimination and a partial cylindrical algebraic decomposition, we present here a practical algorithm for automated inequality discovering which can discover new inequalities automatically without requiring to put forward any conjectures beforehand. That is complete for an extensive class of inequality-type theorems. Also this algorithm is applied to the classification of the real physical solutions of geometric constraint problems. Many inequalities with various backgrounds have been discovered or rediscovered by our program, DISCOVERER, which implements the algorithm in Maple.