它使经济学家分析最佳削减在何处时产生的直觉得以形式化，也是理论学家在思维远足后转向的新开始。
It formalises economists' gut instincts about where the best analytical cuts lie. It is the starting point to which the theorist returns after every ingenious excursion.
提出一套形式化地描述时间特性的模型，使之能够描述带时间特性的授权约束。
A formal model is proposed to describe time character of constraint in this paper.
但是HL7标准的定义还是通过自然语言来描述的，因此我们需要定义一套语言使HL7语言得以语义化和形式化。
But the HL7 was still defined by the natural language, so we need to enables it the formalization and have the mean of the Semantics.
应用推荐