王拥军
- 作品数：19 被引量：53H指数：5
- 供职机构：北京航空航天大学数学与系统科学学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：理学航空宇航科学技术文化科学自动化与计算机技术更多>>
- 函数列的黎曼积分的极限定理及其应用被引量：10
- 2017年
- 考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列的内闭一致收敛条件下和函数列的一致有界条件下,给出了黎曼可积函数列积分的极限定理的结果;在函数列的广义积分一致收敛的条件下,给出了广义积分下函数列积分的极限定理结果的充分条件,给出了广义积分下函数列积分的控制收敛定理的叙述和证明,并将这些理论方法应用于一些重要问题的解决,给出了系统的一般化理论方法,推进了理论发展和提高认识。
- 邢家省杨义川王拥军
- 关键词：广义积分
- SVM在气体减压器稳定性能中的应用
- 2016年
- 使用支持向量机(SVM)研究涡轮气封减压试验系统中高压卸荷膜片式减压器的稳定性问题,主要集中于以往方法不易涉及的多结构参数变化.针对稀疏易有残缺的小样本空间,与BP(back propagation)神经网络模型进行对比,得出SVM方法在所研究数据集上的一些结论:SVM模型预测性能在多结构参数变化情形下优于BP神经网络模型,预测误差平均降低了25.5%;SVM的泛化性好于BP;在双参数、三参数情形下,SVM模型为气体减压器的设计提供了更好的决策支持,给出了优化结构参数的设计建议.
- 孙士元王拥军陈阳王宝山陈经禄
- 关键词：减压器核函数过拟合
- 使用BP神经网络模型研究逆向卸荷膜片式减压器的稳定性能被引量：4
- 2013年
- 采用数据挖掘中BP(back propagation)神经网络模型来研究逆向卸荷膜片式减压器的结构参数与稳定性能之间的依赖关系,得到结构参数变化,尤其是多结构参数耦合变化下减压器的稳定性结果.其中稳定性对阻尼孔直径、膜片刚度非常敏感,对弹性元件材料的阻尼系数、低压腔有效长度较为灵敏.由此提出减弱振荡的各种措施:增大阻尼孔直径、增大膜片刚度、在一定范围(标准值的6.5倍)内增大弹性元件材料的阻尼系数、增大低压腔有效长度、减小阀芯质量.数值实验误差分析表明:该模型不存在过拟合、局部最优的情况,其预测结果是可靠的,可为减压器的设计和系统分析提供决策支持.而且,该模型对不同类型的数据集具有通用性,可以用来研究其他部件的结构参数与性能指标的依赖关系.
- 陈经禄王拥军陈阳
- 关键词：减压器动态特性BP神经网络模型
- 模糊范畴fuz中的选择公理被引量：2
- 2019年
- Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1′和WAC2′,并证明其等价性,最后给出了弱topos中的广义选择公理GWAC1′和GWAC2′的表达形式.
- 王潇扬王宝山王拥军周恒
- 关键词：范畴论TOPOS模糊集选择公理
- 曲面上法曲率的最值和最值切方向的性质被引量：11
- 2013年
- 考虑曲面上法曲率最值和最值切方向的直接求法问题,给出了直接的导出方法,得到最值和最值切向量的特征值、特征向量的性质和2最值切向量的正交共轭性质.
- 邢家省王拥军
- 关键词：特征值
- 最速降线问题的充分性被引量：4
- 2019年
- 考虑最速降线解的充分性证明问题,给出质点沿曲线轨道下滑的时间公式,在曲线方程的两种形式下,分别给出时间公式的两种形式。这导致最速降线问题的两种表述形式,对等时曲线问题的也给出了表述公式。最速降线问题转化为求一个泛函的最小值问题。首先考虑最速降线问题的必要条件,证明了泛函临界点的存在性,求出了临界点曲线的参数方程,最速降线问题的必要条件是曲线为摆线的一部分。通过泛函的二阶方向导数的正定性,对泛函的临界点是泛函的最小值给出了直接简单的证明方法。利用泛函二阶方向导数的正定性,对泛函的临界点的唯一性也给出了证明。
- 邢家省杨义川王拥军
- 关键词：正定性
- 热传导方程混合边值问题的级数解的收敛性
- 2012年
- 考虑齐次热传导方程的初值与混合边值问题,通过对形式级数解的收敛性质的研究,得到了该问题的古典解的存在性.
- 邢家省王拥军
- 关键词：热传导方程混合边值问题古典解
- 一种研究逆向卸荷膜片式减压器稳定性的BP神经网络改进算法被引量：1
- 2017年
- 为更好地研究多结构参数耦合变化下减压器PPR(pressure reducing regulator)的稳定性,使用BFGS(Broyden-Fletcher-Goldfarb-Shanno)拟牛顿法替换梯度下降法,实现了基于Wolfe条件的一维线搜索变步长BP(back propagation)算法.结果表明:改进的BP算法使迭代次数减少了1~2个数量级,且易于收敛到最小点.该算法用于逆向卸荷膜片式减压器时,能适应2~3个结构参数的耦合,可预测大于106个数据点的数据集.多结构参数同时变化时,更容易找到使得减压器稳定的结构参数组合.更重要的是这些结构参数同时变化时减压器的稳定性比仅其中一个参数变化时更好.
- 刘文英王拥军王宝山陈阳陈经禄
- 关键词：BP神经网络拟牛顿法稳定性
- 《数理逻辑和集合论》中的对角化原则被引量：1
- 2017年
- 对角化原则在数理逻辑与集合论中有广泛的应用.作为一项重要的证明方法,它不仅在阐明悖论、证明Cantor定理时提供了形式化手段,而且为哥德尔不完全性定理证明中的关键——自指代命题的构造贡献了重要的思想基础.通过若干实例分析,本文介绍了对角化原则在处理"无限对象"时的特殊威力.
- 杨义川王拥军
- 关键词：数理逻辑悖论哥德尔不完全性定理
- 悖论的生成机制和解释
- 2018年
- 从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖论的新模型。结果表明,从新角度审视悖论不仅可以使悖论在某些新领域得到合理解释,而且能提供认识问题本质的新思维。
- 吴美华王拥军杨义川王潇扬
- 关键词：悖论量子力学
