formal model

基本解釋

A formal model is proposed to describe time character of constraint in this paper.
提出一套形式化地描述時間特性的模型，使之能夠描述帶時間特性的授權約束。
In the paper, we study these problems memtioned above by symbolic logic, and propose a formal model of RBAC.
本文針對這個問題，從數(shù)理邏輯的角度出發(fā)，建立了一個形式化模型。
A formal model that analyzes the conflicts and cooperation between different businesses will be adopted in this thesis.
本文中用一種正式的模型來分析企業(yè)之間的沖突與郃作。

To this end, UNESCO will be promoting the inclusion of MIL in formal and non-formal education systems through its Model Media and Information Literacy Curriculum for Teacher Education, which will be released soon.
UNESCO: Communication and Information