QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 发表日期：2015    内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Petri net methodology for optimisation of heat integration and batch process scheduling 会议论文 Conference on Process Integration, Modelling and Optimisation for Energy Saving and Pollution Reduction (PRES), Kuching, MALAYSIA, Augest 22-27, 2015 作者:  Jia Y(贾洋);  Xiao W(肖武);  Ruan XH(阮雪华);  He GH(贺高红);  Jia, Xiaoping 收藏  |  浏览/下载：17/0  |  提交时间：2015/11/23 EXCHANGER NETWORKS  PLANTS  SYSTEMS  ENERGY  MODEL  TOOL   A Full Symbolic Compositional Reachability Analysis of Timed Automata Based on BDD 会议论文 International Conference on Advanced Computational Intelligence, 2015-01-01 作者:  Du, Junwei[1];  Zhang, Huiping[2];  Yu, Gang[3];  Wang, Xi[4] 收藏  |  浏览/下载：5/0  |  提交时间：2019/04/26 Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking 会议论文 PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015-01-01 作者:  Zhou, Conghua[1];  Wang, Yong[2];  Cao, Meiling[3];  Shi, Jianqi[4];  Liu, Yang[5] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/24 IEEE 802.11p  media access control  probabilistic model checking  probabilistic timed automata   Public Key Timed-Release Attribute-Based Encryption 会议论文 APPLICATIONS AND TECHNIQUES IN INFORMATION SECURITY, ATIS 2015, 2015-01-01 作者:  Yuan, Ke[1];  Shen, Nan[2];  Yan, Yonghang[3];  Liu, Zheli[4];  Jia, Chufu[5] 收藏  |  浏览/下载：6/0  |  提交时间：2019/12/23 Timed-release  Attribute-based encryption  Timetrapdoor  Bilinear map   The New Method of Liveness Verification with Object-Oriented Timed Petri Nets 会议论文 2015 SEVENTH INTERNATIONAL CONFERENCE ON ADVANCED COMPUTATIONAL INTELLIGENCE (ICACI), 2015-01-01 作者:  Zhang, Xinju;  Yao, Shuzhen 收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06