直言判断变形推理疑难及其规则补充——兼析逻辑教材长期存在的一种不一致情形

直言判断变形推理是普通逻辑的重要内容，它依据的是直言判断的逻辑性质和主谓项的论域关系。直言判断的逻辑性质又是依据主谓项的外延关系确定的。然而，现行教材概念论中概念外延关系、负概念及其论域内容与直言判断及其变形推理内容并不一致，变形推理操作规则与实际推理也有龃龉。从普通逻辑的实际功用看，这种不一致应该以新规则消除之，以使普通逻辑与日常思维理性相一致，使概念论、判断论、推理论的内容贯通一致。     

因式分解的应用

因式分解是多项式的恒等变形，这种变形在解题中有着十分重要而又广泛的应用。     

一类非线性系统零解的全局渐进稳定性

利用定性和稳定性相结合的方法讨论了一类非线性系统零解的全局渐近稳定性。     

三维极限平衡法在不同滑动破坏模式下的边坡稳定性分析

结合双鸡沟边坡两种不同滑动破坏模式,基于三维Spencer法运用3D-SLOPE软件对边坡稳定进行分析计算.针对边坡变形体,分别拟定了八种计算工况,根据三维极限平衡分析,得到两种滑动模式在不同工况下,仅有一种滑动模式库水骤降时的边坡稳定性不能满足规范要求,其余均能满足规范要求,可以为工程实践提供依据.     

具有接种疫苗年龄结构的SIS流行病模型的稳定性

建立和研究了具有接种疫苗年龄结构的SIS流行病模型 ,得到一个与接种疫苗率 ψ有关的再生数R (ψ)的表达式 ,证明了当R (0 ) <1时 ,无病平衡态全局吸引 ,当R (ψ) <1时 ,无病平衡态局部渐近稳定 ,当R (ψ) >1时 ,无病平衡态是不稳定的 ,此时存在一个局部渐近稳定的地方病平衡点     

自动控制系统稳定性的判断

控制系统性能的优劣 ,有许多具体的性能指标来体现。这些性能指标的确定必须以系统稳定为前提。判断一个系统是否稳定 ,常用的有古尔维茨判据即代数稳定判据和奈奎斯特稳定判据     

具有分布时滞的Cohen-Grossberg神经网络的指数稳定性

本文中,我们首次采用非负矩阵的谱半径和不等式分析技巧研究了具有分布时滞的Cohen-Grossberg神经网络,得到了其平衡点存在性和指数稳定性的充分判据.在我们的结果中,去掉了函数αi(s)(i=1,2,…,n)的上界限制,从而推广了相关文献的结果.     

一类静脉滴注模型的全局稳定性

本文对一类静脉滴注模型进行了定性研究。当模型中所有参数为正的常数且K_0<δm时,模型是全局稳定的。     

一类具抗体免疫应答的HIV-1动力学模型的稳定性分析

为研究HIV-1病毒感染过程中人体抗体免疫应答的作用,讨论了一类具抗体免疫应答的时滞HIV-1动力学模型的稳定性.首先讨论平衡点的存在性,然后通过构造Lyapunov函数讨论了无感染平衡点的全局渐近稳定性,说明了无抗体免疫应答平衡点的全局渐近稳定性,并探讨了抗体免疫应答平衡点的局部渐近稳定性及Hopf分支,最后通过数值模拟进行验证.