借助一阶逻辑演算有条件地把超限递归原理从序数类推广到具有良基关系的类上。
Let's conditionally generalize principle of transfinite recursion from ordinal number class to class with well-founded relation.
清单1给出了StringArray类的源代码,这个类是String有序数组的一个包装器。
Listing 1 gives the source code for my StringArray class, a wrapper for ordered arrays of Strings.
Cocoa是用Object - c实现的,并使用MVC模式来封装视图、应用程序数据、控制器和实现管理逻辑的类。
Cocoa is implemented in Object-C and USES the MVC pattern to encapsulate views, application data, controllers and the class to mediate the management logic.
在开始定义ModelBridge之前,我们先了解一下与应用程序数据相关联的类。
Before we start to define the Model Bridges, let's look at the classes associated with the application data.
在boot类中,需要告诉应用程序数据库有一个新模型。
In the Boot class, we need to tell the application that there is a new model for the database.
本文算法对于时序数据的聚类具有较强的鲁棒性。
Proposed dynamic clustering algorithm has strong robustness in clustering of time series multi-dimensional data.
本文算法对于时序数据的聚类具有较强的鲁棒性。
Proposed dynamic clustering algorithm has strong robustness in clustering of time series multi-dimensional data.
应用推荐