不规则结构有限元分析的并行处理及其在YH-1上的实现

在结构分析中,有限元方法是一个重要的数值方法。近些年来,关于单元刚度矩阵计算与总刚度矩阵合成的并行处理问题,A.K.Noor,梁维泰等人已进行了富有成效的工作,但他们的工作都是面向几何形状规则的结构分析问题。本文结合YH—1机的特点,对不规则结构分析问题,在提出单元分组技术的基础上,给出了一个单元刚度矩阵计算的并行算法ESVC,和变带宽存储格式下一个总刚度矩阵合成的并行算法ESVS。通过在YH—1并行机上对实例的计算结果表明:当同时计算的单元数r取120时,加速比s可达9.5,且r愈大,s就愈高。     

概括原则与悖论研究的进展

悖论的出现与概括原则中的造集的任意性有很大关系。然而,历史上各种排除悖论的方案要么修改概括原则而过多地限制了概括原则的合理内容,要么修改与之配套的逻辑系统而导致失败。近年来,这些问题的研究又取得了新的进展,有必要历史地加以评介,本文从类型论、ZFC公理系统、BG公理系统、多值逻辑系统和中介数学系统五个方面综述逻辑数学悖论之解释方法的研究情况。     

关于矩阵方程AX-XB=C的解

本文导出了矩阵方程AX-XB=C的解的有限代数表达式,在此基础上,给出了一种新的直接的算法。     

固体火箭发动机总体设计水平的模糊综合评判

基于模糊逻辑，建立了评判固体火箭发动机总体设计水平两级指标体系和模糊综合评判方法，采用给定满意区间的方法提高了可量化指标隶属度的准确性。算例表明，该方法较全面地反映了固体火箭发动机总体设计水平。     

离散数学中与量词有关的推理规则

清楚地叙述了自然推理系统中的存在量词消去规则和全称量词引入规则满足的条件,而这些条件在许多离散数学教科书中叙述得相当含糊.与某些教科书中存在量词消去规则只能用于无自由变元的公式不同,按照本文给出的条件,存在量词消去规则也可以用于有自由变元的公式,因而增强了系统的推理能力.引进了解释之间和赋值之间关于公式集的等价性,从而证明了系统是可靠的,即一个证明中的结论是其前提的逻辑推论.     

动力系统的Lyapunov稳定性和吸引性

对度量空间中动力系统的Ｌｙａｐｕｎｏｖ稳定性与吸引性之间的关系进行了研究，证明了连通局部紧空间中吸引子和全局吸引子是等价的     

模糊决策分析方法在新型导弹武器装备试验总体设计中的应用

军事运筹学研究方法的开放性和多样性、模糊数学中定量分析和定性分析相结合的灵活性方法,为新型导弹装备试验总体设计带来新的思路和决策分析方法。文中以试验总体设计为研究背景,给出了模糊决策分析方法的应用实例,为试验工程实践提供参考思路。     

高等数学教学中数学建模思想的渗透

本文从数学建模及其重要意义角度出发,指出了学习数学建模的必要性和现在数学教学中存在的主要问题。学习高等数学的目的在于应用数学思想方法解决实际问题,将数学建模思想渗透到高等数学课程中,可提高学生应用数学知识和方法解决实际问题的能力,培养学生的数学素养、创新意识、创新精神和能力,从教学内容、教学手段、评价方法等各个环节注重数学建模思想的渗透,使数学建模意识成为学生思考问题的方法和习惯。     

改善高等数学教学效果的主要途径

在高等数学教学中,学生学习主动性不强、兴趣不浓的问题比较普遍。为解决这些问题,阐述了从建立良好师生关系、调整教学方式方法、应用多媒体教学和融入教学建模思想等方面激发学生的学习兴趣。     

旅客机座舱综合环境质量评价模型

针对旅客机座舱综合环境质量评价问题,提出一种模糊综合评价模型.其采用分层评价体系,将座舱热环境、座舱空气质量以及座舱声、视、安全环境作为评价模型的第一层,各环境要求的具体评价因素作为评价模型的第二层,应用模糊综合评价方法,将两层因素结合在一起.在第二层次中,根据对座舱环境的影响,合理区分其重要程度,利用模糊运算得出初级评价结果,利用层次分析法,确定第一层次三方面的权重系数,从而得出座舱综合环境质量的评价结果,并通过求重心的方法解决了最大隶属度不适用的情况.还通过对具体实例的应用,证实了模型的可行性和合理性.