形式化

A definition of an ideal functionality for deniable authentication is formulated.

根据可否认认证的安全目标，形式化地建立了UC安全的并行可否认认证模型。

This paper formalizes the idea "the optimal shareholder structure is endogenously determined" by Demsetz（1983）in a simple framework.

本文在一个简单的框架下形式化了Demsetz（1983）提出的最优股权结构内生决定的思想。

We formalized a notion of security for partial delegation with warrant proxy signature schemes, i.e., existentially unforgeability under an adaptive chosen-message attack and an adaptive chosen-warrant attack. We compare the new model with the previous formal models and identify their weakness.

重新给出了具有证书的部分代理签名的安全定义，即适应性选择消息攻击和适应性选择授权文件攻击下的不可存在性伪造，建立了形式化安全模型。

We formalize a notion of security for proxy multi-signature and multi-proxy signature, i.e., existentially unforgeability under an adaptive chosen-message attack and an adaptive chosenwarrant attack.

本文给出了代理多重签名和多重代理签名的安全定义，即适应性选择消息攻击和适应性选择授权文件攻击下的不可存在性伪造，并建立了形式化安全模型。

Firstly, the thesis analyzes the content of behavior consistency of C~4ISR system requirement, researches the theory of behavior consistency validation based on executable model. Secondly, it analyzes the extense form of basic state chart, researches the grammar rules and formal description method of the transition-oriented state chart. Lastly, it brings forward the method for transforming TO_StateChart to Object Petri Net model, and based on executable model, researches the method of validation for behavior consistency between the state chart and sequence diagram.

论文首先对C~4ISR系统需求行为一致性验证的内容进行了分析，研究了基于可执行模型进行行为一致性验证的原理；其次分析了基本状态图的扩展形式，研究了面向转移的状态图(简称为TO_StateChart)的语法规则及其形式化描述方法；最后研究了TO_StateChart转换为对象Petri网模型的方法，并以此为基础，深入研究了基于可执行模型进行状态图和时序图之间行为一致性验证的方法。

It is not depended on formalistic controlled power mode to prevent the repressive danger in the author's opinion.

认为要防止这种压制的风险，主要不能依靠形式化的控权模式。

However,these view points are somewhat onesided and formalistic, which has brought to light the nature of justifiable defence.

这些观点都有形式化、片面性的缺点，未能科学揭示正当防卫的本质。

From the angle of intrinsic cultural tradition, this phenomenon has much to do with Chinese formalistic understanding on Confucianism and the characteristics of traditional human society.

从文化传统本源审视，这一现象与国人对儒家道德主张的形式化理解、以及我国传统人伦社会的特征紧密联系。

Then you're probably formulaic in your tendencies.

那您很可能有形式化倾向。

It is the important tradition of modern pedagogy in China to pursue the Western new academic trends in the self -negative mentality and formulistic approach for the rapid application in China. Such blind practice has caused the dual separation of Chinese pedagogy in both Chinese culture and Western culture.

以&用&为目的、向西方倾斜而自我否定的学术心态、公式化的创作方式和形式化地追逐西方学术新潮以便迅速在中国加以运用等的结合，是中国现代教育学的重要传统，它导致了中国教育学在文化上的双重隔绝：既隔绝于中国文化历史传统，也隔绝于西方文化历史传统。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。