用摄动配置方法求解含时薛定谔方程

将摄动配置方法应用到含时薛定谔方程,在计算实现的基础上结合摄动配置的特征提出了一类新的数值积分方法,并给出了一个2级2阶和一个3级4阶的辛摄动配置方法对含时薛定谔方程的数值算例.为了检验新的数值积分方法,我们还给出了与两个辛摄动配置格式在理论上等价的辛龙格-库塔方法以及同阶的非辛方法的数值模拟.展示了一些数值结果,并给出了一些分析.     

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

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

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

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

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

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

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

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

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

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

欧拉常数γ的几种表示

调和级数∑n=1^∞1/n是发散的，而极限lim n→∞（∑k=1^∞1/k-lnn）却是收敛的，其极限值称为欧拉常数γ，本文给出了欧拉常数γ的几个有趣的级数表示和积分表示．     

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

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