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

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

帮助

条数/页：排序方式：
	分解弱可逆有限自动机的两个结果期刊论文 OAI收割计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696 王鸿吉 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/28 有限自动机弱可逆延迟分解输出权 τ步弱可逆有限自动机 Finite Automata 严格延迟不可分解密码体制的安全性输出权公开问题分解问题充分条件有状态强连通公开钥证明基础构造
	岷江上游生态农业建设与可持续发展研究期刊论文 OAI收割中国农学通报, 2005, 卷号: 21, 期号: 5, 页码: 372-375+427 作者: 张金山; 谢洪收藏 \| 浏览/下载：24/0 \| 提交时间：2010/07/15 可持续发展研究生态农业建设岷江上游地区社会经济条件自然地理环境高山峡谷区气候干旱环境恶化经济基础农民增收农业增产地质构造农业发展保护建设生态环境资源利用良性循环协调发展社会效益土壤
	自然雪景的构造和绘制期刊论文 OAI收割计算机学报, 2002, 卷号: 25, 期号: 9, 页码: 916-922 陈彦云; 孙汉秋; 郭百宁; 吴恩华 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2011/07/29 真实感图形绘制体纹理位移映射光线跟踪算法雪景构造 texture mapping 方法多边形自然场景造型工具物体纹理映射位移映射计算机绘制图形学形状显示树木曲面内存课题基础Image processing Mapping Models Ray tracing Storage allocation (computer) Textures
	经典BLP安全公理的一种适应性标记实施方法及其正确性期刊论文 OAI收割计算机研究与发展, 2001, 卷号: 38, 期号: 11, 页码: 1366-1372 石文昌; 孙玉芳; 梁洪亮 \| 收藏 \| 浏览/下载：18/0 \| 提交时间：2011/07/29 Bell & LaPadula,计算机安全,模型,公理,Linux,实现经典安全操作系统适应性记实实施方法基础访问控制规则正确性证明多级安全性判定增加敏感标记基本安全安全系统灵活性计算机模型理论开发构造构成
	主体当前敏感标记动态确定方案研究期刊论文 OAI收割电子学报, 2001, 卷号: 29, 期号: 8, 页码: 1046-1049 石文昌; 梁洪亮; 孙玉芳 \| 收藏 \| 浏览/下载：24/0 \| 提交时间：2011/07/29 计算机安全安全操作系统安全模型敏感标记主体敏感标记方案研究限定条件模型基础构造安全操作系统多级安全性证明描述客体构成Computer operating systems Labels Mathematical models Sensitivity analysis
	土壤耕作现代化的探讨期刊论文 OAI收割农业现代化研究, 1982, 卷号: 3, 期号: 1, 页码: 23-26 迟仁立; 左淑珍收藏 \| 浏览/下载：23/0 \| 提交时间：2013/02/22 土壤耕作耕层构造免耕法土体基础理论农业现代化定耕耕具耕翻深松耕
	关于大型浮顶式油罐的设计问题期刊论文 OAI收割力学与实践, 1979, 卷号: 1, 期号: 3, 页码: 44-46 王震鸣收藏 \| 浏览/下载：1518/66 \| 提交时间：2009/08/03 设计问题应力状态用钢量侧向压力被动土压力钢板混凝土构造措施环形基础力学