机构

• 软件研究所 [13]
• 广州地球化学研究所 [1]
• 高能物理研究所 [1]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [13]
• 会议论文 [2]
• 学位论文 [1]

发表日期

• 2025 [1]
• 2022 [1]
• 2016 [1]
• 2015 [2]
• 2014 [2]
• 2012 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Effect of polystyrene micro/nanoplastics on PCBs removal in constructed wetlands planted with Myriophyllum aquaticum 期刊论文  OAI收割 ENVIRONMENTAL RESEARCH, 2025, 卷号: 269, 页码: 9 作者:  Wang, Shuang;  Liu, Jun;  Kang, Rongjie;  Liu, Ya;  Zhao, Xuan   |  收藏  |  浏览/下载：6/0  |  提交时间：2025/04/03 Polychlorinated biphenyls  Plastic  Different size  Myriophyllum aquaticum  Plant uptake  Microbial degradation  PCB-Degrading enzymes   Numerical modeling of pedestal stability and broadband turbulence of wide-pedestal QH-mode plasmas on DIII-D 期刊论文  OAI收割 Nuclear Fusion, 2022, 卷号: 62 作者:  Li,Zeyu;  Chen,Xi;  Muscatello,C. M.;  Burrell,K.H.;  Xu,Xueqiao   |  收藏  |  浏览/下载：29/0  |  提交时间：2022/12/22 wide pedestal QH-mode  pedestal stability  turbulence spectrum  BOUT++   Functionalized Nano-MoS2 with Peroxidase Catalytic and Near-Infrared Photothermal Activities for Safe and Synergetic Wound Antibacterial Applications 期刊论文  OAI收割 ACS NANO, 2016, 卷号: 10, 期号: 12, 页码: 11000-11011 作者:  Yin WY(尹文艳);  Yu J(于杰);  Yan L(晏亮);  Zheng LR(郑黎荣);  Gu ZJ(谷战军)   |  收藏  |  浏览/下载：38/0  |  提交时间：2017/07/24 MoS2  peroxidase-like activity  wound disinfection  photothermal therapy   基于异构多核平台的同步数据流图帕累托优化与调度 期刊论文  OAI收割 计算机科学, 2015, 卷号: 42, 期号: 11, 页码: 43-47 顾玉磊; 朱雪阳; 晏荣杰; 张广泉   |  收藏  |  浏览/下载：38/0  |  提交时间：2016/12/09 同步数据流图  异构多核平台  帕累托优化  调度  模型检测   基于MARTE模型的系统可靠性预测 期刊论文  OAI收割 计算机科学, 2015, 卷号: 42, 期号: 12, 页码: 82 柴叶生; 朱雪阳; 晏荣杰; 张广泉   |  收藏  |  浏览/下载：19/0  |  提交时间：2016/12/09 系统可靠性  MARTE模型  马尔可夫决策过程   Modeling and verifying of CPS component services based on hybrid automata 期刊论文  OAI收割 International Journal of Multimedia and Ubiquitous Engineering, 2014, 卷号: 9, 期号: 6, 页码: 49-57 作者:  Zhang, Jianning;  Zhang, Guanquan;  Yan, Rongjie;  Zhu, Yi;  Qi, Xingjun   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 Communication-oriented performance optimisation during code generation from simulink models 期刊论文  OAI收割 International Journal of Embedded Systems, 2014, 卷号: 6, 期号: 2-3, 页码: 124-134 作者:  Yan, Rongjie;  Yu, Min;  Huang, Kai;  Zhang, Xiaomeng   |  收藏  |  浏览/下载：34/0  |  提交时间：2014/12/16 基于扩展自动机的服务组合静态与动态验证方法 期刊论文  OAI收割 通信学报, 2012, 期号: S1, 页码: 1-8 张广泉; 狄浩军; 石慧娟; 晏荣杰; 朱雪阳   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 Web服务组合  定量属性  有限自动机  CTL  UPPAAL   model construction and priority synthesis for simple interaction systems 会议论文  OAI收割 3rd NASA Formal Methods Symposium, NFM 2011, Pasadena, CA, United states, April 18, Cheng Chih-Hong; Bensalem Saddek; Jobstmann Barbara; Yan Rongjie; Knoll Alois; Ruess Harald   |  收藏  |  浏览/下载：14/0  |  提交时间：2013/10/08 Game theory  NASA   基于SCC空性检测中状态空间的缩减方法 期刊论文  OAI收割 计算机学报, 2008, 卷号: 31, 期号: 6, 页码: 979-988 晏荣杰; 张文亮; 唐稚松   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/06/10 空性检测  基于迁移的扩展Büchi自动机  可接受条件  检测算法  状态空间  强连通图  深度优先搜索  最坏情况  优势结合  搜索算法  接受条件  检测过程  布尔变量  自动机  性能  迁移  内存  扩展  标识Cellular radio systems  Ketones