QQ客服 官方微博 反馈留言

浏览/检索结果: 共2条，第1-2条 帮助 限定条件 内容类型：会议论文     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Simulation on Vehicle Emission by the Brake-Light Cellular Automata Model 会议论文 CELLULAR AUTOMATA, 2010-09-21 作者:  Dong, Liyun[1];  Zhang, Peng[2];  Dai, Shiqiang[3] 收藏  |  浏览/下载：11/0  |  提交时间：2019/04/30 cellular automata model  vehicle emission  free flow  traffic jam   Generating non-linear interpolants by semidefinite programming (EI收录) 会议论文 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Saint Petersburg, Russia, July 13, 2013 - July 19, 2013 作者:  Dai, Liyun[1,3];  Xia, Bican[1];  Zhan, Naijun[2] 收藏  |  浏览/下载：1/0  |  提交时间：2019/04/15 Computer aided analysis  Interpolation  Model checking