... 递归变迁网络 recursive transition network 递归类型 recursive type 递归型定义 recursive type definition ...
基于18个网页-相关网页
recursive type definition [数] 递归类型定义
recursive data type 递归数据类型
recursive equivalence type [数] 递归等价型
recursive isomorphism type 递归同构型
multi-type random recursive set 多型随机递归集
Then we present a type system of AH π , which make it possible to formally deduce the limitation of resource access in MA systems. An outstanding part of the type system lies in the introduction of recursive type.
在此基础上，本文还给出了一个简单的AH二演算的类型系统，使得对移动智能体系统中资源存取限制的形式化推导成为可能，其中的突出之处是引入了可递归类型。
参考来源 - 面向网络计算的移动智能体研究与实现·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