假设检验中的三个问题及其思考

讨论了假设检验的教学和实践中可能会遇到的三个问题.分析得到三个结论:理论上原假设与备择假设可以任意设定,但实践中常常按照某种规则来设定;假设检验的两个常用的决策准则中,p值准则更精确,为决策者接受原假设提供了一个"风险"的度量;假设检验理论在处理利用样本推断总体的问题中是普遍有效的.     

非光滑半无限多目标优化问题的最优性充分条件

研究了一个非光滑半无限多目标优化问题(简记为SIMOP),并讨论了它的最优性条件.首先, 通过对目标函数和约束函数的某种组合赋予Clarke F-凸性假设, 获得了SIMOP(弱)有效解的最优性充分条件.接下来, 用Chankong-Haimes方法建立了此SIMOP的一个标量问题并得到了这个标量问题的最优性充分条件.     

一个改进的序列二次规划可行下降算法及其全局收敛性

利用广义投影校正技术对搜索方向进行某种修正,改进假设条件,采用一种新型的一阶修正方向并结合SQP技术,建立了求解非线性约束最优化问题(p)的一个新的SQP可行下降算法,在较温和的假设条件下证明了算法的全局收敛性.由于新算法仅需较小的存储,从而适合大规模最优化问题的计算.     

非光滑半无限多目标优化问题的对偶性

研究了一个非光滑半无限多目标优化问题(简记为SIMOP)并讨论它的对偶性.本文重点考虑此SIMOP的Mond-Weir型半无限多目标对偶问题,通过对目标函数和约束函数的某种组合赋予Clarke-凸性假设,获得了弱/强/逆对偶结论.文章的一些结论是比较新的,并推广了已有文献的一些结果.     

非光滑半无限多目标优化问题的对偶性北大核心CSCD

研究了一个非光滑半无限多目标优化问题(简记为SIMOP)并讨论它的对偶性.本文重点考虑此SIMOP的Mond-Weir型半无限多目标对偶问题,通过对目标函数和约束函数的某种组合赋予Clarke-凸性假设,获得了弱/强/逆对偶结论.文章的一些结论是比较新的,并推广了已有文献的一些结果.     

关于存在型问题的探讨

存在型问题,一般有肯定型、否定型和讨论型三种,即在数学命题中,常以适合某种性质的结论“存在”、“不存在”、“是否存在”等形式出现．“存在”就是有适合某种条件或符合某种性质的对象,对于这类问题无论用什么方法只要找出一个,就说明存在．“不存在”就是无论用什么方法都找不出一个适合某种已知条件或性质的对象,这类问题一般需要推理论证．“是否存在”结论有两种:可能,或存在,需要找出来;若不存在,则需说明理由．在处理过程中,对于一些存在型问题,我们常常先假设结论中相对独立的某一方面成立,进行演绎推理,若出现矛盾,即可否定先前的假设,而得出相应的结论;若推出合理的结果,且推理过程可逆,说明假设正确．     

例谈“是否存在”问题的解法

<正>"是否存在"问题是指:依据已知条件,判别某种数学对象是否存在,因此这类题目没给出结论,由解答者去探索和确定,它的解法是:假设存在,直接推断,通过推理或计算,若推出合理的结果,则先前假设成立对象存在;若推出矛盾,则否定先前假设,对象不存在.一般地说,有两种情况,现举例说明.     

例谈存在性问题

有些问题常常有这样的提法:某个数学对象或某种特性是否存在?若存在,请求出这个对象或特性;若不存在,请说明理由。求解这类问题的一般方法是:先假设所求的对象存在或结论成立,以该假设为前提条件     

与二次函数有关的“存在性说理问题”例析

二次函数中的“存在性说理问题”,是指在某种题设条件下,判断具有某种性质的数学对象是否存在的一类问题．这类题目的特点是：题型灵活、形式多样,知识点多、难度较大,综合性强,属于能力提高题,在中考中占有很重要的地位,一般都是压轴题．解决此类问题的一般策略与方法是：先假设数学对象存在,以此为条件进行运算或推理．若推导出合理的结果,说明假设正确,由此得出符合条件的数学对象存在;若推导出矛盾,就作出“不存在”的判断．     

“是否存在”型三角问题选解

对于结论不确定的问题 ,常以适合某种性质的结论“是否存在”的形式出现 ,称为结论开放型问题 .解这类问题的常用方法是 ,先假设结论中相对应的某一方面或结论成立 ,进行演绎推理 ,若推出矛盾 ,即可否定先前的假设 ,而得出相应的结论 ;若推出合理的结果 ,就说明假设正确 ,即结论成立 .现以“是否存在”型三角问题为例说明 .例 1　是否存在角α ,β ,其中α∈ - π2 ,π2 ,β∈ (0 ,π) ,使得等式ｓｉｎ(3π -α) =2ｃｏｓ π2 - β ,3ｃｏｓ(-α) =- 2ｃｏｓ(π + β)同时成立 .若存在 ,求出α ,β的值 ;若不存在 ,请说明理由 .解　假设满足…     

