中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共4条，第1-4条

帮助

条数/页：排序方式：
	多智能体博弈对抗的协同行为自学习算法与应用学位论文 OAI收割中国科学院自动化研究所: 中国科学院自动化研究所, 2021 作者: 董宗宽 \| 收藏 \| 浏览/下载：304/0 \| 提交时间：2021/06/20 多智能体深度强化学习协同行为学习语言几何学可解释性 Z学习
	对一类多级安全模型安全性的形式化分析期刊论文 OAI收割计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1468-1479 何建波; 卿斯汉; 王超 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2011/07/13 BLP模型 MLS策略安全不变式 Z语言 Z/EVES定理证明器多级安全模型安全性形式化分析不变式验证模型形式化规范验证工具系统安全策略表述形式分析表语言思想理论客体方法Computer programming languages Formal languages Functions Mathematical models Security of data Security systems Specifications Theorem prov
	具有冲突约束的RBAC模型的形式化规范与证明期刊论文 OAI收割计算机研究与发展, 2006, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2010/08/23 基于角色的访问控制形式化规范和证明责任分离冲突约束 Z语言
	PC—Z80开发系统期刊论文 OAI收割微电子学与计算机, 1991, 卷号: 8.0, 期号: 004, 页码: 21 作者: 贾建明; 韩学义 \| 收藏 \| 浏览/下载：9/0 \| 提交时间：2021/11/29 软件开发系统 PC-Z80 单扳机汇编语言文件传输软件