机构

• 数学与系统科学研究院 [5]
• 软件研究所 [3]
• 计算技术研究所 [2]
• 自动化研究所 [1]
• 计算机网络信息中心 [1]
• 沈阳自动化研究所 [1]
• 更多

采集方式

• OAI收割 [12]
• iSwitch采集 [1]

内容类型

• 期刊论文 [12]
• 会议论文 [1]

发表日期

• 2024 [1]
• 2019 [1]
• 2015 [1]
• 2013 [1]
• 2010 [2]
• 2007 [3]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Pearl: A Multi-Derivation Approach to Efficient CFL-Reachability Solving 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 卷号: 50, 期号: 9, 页码: 2379-2397 作者:  Shi, Chenghang;  Li, Haofeng;  Sui, Yulei;  Lu, Jie;  Li, Lian   |  收藏  |  浏览/下载：1/0  |  提交时间：2024/12/06 Production  Standards  Termination of employment  Redundancy  Optimization  Heuristic algorithms  Symbols  Program analysis  CFL-reachability  constraint solving  transitive relations   REACHABILITY OF A SECOND-ORDER INTEGRO-DIFFERENTIAL EQUATION ON RIEMANNIAN MANIFOLD FOR A VISCOELASTICITY MODEL 期刊论文  OAI收割 ELECTRONIC JOURNAL OF DIFFERENTIAL EQUATIONS, 2019, 页码: 16 作者:  Zhou, Kang   |  收藏  |  浏览/下载：24/0  |  提交时间：2019/04/02 Reachability  integro-differential equation  Carleman estimates  Riemannian wave   Study on mission reachability problem for multiple AUVs Based on Object-oriented Petri Net 会议论文  OAI收割 Shenyang, China, June 8-12, 2015 作者:  Lin CL(林昌龙);  Li YP(李一平)   |  收藏  |  浏览/下载：12/0  |  提交时间：2016/04/30 Auv  Architecture  Object-oriented Petri Net  Reachability   Some decidable results on reachability of solvable systems 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013, 卷号: 42, 期号: 4, 页码: 405-425 Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin   |  收藏  |  浏览/下载：26/0  |  提交时间：2014/12/16 reachability analysis  solvable mappings  nonlinear systems  hybrid systems  symbolic computation  decision procedures   Input-state incidence matrix of Boolean control networks and its applications 期刊论文  OAI收割 SYSTEMS & CONTROL LETTERS, 2010, 卷号: 59, 期号: 12, 页码: 767-774 作者:  Zhao, Yin;  Qi, Hongsheng;  Cheng, Daizhan   |  收藏  |  浏览/下载：28/0  |  提交时间：2018/07/30 Boolean control network  Input-state incidence matrix  Reachability  Observability  Mix-valued logic   基于极小T-不变量增加的Petri网可达性分析 期刊论文  OAI收割 计算机应用研究, 2010, 卷号: 27, 期号: 10, 页码: 3798-3802 彭建兵; 焦莉   |  收藏  |  浏览/下载：17/0  |  提交时间：2011/05/23 Petri网  可达性  极小T-不变量  极小T-不变量关系图  扩展极小T-不变量关系图  借矩阵  扩展借矩阵Petri net  reachability  minimal T-invariant  relation graph of minimal T-invariants  extended relation graph of minimal T-invariants  borrowing matrix  extended borrowing matrix   A local-density based spatial clustering algorithm with noise 期刊论文  iSwitch采集 Information systems, 2007, 卷号: 32, 期号: 7, 页码: 978-986 作者:  Duan, Lian;  Xu, Lida;  Guo, Feng;  Lee, Jun;  Yan, Baopin 收藏  |  浏览/下载：33/0  |  提交时间：2019/05/09 Data mining  Local outlier factor  Local reachability density  Local-density-based clustering   A local-density based spatial clustering algorithm with noise 期刊论文  OAI收割 INFORMATION SYSTEMS, 2007, 卷号: 32, 期号: 7, 页码: 978-986 作者:  Duan, Lian;  Xu, Lida;  Guo, Feng;  Lee, Jun;  Yan, Baopin   |  收藏  |  浏览/下载：20/0  |  提交时间：2019/12/16 data mining  local outlier factor  local reachability density  local-density-based clustering   Controllability conditions for switched linear singular systems 期刊论文  OAI收割 DYNAMICS OF CONTINUOUS DISCRETE AND IMPULSIVE SYSTEMS-SERIES B-APPLICATIONS & ALGORITHMS, 2007, 卷号: 14, 期号: 5, 页码: 641-657 作者:  Meng, B.;  Zhang, J. F.   |  收藏  |  浏览/下载：20/0  |  提交时间：2018/07/30 switched system  singular system  controllability  reachability  admissible control   Reachability conditions for switched linear singular systems 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2006, 卷号: 51, 期号: 3, 页码: 482-488 作者:     |  收藏  |  浏览/下载：7/0  |  提交时间：2018/07/30 reachability  singular system  switched linear system