亚氏三段论与传统三段论之比较

传统三段论和亚里士多德的三段论在概念、内容、命题的表述以及规则的作用等方面都有区别,传统三段论发展了亚氏三段论的部分理论。     

广义量词的单调性与数字三角形

回顾了广义量词的背景知识;在介绍数字三角形画法的基础之上,对S.Peters和D.Westerstahl的数字三角形简图进行了改进;在整理相关文献的基础之上,给出了更加全面的广义量词的单调性定义,并给出了更加全面的各种单调性的形式化表述,从而更加清楚直观且全面深入细致地探讨了类型为〈1〉的广义量词和类型为〈1,1〉的广义量词的单调性与数字三角形之间的关系。     

LF(X)中带广义量词的弱完备性定理

给出了一阶格值逻辑系统LF(X)中带广义量词的L-型模糊集为闭的扩展定义,得到赋值为闭的结果,证明了LF(X)中带广义量词的弱完备性定理.     

量词消去法在完全理论证明中的应用

本文利用量词消去理论证明了后继函数理论是完全的．     

广义弱亚正规算子的Weyl定理

这篇文章主要研究了广义弱亚正规算子T的一些性质,得到了ker(T-λ)=ker(■-λ),λ∈C,成立,并证出了Weyl定理对T及f(T),f∈H(σ(T)),都适合。     

矩阵方程Y^TAX=B的广义亚半正定解

本文考虑如下问题问题P给定G∈Rn×m,设Y∈Rm×q,X∈Rm×q,X∈Rn×p,B∈Rq×p,求A∈GRm×n≥O使得YTAX=B,其中GRm×n≥O={A∈Rm×n|GA∈Rm×n≥O}.文中讨论了问题P有解的充分必要条件,并在有解的情况下,给出了问题P的解的表示.     

亚双曲型广义Cartan矩阵的分类

本文解决了一类非双曲型的不定型（亚双曲型）广义Ｃａｒｔａｎ矩阵的分类问题．证明了亚双曲型矩阵的阶数范围，并做出了阶数为３，５，６的亚双曲型广义Ｃａｒｔａｎ矩阵的Ｄｙｎｋｉｎ图．     

关于亚混合单调算子的不动点定理及其应用

提出了亚混合单调算子的概念，讨论了其不动点定理，改进和扩充了」１－３」的工作。     

广义亚正定阵收敛算法

对重要矩阵类GMP={A∈Rn×n|正对角阵D,使得A0≠x∈Rn,x'(DA)x>0},用非线性规划的方法建立一个收敛算法,即使得当A∈Rnc={A∈Rn×n|A的一切主子式全为正}(这里矩阵类Rnc(∩)GMP)时,能判断是否A∈GMP;而当A∈GMP时,能具体求出满足条件的正对角阵D.     

基于生存理论的广义预测控制

基于生存理论,将状态空间按约束条件划分为不变子空间、安全子空间、危险子空间和死亡子空间,根据状态预测值所处的子空间选择不同的目标函数,提出了一种新的广义预测控制算法,它可保证系统始终满足给定的约束条件。     

基于相容关系的扩展粗糙集理论研究

引入相容度的概念,并给出一种利用相容度确定论域的完全覆盖的方法。然后用完全覆盖中的最大相容类定义精确集、粗糙集等概念,建立了一种基于相容关系的相容粗糙集理论体系。在此基础上讨论了相容粗糙集的一些基本性质和相关定义。     

一种基于广义信息概念的智能系统结构和方法

本文基于广义信息概念提出了一种新的智能专家系统理论结构，详细描述了这种结构的特点，并将该方法应用于一个实际过程。     

基于广义逆理论的区域极点配置研究

在控制理论及应用领域中，区域极点配置一直是控制系统设计的重要方法之一。该文针对线性连续及离散时间系统提出了一种统一的基于广义逆理论的圆形区域极点配置方法，即设计状态反馈控制器，使闭环极点位于给定的圆状区域中。文中给出了期望控制器存在的充要条件及其参数化代数表示。与已有结果相比，该文方法只需求解一线性矩阵方程，因而更易工程实现。数值算例验证的了该方法的有效性及直接性。     

D-S理论在开放识别框架下的推广

针对无法获取完备识别框架的应用背景,把证据模型建立在一个随着证据组合而不断完善的开放识别框架上,提出一种推广的Dempster-Shafer(D-S)证据理论--开放框架D-S理论(OFDST).基于DFDST定义证据的支持函数与反对函数,对证据的信任函数模型进行全新诠释,揭示Dempster组合规则的线性实质.最后通过一个实例验证了该理论的合理性与有效性.     

基于灰色层次分析的产品广义质量综合评价研究

以提高产品质量为出发点,深入分析了产品质量的内涵和外延,提出了产品广义质量的概念,确立了产品广义质量目标体系,其中包含结构性能、工作性能和工艺性能在内的产品全性能和全功能指标簇;较全面地考虑了产品广义质量的层次性和复杂性.采用AHP和灰色理论相结合对产品广义质量进行评价,兼顾产品广义质量的模糊性、复杂性和难以量化等特点.以某国产挖掘机为例,对其广义质量进行了综合评定;结果表明,广义质量及其评价体系可以为产品的设计制造、质量评价和企业定位提供科学参考及决策依据.     

基于广义无功功率理论的静止有源补偿

在广义无功功率理论的基础上，采用正交变换，推导出综合电流表达式，提出静止有源补偿的构成和工作。采用最优脉宽调制技术（ＰＷＭ），实时，连续、动态补偿负载基波无功，抑制高次谐波，实现三相系统对称运行，仿真试验结果表明，理论分析和补偿方案是正确和有效的。     

基于广义逆理论的转角信息重构近似算法

针对结构识别中转角信息难以测量的问题,完善了一种基于广义逆理论的转角信息重构问题近似算法.该算法从静力凝聚的基本方程出发,求解广义逆矩阵,由结构的位移测量信息计算结构的转角信息.通过理论分析给出了广义逆理论近似算法的适用条件和广义逆解答是精确解答的条件.数值算例表明:该近似算法的范数误差一般较小,而绝对量较小的分量误差较大.     

对亚里士多德三段论的认识

分析了亚里士多德三段论,论述了亚里士多德三段论与传统逻辑三段论的区别及其自身的一些特点。     

基于排队论的工件加工优化模型研究

本文将排队论方法应用于工件加工问题中,建立了基于N-策略M/G/1的单机工件加工模型,并以系统总费用最低为目标函数,对问题进行优化,求出了最优缓冲工件数.