秦应兵
- 作品数:14 被引量:138H指数:7
- 供职机构:西南交通大学数学学院更多>>
- 发文基金:国家自然科学基金中央高校基本科研业务费专项资金教育部人文社会科学研究基金更多>>
- 相关领域:理学文化科学交通运输工程经济管理更多>>
- 格值命题逻辑系统中基于滤子的MP归结演绎被引量:8
- 2009年
- 给出了格值命题逻辑系统中子句的极简规则型范式,定义了M P归结。结合格蕴涵代数中滤子的性质,对格值命题逻辑系统中基于滤子的M P归结演绎及其语义与语法性质进行了研究,证明了归结演绎的可靠性与完备性定理。为进一步研究格值逻辑的自动归结推理奠定了理论基础。
- 夏世芬秦应兵徐扬
- 关键词:格蕴涵代数格值命题逻辑滤子
- 大学数学课程教育体系化调整与结构优化策略——基于西南交通大学视角被引量:7
- 2014年
- 创新型、复合型人才的培养对大学数学课程教学提出了更高的要求。为进一步全面提高本科教学质量,大学数学课程教学体系的深化改革势在必行。通过对西南交通大学工科专业的数学基础课程的总结,提出以西南交通大学为例的大学数学课程教育体系化调整与结构优化策略。
- 唐家银陈尚云陈滋利秦应兵
- 关键词:大学数学课程体系教学改革结构优化
- 城市轨道交通对城市结构的影响因素分析被引量:48
- 2000年
- 分析了两种城市结构即单中心同心圆与多中心轴线式的特点。从我国城市可持续发展的角度指出我国大城市理想的发展模式是多中心轴线式。从人口、环境、土地等方面阐述了城市轨道交通在城市结构变迁中的重要诱导作用。
- 秦应兵杜文
- 关键词:城市轨道交通
- 强亚正交矩阵及其性质被引量:15
- 2007年
- 推广正交矩阵得到了强亚正交矩阵的概念并讨论了它的性质.
- 秦应兵
- 关键词:正交矩阵
- 广义正定矩阵的等价定义及进一步推广被引量:2
- 2014年
- 讨论了三类广义正定矩阵的等价定义,进一步推广正定矩阵得到了一类新的广义正定矩阵,并对其性质进行了研究.
- 秦应兵
- 关键词:正定矩阵广义正定矩阵
- 配送中心服务质量评价指标体系及其模糊综合评价被引量:33
- 2000年
- 论述了对配送中心服务质量进行综合评价的必要性;给出了对配送中心服务质量 进行综合评价的指标体系;最后提出了一种三层次的模糊综合评价方法。
- 秦应兵叶怀珍
- 关键词:配送中心服务质量指标体系
- 城市轨道交通建设的环境影响评价被引量:8
- 2001年
- 分析了城市轨道交通在建设期和运营期对生态环境、声环境、水环境、振动环境及大气环境的影响 ,阐述了进行城市轨道交通建设的环境影响评价的工作步骤和评价内容 ,提出了做好城市轨道交通建设环境影响评价的几点建议。
- 秦应兵杜文
- 关键词:环境影响评价轨道交通城市噪声监测噪声评价
- 关于文科高等数学教学的认识和实践被引量:4
- 2001年
- 秦应兵
- 关键词:文科高等数学数学教学数学思想方法数学素质考试方法
- 超有限群上minimax模的f-分解被引量:1
- 1994年
- 设G是群,A是ZG-模。称A为一个minimax模,如果A有一个有限的ZG-子模链:0=A_o≤A_1≤…≤A_x=A且对任意的i≤n,A_i/A_(i-1)或者满足极小条件或者满足极大条件,证明了:如果G是超有限群,则任意minimax模有f-分解.
- 秦应兵
- 研究性学习在微积分教学中的研究与实践被引量:2
- 2014年
- 以空间曲线绕空间直线旋转所得到的旋转曲面的方程教学为案例探讨了进行研究性学习的教学过程与经验总结,并分析了在微积分教学中融入研究性学习方式的实施模式与有效途径。
- 秦应兵
- 关键词:研究性学习微积分旋转曲面