使用归结和调解的输入反驳与单元反驳不等价

Chang和Lee在文献[1]中给出了如下结果: 定理8.4 如果子句集S有使用归结和调解的输入反驳,则S与函数自反公理集的并集有使用归结和调解的单元反驳。     

二维粘弹性问题的边界单元法

本文通过对粘弹性拟静态问题的方程进行Laplace变换,将粘弹性问题变换成在Laplace空间下与弹性静力问题相同的形式,推导出了用边界单元法分析粘弹性问题的基本公式,并用FORTRAN语言编制的计算机程序对粘弹性问题进行了分析计算。     

关于壳单元连接条件的进一步探讨

关于壳单元连接条件的进一步探讨@吴曾谅@淡勇...     

Hopfield神经网络的电致发光兑现

介绍一种用电致发光（ＥＬ）屏兑现Ｈｏｐｆｉｅｌｄ神经网络的方法，并且描述和讨论它的结构，工作原理以及应用。     

基于邻域的混合象元解译

根据地物的自然连续性,认为混合象元中最终光谱单元的组成与其邻域相关,据此提出了一种十分简单的混合象元解译方法———基于邻域的混合象元解译．给出了解译的基本步骤与线性算法,讨论了最终光谱单元的标准及其搜集方法,并探讨了混合象元中与邻域无关的孤立最终光谱单元的探测问题．     

微生物学的“单元要素化教学”

微生物学是高等师范院校生物专业的一门重要的专业基础课和主干课．它研究的对象是肉眼看不见的微生物,由于学生们原有的感性知识少,每当讲到新知识时,学生们常常觉得难以理解。微生物学的特点是研究的对象多而杂,研究的内容面广而散,在多年的教学中我们发现,常规的教学方法往往前后知识点联系不起来,学生感到零乱、枯燥、无系统性,似懂非懂,难以掌握．根据高师生物专业的培养目标,遵循事物的认识规律,针对本课程特点,我们建立了“单元要素化教学”的教改方案,经过在9届学生的教学过程中的尝试,收到了良好的教学效果．1“单元…     

阻尼夹层板的有限单元法

阻尼夹层板是利用阻尼材料耗能达到减振效果。本文推导阻尼夹层板的有限单元法的相关公式，并给出了算例，为设计计算这种形式的板给出有效的方法。     

线性与非线性有限单元分析概论计算方法

本书是关于线性和非线性有限单元法的入门教材，是根据作者在过去12年里为美国新奥尔良大学的多个专业学生讲授这两门课程的基础上逐步编撰而成。本书不同于已有教材，有许多新颖的特点，如重视基础应用，力求最少涉及数学理论；内容涉及的专业范围宽，选用大量不同专业的问题进行引导，可供多种学科背景的学生学习；在讲述理论的同时将相关软件的使用贯穿全书。