N-P基本引理的严密化、标准化研究——兼评国内某些教材对此定理的引述与证明

来源 :山西大学学报:自然科学版 | 被引量 : 0次 | 上传用户:liu0211yan
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
我国目前所引述的Neyman-Pearson基本引理(下简称N-P引理),可谓是五花八门、应有尽有.就其证明的严密性而言,要么只给出了一致最大功效检验(下简记UMPT)函数的非随机化检验形式,要么仅局限于其充分性的证明.文章从N-P引理的本质特征出发,把的随机化检验形式,和引理的充要条件的证明统一在一起,因而形式更为完美,证明更加严谨,并且还给出了它直观的图像表示和扩大了检验函数的集类Fφ.
其他文献
高精度时间间隔测量技术在军事科技、工程实践、理论研究、激光测距、通信等方面得到了广泛的应用,如何利用飞速发展的FPGA技术结合现有的高精度时间间隔测量技术设计出高性能
讨论了最高阶元素个数|M(G)|=4pq(其中p,q为素数)的有限群,证明了当给p,q适当的限制时,这类群或者是可解群,或者有一截段同构于L2(7),L2(8)或U3(3),此时G为(2,3,7)-群.
文章研究了一类具有混合时滞及脉冲效应的Cohen—Grcossberg神经网络.运用Lyapunov泛涵方法,研究这类神经网络的指数稳定性.
表面活性剂LDA0广泛应用于不产氧光合细菌外周捕光复合体LH2研究中,采用吸收光谱法研究了LD—AO对Rhodobacter azotoformans 134K20菌株LH2中类胡萝卜素(carotenoids,Car)解离行
研究具有变时滞的神经网络的全局鲁棒指数稳定性,应用线性矩阵不等式(LMI)方法,拓扑学上的同胚方法和矩阵论等方法来证明神经网络模型的鲁棒稳定性.
考虑带有截尾数据的位置效应和散度效应模型,在改进Hamada和Wu(1991)位置效应分析方法的基础上,将Brennerman和Nair(2001)散度效应分析的MH方法融入其中,对带有截尾数据的无重复因子
考虑了一类脉冲时滞微分不等式解的一个结论,为证明一些脉冲时滞微分方程解的指数稳定性提供了重要的条件,文章推广并改进了已有文献的结果.
用量子化学密度泛函理论(DFT)方法,对CH3SH与O(3P)的反应进行了理论研究.在B3LYP/6-31G*,B3LYP/6-311++G**水平上,优化了反应势能面上各驻点(反应物、产物、中间体和过渡态)的几何构型,
利用M-矩阵和Banach不动点定理得到了BAM神经网络模型平衡点的存在唯一性和全局指数稳定.
文[4]中方法的一个不足之处是只能适用于s≥3,即至少有2个零效应的2水平饱和设计情形,但对s≤2的情形没有进行研究.本文在文[4]的基础上解决只有一个零效应(即s=2)的情形.模拟结