馆藏期刊(2)
CNKI学位论文(745)
知网期刊论文(516)
万方学术会议(1)
CNKI期刊论文0611(1)
万方学位论文(1)
中图分类法(516)
政治、法律(1)
军事(5)
经济(12)
文化、科学、教育、体育(3)
历史、地理(2)
自然科学总论(1)
数理科学和化学(14)
天文学、地球科学(2)
医药、卫生(2)
农业科学(3)
工业技术(437)
交通运输(49)
航空、航天(19)
环境科学、安全科学(1)
在“
知网期刊论文
”中,
命中:
516
条,耗时:小于0.01 秒
在所有数据库中总计命中:
1,266
条
1.
飞行时间成像系统的数字仿真技术
作者:
卢纯青
;
刘兴潭
;
武延鹏
;
杨孟飞
关键词:
飞行时间成像
;
相位测距
;
环境光
;
场景生成
;
数字仿真
年:2019
2.
ASC19世界超算大赛擂台已建,群雄角逐谁将折桂?
作者:
房晓楠
年:2019
3.
大功率IGBT基区物理模型的非准静态建模方法综述
作者:
段耀强
;
罗毅飞
;
肖飞
;
马伟明
关键词:
绝缘栅双极晶体管(IGBT)
;
物理模型
;
建模方法
;
双极扩散方程
;
非准静态
年:2019
4.
公平交换协议的信道可信度
形式化验证
方法
作者:
杨晋吉
;
申涵瑞
;
陈清亮
关键词:
形式化验证
;
信道可信度
;
公平交换协议
;
概率模型检测
;
PRISM
年:2018
5.
有关时间自动机重置的若干问题的计算复杂性
作者:
朱凯
;
毋国庆
;
吴理华
;
袁梦霆
关键词:
时间自动机
;
重置序列
;
归约
;
计算复杂性
年:2019
6.
奇异线性系统Drazin逆解的DQMR算法
作者:
邓勇
关键词:
奇异线性系统
;
DGMRES算法
;
拟极小残差法
;
Drazin逆解
;
Krylov子空间法
年:2019
7.
图形处理器维度层并行粒子群优化算法
作者:
符锡成
关键词:
高维问题
;
粒子群算法
;
图形处理器
年:2019
8.
数字人文环境下档案信息传播服务的新思考
作者:
张澍雅
关键词:
数字人文
;
档案信息
;
信息传播
年:2019
9.
STP安全通信协议设计与
形式化验证
作者:
李堃
;
张雪松
关键词:
安全通信协议
;
时序逻辑
;
分层着色Petri网
;
ASK-CTL
形式化验证
;
故障导向安全
年:2018
10.
基于携带证明代码的IP核安全性验证方法
作者:
王丽娟
;
张荣
;
周昱
;
魏敬和
关键词:
第三方IP核
;
硬件木马
;
携带证明的代码
;
形式化验证
年:2019
1
2
3
4
5
6
7
8
9
按检索点细分(516)
篇名(76)
关键词(143)
摘要(210)
引文(268)
基金(8)
按年细分(516)
2019年(44)
2018年(70)
2017年(79)
2016年(81)
2015年(80)
2014年(67)
2013年(73)
2012年(20)
2010年(1)
2007年(1)