QQ客服 官方微博 反馈留言

浏览/检索结果: 共12条，第1-10条 帮助 限定条件 专题：兰州理工大学    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Identifying Top-k Influential Nodes Based on Discrete Particle Swarm Optimization with Local Neighborhood Degree Centrality 期刊论文 IEEE Access, 2021, 卷号: 9, 页码: 21345-21356 作者:  Han, Lihong;  Zhou, Qingguo;  Tang, Jianxin;  Yang, Xuhui;  Huang, Hengjun 收藏  |  浏览/下载：18/0  |  提交时间：2021/03/02 Ant colony optimization  Local search (optimization)  Swarm intelligence  Discrete particle swarm optimization  Influential individuals  Local search strategy  Particle swarm algorithm  Pre-mature convergences  State-of-the-art algorithms  Suboptimal solution  Swarm intelligence algorithms   Identifying Top-k Influential Nodes Based on Discrete Particle Swarm Optimization With Local Neighborhood Degree Centrality 期刊论文 IEEE ACCESS, 2021, 卷号: 9, 页码: 21345-21356 作者:  Han, Lihong;  Zhou, Qingguo;  Tang, Jianxin;  Yang, Xuhui;  Huang, Hengjun 收藏  |  浏览/下载：16/0  |  提交时间：2021/03/12 Social networking (online)  Particle swarm optimization  Optimization  Search problems  Integrated circuit modeling  Heuristic algorithms  Social sciences  Discrete particle swarm optimization  local search strategy  neighbourhood degree centrality  top-k influential nodes  social network   A clique-based discrete bat algorithm for influence maximization in identifying top-k influential nodes of social networks 期刊论文 SOFT COMPUTING, 2021, 卷号: 25, 期号: 13, 页码: 8223-8240 作者:  Han, Lihong;  Li, Kuan-Ching;  Castiglione, Arcangelo;  Tang, Jianxin;  Huang, Hengjun 收藏  |  浏览/下载：13/0  |  提交时间：2021/06/03 Large-scale networks  Top-k influential nodes  Discrete bat algorithm  Clique partition  Diffusion of influence   Polymorphism and consistency: Complex network based on execution trace of system calls in Linux kernels 期刊论文 INTERNATIONAL JOURNAL OF MODERN PHYSICS C, 2020, 卷号: 31, 期号: 9 作者:  Han, Lihong;  Zhou, Qingguo;  Zhang, Juheng;  Yang, Xuhui;  Zhou, Rui 收藏  |  浏览/下载：12/0  |  提交时间：2022/03/01 Polymorphism and consistency  Linux kernel  execution trace  software network   On design and formal verification of SNSP: a novel real-time communication protocol for safety-critical applications 期刊论文 JOURNAL OF SUPERCOMPUTING, 2014, 卷号: 69, 期号: 3, 页码: 1254-1283 作者:  Zhou, Rui;  Li, Chanjuan;  Min, Rong;  Yu, Qi;  Gu, Fei 收藏  |  浏览/下载：3/0  |  提交时间：2019/11/15 Event-triggered protocol  Safe node sequence protocol  Safety  Fault-tolerance  Formal verification   Formal verification of fault-tolerant and recovery mechanisms for safe node sequence protocol 会议论文 Victoria, BC, Canada, May 13, 2014 - May 16, 2014 作者:  Zhou, Rui;  Min, Rong;  Yu, Qi;  Li, Chanjuan;  Sheng, Yong 收藏  |  浏览/下载：2/0  |  提交时间：2020/11/15 Embedded systems  Formal verification  Model checking  Recovery  Safety engineering  Event-triggered  Fault tolerant systems  Protocol state machines  Recovery mechanisms  Safety critical systems  Sequence protocols  System robustness  Verification results   Data integrity checking for iSCSI with Dm-verity 会议论文 Taiwan, August 23, 2013 - August 25, 2013 作者:  Zhou, Rui;  Ai, Zhu;  Hu, Jun;  Liu, Qun;  Zhou, Qingguo 收藏  |  浏览/下载：3/0  |  提交时间：2020/11/15 Costs  Web services  Data integrity  Distributed networks  Dm-verity  Integrity checking  Internet infrastructure  Internet small computer system interface (iSCSI)  ISCSI  System reliability   Cloud services aided e-Tourism: In the case of low-cost airlines for backpacking 会议论文 Auckland, New zealand, January 13, 2014 - January 16, 2014 作者:  Zhou, Qingguo;  Hung, Jason C.;  Hu, Jun;  Chen, Huaming;  Zhou, Rui 收藏  |  浏览/下载：1/0  |  提交时间：2020/11/15 Air transportation  Civil aviation  Distributed database systems  Web services  Backpacking  Basic principles  Cloud services  eTourism  Low-cost airlines  Mobile Internet  Tourism industry  Web information   Cloud Services Aided e-Tourism: In the Case of Low-Cost Airlines for Backpacking 会议论文 作者:  Zhou, Qingguo;  Hung, Jason C.;  Hu, Jun;  Chen, Huaming;  Zhou, Rui 收藏  |  浏览/下载：20/0  |  提交时间：2019/11/15 e-Tourism  Backpacking  Cloud services  Mobile internet   Formal Verification of Fault-Tolerant and Recovery Mechanisms for Safe Node Sequence Protocol 会议论文 作者:  Zhou, Rui;  Min, Rong;  Yu, Qi;  Li, Chanjuan;  Sheng, Yong 收藏  |  浏览/下载：7/0  |  提交时间：2019/11/15 Safe Node Sequence Protocol  fault-tolerance  event-triggered protocol  model checking