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

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

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

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

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

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

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

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

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

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

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

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

磁粉法检测表面裂纹概率曲线的测定

本文介绍了利用实物零件测定裂纹检出概率的方法，并作出了用磁粉法检测表面裂纹的检测概率曲线，为大型构件检测周期的确定提供了可靠数据，为结构损伤容限设计，可靠性设计提供了重要的依据。     

危险化学品应警惕包装污染

检验检疫部门提醒危险化学品出口企业,危险化学品灌装环境不清洁与灌装操作不规范容易引起运输包装的污染,建议企业严格按照《出口危险货物包装检验规程使用鉴定》操作,把危险化学品灌装过程分为多个工序（如分为初步灌装与后灌装两道工序）,避免灌装环境对包装容器引起的直接污染与间接污染,规范灌装各工序实际操作,避免因操作不良引起包装容器污染而造成安全隐患,