从一个实用系统出发，采用形式化的证明方法，分析了电子资金转帐系统中安全协议的保密性和可鉴别性。

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.

youdao

同时，从实用的角度来讲，或是从一个消极的角度，这种捐款是免税的。

And also in a very sort of pragmatic sense, in a negative way, it's tax-deductible.

youdao

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.

youdao

And also in a very sort of pragmatic sense, in a negative way, it's tax-deductible.

同时，从实用的角度来讲，或是从一个消极的角度，这种捐款是免税的。

普林斯顿公开课 - 人性课程节选