接受非本原字自动机的方根（T（A））~（1/2）的上界值问题

给出了Ｉｔｏ等人所讨论的接受本原字的有限自动机的判定问题、及提出接受非本原字自动机的方根Ｔ（Ａ）的上界值问题的部分解答     

单层球面网壳屋盖屈曲有限元分析

以单层球面网壳屋盖为研究对象,对50m、30m跨单层球面网壳进行了屈曲有限元分析研究,考虑了不同支座、跨度对结构屈曲特征值的影响,得到了一些重要结论,为单层球面网壳的设计、研究和应用提供了一定的参考和借鉴.     

应用大挠度薄板功的互等定理求解四边固定矩形板的挠曲方程

应用大挠度弯曲薄板的第二类功的互等定理,求解均载四边固定大挠度弯曲矩形板的挠曲面方程。     

有限域Z_2上对称方阵的合同

本文讨论了有限域Z_2上对称方阵的合同,给出了Z_2上n阶对称方阵在合同这一等价关系下的标准形和分类数目.     

扩散引起的爆破问题研究进展

1　IntroductionProblem 1　 A long- standing question in the theory of differential equations asks whether theaddition of diffusion in a reaction mechanism can cause blow- up in finite time.More specifically,doesthere exist a locally Lipschitz vector field f :Rm→ Rm,a positive definite diagonal m× m matrix D anda smooth bounded function u0 (x) ,such that for all y0 ∈ Rm ,solutions of ODEy (t) =f(y(t) ) ,　 t>0 ;　 y(0 ) =y0 , (1 )exist for all time,but solution to initial- boundary value …     

一种基于有限脊波变换的数字图像水印算法

提出了一种基于有限脊波变换域实现图像水印的方法。其优点是良好的稳健性和层次性的检测方法。这种算法充分利用有限脊波变换的特点,把原始图像和水印分解成多频段的图像来嵌入水印。检测时,把加了水印的图像分解,通过计算处理每一层取得所有的有关信息。     

空间高精度定位姿柔顺工作平台输入输出模型的研究

A precise micro-location compliant stage with elastics-supported system is enmployed for investigations.The general motion of stage supported by elastic structure is described.The analyses of forward displecement and inverse displacement of stage are formulated.The study of input-output behavior of compliant mechanisms actually belongs to a stress-strain field problem.By using finite element analysis.the compliance coefficients of the stage supported by ring are calculated.Finally,a case is inverstigated to exemplity these formulae.     

几何刚度矩阵的推导和应用

以虚功原理为基础有限元进行梁柱的分析，应用很少，主要是于在计算中，荷载很小时，计算结果就不收敛了。因而也就很难应用于工程分析中。以虚功原理为基础推导得出了几何刚度矩阵，分析了计算不收敛的原因，得出结论：不考虑节点力因位移产生的不平衡力对几何刚度矩阵的影响，是计算结果不收敛的主要原因。算例说明了当考虑了这个影响以后，计算结果和文献给出的计算结果符合良好。     

基于ANSYS的卡车燃油箱结构强度分析

卡车燃油箱是燃油供给系统的核心部件,其设计研发主要依靠工程师的经验来完成,产品更新速度慢,成本高.结合现代化设计方法利用三维软件UG设计出卡车油箱的三维结构模型,然后利用有限元方法对卡车燃油箱结构进行应力应变分析,求出卡车油箱的最大应力值σmax为319.237 MPa,最大应变值εmax为13 mm,为卡车油箱的设计修改提供理论参考依据.大大降低了卡车油箱的设计成本,提高了产品研发效率.     

瞬态Oseen方程的全离散局部投影稳定化方法

研究了非定常的Oseen方程的局部投影全离散有限元方法,证明了该格式只需在投影空间和近似空间满足局部弱的inf-sup条件的情况下存在唯一解,给出了稳定性证明,使用一个具有正交性的插值得出误差估计.