论文降重
免费查重
On the complexity of ω-pushdown automata
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
推荐文章
竖向加载模式对结构连续倒塌Pushdown分析的影响
钢筋混凝土框架结构
竖向加载模式
移除柱
Pushdown分析
连续倒塌
基于随机Pushdown方法的钢筋混凝土框架结构抗连续倒塌能力概率评估
钢筋混凝土框架
随机Pushdown方法
连续倒塌
拉丁超立方体抽样
易损性
基于OpenSees的钢筋混凝土平面框架抗连续倒塌能力分析
非线性静力方法(Pushdown)
连续倒塌
平面框架
空腹桁架作用
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | On the complexity of ω-pushdown automata | ||
| 来源期刊 | 中国科学 | 学科 | 工学 |
| 关键词 | 下推自动机 复杂性 空间复杂度 高效算法 系统验证 自然模型 逻辑检查 有限自动机 | ||
| 年，卷（期） | zgkx_2017,（11） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 152-166 | |
| 页数 | 15页 | 分类号 | TP311 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2017(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
下推自动机
复杂性
空间复杂度
高效算法
系统验证
自然模型
逻辑检查
有限自动机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
期刊文献
相关文献
推荐文献
