机构

• 软件研究所 [7]
• 金属研究所 [3]
• 数学与系统科学研究院 [2]
• 计算技术研究所 [1]
• 中国科学院大学 [1]
• 自动化研究所 [1]
• 更多

采集方式

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

内容类型

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

发表日期

• 2022 [1]
• 2015 [1]
• 2013 [2]
• 2011 [1]
• 2009 [1]
• 2005 [5]
• 更多

学科主题

• Computer S... [3]
• Computer S... [1]

筛选

浏览/检索结果: 共15条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 A fully coupled crystal plasticity-cellular automata model for predicting thermomechanical response with dynamic recrystallization in AISI 304LN stainless steel 期刊论文  OAI收割 MECHANICS OF MATERIALS, 2022, 卷号: 167, 页码: 19 作者:  Park, Jinheung;  Rout, Matruprasad;  Min, Kyung-Mun;  Chen, Shuai-Feng;  Lee, Myoung-Gyu   |  收藏  |   On hybrid models of quantum finite automata 期刊论文  OAI收割 JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158 作者:  Li, Lvzhou   |  收藏  |   Simulation of metastable corrosion pit development under mechanical stress 期刊论文  OAI收割 Electrochimica Acta, 2013, 卷号: 90, 页码: 128-134 H. T. Wang; E. H. Han 收藏  |   State succinctness of two-way finite automata with quantum and classical states 期刊论文  OAI收割 Theoretical Computer Science, 2013, 卷号: 499, 页码: 98-112 Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2)   |  收藏  |   characterizations of one-way general quantum finite automata 期刊论文  OAI收割 Theoretical Computer Science, 2011, 卷号: 419, 页码: - Lvzhou Li; Daowen Qiu; Xiangfu Zou; Lvjun Li; Lihua Wu; Paulo Mateus   |  收藏  |   Mesoscopic modeling of austenite static recrystallization in a low carbon steel using a coupled simulation method 期刊论文  OAI收割 Computational Materials Science, 2009, 卷号: 45, 期号: 2, 页码: 568-575 C. W. Zheng; N. M. Xiao; D. Z. Li; Y. Y. Li 收藏  |   Finite state and finite stop quantum languages 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 卷号: 44, 期号: 9, 页码: 1495-1530 作者:     |  收藏  |   Finite state and finite stop quantum languages 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 卷号: 44, 期号: 9, 页码: 1495-1530 作者:     |  收藏  |   分解弱可逆有限自动机的两个结果 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696 王鸿吉   |  收藏  |   symbolic model checking of finite precision timed automata 会议论文  OAI收割 2nd International Colloquium on Theoretical Aspects of Computing, Hanoi, VIETNAM, OCT 17-21, Yan RJ; Li GY; Tang ZS   |  收藏  |