机构

• 软件研究所 [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   |  收藏  |  浏览/下载：32/0  |  提交时间：2022/07/01 Thermomechanical process  Dynamic recrystallization  Crystal plasticity finite element method  Cellular automata model   On hybrid models of quantum finite automata 期刊论文  OAI收割 JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2015, 卷号: 81, 期号: 7, 页码: 1144-1158 作者:  Li, Lvzhou;  Feng, Yuan   |  收藏  |  浏览/下载：30/0  |  提交时间：2018/07/30 Quantum computing  Automata theory  Quantum finite automata  Hybrid model of QFA   Simulation of metastable corrosion pit development under mechanical stress 期刊论文  OAI收割 Electrochimica Acta, 2013, 卷号: 90, 页码: 128-134 H. T. Wang; E. H. Han 收藏  |  浏览/下载：23/0  |  提交时间：2013/12/24 Metastable pitting corrosion  Mechanoelectrochemical  Simulation  Cellular automata  Finite element method  stainless-steel  pitting corrosion  crack transition  growth  fatigue  dissolution  initiation  stability  automata  behavior   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)   |  收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16 Computing models  Quantum finite automata  State complexity  Succinctness   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   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/10/08 Formal languages  Quantum finite automata  Regular languages  Equivalence   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 收藏  |  浏览/下载：19/0  |  提交时间：2012/04/13 Static recrystallization  Cellular automaton  Crystal plasticity finite  element  Stored deformation energy distribution  cellular-automata model  dynamic recrystallization  microstructural  evolution  inhomogeneous deformation  deformed metals  stored energy  kinetics  polycrystals   Finite state and finite stop quantum languages 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 卷号: 44, 期号: 9, 页码: 1495-1530 作者:  Lu, RQ;  Zheng, H   |  收藏  |  浏览/下载：16/0  |  提交时间：2018/07/30 finite state quantum automata  finite stop quantum automata  complex valued quantum automata  quantum languages   Finite state and finite stop quantum languages 期刊论文  OAI收割 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2005, 卷号: 44, 期号: 9, 页码: 1495-1530 作者:  Lu, RQ;  Zheng, H   |  收藏  |  浏览/下载：28/0  |  提交时间：2019/12/16 finite state quantum automata  finite stop quantum automata  complex valued quantum automata  quantum languages   分解弱可逆有限自动机的两个结果 期刊论文  OAI收割 计算机研究与发展, 2005, 卷号: 42, 期号: 4, 页码: 690-696 王鸿吉   |  收藏  |  浏览/下载：19/0  |  提交时间：2011/07/28 有限自动机  弱可逆  延迟  分解  输出权  τ步弱可逆  有限自动机  Finite Automata  严格延迟  不可分解  密码体制的安全性  输出权  公开问题  分解问题  充分条件  有状态  强连通  公开钥  证明  基础  构造   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   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/28 finite precision timed automata  model checking  symbolic methods