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

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

帮助

条数/页：排序方式：
	A fast method to evaluate water eutrophication 期刊论文 OAI收割 JOURNAL OF CENTRAL SOUTH UNIVERSITY, 2016, 卷号: 23, 期号: 12, 页码: 3204-3216 作者: Yan Hu-yong; Wang Guo-yin; Zhang Xue-rui; Dong Jian-hua; Shan Kun \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2018/03/15 rough set theory petri nets eutrophication
	An approach to build cycle accurate full system VLIW simulation platform 期刊论文 OAI收割 SIMULATION MODELLING PRACTICE AND THEORY, 2016, 卷号: 67, 期号: 2016, 页码: 14-28 作者: Yang, Lei; Wang, Lei; Zhang, Xing; Wang, DongLin \| 收藏 \| 浏览/下载：13/0 \| 提交时间：2016/12/26 Vliw Simulation Cycle Accurate Heterogeneous Computing
	Modelling and Performance Analysis of IEEE 802.11 DCF Using Coloured Petri Nets 期刊论文 OAI收割 COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 10, 页码: 1563-1580 Hu, X; Jiao, L; Li, ZJ \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2016/12/09 IEEE 802 11 DCF coloured Petri nets performance modelling simulation
	基于Pushdown系统证明的可视化学位论文 OAI收割硕士, 北京: 中国科学院研究生院, 2016 周青 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2016/06/21 deductive reasoning formal verification alternating pushdown system infinite state systems
	Designing and Modeling of Covert Channels in Operating Systems 期刊论文 OAI收割 IEEE TRANSACTIONS ON COMPUTERS, 2016, 卷号: 65, 期号: 6, 页码: 1706-1719 Lin, YQ; Malik, SUR; Bilal, K; Yang, QS; Wang, YJ; Khan, SU \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2016/12/09 Covert channels high-level Petri Nets (HLPN) operating systems modeling and security
	afastmethodtoevaluatewatereutrophication 期刊论文 OAI收割 journalofcentralsouthuniversity, 2016, 卷号: 023, 期号: 012, 页码: 3204 作者: Yan Huyong; Wang Guoyin; Zhang Xuerui; Dong Jianhua; Shan Kun \| 收藏 \| 浏览/下载：10/0 \| 提交时间：2019/12/03