机构

• 沈阳自动化研究所 [2]
• 软件研究所 [2]

采集方式

• OAI收割 [4]

内容类型

• 期刊论文 [4]

发表日期

• 2018 [1]
• 2014 [1]
• 2006 [2]

学科主题

筛选

浏览/检索结果: 共4条，第1-4条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 面向作业任务的约束变胞机构设计方法 期刊论文  OAI收割 机械工程学报, 2018, 卷号: 54, 期号: 3, 页码: 26-35 作者:  李树军;  王洪光;  李小彭;  杨贺绪;  戴建生   |  收藏  |  浏览/下载：19/0  |  提交时间：2018/09/03 约束变胞机构  任务-运动映射  约束循环图  等效阻力  变胞副形式   含变胞运动副结构的约束变胞机构构型综合 期刊论文  OAI收割 机械工程学报, 2014, 卷号: 50, 期号: 13, 页码: 1-8 作者:  杨强;  王洪光;  李树军;  戴建生 收藏  |  浏览/下载：35/0  |  提交时间：2014/08/10 运动状态  等效阻力  约束形式  变胞副结构  构型综合   基于量化角色的可控委托模型 期刊论文  OAI收割 计算机学报, 2006, 卷号: 29, 期号: 8, 页码: 1401-1407 翟征德   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/07/13 访问控制  基于角色的访问控制  基于角色的委托  量化角色  约束  角色  可控性  委托模型  委托粒度  Delegation Model  细粒度  约束机制  权限  形式化  收敛性  自主  增强  能力  管理  概念  传播Constraint theory  Controllability  Costs  Management  Mathematical models  Security of data  Theorem proving   具有冲突约束的RBAC模型的形式化规范与证明 期刊论文  OAI收割 计算机研究与发展, 2006, 卷号: 43, 期号: z2 袁春阳; 贺也平; 何建波; 周洲仪   |  收藏  |  浏览/下载：13/0  |  提交时间：2010/08/23 基于角色的访问控制  形式化规范和证明  责任分离  冲突约束  Z语言