激光熔注中增强相颗粒对晶粒生长影响的CA模拟

基于元胞自动机法,结合Moore型邻居定义和晶粒生长理论,建立了增强相颗粒SiC对镁合金激光熔注中表层316L不锈钢晶粒生长的影响模型,模型考虑了晶界迁移率和晶界能等因素,实现了不同增强相颗粒体积分数和颗粒尺寸对晶粒生长影响的计算机模拟。结果表明,所建立的模型能较好的模拟晶粒生长过程,所得晶粒生长指数为0.42;增强相颗粒体积分数含量越高,晶粒生长越慢,晶粒尺寸越小;增强相颗粒尺寸越小,晶粒生长的越慢,晶粒尺寸越小,组织越均匀。     

Electric Vehicle Charging Simulation Framework Considering Traffic, User, and Power Grid

The traffic and user have significant impacts on the electric vehicle (EV) charging load but are not considered in the existing research. We propose a novel integrated simulation framework considering the traffic, the user, and power grid as well as the EV traveling, parking and charging based on cellular automaton (CA). The traffic is modeled by the traffic module of the proposed framework based on CA, while the power grid and user are modeled in the EV charging module. The traffic flow, user’s charging preference, user’s charging satisfaction, and the total supply capability (TSC) in the surveyed region are considered in the proposed framework. Two cases are carried out to show the interactions between the user and power grid. It is shown that the proposed framework can accurately simulate the interactions among traffic situation, user’s behavior and TSC， which are significantly lacking in the existing research. The proposed framework is scalable in considering additional interrelated elements.     

水中机器人2D 仿真的策略优化

针对现行水中机器人2D仿真1vs1比赛中的顶球算法以及策略的不足,提出一种教学建模和区域划分的方法。介绍一种新的基于区域的自适应顶球策略,即在顶球的过程中,将比赛场地分成若干区域,并在算法中采用有限自动机,不同的策略可自适应地应用于不同的区域中。实验结果证实：优化后的顶球算法配合区域划分策略能够实现更快速有效地进球,同时也提出了现有平台的优化建议。     

基于不规则元胞的主轴温度－结构场耦合热拓扑优化设计方法

为了适应复杂的几何形状,避免传统的规则矩形元胞不能均匀地覆盖设计区域的问题,实现主轴结构耦合场热拓扑优化设计,提出基于不规则元胞的混合元胞自动机法（HCAM）耦合场主轴热拓扑优化设计方法. 该方法以数值传热学的相关理论为基础,用三角形元胞来替代传统的矩形元胞,并引入局部网格细化的思想,在应力集中或应变急剧变化的区域实现局部元胞细化,使得整个结构的元胞尺寸自适应变化. 通过案例对比分析验证了该方法的可行性,该方法可以有效地适应复杂结构形状、减少元胞单元和有限元网格的数量以及降低元胞单元与有限元网格之间映射的难度. 利用不规则元胞的HCAM对主轴结构进行不同工况下的温度－结构场耦合热拓扑优化设计研究,最终获得的热拓扑优化构形结果不仅减少了主轴结构材料,而且改善了其热态特性.     

Large-scale parallel lattice Boltzmann–cellular automaton model of two-dimensional dendritic growth

An extremely scalable lattice Boltzmann (LB)–cellular automaton (CA) model for simulations of two-dimensional (2D) dendritic solidification under forced convection is presented. The model incorporates effects of phase change, solute diffusion, melt convection, and heat transport. The LB model represents the diffusion, convection, and heat transfer phenomena. The dendrite growth is driven by a difference between actual and equilibrium liquid composition at the solid–liquid interface. The CA technique is deployed to track the new interface cells. The computer program was parallelized using the Message Passing Interface (MPI) technique. Parallel scaling of the algorithm was studied and major scalability bottlenecks were identified. Efficiency loss attributable to the high memory bandwidth requirement of the algorithm was observed when using multiple cores per processor. Parallel writing of the output variables of interest was implemented in the binary Hierarchical Data Format 5 (HDF5) to improve the output performance, and to simplify visualization. Calculations were carried out in single precision arithmetic without significant loss in accuracy, resulting in 50% reduction of memory and computational time requirements. The presented solidification model shows a very good scalability up to centimeter size domains, including more than ten million of dendrites.     

基于符号模型检测的Web服务组合形式化验证

随着经济的发展和市场竞争的加剧,企业必须能够快速且准确地满足市场和用户的各种需求。Web服务组合正是由于单个Web服务不能满足企业及用户的需求而产生的一种技术,而如何确保组合的正确性来实现服务增值是一个尚未完全解决的问题。针对此问题,提出了一种基于符号模型检测器NuSMV对Web服务组合进行验证的方法,并提出了基于消息会话的Web服务有限状态自动机的形式化定义。最后实例验证了Web服务组合交互的正确性和有无死锁状态现象,进一步证明了方法的可行性。     

Modeling of gas porosity and microstructure formation during dendritic and eutectic solidification of ternary Al-Si-Mg alloys

A two-dimensional(2-D)multi-component and multi-phase cellular automaton(CA)model coupled with the Calphad method and finite difference method(FDM)is proposed to simulate the gas pore for-mation and microstructures in solidification process of hypoeutectic Al-Si-Mg alloys.In this model,the pore growth,and dendritic and eutectic solidification are simulated using a CA technique.To achieve the equilibrium among multiple phases during ternary Al-based alloy solidification,the phase transition thermodynamics and kinetics are evaluated by adopting the Calphad method.The diffusion equations of hydrogen and two solutes are solved by FDM.The developed CA-FDM coupled model can be used for sim-ulating the evolution of gas microporosity and microstructures,involving dendrites and irregular binary and ternary eutectics,of ternary hypoeutectic Al-Si-Mg alloys.It has the capability of reproducing the interactions between the hydrogen microporosity formation and the growth of dendrites and eutectics,the competitive growth among the growing gas pores of different sizes,together with the time-evolving concentration fields of hydrogen and solutes.The simulated morphology of gas pore and microstructure has a good agreement with the experimental observation.The influences of the initial hydrogen concen-tration and cooling rate on the microporosity formation are investigated.It is found that the main portion of porosity formation occurs in the eutectic solidification stage through analyzing the profiles of porosity percentage and solid fraction varying with solidification time.The varying features of simulated porosity percentage,the maximum and average pores radii indicate that increasing initial hydrogen concentration promotes the formation of higher final porosity percentage and larger pores,while the size of gas pores will significantly reduce with increasing cooling rate,leading to a lower final porosity percentage.