CORC

在结果中检索

CORC

浏览/检索结果: 共207条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Signal Coordination Control of Intersection Adjacent to Main Road Based on Hybrid Automata 会议论文
Kunming, PEOPLES R CHINA, MAY 22-24, 2021
作者:  Tang, Minan;  Wang, Qianqian;  Zhang, Kaiyue;  Qiu, Jiandong;  Du, Yajiang
收藏  |  浏览/下载：2/0  |  提交时间：2022/09/22
Land use scenario simulation of mountainous districts based on Dinamica EGO model 期刊论文
JOURNAL OF MOUNTAIN SCIENCE, 2020, 卷号: 17, 期号: 2, 页码: 289-303
作者:  Cheng, Lin-lin;  Liu, Mei;  Zhan, Jia-qi
收藏  |  浏览/下载：40/0  |  提交时间：2020/11/11
Design and model checking of timed automata oriented architecture for Internet of thing 期刊论文
INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2020, 卷号: 16, 期号: 5, 页码: 1-13
作者:  Chen, G (Chen, Guang)[ 1,2,3,4 ];  Jiang, TH (Jiang, Tonghai)[ 1,5 ];  Wang, M (Wang, Meng)[ 1,3,4 ];  Tang, XY (Tang, Xinyu)[ 1,3,4 ];  Ji, WF (Ji, Wenfei)[ 1,2,3,4 ]
收藏  |  浏览/下载：24/0  |  提交时间：2020/07/06
An Approach to Determining the Spatially Contiguous Zone of a Self-Organized Urban Agglomeration 期刊论文
SUSTAINABILITY, 2019, 卷号: 11, 期号: 12, 页码: 16
作者:  Liu, Fei;  Huang, Qing
收藏  |  浏览/下载：51/0  |  提交时间：2019/08/07
A Learning Automata Based Stable and Energy-Efficient Routing Algorithm for Discrete Energy Harvesting Mobile Wireless Sensor Network 期刊论文
WIRELESS PERSONAL COMMUNICATIONS, 2019, 卷号: 107, 期号: 1
作者:  Hao, Sheng;  Zhang, Hu-yin;  Wang, Jing
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05
A robust potential-based route choice model for simulating pedestrian evacuation 期刊论文
JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2019
作者:  Ma, Liang;  Chen, Bin;  Guo, Ren-Yong;  Wu, Pei-Yang;  Zhu, Zhengqiu
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/30
Modeling and simulation of pedestrian flow in university canteen 期刊论文
SIMULATION MODELLING PRACTICE AND THEORY, 2019, 卷号: 95, 页码: 96-111
作者:  Tang, Tie-Qiao;  Zhang, Bo-Tao;  Xie, Chuan-Zhi
收藏  |  浏览/下载：6/0  |  提交时间：2019/12/30
Resolution of conflicts in cellular automaton evacuation model with the game-theory 期刊论文
PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2018, 卷号: 503, 页码: 991-1006
作者:  Tian Huan-huan[1];  Wei Yan-fang[2];  Dong Li-yun[3];  Xue Yu[4];  Zheng Rong-sen[5]
收藏  |  浏览/下载：5/0  |  提交时间：2019/04/22
Parameter Synthesis Problems for one parametric clock Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Taolue Chen;  Zhiming Liu;  Bican Xia;  Naijun Zhan
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/26
Parameter Synthesis Problems for Parametric Timed Automata 期刊论文
Formal Languages and Automata Theory, 2018
作者:  Liyun Dai;  Bo Liu;  Zhiming Liu
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/26

©版权所有 ©2017 CSpace - Powered by CSpace