亚麻纤维性能与成纱质量的灰色优势分析

本文用灰色优势分析法分析了亚麻纤维的品质与成纱质量的关联程度,指出对成纱质量影响最显著的纤维分裂度,其次是纤维强力,而纤维长度的影响最弱。     

基于语料库的英语写作连接词分析研究

本研究旨在揭示中国英语学习者英语写作中连词的使用特点。通过采用定性和定量的研究方法,对比研究我校自建语料库SEC与英语本族语者笔语库NWC和中国学习者英语语料库CLEC,结果发现中国英语学习者连接词的使用频率较高,但使用种类单一,缺乏多样性。为提高中国英语学习者的写作能力,笔者也对今后的写作教学提出了一些建议。     

语篇分析视角下的英语阅读教学

语篇分析能够让读者通过与语篇的互动更加有效地建构文章的意义,更深刻地理解语篇。本文介绍了阅读中对语篇结构和联结手段进行分析的基本理论和方法,并列举了其在阅读教学实践中的应用实例。     

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统MP的18条推理规则作了简化,从中删除了5条不独立的推理规则,构成与原推规则集S等价的形式推理规则集S1。     

一类扩展结构大系统分散关联镇定的LMI方法

研究一类扩展结构大系统的分散关联镇定问题.假设大系统是在原系统结构上一个个地增加新的子系统而构成,即所谓扩展结构系统,则扩展结构系统的分散镇定问题就是在不改变原结构分散控制律的基础上设计新加入子系统的分散控制律,使加入新子系统后的整个大系统仍能保持稳定且关联稳定.基于Lyapunov稳定性理论和线性矩阵不等式(LMI)方法,推导了一类扩展结构大系统分散关联镇定的充分条件,并给出扩展结构的分散镇定控制器的设计方法.通过算例说明了所提出方法的有效性.     

谓词/变迁系统对一阶谓词公式的建模

研究了利用谓词/变迁系统对一阶谓词公式建模的方法。借助于软件工程中＂由粗到细,逐层分解＂的思想,定义了对各种逻辑联结词进行处理的基本模型。给出了一阶谓词公式的二叉树表示方法,进而利用二叉树的递归性质,提出了递归构造一阶谓词公式对应的谓词/变迁级的＂事实变迁＂表示的方法,克服了已有相关建模方法中存在的不足,为一阶谓词公式的自动化建模提出了新的思路。最后,探讨了一阶谓词公式的谓词/变迁系统模型在谓词逻辑推理领域的应用及其意义。