一类多目标分式规划的二阶对称对偶问题

研究一类多目标分式规划的二阶对称对偶问题.在二阶F-凸性假设下给出了对偶问题的弱对偶、强对偶和逆对偶定理.并在对称和反对称假设下研究了该问题的自身对偶性.     

可压缩Navier-Stokes方程组球对称弱解的大时间行为

研究了可压缩Navier-Stokes方程组 球对称弱解的大时间行为. 假设压强 $p(\varrho)=\varrho^\gamma$, 绝热指数$\gamma>1$, 外力是球对称的. 证明了假如外力满足一定的正则性及某种结构性条件, 则当时间 趋于无穷大时, 密度将趋于其对应的静止问题的唯一解.     

多指标动态规划

本文在相当广泛前提下,证明了动态系统多指标最优化问题的有效解具有某种连锁性质,并导出了多指标动态规划基本方程,这是通常意义下动态规划基本方程的推广.相应地,也推广了动态规划最优化原理.在这基础上,建立了某种广义的动态系统最优化模型以及相应的广义动态规划基本方程.     

集优化问题的近似Benson真有效解及非线性刻画

利用集合的Minkowski差,引进集优化问题的Benson真有效解和近似Benson真有效解的概念,讨论了它们之间的关系.在某种假设下证明了近似Benson真有效解集是闭的.利用非线性泛函分别建立了无约束和带约束集优化问题取得近似Benson真有效解的必要条件.     

运用数学猜想 提高解题能力

<正>著名数学教育家波利亚曾说过:"在你证明一个数学定理之前,你必须猜想到这个定理,在你搞清楚证明细节之前,你必须猜想出证明的主导思想."猜想是一种创造性思维方式.数学猜想是人们在已有知识经验的基础上对数学问题进行直觉试探,从而形成某种假设的一种抽象思维活动.实践经验表明:在数学     

有端点约束的多目标控制问题的对偶性

考虑一类多目标控制优化问题,这里允许端点在某些曲面上任意地变化.利用控制问题的广义Hamilton函数解的必要条件,构作两种形式的对偶问题模型;在ρ-不变凸假设之下证明了弱对偶定理、强对偶定理和逆对偶定理.     

R/S统计量的中偏差

在某种弱于标准大偏差条件下,甚至不需要二阶矩假设,给出了R/S统计量的中偏差原理.     

拟正定算子列

本文讨论Hilbert空间算子列的表示问题。只要算子列{T_k}_(-∞)~∞(T_k=T_(-k)~*)满足某种拟正定性假设,便可得到在空间中的西表示。只要算子列{T_k}_(k=0)~∞(T_k=T_(k)~*)满足某种拟正定性和有界性假设,便可得到在空间中的自共轭表示。     

最优捕鱼策略模型

本文讨论了渔业资源开发项目中在实现可收获的前提下对某种鱼的最优捕捞策略。 针对问题一: 通过对4龄鱼在年末的两种不同状态(全部死亡;仍为4龄鱼)的考虑,得到了两个模型,再进一步考虑鱼的产卵和孵化是一个连续的过程,利用两个离散变量的几何平均来代替连续变量建立第三个模型,最后求解在计算机上实现。 针对问题二: 1.先假设每年捕捞强度相等,建立了一个简单模型; 2.再假设每年捕捞强度不相等,建立一个复杂模型; 3.最后给出鱼群生产能力破坏不太大的含义(即鱼群减少率的上限),在它的约束之下再建立一个模型。 本文最大的特点是:离散和连续相结合,在本文的后面又将各模型的结果进行了比较,并给出了理论上的解湿,得到令人满意的结果。     

多周期多产品采购量分配优化模型

为了解决随机需求与价格折扣并存条件下的多周期多产品采购量分配问题,建立了相应的多目标混合整数随机规划模型.该模型的特点是:①模型的约束条件中兼具确定性和随机性;②通过累计需求和累计采购量表示多周期的库存持有成本;③通过约束条件方程式准确地表现随机需求和价格折扣两大假设条件.针对该模型的特殊结构,提出了一种适用的求解策略:首先,通过把机会约束转化为确定性等价类,从而将多目标混合整数随机规划模型转化为确定型多目标混合整数规划模型;然后,采用目标规划法求得问题的满意解.此外,通过应用算例说明了模型的有效性和可行性.