期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
Simulation of solidification microstructure of Fe-6.5%Si alloy using cellular automaton-finite element method
1
作者 SONG Wei ZHANG Jiong-ming +2 位作者 WANG Shtm-xi WANG Bo HAN Li-lei 《Journal of Central South University》 SCIE EI CAS CSCD 2016年第9期2156-2164,共9页
3D microstructures of Fe–6.5%Si(mass fraction) alloys prepared under different cooling conditions were simulated via finite element-cellular automaton(CAFE) method. The simulated results were compared to experimental... 3D microstructures of Fe–6.5%Si(mass fraction) alloys prepared under different cooling conditions were simulated via finite element-cellular automaton(CAFE) method. The simulated results were compared to experimental results and found to be in accordance. Variations in the temperature field and solid-liquid region, which plays important roles in determining solidification structures, were also examined under various cooling conditions. The proposed model was utilized to determine the effects of Gaussian distribution parameters to find that the lower the mean undercooling, the higher the equiaxed crystal zone ratio; also, the larger the maximum nucleation density, the smaller the grain size. The influence of superheat on solidification structure and columnar to equiaxed transition(CET) in the cast ingot was also investigated to find that decrease in superheat from 52 K to 20 K causes the equiaxed crystal zone ratio to increase from 58.13% to 65.6%, the mean gain radius to decrease from 2.102 mm to 1.871 mm, and the CET to occur ahead of schedule. To this effect, low superheat casting is beneficial to obtain finer equiaxed gains and higher equiaxed dendrite zone ratio in Fe–6.5%Si alloy cast ingots. 展开更多
关键词 finite element-cellular automaton Fe-6.5%Si alloy MICROSTRUCTURE temperature field Gaussian distribution parameters
下载PDF
Numerical simulation of solidification morphologies of Cu-0.6Cr casting alloy using modified cellular automaton model 被引量:9
2
作者 TSAI De-chang HWANG Weng-sing 《Transactions of Nonferrous Metals Society of China》 SCIE EI CAS CSCD 2010年第6期1072-1077,共6页
The purpose of this study is to predict the morphologies in the solidification process for Cu-0.6Cr(mass fraction,%)alloy by vacuum continuous casting(VCC)and verify its accuracy by the observed experimental results.I... The purpose of this study is to predict the morphologies in the solidification process for Cu-0.6Cr(mass fraction,%)alloy by vacuum continuous casting(VCC)and verify its accuracy by the observed experimental results.In numerical simulation aspect, finite difference(FD)method and modified cellular automaton(MCA)model were used to simulate the macro-temperature field, micro-concentration field,nucleation and grain growth of Cu-0.6Cr alloy using real data from actual casting operations.From the observed casting experiment,the preliminary grain morphologies are the directional columnar grains by the VCC process.The solidification morphologies by MCAFD model are in agreement with the result of actual casting experiment well. 展开更多
关键词 Cu-Cr alloy vacuum continuous casting solidification morphology simulation modified cellular automaton model finite difference method
下载PDF
Study on seismic numerical model on the Chinese mainland and its vicinity
3
作者 焦明若 张国民 +1 位作者 刘杰 车时 《Acta Seismologica Sinica(English Edition)》 CSCD 1999年第6期632-639,共8页
This paper presents the stress incremental rate of each element by using finite element numerical simulation way.Combined with the practical continent boundary condition and medium parameters, this paper applies the s... This paper presents the stress incremental rate of each element by using finite element numerical simulation way.Combined with the practical continent boundary condition and medium parameters, this paper applies the stress increment rate to the more practical modified cell automaton model according to the cell automaton principle. The paper preliminarily gives the more practical seismic space-time repeated evolutive maps, and compares the imitative seismic energy release with the real seismic energy release. It is thought that this model has its advantageover the old one whether in the seismic imitative characteristics or in the comparison with the realsituation and is more practical model. 展开更多
关键词 finite element cell automaton model stress distribution seismic activity
下载PDF
Numerical simulation of 3D-microstructures in solidification processes based on the CAFE method 被引量:15
4
作者 Jin-long Wang Fu-ming Wang Yan-yu Zhao Jiong-ming Zhang Wei Ren 《International Journal of Minerals,Metallurgy and Materials》 SCIE EI CAS CSCD 2009年第6期640-645,共6页
It was analyzed that the finite element-cellular automaton (CAFE) method was used to simulate 3D-microstructures in solidification processes. Based on this method, the 3D-microstructure of 9SMn28 free-cutting steel ... It was analyzed that the finite element-cellular automaton (CAFE) method was used to simulate 3D-microstructures in solidification processes. Based on this method, the 3D-microstructure of 9SMn28 free-cutting steel was simulated in solidification processes and the simulation results are consistent with the experimental ones. In addition, the effects of Gaussian distribution parameters were also studied. The simulation results show that the higher the mean undercooling, the larger the columnar dendrite zones, and the larger the maximum nucleation density, the smaller the size of grains. The larger the standard deviation, the less the number of minimum grains is. However, the uniformity degree decreases first, and then increases gradually. 展开更多
关键词 finite element-cellular automaton model numerical simulation SOLIDIFICATION 3D-microstructure Gaussian distribution parameters
下载PDF
热变形低碳钢中奥氏体静态再结晶介观尺度模拟 被引量:16
5
作者 郑成武 兰勇军 +2 位作者 肖纳敏 李殿中 李依依 《金属学报》 SCIE EI CAS CSCD 北大核心 2006年第5期474-480,共7页
采用晶体塑性有限元(CPFEM)和元胞自动机(CA)耦合的方法模拟了热变形低碳钢的静态再结晶.CPFEM的计算结果定量描述了介观尺度上奥氏体变形储能的不均匀分布,为模拟再结晶的形核和长大提供了依据,从而在再结晶CA模型中考虑了不均匀变形... 采用晶体塑性有限元(CPFEM)和元胞自动机(CA)耦合的方法模拟了热变形低碳钢的静态再结晶.CPFEM的计算结果定量描述了介观尺度上奥氏体变形储能的不均匀分布,为模拟再结晶的形核和长大提供了依据,从而在再结晶CA模型中考虑了不均匀变形的影响.模拟结果显示:变形储能分布不均匀使得再结晶在不同位置的形核密度不同,形核集中在晶界以及晶内储存能较大的区域;随着临界形核储能的降低,形核数量增加,再结晶晶核的位置分布趋于均匀.对不同形核判据下的再结晶动力学也作了讨论. 展开更多
关键词 晶体塑性有限元 变形储能 元胞自动机 静态再结晶
下载PDF
基于形式化方法的航空电子系统检测 被引量:11
6
作者 李睿 连航 +1 位作者 马世龙 黎涛 《软件学报》 EI CSCD 北大核心 2015年第2期181-201,共21页
随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式... 随着航空型号的快速发展,航空电子系统的数字化程度越来越高,软件在其中所占的比例越来越大.对航空电子系统中的软件进行测试和检测是保证航空电子系统质量及可信运行的基础.通过分析航空电子系统软件体系结构,对航空电子系统进行形式化建模,并在此基础上,提出了一种形式化的系统级综合检测方法,从静态和动态两个方面对航空电子系统进行检测,最后通过设计并实现一个综合检测系统来验证该方法的有效性. 展开更多
关键词 模型检测 系统形式化 航空电子系统 软件配置项 有限状态自动机
下载PDF
基于CAFE法优化易切削钢9SMn28锰硫比 被引量:6
7
作者 王金龙 王福明 +1 位作者 李长荣 程慧静 《热加工工艺》 CSCD 北大核心 2009年第5期10-13,共4页
应用CAFE法,模拟了易切削钢9SMn28三维微观凝固组织及其结晶过程。模拟结果与实验结果吻合较好,模拟结晶过程与实际结晶过程相符。模拟优化了易切削钢9SMn28最佳的锰硫比,确定的最佳值为4.44,即锰为1.2wt%、硫为0.27wt%,并通过热力学计... 应用CAFE法,模拟了易切削钢9SMn28三维微观凝固组织及其结晶过程。模拟结果与实验结果吻合较好,模拟结晶过程与实际结晶过程相符。模拟优化了易切削钢9SMn28最佳的锰硫比,确定的最佳值为4.44,即锰为1.2wt%、硫为0.27wt%,并通过热力学计算分析了原因。 展开更多
关键词 元胞自动机-有限元模型 模拟 优化 锰硫比
下载PDF
碳与磷含量对易切削钢9SMn28微观组织的影响 被引量:3
8
作者 王金龙 王福明 +1 位作者 李长荣 张炯明 《材料热处理学报》 EI CAS CSCD 北大核心 2010年第2期60-64,共5页
应用元胞自动机-有限元模型(CAFE),模拟了不同碳、磷含量对易切削钢9SMn28凝固组织的影响,并通过热力学计算分析结果,优化了钢中的碳、磷含量。模拟结果表明,C含量在0.09 wt%-0.16 wt%时,随C的增加,柱状晶随之而减小;C含量从0.09 wt%... 应用元胞自动机-有限元模型(CAFE),模拟了不同碳、磷含量对易切削钢9SMn28凝固组织的影响,并通过热力学计算分析结果,优化了钢中的碳、磷含量。模拟结果表明,C含量在0.09 wt%-0.16 wt%时,随C的增加,柱状晶随之而减小;C含量从0.09 wt%增加到0.15 wt%时,晶粒逐渐细化。P含量在0.02 wt%-0.10 wt%时,随P的增加,晶粒逐渐细化。同时,对C、P模拟结果进行了实验验证,实验与模拟结果吻合较好。因此,易切削钢9SMn28的C与P含量应该分别取0.15 wt%及0.10wt%,可以有效地改善9SMn28的凝固组织。 展开更多
关键词 元胞自动机-有限元模型 模拟 组织
下载PDF
基于云模型的网络系统状态评估与预测模型研究 被引量:11
9
作者 李飞 张仕斌 《四川大学学报(工程科学版)》 EI CAS CSCD 北大核心 2010年第6期99-104,共6页
目前,国内外众多网络系统可生存性研究都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。以可信网络的可生存性为研究... 目前,国内外众多网络系统可生存性研究都主要集中在理论上的研究,且均使用经典的数学理论来研究复杂多变环境下的网络系统状态,也没有形成完整的理论体系,而实际上网络系统状态具有不确定性、随机性等特性。以可信网络的可生存性为研究背景,首先分析了网络可生存性等关键问题。考虑到网络系统状态具有不确定性、随机性等特征,引入云模型和有限状态机理论对网络系统状态来进行描述和检测,提出了基于云模型的网络系统状态评估与预测模型,并从理论上进行了具体的分析和求证。最后通过仿真实验与分析,进一步说明了本研究的模型的可行性与合理性,为当前错综复杂的网络系统的可生存性研究提供了一种有价值的新思路。 展开更多
关键词 云模型 网络系统 有限状态机 状态评估 预测模型
下载PDF
基于CA-FE的双辊连铸纯铝凝固组织模拟 被引量:6
10
作者 陈守东 陈敬超 吕连灏 《材料工程》 EI CAS CSCD 北大核心 2012年第10期48-53,共6页
鉴于双辊薄带连铸等轴晶区半固态铸轧组织对产品性能的重要性,应用Procast软件中的CA-FE方法对工业纯铝在水冷钢辊连续铸轧中的凝固过程进行了模拟,建立了宏观温度场、浓度场和微观生长过程耦合的凝固组织模拟模型。以CA(Cellular Autom... 鉴于双辊薄带连铸等轴晶区半固态铸轧组织对产品性能的重要性,应用Procast软件中的CA-FE方法对工业纯铝在水冷钢辊连续铸轧中的凝固过程进行了模拟,建立了宏观温度场、浓度场和微观生长过程耦合的凝固组织模拟模型。以CA(Cellular Automaton)模型为基础,建立了晶粒生长过程的局部演变规则,在晶粒尺度上模拟了其凝固过程。应用建立的微观组织模型,研究了工艺参数对凝固组织的影响。模拟结果与实验结果基本吻合,检验了模型的正确性与适用条件。 展开更多
关键词 双辊连续铸轧 微观组织模拟 宏微观耦合模型 元胞自动机-有限单元法
下载PDF
电磁搅拌作用下铝合金凝固组织的数值模拟 被引量:9
11
作者 张衬新 张志峰 徐骏 《铸造技术》 CAS 北大核心 2012年第3期280-284,共5页
建立了有限元(Finite Element)和元胞自动机法(Cellular Automaton)相结合的宏微观耦合的CA-FE模型,实现了电磁搅拌作用下Al-5%Cu合金凝固组织的数值模拟。该模型利用ANSYS软件计算电磁力,利用有限差分法计算宏观流场和温度场。在微观... 建立了有限元(Finite Element)和元胞自动机法(Cellular Automaton)相结合的宏微观耦合的CA-FE模型,实现了电磁搅拌作用下Al-5%Cu合金凝固组织的数值模拟。该模型利用ANSYS软件计算电磁力,利用有限差分法计算宏观流场和温度场。在微观计算中,采用基于高斯分布的连续形核模型,并采用KGT生长模型计算枝晶尖端生长速率。模拟和实验结果表明,施加电磁搅拌后,铝合金的温度场均匀,冷却速率加快,利于组织细化。 展开更多
关键词 电磁搅拌 元胞自动机法 有限元 Al-5%Cu合金 形核 高斯分布 KGT模型
下载PDF
基于CAFE法优化易切削钢9SMn28锰、硅、硫含量 被引量:4
12
作者 王金龙 王福明 +1 位作者 李长荣 张炯明 《铸造技术》 CAS 北大核心 2009年第2期216-221,共6页
应用CAFE法,模拟了不同锰、硅、硫含量对易切削钢9SMn28凝固组织的影响,并通过热力学计算分析了原因,优化了钢中的锰、硅、硫含量,得出结论如下:Mn含量在0.9%~1.3%时,随Mn的增加,柱状晶减小;当Mn含量从0.9%到1.2%时,晶粒逐渐细化。Si... 应用CAFE法,模拟了不同锰、硅、硫含量对易切削钢9SMn28凝固组织的影响,并通过热力学计算分析了原因,优化了钢中的锰、硅、硫含量,得出结论如下:Mn含量在0.9%~1.3%时,随Mn的增加,柱状晶减小;当Mn含量从0.9%到1.2%时,晶粒逐渐细化。Si含量在0.02%~0.10%时,随Si的增加,柱状晶略有减小;当Si含量从0.02%到0.08%时,晶粒逐渐细化。S含量在0.24%~0.36%时,随S的增加,柱状晶减小,晶粒逐渐细化。因此,从凝固组织方面考虑,易切削钢9SMn28的Mn、Si、S含量应分别为1.2%、0.08%、0.36%。同时,对优化了的锰、硅、硫含量进行模拟,有效的改善了9SMn28的凝固组织。 展开更多
关键词 元胞自动机-有限元模型 数值模拟 锰、硅 硫成分优化
下载PDF
无标注的含噪中文长篇幅语音文本的文语对齐研究 被引量:1
13
作者 张巍 王永远 +1 位作者 贾晓茹 李传越 《中国海洋大学学报(自然科学版)》 CAS CSCD 北大核心 2015年第10期121-126,共6页
文语对齐技术是语音识别领域中的一项关键技术。传统文语对齐方法利用语音识别器将文语对齐问题转换成了文本与文本的对齐问题,但是该方法依赖于大量有标注数据训练的声学模型。本文提出一种利用开放识别引擎和基于有限状态自动机的语... 文语对齐技术是语音识别领域中的一项关键技术。传统文语对齐方法利用语音识别器将文语对齐问题转换成了文本与文本的对齐问题,但是该方法依赖于大量有标注数据训练的声学模型。本文提出一种利用开放识别引擎和基于有限状态自动机的语言模型来得到语音与文本一一对齐数据的算法,来摆脱对于大量标注数据的依赖。实验表明利用该算法得到语音文本数据的准确率为99%,可以用于识别器的训练。接着利用该部分数据训练一个面向要识别领域的声学模型,来对文本和语音进行迭代的,自适应的文语对齐。 展开更多
关键词 文语对齐 有限状态自动机 语言模型 语音识别
下载PDF
模型检验技术在软件漏洞自动挖掘中的应用 被引量:1
14
作者 刘晖 张翀斌 张晓敏 《华中科技大学学报(自然科学版)》 EI CAS CSCD 北大核心 2008年第2期70-73,共4页
将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方... 将在工业设计领域应用很成功的模型检验技术引入到信息技术软件产品的安全漏洞挖掘中,提出了针对源码的漏洞挖掘系统原型,以开放源代码的操作系统Linux为例,建立了特权释放和文件创建的安全属性模型,并举例加以验证.研究结果表明:该方法是一种自动化挖掘软件安全漏洞并证明漏洞存在性的形式化方法,对挖掘已经确认机理类型的漏洞非常有效. 展开更多
关键词 软件 漏洞挖掘 模型检验 时序安全属性 有穷状态自动机
下载PDF
汉字双向有穷自动机的研究 被引量:4
15
作者 蔡增玉 谷文祥 《中文信息学报》 CSCD 北大核心 2005年第3期40-44,共5页
汉字的计算机输入是中文信息处理的关键问题之一,而汉字计算机输入的数学模型对汉字的计算机输入的研究有重要的意义。本文从自动机理论的角度对汉字输入的数学模型进行了研究,把控制操作引入了输入模型,并给出确定汉字双向有穷自动机... 汉字的计算机输入是中文信息处理的关键问题之一,而汉字计算机输入的数学模型对汉字的计算机输入的研究有重要的意义。本文从自动机理论的角度对汉字输入的数学模型进行了研究,把控制操作引入了输入模型,并给出确定汉字双向有穷自动机和不确定汉字双向有穷自动机的模型。新的模型较之以前的数学模型,能刻画出汉字输入的控制操作,表达能力进一步增强,是对以前汉字键盘输入数学模型的推广。 展开更多
关键词 计算机应用 中文信息处理 汉字输入 数学模型 双向有穷自动机
下载PDF
基于有穷机理论的数控程序语法模型研究 被引量:1
16
作者 许爱芬 贾巨民 温秉权 《机床与液压》 北大核心 2012年第11期105-108,共4页
将有穷机理论应用于数控程序的语法分析中,构建了数控程序的语法分析模型。应用图论的相关定理,证明了该模型的正确性和可行性,为数控代码译码程序的开发提供了新思路。
关键词 有穷机理论 数控程序 语法分析模型
下载PDF
概率非否认协议的模型检测分析
17
作者 董荣胜 陈大伟 +1 位作者 郭云川 古天龙 《计算机工程》 CAS CSCD 北大核心 2007年第3期163-166,共4页
基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析... 基于概率模型检测技术,建立了需要保证ε-公平性的非否认协议的概率模型,根据不同行为将主体建立有限状态机模型。使用概率模型检测器PRISM,验证了概率非否认协议的有效性、公平性和时限性。在恶意实体能力和网络环境等不同情况下,分析了破坏协议公平性的概率。 展开更多
关键词 非否认 概率模型检测 PRISM 有限状态机
下载PDF
状态不可观测的信息物理融合系统运行时验证
18
作者 房丙午 黄志球 +1 位作者 王勇 李勇 《电子学报》 EI CAS CSCD 北大核心 2018年第12期2824-2831,共8页
确保信息物理融合系统(Cyber-Physical System,CPS)运行时行为正确性是至关重要的,尤其在航空航天、汽车、核电和医疗等安全攸关领域.本文针对具有随机行为且状态不可观测的CPS,提出一种基于隐马尔科夫模型的运行时安全性验证方法.首先... 确保信息物理融合系统(Cyber-Physical System,CPS)运行时行为正确性是至关重要的,尤其在航空航天、汽车、核电和医疗等安全攸关领域.本文针对具有随机行为且状态不可观测的CPS,提出一种基于隐马尔科夫模型的运行时安全性验证方法.首先构造状态不可观测的CPS运行时安全性验证框架,该框架通过隐马尔科夫模型表示系统,使用确定性有限自动机规约系统安全属性的否定,两者的乘积自动机作为运行时监控器,从而将CPS运行时安全性验证问题约简到监控器上的概率推断问题.然后,提出一种增量迭代安全性验证算法以及反例生成算法.实验结果表明本文算法和粒子滤波算法相比预测错误率下降了近20%,并且当系统违背安全属性时,本文的方法能给出反例. 展开更多
关键词 信息物理融合系统 运行时验证 隐马尔科夫模型 确定性有限自动机 安全性 反例
下载PDF
基于角色的仿真动态建模研究
19
作者 陈凌云 陈亮 李文钊 《军械工程学院学报》 2009年第1期60-63,共4页
提出的基于角色的仿真建模方法,详细论述了该方法的建模过程与步骤,阐述了利用角色来达成建模的本质。典型仿真应用表明,该方法在建立仿真动态模型方面是有效可行的,且其具有良好的通用性、封装性、异步并发性及多分辨率特性,能够... 提出的基于角色的仿真建模方法,详细论述了该方法的建模过程与步骤,阐述了利用角色来达成建模的本质。典型仿真应用表明,该方法在建立仿真动态模型方面是有效可行的,且其具有良好的通用性、封装性、异步并发性及多分辨率特性,能够很好地解决日益复杂的仿真动态模型的建模问题。 展开更多
关键词 仿真动态模型 角色 角色模型 有限状态机
下载PDF
电渣重熔工艺对GCr15轴承钢凝固组织的影响 被引量:5
20
作者 吕斌 李志强 +3 位作者 杨智勇 刘小龙 李卫京 韩建民 《材料导报》 EI CAS CSCD 北大核心 2021年第24期24134-24141,共8页
基于CAFE法(元胞自动机-有限元模型),采用ProCAST对电渣重熔方法生产的GCr15轴承钢钢锭的微观组织进行数值模拟,得到了电渣钢锭的晶粒生长过程、熔池形状变化和晶区分布情况,并分析了不同的工艺参数对熔池形状以及凝固组织的影响。熔池... 基于CAFE法(元胞自动机-有限元模型),采用ProCAST对电渣重熔方法生产的GCr15轴承钢钢锭的微观组织进行数值模拟,得到了电渣钢锭的晶粒生长过程、熔池形状变化和晶区分布情况,并分析了不同的工艺参数对熔池形状以及凝固组织的影响。熔池深度随着钢锭固相区的扩展而变得越来越深,当钢锭长到一定高度,熔池深度和晶粒生长方向均不再变化。研究结果表明:结晶器冷却强度越大,熔池温度越低,熔池深度与钢锭半径之比h/R越小,而晶粒平均尺寸增大且柱状晶越多;渣池温度越高,h/R越大,晶粒平均尺寸增大;重熔速度是最显著的影响因素,熔速增大,h/R显著增大,柱状晶尺寸增大且数量增多。经过对电渣锭的凝固组织观察试验发现,模拟结果与试验结果有较好的一致性。 展开更多
关键词 元胞自动机-有限元模型(CAFE) 电渣重熔 GCR15轴承钢 金属熔池 微观组织
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部