从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。
From an application system, this paper analyzes the privacy and authenticity of a security protocol in the electronic fund transfer system with a formal proof method.
同时，从实用的角度来讲，或是从一个消极的角度，这种捐款是免税的。
And also in a very sort of pragmatic sense, in a negative way, it's tax-deductible.
YQL包含一个html实用工具表，您可以将它作为一个过滤器来从一个html页面挖出特定的数据。
YQL includes an HTML utility table, which you can use as a filter to scrape specific pieces of data from an HTML page.
那些产品可能是从一个完全不考虑安全性和实用性的厂家生产出的，那些牙刷的材质很可能是次品甚至会有害。
The product could be from a manufacturer who doesn't care about safety or efficacy. The toothbrushes could be made of inferior or even unsafe materials.
make是将从一个或多个文件构建应用程序的过程自动化的实用程序。
Make is a utility to automate the process of building an app from one or more files.
和上面提到的实用工具不同，db 2提供了db 2move实用工具来将全部数据从一个数据库移动到另一个数据库，db2look实用工具可以生成ddl和统计信息。
Other than the above mentioned utilities, db2 provides the db2move utility to move the entire data from one database to another, and db2look to generate the DDLs and statistics.
本文给出了两种从一个主降压稳压器的功率级得出一个第二负输出的方案，这两种方案具有广泛的实用价值。
This article provide two programs which can get the second negative output from the power level of a main low-dropout regulator.
一种实用方法是从一个可以工作的入门级的抽象开始重新构建这种类型，以获得更好的应用。
A pragmatic approach is to start with a level of abstraction that gets the job done, and then refactor to move towards a better level.
该法直观方便且精确度较高，具有较强的实用价值，从一个全新的角度替代了以往普遍采用但非常繁琐的公式计算。
This method features in high accuracy and practicable, and can replace the previous formulation method which is too complicated and time -consumed.
该法直观方便且精确度较高，具有较强的实用价值，从一个全新的角度替代了以往普遍采用但非常繁琐的公式计算。
This method features in high accuracy and practicable, and can replace the previous formulation method which is too complicated and time -consumed.
应用推荐