In order to present the microstructures of dynamic recrystallization(DRX) in different deformation zones of hot extruded NiTi shape memory alloy(SMA) pipe coupling,a simulation approach combining finite element method...In order to present the microstructures of dynamic recrystallization(DRX) in different deformation zones of hot extruded NiTi shape memory alloy(SMA) pipe coupling,a simulation approach combining finite element method(FEM) with cellular automaton(CA) was developed and the relationship between the macroscopic field variables and the microscopic internal variables was established.The results show that there exists a great distinction among the microstructures in different zones of pipe coupling because deformation histories of these regions are diverse.Large plastic deformation may result in fine recrystallized grains,whereas the recrystallized grains may grow very substantially if there is a rigid translation during the deformation,even if the final plastic strain is very large.As a consequence,the deformation history has a significant influence on the evolution path of the DRX as well as the final microstructures of the DRX,including the morphology,the mean grain size and the recrystallization fraction.展开更多
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.展开更多
提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut a...提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut and combine algorithm based on DR),有效地选择出导致DFA状态膨胀的片段并隔离,降低了单个正则表达式存储需求.同时,基于正则表达式的组合关系提出一种选择性分群算法REGADR(regular expressions group algorithm based on DR),在可以接受的存储需求总量下,通过选择性分群大幅度减少了状态机的个数,有效地降低了匹配算法的复杂性.展开更多
以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有...以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.展开更多
基金Projects(51305091,51475101)supported by the National Natural Science Foundation of ChinaProject(20132304120025)supported by Specialized Research Fund for the Doctoral Program of Higher Education,China
文摘In order to present the microstructures of dynamic recrystallization(DRX) in different deformation zones of hot extruded NiTi shape memory alloy(SMA) pipe coupling,a simulation approach combining finite element method(FEM) with cellular automaton(CA) was developed and the relationship between the macroscopic field variables and the microscopic internal variables was established.The results show that there exists a great distinction among the microstructures in different zones of pipe coupling because deformation histories of these regions are diverse.Large plastic deformation may result in fine recrystallized grains,whereas the recrystallized grains may grow very substantially if there is a rigid translation during the deformation,even if the final plastic strain is very large.As a consequence,the deformation history has a significant influence on the evolution path of the DRX as well as the final microstructures of the DRX,including the morphology,the mean grain size and the recrystallization fraction.
基金Project(2012AA03A505)supported by the High-Tech Research and Development Program of ChinaProject(51474023)supported by the National Natural Science Foundation of China
文摘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.
文摘提出一种基于确定的有穷状态自动机(deterministic finite automaton,简称DFA)的正则表达式压缩算法.首先,定义了膨胀率DR(distending rate)来描述正则表达式的膨胀特性.然后基于DR提出一种分片的算法RECCADR(regular expressions cut and combine algorithm based on DR),有效地选择出导致DFA状态膨胀的片段并隔离,降低了单个正则表达式存储需求.同时,基于正则表达式的组合关系提出一种选择性分群算法REGADR(regular expressions group algorithm based on DR),在可以接受的存储需求总量下,通过选择性分群大幅度减少了状态机的个数,有效地降低了匹配算法的复杂性.
文摘以传统有限自动机(finite state automata,简称FSA)为基础,从系统调用参数中解析出系统对象,提出了一种基于系统对象的软件行为模型(model of software behavior based on system objects,简称SBO).该模型的行为状态由软件所关联的所有系统对象表示,从而赋予状态的语义信息,解决了不同行为迹中PC(program counter)值的语义不相关问题;同时,该模型可以对抗系统调用参数的直接和间接修改,从而可以检测基于数据语义的攻击.最后,实现了基于SBO的软件异常检测原型工具(intrusion detection prototype system based on SBO,简称SBOIDS),其实验和分析结果表明,该模型可以有效地检测基于控制流的攻击、模仿攻击以及针对数据语义的攻击,并给出了该工具的性能开销.
