- 更多网络例句与有限可定义性相关的网络例句 [注:此内容来源于网络,仅供参考]
-
And a new mechanism is provided to store the data of OWL in relational database, the hierarchy structures of classes and properties defined in the OWL are also kept through views of the database system. 2、 Proposed a new method of using Finite State Machine and execution tag tree to describe the excution logic of existing grid service and the goal service specified by users, using Deterministic Propositional Dynamic Logic and FSM to determine the composable of goal service and make the composition plan. The computation complex is also discussed 3、 Designed some algorithms to compose existing grid services according to user requirement.
同时提出了一种新的机制,使用关系型数据库来存储OWL定义的实体,使用视图表示OWL中定义的类之间和属性之间的层次关系; 2、提出了使用有限状态自动机和执行标记树,表示网格系统中存在的网格服务和代表用户需求的目标服务的执行概要和逻辑,结合确定性动态命题逻辑,研究了目标服务的可组合性和自动组合模型,并讨论了组合模型的计算复杂度; 3、设计了一种根据用户需求来组合已存在的网格服务的算法。
- 更多网络解释与有限可定义性相关的网络解释 [注:此内容来源于网络,仅供参考]
-
finite cyclic group:有限循环群
finite continued fraction 有限连分数 | finite cyclic group 有限循环群 | finite definability 有限可定义性
-
finite definability:有限可定义性
finite cyclic group 有限循环群 | finite definability 有限可定义性 | finite difference approximation 有限差分逼近
-
finite difference approximation:有限差分逼近
finite definability 有限可定义性 | finite difference approximation 有限差分逼近 | finite difference equation 有限差分方程