基于MiniSAT的命题极小模型计算方法

计算命题公式的极小模型在人工智能推理系统中是一项必不可少的任务.然而,即使是正CNF(conjunctive normal form)公式,其极小模型的计算和验证都不是易处理的.当前,计算CNF公式极小模型的主要方法之一是将其转换为析取逻辑程序后用回答集程序(answer set programming, ASP)求解器计算其稳定模型/回答集.针对计算CNF公式的极小模型的问题,提出一种基于可满足性问题(satisfiability problem, SAT)求解器的计算极小模型的方法MMSAT;然后结合最近基于极小归约的极小模型验证算法CheckMinMR,提出了基于极小模型分解的计算极小模型方法MRSAT;最后对随机生成的大量的3CNF公式和SAT国际竞赛上的部分工业基准测试用例进行测试.实验结果表明：MMSAT和MRSAT对随机3CNF公式和SAT工业测试用例都是有效的,且计算极小模型的速度都明显快于最新版的clingo,并且在SAT工业实例上发现了clingo有计算出错的情况,而MMSAT和MRSAT则更稳定.     

甬江河口细颗粒泥沙起动流速研究

通过收集的甬江河口洪枯季细颗粒泥沙运动实测资料,基于垂线平均含沙量突变处对应的垂线平均流速作为该时刻泥沙起动流速的概念,统计获得不同水沙条件下的细颗粒泥沙起动流速数据;比较经典细颗粒泥沙起动流速公式对甬江河口泥沙的适用性,发现张瑞瑾、沙玉清、窦国仁经典公式的计算结果偏大,唐存本、张红武公式的计算结果偏小,窦国仁公式的计算精度最高。通过分析各公式出现误差的原因,引入泥沙水下容重对黏结力影响的修正项,对窦国仁公式进行修正,收集与甬江河口泥沙粒径范围接近的系列水深变化范围内包括粉沙质和淤泥质的细颗粒泥沙起动流速资料对修正公式进行验证,最终拟合得到可适用于大、小水深下的黏性细颗粒泥沙起动流速公式。     

基于复化梯形公式的GM(1,1) 模型背景值的优化

背景值是影响灰色理论建模精度的重要因素之一。根据灰色系统理论建模机理以及数据累加生成具有非齐次灰指数规律,构建动态序列模型;基于积分几何意义的视角,利用函数逼近的思想,结合复化梯形公式,提出一种新的GM(1,1)模型背景值优化方法。算例结果表明,利用优化的背景值计算公式所建立的GM(1,1)模型在预测精度上有显著的提高。     

弹道方程边值问题中的直射弹道公式

本文探求了属于微分方程边值问题的直射弹道公式,以形简、意明、精确度高、研究方法的多样性和事物规律的不同表现形式为特征。在直射弹道的定义和数学描述之后,先从它的微分方程出发推导出了公式;再从方程的数字解出发探寻并确立了其规律性。     

集合式电容器一段元件非全并联的保护公式浅析

根据集合式并联电容器内部一段元件非全并联的接线方法，从电路原理上，推导了这种接线方式的开口三角电压保护的整定公式，供工程设计中参考应用。     

用已知电压互感器的两个实测误差值计算同一电压下其它误差的方法

根据电压互感器误差的基本理论推导出用已知电压互感器的两个实测误差值计算同一电压其它情况下的误差的方法.     

加减速过程中车载航位推算误差补偿技术研究

研究轮式车辆加减速过程中带来的两种效应,即车辆载荷的转移及轮胎的滑动,并分析其对车辆航位推算的影响,综合这两种效应带来的影响,提出了轮胎计算半径的概念,建立了加减速过程中的误差补偿模型.跑车实验表明,经过误差补偿距离精度由3‰提高到0.5‰,精度提高近1个数量级.     

经纬仪布站位置对交会测量结果影响的分析

以靶场交会测量中常用的L公式为基础,结合误差传递定律,得出目标空间位置的测量误差公式。然后,设置4个不同测站,以一条理想航迹为测量对象,分别得到不同测站两两交会测量结果的误差曲线。对不同位置的双站交会结果以及它们之间的对比等5种基本情况进行了详尽的对比分析,得到了不同布站位置对双站交会测量结果的影响,研究结果对实际工程应用中的经纬仪布站有重要参考价值。     

结合单元试验数据的指数型串联系统定时截尾试验可靠性评估方法

武器装备可靠性试验会产生单元试验数据和系统试验数据,在定型阶段目前通常的可靠性评估方法只是统计系统试验时间,并不考虑单元试验时间,单元故障数要么直接统计进最后的故障数据中（严苛但不严谨的方法）,要么舍弃（浪费信息的方法）。为科学利用单元试验数据,基于指数型串联系统可靠性模型,引入定时截尾试验方案下失效率的近似Fiducial概率密度,将单元可靠性试验产生的故障数和试验时间折合到系统可靠性意义下的等效故障数和试验时间。分析结果表明：利用单元试验数据可补充系统试验数据的不足,减少试验消耗,提高可靠性评估精度;定时截尾和定数截尾二者利用单元试验数据的公式是有差异的,在定时截尾下仍然套用定数截尾的单元数据折合公式是值得商榷的。     

空心高斯光束在梯度折射率介质中的传输特性

利用柯林斯公式推导出空心高斯光束在梯度折射率介质中的传输公式,并利用此解析式进行数值计算和分析,讨论了梯度折射率介质对空心高斯光束传输特性的影响。结果表明,介质梯度折射率对空心高斯光束的传输性质有较大影响。