Reinvestigating B→PV decays by including contributions from Φ_(B2) with the perturbative QCD approach

Considering the B mesonic wave function φ_(B2),B→PV decays are re studied in the leading order for three scenarios using the perturbative QCD approach within the standard model,where P=π and K,and V denotes the ground SU(3) vector mesons.It is found that contributions from φ_(B2) can enhance most branching ratios and are helpful for improving the overall consistency of branching ratios between the updated calculations and available data,although there are still several discrepancies between the experimental and theoretical results.

B方法在PVS中的应用

针对B方法和原型验证系统(PVS)的特点,提出了将B方法引入到PVS中,即将一个用B方法描述的系统转换为由PVS描述,以此来实现形式化的检验证明.B方法中的抽象机在PVS中转换为一个方法,而B方法中的不变量不变式要转换为PVS中的一个类型,由B方法描述的性质则转换为PVS中的推测、猜想,并借助于PVS自带的证明器有效地完成相应证明工作.最后,通过1个电梯控制系统来阐述上述转换方法.

基于图像处理的光伏组件热斑缺陷检测方法

为精准检测光伏组件热斑缺陷,分析热斑所占面积和位置,提出了基于图像处理的光伏组件热斑缺陷检测方法。计算每一块区域热量发射功率,分析光伏组件热斑红热外图像灰度直方图特征。采用空间域方法处理图像中像素点,通过构建图像线性增强函数改善图像清晰度。在Image Net数据库上,提取热斑特征,采用B样条最小二乘拟合法,求取样条基函数关于范数的最佳逼近问题,获取热斑曲线和样本点之间偏差最小值,消除直方图中毛刺和局部起伏,检测出图像中热斑。实验结果可知,该方法正常情况下热斑面积结果与实际数据最小差值为0.1 cm^(2);非均匀性噪声影响情况下,热斑位置检测结果与原始图像一致,说明使用所研究方法检测结果精准。

基于交叉累计剩余熵的图像配准中插值方法的改进

交叉累计剩余熵(CCRE)比传统互信息在配准强噪声图像时更具优势,但采用部分体积(PV)插值的CCRE在网格点容易产生局部极值,不利于变换参数的优化。针对该问题,研究基于3阶B样条函数的PV插值(BPV)、哈宁窗sinc函数的PV插值(HPV)和Blackman-Harris窗sinc函数的PV插值(BHPV)方法在CCRE中的应用,提出一种新的插值方法。该方法采用灵活的邻域中心,将插值点对联合直方图贡献的权重分散到临近的9个点上,并使用高斯函数作为PV插值的核函数,避免权重突变。实验结果表明,与BPV,HPV和BHPV插值方法相比,该方法对噪声图像的配准率较高,配准速度较快,更适合应用于CCRE的计算。