(L)ukasiewicz命题逻辑系统中的赋值决定公式问题

为了在经典逻辑学中建立Fuzzy分离规则的推理模式，Zadeh提出了赋值决定公式问题（VDF问题），并已于二值命题逻辑以及Lukasiewicz三值和p＋1值命题逻辑中得到解决．文中在更一般的Lukasiewicz命题逻辑系统中建立了VDF问题的求解理论，首先给出了一般的Lukasiewicz命题逻辑系统中VDF的合理性条件，其次构造性地解决了Ln、La和Lc中的VDF问题．     

Kantorovich积分不等式的加强式及应用

从Kantorovich离散型不等式出发,推广到相应的积分型不等式,并给出构造性证明,又对其积分型不等式进行了加强,最后讨论了Kantorovich积分不等式加强式的应用.     

种群细胞增生中迁移方程的研究进展

介绍了近年来国际上种群细胞增生中的迁移方程的研究进展,主要阐述了这类迁移方程解的构造性理论及应用等研究成果。     

区间集非交换剩余格〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子的构造性刻画

借鉴反映不确定性推理本质特征的滤子理论和用模糊粗糙集上、下近似集表述的区间集思想,引入了区间集非交换剩余格的概念,讨论构成区间集非交换剩余格的代数结构特征,构造性地给出了广义Fuzzy蕴涵滤子与其相应的〈∈,∈凵Q〉-广义Fuzzy蕴涵滤子间的等价性表示定理,体现了性质迥异的区间集非交换剩余格代数表示形式的内在相容性。     

例谈排列组合综合问题解题策略

排列组合综合问题类型多,方法广,思辨性强,有较强的灵活性和综合性,其解法又往往是构造性的,灵活多样,而且解题过程易出现“重复”和遗漏”的错误较难自检发现,很多学生感到此类问题很难做,甚至不知如何下手．事实上,在解决排列组合综合问题时,一方面应认真审题,抓住问题的本质特征,灵活运用基本原理和排列组合的概念、公式进行分析、计算,另一方面要特别注意合理、恰当、准确、灵活地应用解题策略,这样往往可使问题迎刃而解．     

第二类Feigenbaum函数方程凸解的构造

考虑第二类Feigenbaum函数方程{f（x）=1/λf（f（λx））,0〈λ〈1,f（0）=1,0≤f（x）≤1,x∈[0,1]对于给定的初始函数,利用构造性方法讨论上述方程的连续凸解、C^1-凸解和C^2-凸解的存在性及唯一性.     

关于“巧用均值不等式求条件分式最值”的再讨论

李老师在文[1]中使用均值不等式来求解几类条件分式最值问题.但其求解过程较繁琐,构造性太强,因而不易为中学生所理解、掌握.本文重新考虑了文[1]中几类问题,通过权方和不等式给出了他们的简单证明.     

关于“巧用均值不等式求条件分式最值”的再讨论

李老师在文[1]中使用均值不等式来求解几类条件分式最值问题．但其求解过程较繁琐,构造性太强,因而不易为中学生所理解、掌握．     

构造性辅助线四例

在几何证明中除常见的连接、延长、作平行、作垂直等辅助线之外,还有一种作辅助线的思路,就是通过巧妙的几何变换构造出全等或是特殊的图形.这种作辅助线方法我们通常称为构造性辅助线.     

一类推广后的Feigenbaum函数方程的光滑解

考虑一类推广后的Feigenbaum函数方程｛g（0）=1,-1≤g（x）≤1,x∈[-1,1],h（g（x））=g（g（h（x）））其中h（x）是[-1,1]上的递减光滑奇函数且满足h（0）=0,-1〈h’（x）〈0,z∈[-1,1]．利用构造性方法讨论上述方程的光滑解的存在性及唯一性．