正交拉丁矩阵的上下界

引进了一般形式的拉丁矩阵,并讨论了相互正交的拉丁矩阵个数的上下界。     

灰铸铁的应力屈服曲面及其三维热弹塑性应力解析

对原有的灰铸铁件应力屈服曲面进行了合理的简化,使其在理论上合理,工程应用上更为方便。建立了灰铸铁件三维非稳态热弹塑性应力场的有限元方法。以灰铸铁哑铃件为对象,用新屈服曲面对其应力发展过程进行了模拟,且比较了用新旧屈服面计算得到的结果。     

柔性变截面滑移式机械手的控制

研究了柔性变截面滑移式机械手臂的控制。首先，基于有限元法导出系统的动力学方程，然后分别建立了两种控制方式的状态方程：１）以加速度和角加速度作为控制变量：２）以力和力矩作为控制变量。控制过程分为“粗控”和“精控”两步进行。“精控”过程采用线性二次型高斯控制。最后给出了数值模拟的结果。     

矩阵极坐标的应用

该文应用矩阵极坐标方法,对文献[1]中出现的几个重要定积分作了重新处理,并运用古典的Andreief-Stieltjes公式,将其复杂的多维定积分化为简单的行列式计算。所得结果,结构简单,计算方便。     

单边双裂纹模型及其J积分的守恒性

针对某些工程结构特点,设计了单边双裂纹模型。然后先从理论上证明了其结构J积分的守恒性,再以焊接接头为例,通过体现焊接接头的几个特征参数,从力学和几何不均匀性两方面给予有限元方法数值实验证明,从而为工程结构中类似的缺陷评定奠定基础。     

温公颐中国逻辑史研究方法论初探

温公颐先生中国逻辑史研究的方法论涉及一般原则和具体方法两个层面。其中,一般原则主要包括"贵有创见"、实事求是和发展的观点3个方面。具体方法主要有比较的方法、语言学的方法以及逻辑与历史统一的方法等。温公颐中国逻辑史研究的方法论,在一定意义上是对近代以来中国逻辑史研究中简单比附这一思路与方法的有力矫正。     

计算机化简逻辑函数的算法研究

针对计算机化简逻辑函数普遍存在操作复杂、存贮容量大、运算速度慢等问题，该文用改进的重复包含算法寻找逻辑函数的质蕴涵，选择极值法求最小覆盖，并对循环函数进行处理。实验表明，这种算法可以减少存储容量、加快运算速度，而且可以增大算法的应用范围。因此，该算法在数字电子设计自动化中具有广泛的应用前景。     

基于线性元的电阻抗成像的数学模型和算法

本文讨论了电阻抗成像的数学模型，先利用有限元方法将其离散化，再把它转化为非线性优化问题，并给出了利用牛顿法求解这一问题的具体算法．最后进行了一系列数值仿真对比实验，证实了这一算法的有效性，指出了其中存在的问题．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。