机构

• 沈阳自动化研究所 [51]
• 软件研究所 [49]
• 数学与系统科学研究... [33]
• 计算技术研究所 [25]
• 自动化研究所 [21]
• 合肥物质科学研究院 [6]
• 更多

采集方式

• OAI收割 [202]

内容类型

• 期刊论文 [140]
• 学位论文 [55]
• 会议论文 [6]
• 专利 [1]

发表日期

• 2016 [6]
• 2015 [3]
• 2013 [4]
• 2012 [11]
• 2011 [7]
• 2010 [12]
• 更多

学科主题

• 计算机科学与技术 [5]
• Computer S... [2]
• Computer S... [2]
• 机器人控制 [2]
• 计算机软件::软件理... [2]
• Computer S... [1]
• 更多

筛选

浏览/检索结果: 共202条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 基于 IC3 算法的 Petri 网可覆盖性分析 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2022 作者:  康嘉文   |  收藏  |  浏览/下载：7/0  |  提交时间：2022/06/20 针对软件测试数据生成与Petri网可达性分析的适度函数 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2018 作者:  徐雄   |  收藏  |  浏览/下载：15/0  |  提交时间：2018/06/22 基于搜索的软件测试  适度函数  Petri网  状态空间压缩   基于BBR拥塞控制算法的空间环境数据传输系统 学位论文  OAI收割 : 中国科学院国家空间科学中心, 2018 作者:  刘盼   |  收藏  |  浏览/下载：21/0  |  提交时间：2018/10/25 数据传输  广域网加速  TCP拥塞控制  BBR  Petri网   基于规划目标图的无人机空战战术决策方法研究 学位论文  OAI收割 北京: 中国科学院研究生院, 2017 作者:  王栋   |  收藏  |  浏览/下载：43/0  |  提交时间：2017/06/09 规划目标图  Petri网  Cpn Tools  战术决策  Fpn   面向任务的群机器人系统分层自组织规划研究 学位论文  OAI收割 沈阳: 中国科学院沈阳自动化研究所, 2016 作者:  冷雨泉   |  收藏  |  浏览/下载：10/0  |  提交时间：2016/12/15 面向任务  群机器人  分层自组织  任务分解  任务分配   基于Petri网的分布式作业调度系统的建模与性能分析 学位论文  OAI收割 博士, 北京: 中国科学院大学, 2016 李智佳   |  收藏  |  浏览/下载：21/0  |  提交时间：2016/07/11 协同编队自主空战战术决策方法研究 学位论文  OAI收割 工程硕士, 北京: 中国科学院研究生院, 2016 作者:  贺雪梅 收藏  |  浏览/下载：88/0  |  提交时间：2016/06/27 态势估计，战术决策，机动决策，D-S，CPN Tools   基于设备生命周期Petri网的WIA-PA协议测试集生成方法 专利  OAI收割 专利类型: 发明, 专利号: CN105591827A, 申请日期: 2016-05-18, 作者:  梁炜;  张思超;  王恺;  孙亮;  张晓玲 收藏  |  浏览/下载：13/0  |  提交时间：2016/09/07 Web空间环境数据采集服务系统的架构研究 学位论文  OAI收割 硕士: 中国科学院国家空间科学中心, 2016 作者:  周朝挥 收藏  |  浏览/下载：13/0  |  提交时间：2016/07/15 空间环境数据  Petri网  信牌驱动式  web数据采集模型  空间环境预报  架构研究   基于Pushdown系统证明的可视化 学位论文  OAI收割 硕士, 北京: 中国科学院研究生院, 2016 周青   |  收藏  |  浏览/下载：20/0  |  提交时间：2016/06/21 deductive reasoning  formal verification  alternating pushdown system  infinite state systems