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

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

帮助

条数/页：排序方式：
	城市绿地系统景观风貌规划中的城市设计方法运用策略期刊论文 OAI收割规划师, 2022, 卷号: 38, 期号: 10, 页码: 93-100 作者: 朱镱妮; 朱海雄; 李翅; 程昊 \| 收藏 \| 浏览/下载：67/0 \| 提交时间：2022/12/01 国土空间规划体系城市绿地系统景观风貌规划城市设计方法运用策略岳阳
	绘制大规模场景的可见性计算技术期刊论文 OAI收割计算机辅助设计与图形学学报, 2006, 卷号: 18, 期号: 2, 页码: 161-169 王文成; 魏峰; 吴恩华 \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2011/07/13 可见性加速遮挡剔除大规模场景综述绘制效率场景可见性计算运用方法计算系统计算技术高效实现基础
	基于SPIN/Promela的并发系统验证期刊论文 OAI收割计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/29 模型检测并发系统软件可靠性 SPIN/Promela 形式化验证并发系统逻辑一致性计算机科学安全性分析验证技术验证工具研究领域数据结构软件系统建模语言基本算法工作机理分析验证运用应用通道输出设计模型
	时态逻辑形式化描述并发系统性质期刊论文 OAI收割海军工程大学学报, 2004, 卷号: 16, 期号: 5, 页码: 2'10-13 肖美华; 薛锦云 \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 形式化方法并发系统时态逻辑模型检测时态逻辑形式化描述系统性质并发系统状态迁移序列形式化方法逻辑描述反应式运用语义语法应用验证模型检测基础
	层次分析法中高阶平均随机一致性指标(RI)的计算期刊论文 OAI收割计算机工程与应用, 2002, 卷号: 38, 期号: 12, 页码: 45-47，150 洪志国; 李焱; 范植华; 王勇 \| 收藏 \| 浏览/下载：63/0 \| 提交时间：2011/07/29 定性问题定量化层次分析法高阶随机判断矩阵平均随机一致性指标乘幂法层次分析法高阶平均随机一致性指标计算知识创新工程中国科学院矩阵一致性推广应用算法决策系统解决问题程序实现成功运用比较判断指标值大面积智能剖析基础环境
	用系统动力学方法研究林业生产发展战略期刊论文 OAI收割农业现代化研究, 1988, 卷号: 9, 期号: 4, 页码: 31-34 赵道胜收藏 \| 浏览/下载：12/0 \| 提交时间：2013/02/23 系统动力学动力学方法生产发展战略林业生产政策方案优化方案政策参数方法研究运用系统发展战略目标
	关于提高仪器总体设计水平的问题期刊论文 OAI收割光学学报, 1981, 期号: 01, 页码: 67-74 唐九华收藏 \| 浏览/下载：8/0 \| 提交时间：2013/03/11 光谱仪器:5773 总体设计:4846 总性能:4155 信息速率:2370 接收器:2247 光学系统:2012 运用研究:1862 底片:1753 信息源:1570 起始数据:1476