QQ客服 官方微博 反馈留言

浏览/检索结果: 共5条，第1-5条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135 Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY 收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13 Probabilistic model checking  Markov reward model  Continuous stochastic logic  Cylindrical algebraic decomposition  Transcendental number   model checking conditional csl for continuous-time markov chains 期刊论文 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun 收藏  |  浏览/下载：17/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   formal based operation strategy design for collaborative shared teleoperation system 会议论文 International Conference on Control, Automation and Systems, ICCAS 2010, Gyeonggi, 40843 Fengge Wu; Junsuo Zhao; Huaping Liu; Xiaohui Hu; Fanjiang Xu 收藏  |  浏览/下载：18/0  |  提交时间：2011/03/31 auxiliary method  collaborative shared teleoperation system  directed graph theory  formal based operation strategy design  generalize stochastic Petri net  nonstructural space environment  on-orbit system task design  satellite-earth communication delay  shortest path algorithm  task sequence algorithm  task sequence model  unit replacement task  working mode sequence  working mode topology graph  working mode transform algorithm  Petri nets  aerospace robotics  graph theory  stochastic processes  telerobotics  transforms   a stochastic reward net-based performance analysis of leo satellite networks 会议论文 IEEE International Conference on Networking, Sensing and Control, Ft Lauderdale, FL, APR 23-25, Hong Zhiguo; Sun Fuchun; Xu Fanjiang; Fan Zhihua; Zheng Gang 收藏  |  浏览/下载：10/0  |  提交时间：2011/07/28 LEO satellite networks  arrival rate  buffer size  low Earth orbit satellite networks  packet loss probability  packet size  stochastic Petri net package 6.0  stochastic reward net-based performance analysis  Petri nets  satellite communication  stochastic processe   a stochastic reward net-based performance analysis of leo satellite networks 会议论文 IEEE International Conference on Networking, Sensing and Control, Ft Lauderdale, FL, APR 23-25, Hong Zhiguo; Sun Fuchun; Xu Fanjiang; Fan Zhihua; Zheng Gang 收藏  |  浏览/下载：17/0  |  提交时间：2011/07/28 LEO satellite networks  arrival rate  buffer size  low Earth orbit satellite networks  packet loss probability  packet size  stochastic Petri net package 6.0  stochastic reward net-based performance analysis  Petri nets  satellite communication  stochastic processe