专题首页
中图分类法(172)
政治、法律(2)
经济(8)
文化、科学、教育、体育(32)
数理科学和化学(3)
天文学、地球科学(1)
医药、卫生(3)
农业科学(5)
工业技术(96)
交通运输(10)
航空、航天(5)
环境科学、安全科学(29)
在“
知网期刊论文
”中,
命中:
172
条,耗时:小于0.01 秒
1.
形式化方法概貌
作者:
王戟
;
詹乃军
;
冯新宇
;
刘志明
关键词:
形式化方法
;
形式规约
;
形式验证
;
程序设计方法学
;
软件开发
年:2019
2.
SpaceOS中若干全局性质的形式化描述和验证
作者:
顾海博
;
付明
;
乔磊
;
冯新宇
关键词:
SpaceOS
;
形式化验证
;
全局性质
;
操作系统内核
;
Coq
年:2019
3.
复杂内核数据结构的形式化描述和验证
作者:
马顶
;
付明
;
乔磊
;
冯新宇
关键词:
内核数据结构
;
形式化验证
;
分离逻辑
;
内核验证
年:2019
4.
绝缘子陶瓷裂缝识别的Sobel改进算法
作者:
杨庆江
;
牛姿懿
;
冯新宇
;
陈立明
;
周文韬
关键词:
绝缘子
;
陶瓷裂缝
;
图像处理
;
Sobel边缘检测算法
年:2019
5.
利用单颗粒气溶胶质谱仪(SPAMS)研究太原市冬季一次雾霾天气的污染特征及成因
作者:
冯新宇
关键词:
单颗粒气溶胶质谱仪(SPAMS)
;
细颗粒物
;
污染特征
;
源解析
;
雾霾
;
太原
年:2019
6.
南昌市中心城区主要大气污染物分布模拟及土地利用对其影响
作者:
梁照凤
;
陈文波
;
郑蕉
;
卢陶捷
关键词:
中心城区
;
大气污染物
;
土地利用回归模型
;
土地利用样本区
年:2019
7.
中国南方旱田转水田后温室气体减排年限预测
作者:
赵苗苗
;
邵蕊
;
李仁强
;
杨吉林
;
徐明
关键词:
土地利用方式转变
;
温室气体
;
稻田
;
年限
;
轮作
;
排放通量
;
千烟洲
年:2019
8.
低压系统单母线分段与双电源自动转换的工程应用
作者:
杨玉东
关键词:
低压配电
;
单母线分段
;
双电源
;
自动转换
;
重要负荷
年:2019
9.
包头市大气臭氧污染特征分析
作者:
周海军
;
樊庆云
;
卢振国
;
张军
;
刘涛
;
目仁更
关键词:
臭氧
;
臭氧前体物
;
污染特征
;
包头
年:2019
10.
Are China's Nationally Determined Contributions(NDCs) so bad?
作者:
Kejun
;
Jiang
;
Chenmin
;
He
;
Chenfei
;
Qu
;
Chunyan
;
Dai
;
Yifei
;
Zhang
;
Sha
;
Chen
;
Pianpian
;
Xiang
年:2019
1
2
3
4
5
6
7
8
9
按检索点细分(172)
作者(35)
引文(141)
按年细分(172)
2019年(25)
2018年(28)
2017年(19)
2016年(21)
2015年(27)
2014年(22)
2013年(20)
2012年(10)