通过KW系统说明有限典范模型与滤模型是证明系统有限模型性质的两种不同方法,但在技术上却有许多共性。
From the example of the system KW, the paper shows that finite canonical model and filtration are two different ways to prove finite model property, but they have something in common on techniques.
在数据层面上,“典范”企业数据模型是EAI在15年前就提出了,而且得到很多SOA实施的吸纳。
On the data side, the idea of "canonical" enterprise data model was introduced by EAI about 15 years ago and was widely adopted by many SOA implementations.
这是我见过的在Web上使用drag/drop模型的最佳典范。
I think it is one of the best I've seen for usage of the drag/drop model on the Web.
基于以上这些原因,我相信这个还款模型可以成为未来几个月或几年市场贷款的典范。
For these reasons it would not be surprising to see this model become a consolidated part of the market lending landscape in the coming months and years.
系统的“典范性”与“有限模型性质”是与“完全性”紧密相关却又有本质不同的概念。
"Canonical" and "finite model property" are different conceptions, which are relevant to the systems completeness.
论证了普通差分模型与典范差分模型在完全能观条件下的等价性;
The equivalency between general difference model and canonical difference model is proved under complete observability condition and the special example with quite different appearances is clarified.
论证了普通差分模型与典范差分模型在完全能观条件下的等价性;
The equivalency between general difference model and canonical difference model is proved under complete observability condition and the special example with quite different appearances is clarified.
应用推荐