QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 限定条件 专题：北京航空航天大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Modulating the Near-Wall Velocity Fields in Wall-Bounded Turbulence via Discrete Surface Roughness 期刊论文 AIAA JOURNAL, 2018, 卷号: 56, 页码: 2642-2652 作者:  Wang, Jianjie;  Pan, Chong;  Zhang, Qingsong;  Li, Tian 收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30 A Multi-Perspective Method for Analysis of Cooperative Behaviors Among Industrial Devices of Smart Factory 期刊论文 IEEE ACCESS, 2017, 卷号: 5, 页码: 10882-10891 作者:  Ren, Gang;  Hua, Qingsong;  Deng, Pan;  Yang, Chao;  Zhang, Jianwei 收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30 Cooperative behaviors  macroscopic analysis  microscopic analysis  structure property verification  business property verification   Incremental Configuration Update Model and Application in Sponsored Search Advertising 会议论文 International Conference on Industrial IoT Technologies and Applications (Industrial IoT), Guangzhou, PEOPLES R CHINA, 2016-03-24 作者:  Yuan, Wei;  Deng, Pan;  Yan, Biying;  Zhang, Jian Wei;  Hua, Qingsong 收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30 Sponsored search advertising  Incremental Configuration Update Model  Data reload   A Formal Approach for Modeling and Verification of Distributed Systems 会议论文 6th International Conference on Cloud Computing (CloudComp), Daejeon, SOUTH KOREA, 2016-01-01 作者:  Ren, Gang;  Deng, Pan;  Yang, Chao;  Zhang, Jianwei;  Hua, Qingsong 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30 UML seqence diagram  pi-calculus  Model checking  Formal methods