As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in in...As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software.With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.展开更多
The torsional impact response of a penny-shaped crack in a nonhomogeneous strip is considered. The shear modulus is assumed to be functionally graded such that the mathematics is tractable. Laplace and Hankel transfor...The torsional impact response of a penny-shaped crack in a nonhomogeneous strip is considered. The shear modulus is assumed to be functionally graded such that the mathematics is tractable. Laplace and Hankel transforms were used to reduce the problem to solving a Fredholm integral equation. The crack tip stress field is obtained by considering the asymptotic behavior of Bessel function. Explicit expressions of both the dynamic stress intensity factor and the energy density factor were derived.And it is shown that, as crack driving force, they are equivalent for the present crack problem. Investigated are the effects of material nonhomogeneity and (strip's) highness on the dynamic fracture behavior. Numerical results reveal that the peak of the dynamic stress intensity factor can be suppressed by increasing the nonhomogeneity parameter of the shear modulus, and that the dynamic behavior varies little with the adjusting of the strip's highness.展开更多
The drawing or rolling process endows polycrystal shape memory alloy with a crys- tallographic texture, which can result in macroscopic anisotropy. The main purpose of this work is to develop a constitutive model to p...The drawing or rolling process endows polycrystal shape memory alloy with a crys- tallographic texture, which can result in macroscopic anisotropy. The main purpose of this work is to develop a constitutive model to predict the thermomechanical behavior of shape memory alloy sheets, which accounts for the crystallographic texture. The total macroscopic strain is decom- posed into elastic strain and macro-transformation strain under isothermal condition. Considering the transformation strain in local grains and the orientation distribution function of crystallo- graphic texture, the macro-transformation strain and the effective elastic modulus of textured polycrystal shape memory alloy are developed by using tensor expressions. The kinetic equation is established to calculate the volume fraction of the martensite transformation under given stress. Furthermore, the Hill＇s quadratic model is developed for anisotropic transformation hardening of textured SMA sheets. All the calculation results are in good agreement with experimental data, which show that the present model can accurately describe the macro-anisotropic behaviors of textured shape memory alloy sheets.展开更多
The differential transformation method (DTM) is applied to investigate free vibration of functionally graded beams supported by arbitrary boundary conditions, including various types of elastically end constraints. Th...The differential transformation method (DTM) is applied to investigate free vibration of functionally graded beams supported by arbitrary boundary conditions, including various types of elastically end constraints. The material properties of functionally graded beams are assumed to obey the power law distribution. The main advantages of this method are known for its excellence in high accuracy with small computational expensiveness. The DTM also provides all natural frequencies and mode shapes without any frequency missing. Fundamental frequencies as well as their higher frequencies and mode shapes are presented. The significant aspects such as boundary conditions, values of translational and rotational spring constants and the material volume fraction index on the natural frequencies and mode shapes are discussed. For elastically end constraints, some available results of special cases for isotropic beams are used to validate the present results. The new frequency results and mode shapes of functionally graded beams resting on elastically end constraints are presented.展开更多
针对概念设计阶段机翼设计需要大范围探索设计空间并进行气动结构一体化设计的需求,提出一种基于类别/形状变换函数(class-shape function transformation,CST)的三维机翼气动结构解析参数化建模与优化方法。在二维CST基础上,推导三维CS...针对概念设计阶段机翼设计需要大范围探索设计空间并进行气动结构一体化设计的需求,提出一种基于类别/形状变换函数(class-shape function transformation,CST)的三维机翼气动结构解析参数化建模与优化方法。在二维CST基础上,推导三维CST参数化几何模型的解析函数形式,通过网格自适应离散与结构特征提取技术建立了三维机翼的气动和结构解析参数化模型,能够同时支持包括机翼几何构型、结构布局、结构尺寸、材料属性等参数的气动结构一体化快速建模与优化求解,具备几何模型大范围参数化以及气动、结构模型的建模过程自动化能力。采用该方法对某大展弦比机翼开展气动结构一体化优化设计,对比固定结构布局优化方案,优化结果梁由2个减至1个,翼肋由20个减至15个,质量相比减少26.1%。展开更多
翼型及机翼优化设计中,设计变量的个数对优化算法的收敛速度及代理模型的精度有很大的影响。因此,在精确描述翼型的同时,发展较少设计变量的翼型参数化方法对翼型优化设计有着重要的意义。本文基于CST(class function/shape function tr...翼型及机翼优化设计中,设计变量的个数对优化算法的收敛速度及代理模型的精度有很大的影响。因此,在精确描述翼型的同时,发展较少设计变量的翼型参数化方法对翼型优化设计有着重要的意义。本文基于CST(class function/shape function transformation)翼型参数化方法对Kriging模型的预测精度进行研究,并采用改进的粒子群优化算法构建气动优化设计系统。某亚声速机翼单点减阻设计及超临界翼型的稳健性设计表明该系统具有较高的设计质量,方法可靠,有较高的工程应用前景。展开更多
文摘As a kind of formal specification language, Z has gained a position in the field of software development, but there is still no standard way of transforming Z specification into executable code that is promising in increasing the quality, reusability and maintainability of software.With the automatic programming model of software engineering, through the analysis for Z specification language, a feasible semi-automatic way of refinement and transformation is proposed, and the correctness of the procedure is also discussed.
文摘The torsional impact response of a penny-shaped crack in a nonhomogeneous strip is considered. The shear modulus is assumed to be functionally graded such that the mathematics is tractable. Laplace and Hankel transforms were used to reduce the problem to solving a Fredholm integral equation. The crack tip stress field is obtained by considering the asymptotic behavior of Bessel function. Explicit expressions of both the dynamic stress intensity factor and the energy density factor were derived.And it is shown that, as crack driving force, they are equivalent for the present crack problem. Investigated are the effects of material nonhomogeneity and (strip's) highness on the dynamic fracture behavior. Numerical results reveal that the peak of the dynamic stress intensity factor can be suppressed by increasing the nonhomogeneity parameter of the shear modulus, and that the dynamic behavior varies little with the adjusting of the strip's highness.
基金Project supported by the National Natural Science Foundation of China(Nos.11272136,10902111,10772021 and 10972027)the Foundation of Jiangsu University(No.11JDG066)
文摘The drawing or rolling process endows polycrystal shape memory alloy with a crys- tallographic texture, which can result in macroscopic anisotropy. The main purpose of this work is to develop a constitutive model to predict the thermomechanical behavior of shape memory alloy sheets, which accounts for the crystallographic texture. The total macroscopic strain is decom- posed into elastic strain and macro-transformation strain under isothermal condition. Considering the transformation strain in local grains and the orientation distribution function of crystallo- graphic texture, the macro-transformation strain and the effective elastic modulus of textured polycrystal shape memory alloy are developed by using tensor expressions. The kinetic equation is established to calculate the volume fraction of the martensite transformation under given stress. Furthermore, the Hill＇s quadratic model is developed for anisotropic transformation hardening of textured SMA sheets. All the calculation results are in good agreement with experimental data, which show that the present model can accurately describe the macro-anisotropic behaviors of textured shape memory alloy sheets.
文摘The differential transformation method (DTM) is applied to investigate free vibration of functionally graded beams supported by arbitrary boundary conditions, including various types of elastically end constraints. The material properties of functionally graded beams are assumed to obey the power law distribution. The main advantages of this method are known for its excellence in high accuracy with small computational expensiveness. The DTM also provides all natural frequencies and mode shapes without any frequency missing. Fundamental frequencies as well as their higher frequencies and mode shapes are presented. The significant aspects such as boundary conditions, values of translational and rotational spring constants and the material volume fraction index on the natural frequencies and mode shapes are discussed. For elastically end constraints, some available results of special cases for isotropic beams are used to validate the present results. The new frequency results and mode shapes of functionally graded beams resting on elastically end constraints are presented.
文摘针对概念设计阶段机翼设计需要大范围探索设计空间并进行气动结构一体化设计的需求,提出一种基于类别/形状变换函数(class-shape function transformation,CST)的三维机翼气动结构解析参数化建模与优化方法。在二维CST基础上,推导三维CST参数化几何模型的解析函数形式,通过网格自适应离散与结构特征提取技术建立了三维机翼的气动和结构解析参数化模型,能够同时支持包括机翼几何构型、结构布局、结构尺寸、材料属性等参数的气动结构一体化快速建模与优化求解,具备几何模型大范围参数化以及气动、结构模型的建模过程自动化能力。采用该方法对某大展弦比机翼开展气动结构一体化优化设计,对比固定结构布局优化方案,优化结果梁由2个减至1个,翼肋由20个减至15个,质量相比减少26.1%。
文摘翼型及机翼优化设计中,设计变量的个数对优化算法的收敛速度及代理模型的精度有很大的影响。因此,在精确描述翼型的同时,发展较少设计变量的翼型参数化方法对翼型优化设计有着重要的意义。本文基于CST(class function/shape function transformation)翼型参数化方法对Kriging模型的预测精度进行研究,并采用改进的粒子群优化算法构建气动优化设计系统。某亚声速机翼单点减阻设计及超临界翼型的稳健性设计表明该系统具有较高的设计质量,方法可靠,有较高的工程应用前景。
