两总体下双参数指数分布门限参数的比较

本文研究了当刻度参数未知时,双参数指数分布门限参数的检验问题.利用了似然比检验的方法,获得了检验统计量及检验水平的上下界.该方法应用在两个截尾数相等情形下,所得到的检验水平是真实的.     

基于吴方法的多值模型检验

大型复杂系统的开发过程中不可避免的涉及到非确定或不一致信息的处理,而多值模型检验作为经典模型检验的一种扩展,是处理和分析包含此类信息模型的一种有效手段.提出了一种系统化的多值逻辑(涵盖经典逻辑)的代数表示方法,使用吴方法的基本思想和框架实现复杂系统形式验证中基于多值逻辑的模型检验的代数化,建立了通过吴方法实现多值模型检验技术的整体框架.这种代数化的多值模型检验方法可以作为现有方法的有力补充.     

我国粮油检验方法标准已与国际接轨

从国家粮食局获悉，我国粮油产品质量安全限量标准和检验方法标准与国际标准及发达国家标准已基本一致，采标率接近100％。 近年来，国家粮食局结合我国粮食生产和流通的实际情况，提出了“粮油产品标准尽量采标，粮油安全与检验方法标准全面采标”的工作目标，加强了采标的研究和验证，扎实推进我国粮油标准与国际标准的接轨。     

《理化检验-化学分册》征稿简则北大核心CSCD

《理化检验-化学分册》杂志创刊于1963年,系中国机械工程学会理化检验分会会刊,是由上海科学院主管、上海材料研究所主办的技术类刊物,大16开本,每月18日出版。本刊为中文核心期刊,中国期刊方阵双效期刊,已被国内外多种数据库收录。主要报道各种材料,以及涉及生命科学、生物工程、环境保护、食品卫生、商品检验等专业领域分析化学的新理论、新技术、新方法、新经验及新的应用性研究成果。     

一类截尾序贯检验的渐近最优性

设(x₁,t≥0)是概率空间(Ω,(?),P_θ)上的指数型随机过程,这里θ∈(-∞,∞),ν_t是测度.为了检验假设θ≤θ₀(对立假设是θ>θ₀),我们找出了一类截尾的序贯检验法,其第一类错误概率不超过给定的α且平均观测时间在α→0时是渐近最短的.     

图像小波域局部统计模型的拟合优度检验

提出了一种图像小波域局部统计模型的拟合优度检验方法, 构造了一个检验的统计量, 其分布为$\chi^2$-分布. 模拟结果表明, 不同分块下的拟合优度检验结果不同, 即从理论上给出了基于小波域局部统计模型的最优分块方法.     

完全区组设计下基于Aligned秩的有方向检验问题

本文基于Aligned秩给出了用于解完全区组设计有方向检验问题的, 我们称之为$C$-检验的检验方法. 本文分别对每个试验单元仅有一个观测值以及等重复观测值和不等重复观测值各种情形下的$C$检验进行了讨论, 并在原假设$H_0$成立时计算了上述各种情形下$C$检验统计量的数学期望和方差, 且证明了$C$检验统计量的渐近分布为正态分布.     

稳健Bayes估计

在Bayes估计问题中,我们证明了当损失函数满足一定条件时,所对应的Bayes估计是稳健的:即Bayes估计是后验分布的连续泛函(相对于后验分布之间的Kolmogorov距离)。