formal application

It shall deliver the collected application materials and letters of recommendation to the SIPO in both formal paper text and electronic text by the end of each march.

每年3月底前同时以正式纸件文本和电子文本形式将汇总的企业申报材料和推荐函报国家知识产权局。

Some properties of the joint-request are also discussed. Based on the defined action, a teamwork protocol with a formal semantic description is proposed and its application is demonstrated finally.

然后，基于联合请求动作，提出一种主体团队交互协议，并给出了协议的形式化语义，最后讨论了协议的实际应用。

The paper describes an automated formal proving platform based on the dynamic term rewriting calculus and its application to the automated proving for the weak termination of term rewriting systems.

文中介绍了一个基于DTRC的形式自动证明平台及其在TRS弱终止性自动证明上的应用。

Normalization is the formal process of analyzing the data entities needed for an application, and then converting them into a set of well-designed structures.

规范化是分析应用程序所需的数据实体，然后将这些数据实体转化成一组设计良好的结构的一个格式化的过程。

The Application of Formal Method to CAD Software Development

形式化方法在CAD软件开发中的应用