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

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

帮助

条数/页：排序方式：
	铁改性掺氮碳纤维活化过一硫酸盐降解双酚A 期刊论文 OAI收割环境科学学报, 2021, 卷号: 41, 期号: 07, 页码: 2766-2773 作者: 肖彤; 马捷; 王雁; 赵燊; 张娟娟 \| 收藏 \| 浏览/下载：26/0 \| 提交时间：2021/12/29 静电纺丝双酚A 碳纳米纤维(CNF) 过一硫酸盐(PMS)
	基于CNF架构的物流信息管控平台设计期刊论文 OAI收割物流技术与应用, 2020, 卷号: 25, 期号: 12, 页码: 166-167 作者: 崔江波; 孟祥婷; 朱江; 罗赛; 朱金华 \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2021/01/17 CNF 物流信息管控平台技术架构设计
	A luminous stellar outburst during a long-lasting eruptive phase first, and then SN IIn 2018cnf 期刊论文 OAI收割 ASTRONOMY & ASTROPHYSICS, 2019, 卷号: 628, 页码: 16 作者: Pastorello, A.; Reguitti, A.; Morales-Garoffolo, A.; Cano, Z.; Prentice, S. J. \| 收藏 \| 浏览/下载：28/0 \| 提交时间：2020/03/10 supernovae: general supernovae: individual: SN 2018cnf supernovae: individual: SN 2009ip stars: winds, outflows
	Deep UV resonance Raman spectroscopic study of CnF2n+2 molecules: the excitation of C-C sigma bond 期刊论文 OAI收割 journal of raman spectroscopy, 2013, 卷号: 44, 期号: 2, 页码: 266-269 作者: Jin, Shaoqing; Guo, Meiling; Fan, Fengtao; Yang, Jingxiu; Zhang, Ying 收藏 \| 浏览/下载：69/0 \| 提交时间：2015/11/09 C-C s bond s-s* transition deep UV resonance Raman excited state CnF2n+2 molecules
	一种基于SAT的运算电路查错方法期刊论文 OAI收割计算机学报, 2007, 期号: 12, 页码: 2082—2089 作者: 张健; 陈云霁; 胡伟武; 沈海华 \| 收藏 \| 浏览/下载：23/0 \| 提交时间：2010/10/21 形式验证模型检验 Sat E-cnf 标志子句
	一种基于SAT的运算电路查错方法期刊论文 OAI收割计算机学报, 2007, 卷号: 30, 期号: 12, 页码: 2082-2089 陈云霁; 张健; 沈海华; 胡伟武 \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2010/08/11 形式验证模型检验 SAT E-CNF 标志子句
	一种基于SAT的运算电路查错方法期刊论文 OAI收割计算机学报, 2007, 卷号: 30.0, 期号: 012, 页码: 2082 作者: 陈云霁; 张健; 沈海华; 胡伟武 \| 收藏 \| 浏览/下载：4/0 \| 提交时间：2023/12/04 形式验证模型检验 SAT E—CNF 标志子句
	龙芯2号微处理器浮点除法功能部件的形式验证期刊论文 OAI收割计算机研究与发展, 2006, 期号: 第10期, 页码: 1835~1841页作者: 胡伟武; 马麟; 陈云霁; 沈海华 \| 收藏 \| 浏览/下载：20/0 \| 提交时间：2010/10/15 形式验证 *phdd 字级模型检验 Sat Cnf 有界模型检验