非线性玻尔兹曼方程的傅里叶谱方法

玻尔兹曼方程作为空气动理学中最基本的方程之一,是连接微观牛顿力学和宏观连续介质力学的重要桥梁.该方程描述了一个由大量粒子组成的复杂系统的非平衡态时间演化:除了基本的输运项,其最重要的特性是粒子间的相互碰撞由一个高维,非局部且非线性的积分算子来描述,从而给玻尔兹曼方程的数值求解带来非常大的挑战.在过去的二十年间,基于傅里叶级数的谱方法成为了数值求解玻尔兹曼方程的一种很受欢迎且有效的确定性算法.这主要归功于谱方法的高精度及它可以被快速傅里叶变换加速的特质.本文将回顾玻尔兹曼方程的傅里叶谱方法,具体包括方法的导出,稳定性和收敛性分析,快速算法,以及在一大类基于碰撞的空气动理学方程中的推广.     

复微分方程组的超越解

利用最大模原理,讨论了复代数微分方程组的超越亚纯解存在性问题,得到了在一定条件下,该方程组的超越解为代数解的一个结果.例子表明这个结果是精确的.     

基于灰色关联分析的煤矸石集料级配影响因素研究

为了对煤矸石集料级配作用进行深入研究,采取煤矸石集料空隙率作为评价指标.试验采用粒径0.16~26.5mm的集料,采用最大密度曲线公式确定煤矸石集料的颗粒级配范围,通过调整最大密度曲线n值,确定集料中各粒径组的比例,结合集料的空隙率,运用灰色关联分析各粒径组比例对集料空隙率的影响.研究结果表明:煤矸石粗集料对空隙率的影响大于煤矸石细集料的影响,当n=0.56时,煤矸石集料的空隙率最小,粗集料的骨架作用和细集料的支承作用最好.     

基于广义最大熵的具有模糊输入输出的回归模型的参数估计

模糊回归是在模糊系统中建立因变量与一组自变量之间关系的重要工具,以评估模糊自变量如何影响模糊响应变量的过程。当系统中出现小样本或者非列满秩设计矩阵时,模糊最小二乘法可能得出偏误估计。本文基于文献[13]中的多元线性回归模型,利用广义最大熵方法,针对模糊输入模糊输出数据,给出线性回归模型的参数估计和算法步骤。当输入或输出数据退化为清晰值时,该估计退化为清晰输入模糊输出或者模糊输入清晰输出的回归模型参数估计。本文结合模拟数据和实例数据,将广义最大熵方法与模糊最小二乘方法、岭估计方法进行比较研究,结果显示广义最大熵方法的可行性和有效性。     

再谈物体稳度与质量的关系

结合生活实际,探讨用最大倾斜角表示物体稳度的不足之处,并从力矩平衡的角度分析稳度与质量的关系.在此基础上,提出用重力矩大小定量描述物体稳度的新看法.     

2022年《理化检验-化学分册》征订启事

《理化检验-化学分册》(ISSN 1001-4020,CODEN编码 LJHFE2,CN 31-1337/TB)杂志创刊于1963年,系由上海材料研究所与机械工程学会理化检验分会联合主办的技术类期刊,主要报道化学分析与仪器分析专业领域中的新方法、新技术、新设备以及国内外的研究方向。"面向生产、注重实用、反映动向、兼顾普及"是刊物的编辑方针,旨在最大幅度地满足不同层次读者的需要。     

杂化轨道成键能力及夹角计算公式的简洁推导

杂化轨道理论是化学键理论的重要内容,杂化轨道成键能力和杂化轨道之间的夹角是杂化轨道理论教学的重点和难点,多数教材通常直接给出相关公式,忽略导出过程,不能满足部分学生进阶学习的需要。本文给出了相关公式的简易推导,以期解疑释惑,加深学生对杂化轨道理论的认识和理解。     

基于旋转变换和鲁棒主成分分析的车牌校正方法

本文研究了受到非高斯噪声污染及边框信息不完整的车牌图像校正的问题.利用鲁棒主成分分析与旋转变换结合的方法,获得了更具普适性的车牌矫正方法.并通过与主成分分析法、旋转投影法的矫正结果相比较,推广了本文方法具有更好的鲁棒性和普适性的结果.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

关于求解随机用户均衡问题的截断拟牛顿型信赖域法研究

信赖域法是一种保证全局收敛性的优化算法,为避免Hessian矩阵的计算,基于拟牛顿校正公式构造了求解带线性等式约束的非线性规划问题的截断拟牛顿型信赖域法.首先给出了截断拟牛顿型信赖域法的构造过程及具体步骤;然后针对随机用户均衡模型中变量和约束的特点对算法进行了修正,并将多种拟牛顿校正公式下所得结果与牛顿型信赖域法的结果进行了比较,结果发现基于对称秩1校正公式的信赖域法更为合适.最后基于数值算例结果得到了一些在算法编程过程中的重要结论,对其它形式信赖域法的编程实现具有一定的参考意义.