一种新的结合NCP函数的SQP滤子算法

对于SQP滤子算法,本文提出了一种新方法来构造滤子,目的是为了使滤子的接受条件更宽松,降低进行可行性恢复的机率.另外,本文通过一些数值例子对这种新算法进行了检验,事实证明这种算法是有效的.最后还证明这种算法具有超线性收敛性.     

圆形工件正次品检验及再加工模型

针对圆形工件合格性检验问题建立了两个优化模型,运用Matlab软件进行编程求解,确定了圆心的位置,据此判断出工件一为正品,工件二为次品.接下来为判断能否将次品经过再加工使其成为正品,建立了模型三,并指出了对工件二的简单再加工方法.     

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

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

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

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

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

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

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

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

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

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

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

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