1) algebraic verification
代数验证
2) Proxy test
代理验证
1.
It uses Proxy Leecher,Proxy test to find the proxy server in Internet.
提出一种可动态发现和管理代理服务器信息模型,通过代理吸附、代理验证来发现互联网中的代理服务器,实验表明该模型是可行的。
4) numerical verification
数值验证
1.
Since then, seeking a small upper bound for n_1 so that the numerical verification is practical has attracted researchers\' interests.
自此,怎样估计出尽量小的n_1,从而使得数值验证具有可行性,就成为人们感兴趣的研究课题。
5) data validation
数据验证
1.
Research on data validation with Valang
基于Valang技术的数据验证机制研究
2.
The paper stresses on the floating car data validation.
为探讨当前我国动态交通信息服务的制约因素和发展方向,在北京市实际研究和建设经验的基础上,结合采集交通信息准确性验证、交通信息发布内容以及标准化和产业化建设这三个制约动态交通信息服务发展的因素,分别阐述其发展现状及存在的问题,重点提出浮动车数据验证方法及北京市部分验证结论、动态交通信息发布内容基本原则和发展思路、标准化和产业化建设的机制,为我国动态交通信息采集、处理、发布技术的研发和信息服务系统的建设提供参考。
3.
NET,through research about the common data validation,such as Web form,as well as research about the data validation by developing object members data validation components,it can understand the deeper levels of data val.
NET技术的Web应用程序开发中,通过对Web窗体等几种常用数据验证的研究,以及开发对象成员数据验证组件来进行数据验证的研究,可以更深地理解数据验证技术,以保证程序的安全性和存储信息的正确性。
补充资料：代数的代数
代数的代数
algebraic algebra
代数的代数【aigeb面c aigeb口;缸代6脚盼贬军粗，即;浦钾! 域F上幂结合代数洲特别地结合代数飞.其所有兀素都是代数的几素a任月称为代数的(al罗bral口，如果由“生成的子代数F!a]是有限维的或等价地、兀素a有系数在基域F中的零化多项式).代数A称为有界次代数的代数(al罗braie al罗bra of bounded de-gee)如果它是代数的月其元素的极小零化多项式的次数的集合是有界的.有界次代数的代数的子代数与同态象仍是有界次代数的代数 例:局部有限代数(特别地有限维代数)、诣零代数及不可数域仁有。J数雌一成兀集的结合除环.下面假定所涉及的代数均为结合的，代数的代数的J匆以由son根(J aoobson radl以l)是诣零理想本原代数的代数A同构于除环上向匿空间的线性变换的稠密代数，如果A还是有界次的，则A同构于除环1的矩阵环.有限域上没有非零幂零元的代数的代数(特别地，除环)是交换的.因此，有限除环是交换的.有界次代数的代数满足一个多项式恒等式、见Pl代数(P卜algebra).代数的Pl代数是局部有限的.如果基域是不可数的，则由代数的代数通过基域的扩张所得到的代数，及代数的代数的张量积，都是代数的代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条