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

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

帮助

条数/页：排序方式：
	全球隐含能源转移及其效应研究学位论文 OAI收割中国科学院地理科学与资源研究所: 中国科学院大学, 2023 作者: 周彦楠 \| 收藏 \| 浏览/下载：27/0 \| 提交时间：2023/12/07 隐含能源多区域投入产出分析结构分解模型空间模式驱动因素能源转型能源公平性能源安全
	基于电子地图兴趣点数据的城市可持续发展水平分析——以绍兴市为例期刊论文 OAI收割生态学报, 2018, 卷号: 38, 期号: 16, 页码: 5914-5925 作者: 张雪琦; 王韬; 张娜娜; 李欢欢; 张永霖 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2019/03/14 兴趣点可持续发展实验区绍兴市空间分析公平性
	Petri网共享T型子网合成公平性分析期刊论文 OAI收割计算机科学, 2007, 卷号: 34, 期号: 8, 页码: 271-274 夏传良收藏 \| 浏览/下载：90/9 \| 提交时间：2011/07/01 Petri网合成有界性公平性性质分析共享子网合成公平性分析网系统系统性质系统设计继承关系合成性质合成方法充分条件制造考察
	一种电子商务协议形式化分析方法期刊论文 OAI收割软件学报, 2005, 卷号: 16, 期号: 10, 页码: 1757-1765 王常青; 邓昌智; 马翠霞; 华庆一; 戴国忠 \| 收藏 \| 浏览/下载：7/0 \| 提交时间：2011/07/28 形式化分析,电子商务协议,可追究性,公平性,可信第三方Cryptography Formal languages Network protocols Security of data Theorem proving
	最大速度变化的连续Petri网(VCPN)的动态演变及性质判定期刊论文 OAI收割计算机研究与发展, 2002, 卷号: 39, 期号: 3, 页码: 330-334 叶志宝; 赵义军; 董焕河 \| 收藏 \| 浏览/下载：14/0 \| 提交时间：2011/07/29 最大速度变化的连续Petri网(VCPN) 相区间动态演变动态性质结构性质绝对公平性最大速度变化的连续动态演变性质判定分析方法相区间演变过程性能分析系统利用时延连续判定定理理论根据结构性质模型模拟建模基础
	一种分析电子商务协议的新工具期刊论文 OAI收割软件学报, 2001, 卷号: 12, 期号: 9, 页码: 1318-1328 周典萃; 卿斯汉; 周展飞 \| 收藏 \| 浏览/下载：22/0 \| 提交时间：2011/07/29 可追究性电子商务公平性逻辑分析协议电子商务协议新工具形式化分析方法公平性分析初始化通信信道可靠性消息密文逻辑加密集合环境规则公式Communication channels (information theory) Cryptography Logic design Network protocols Numerical analysis Reliability
	电子商务协议的公平性期刊论文 OAI收割电子学报, 2000, 卷号: 28, 期号: 9, 页码: 13-15 周展飞; 周典萃; 王贵林; 卿斯汉 \| 收藏 \| 浏览/下载：12/0 \| 提交时间：2011/07/29 电子商务协议可追究性公平性形式化分析电子商务协议公平性主动攻击可追究性被动攻击逻辑基础