王拥军

作品数：19被引量：58H指数：4
导出分析报告
供职机构：北京航空航天大学数学与系统科学学院更多>>
发文主题：广义积分函数列参变量法曲率减压器更多>>
发文领域：理学航空宇航科学技术文化科学自动化与计算机技术更多>>
发文期刊：《聊城大学学报（自然科学版）》《河南科学》《航空动力学报》《吉首大学学报（自然科学版）》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊范畴fuz中的选择公理被引量：2
《模糊系统与数学》2019年第4期21-27,共7页王潇扬 王宝山 王拥军 周恒 
国家自然科学基金资助项目(11371044)
Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1′和W...
关键词：范畴论 TOPOS 模糊集 选择公理 
最速降线问题的充分性被引量：5
《四川理工学院学报（自然科学版）》2019年第4期76-80,共5页邢家省 杨义川 王拥军 
国家自然科学基金资助项目(11771004);北京航空航天大学校级重大教改项目:北航培育项目(2019.01-2021.12)
考虑最速降线解的充分性证明问题,给出质点沿曲线轨道下滑的时间公式,在曲线方程的两种形式下,分别给出时间公式的两种形式。这导致最速降线问题的两种表述形式,对等时曲线问题的也给出了表述公式。最速降线问题转化为求一个泛函的最小...
关键词：最速降线问题 泛函的临界点 二阶方向导数 正定性 
等时曲线是摆线的证明被引量：2
《四川理工学院学报（自然科学版）》2019年第2期90-94,共5页邢家省 杨义川 王拥军 
国家自然科学基金(11771004);北京航空航天大学校级重大教改项目:北航2016年数学重点教改项目
为了考虑等时曲线的求解问题,建立质点沿光滑曲线从一定高度下滑所需时间的公式,将该问题转化为一个积分方程的求解问题。对无限区间上的积分方程,利用拉普拉斯变换方法给出了求解方法,得到了积分方程解的解析表达式,然后将其变化为一...
关键词：等时曲线 摆线 积分方程 拉普拉斯变换 常微分方程 
一类欧拉积分公式的计算方法及应用被引量：5
《四川理工学院学报（自然科学版）》2019年第1期82-88,共7页邢家省 杨义川 王拥军 
国家自然科学基金(11771004);北京航空航天大学2016年数学重点教改项目
研究考虑一类欧拉积分公式的计算问题,旨在对其实现简化证明。这类欧拉积分公式是成对出现的,可分别被看作复数的实部和虚部。首先通过应用复数的欧拉公式表示,转化一个含复参变量的广义积分形式,并采用对参变量的求导方法来建立常微分...
关键词：含参变量广义积分 欧拉积分公式 Γ函数 
悖论的生成机制和解释被引量：1
《计算机科学》2018年第B06期69-71,共3页吴美华 王拥军 杨义川 王潇扬 
国家自然科学基金(11271040);北航凡舟教学团队建设资助
从计算机科学中的具体悖论实例出发,使用对角线方法来说明一类悖论的生成机制,并指出自指代现象是悖论产生的深层次原因。传统的应对策略往往采用回避的方式,简单禁止自指代以避免悖论。从量子力学和范畴理论两个新视角出发,给出容纳悖...
关键词：悖论 自指代 对角线方法 量子力学 范畴理论 
函数列的黎曼积分的极限定理及其应用被引量：11
《四川理工学院学报（自然科学版）》2017年第3期73-78,共6页邢家省 杨义川 王拥军 
国家自然科学基金资助项目(11271040);北京航空航天大学校级重大教改项目(201403)
考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列的内闭一致收敛条件下和函数列的一致有界条件下,给出了黎曼可积函数列积分的极限定理的结果;在函数列的广义积分一致收敛的条件下,给出了广义积分下函数列积分的极限...
关键词：函数列的极限理论 广义积分 内闭一致收敛 含参变量广义积分的一致收敛 广义积分控制收敛定理 
一种研究逆向卸荷膜片式减压器稳定性的BP神经网络改进算法被引量：1
《航空动力学报》2017年第5期1241-1249,共9页刘文英 王拥军 王宝山 陈阳 陈经禄 
国家自然科学基金(11371044;11101023)
为更好地研究多结构参数耦合变化下减压器PPR(pressure reducing regulator)的稳定性,使用BFGS(Broyden-Fletcher-Goldfarb-Shanno)拟牛顿法替换梯度下降法,实现了基于Wolfe条件的一维线搜索变步长BP(back propagation)算法.结果表明:...
关键词：BP神经网络 拟牛顿法 变步长 减压器(PRR) 稳定性 结构参数 
《数理逻辑和集合论》中的对角化原则被引量：1
《大学数学》2017年第1期109-113,共5页杨义川 王拥军 
国家自然科学基金(11271040);高等学校大学数学教学研究与发展中心项目:翻转;互动;研究型课堂教学模式的探索与实践;高等数学课堂教学中培养学生创新思维;创新能力的研究与实践;北航凡舟教学团队建设;重大教改
对角化原则在数理逻辑与集合论中有广泛的应用.作为一项重要的证明方法,它不仅在阐明悖论、证明Cantor定理时提供了形式化手段,而且为哥德尔不完全性定理证明中的关键——自指代命题的构造贡献了重要的思想基础.通过若干实例分析,本文...
关键词：数理逻辑 对角化原则 悖论 哥德尔不完全性定理 无限 
函数列广义积分的极限定理及其应用被引量：14
《吉首大学学报（自然科学版）》2016年第6期1-9,共9页邢家省 杨义川 王拥军 
国家自然科学基金资助项目(11271040);北京航空航天大学校级重大教改项目(201401)
考虑函数列在广义积分下的极限问题,运用函数列的极限理论,在函数列一致有界和内闭一致收敛条件下,给出黎曼可积函数列积分的极限定理结果;在函数列广义积分一致收敛条件下,给出广义积分下函数列积分的极限定理结果,以及广义积分下的函...
关键词：函数列 极限理论 广义积分 一致收敛 广义积分控制收敛定理 
《数理逻辑和集合论》讲课用例的设计和构造被引量：1
《大学数学》2016年第6期117-122,共6页王拥军 杨义川 宁云转 
国家自然科学基金(11271040);基础科研基金(YWF-14-SXXY-015);凡舟教学团队建设;北航重大教改项目
《数理逻辑与集合论》是数学、信息、哲学和计算机科学等专业的重要基础,但其高度的抽象性特点往往使得学生望而生畏.课程教学中不能只强调抽象的、难以理解的符号系统,而必须立足于使学生拥有很好的直觉认识能力.在教学过程中有意识地...
关键词：数理逻辑 集合论 抽象 讲课用例 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部