施庆生
- 作品数：24 被引量：87H指数：5
- 供职机构：南京工业大学理学院更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家攀登计划更多>>
- 相关领域：理学文化科学建筑科学经济管理更多>>
- MS 中的自然数系统被引量：2
- 1997年
- 首先给出了中介逻辑ＭＬ的二值子系统ＦＩ＊ＭＬ，说明了它与经典二值逻辑的子系统ＦＩ＊同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性质为公理，并以ＦＩ＊ＭＬ为配套逻辑，在ＭＳ中可推出自然数的所有性质。这表明Ｐｅａｎｏ自然数系统能在ＭＳ中产生，为最终证明精确性经典数学能奠基于ＭＳ提供了理论基础。
- 张东摩施庆生姜宁根朱梧
- 关键词：数理逻辑公理集合论中介逻辑
- 在高等数学教学中培养学生的高等数学观被引量：8
- 2008年
- 学习高等数学，不但要让学生掌握现代的数学知识、思想和方法，还要掌握一种高等数学思维模式和数学技能，获得数学能力，形成高等数学观。文章讨论了在数学课程教学中培养学生高等数学观的基本措施。
- 汪银乐周晓跃施庆生
- 关键词：数学史数学思想方法数学美
- 《概率论与数理统计》课程的教学改革与实践被引量：26
- 2004年
- 《概率论与数理统计》是理工科院校绝大部分专业重要的基础课程。实践表明,在教学中注意数学模型的建立与求解,能培养学生应用数学的能力和创新意识,而应用多媒体等辅助教学手段可以激发学生学习数学的兴趣。
- 施庆生陈晓龙邓晓卫宫宁生
- 关键词：概率统计题库教学改革
- 正规模态逻辑S_4的表推演系统TS_4被引量：1
- 1995年
- 讨论正规模态逻辑Ｓ４的自动定理证明理论，给出了一个关于正规模态逻辑Ｓ４的表推演（Ｔａｂｌｅａｕ）系统ＴＳ４，证明了该系统的可靠性与完备性。
- 宫宁生何嘉鹏施庆生
- 关键词：数理逻辑人工智能可靠性
- 基于中介逻辑的时序逻辑系统被引量：3
- 1998年
- 本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（ＭｅｄｉｕｍＴｅｍｐｏｒａｌＬｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性．最后对ＭＴＬ系统和经典时序命题逻辑系统进行对比。
- 施庆生施庆生
- 关键词：中介逻辑时序逻辑命题逻辑
- 中介时序逻辑系统MTL的完备性被引量：2
- 2002年
- 本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
- 施庆生张东摩朱梧槚
- 关键词：MTL中介逻辑
- 基于PLS的江苏省房地产价格影响因素的实证研究被引量：3
- 2013年
- 通过偏最小二乘(PLS)方法对江苏省2000-2010年9个指标的汇总数据进行研究,并利用变量投影重要性指标(VIP)考察了各影响因素的重要程度.结果表明,城镇人均住房面积、在岗职工平均收入、人均GDP是影响江苏省房价最重要的因素.同时,考虑到江苏省内部发展的差异,又运用PLS法对苏南、苏中、苏北三地区2004-2010年9个指标的面板数据分别进行了分析.结果表明,在岗职工平均收入对三地区的房价均有较大影响.其余影响因素则因经济发展存在差异.
- 施庆生翟文斌邓晓卫
- 关键词：房地产价格面板数据影响因素
- 偏序关系图在课程设置中的应用被引量：1
- 2006年
- 高等学校是我国培养各种人才的主要基地。随着社会的不断发展,社会越来越需要复合型人才,高校教务部门越来越感觉到课程的设置难以管理。根据大学课程学习的一般规律,提出了一种计算机辅助设计课程学期设置的方法,即平行拓扑排序方法:首先将课程视为顶点,将课程之间的内在联系关系视为偏序关系,得到课程之间的偏序关系图;然后将该方法应用在该偏序关系图上得到了课程设置的先后关系;根据对学生和专家调查问卷得到了一些课程设置的原则,优化了课程的学期设置,方便了教学,有利于学生学习和教务部门的管理。
- 刘浩施庆生钱小燕石岿然
- 关键词：课程
- 高等数学教学改革的探索与实践被引量：5
- 2008年
- 本文从师资队伍、教学内容、教学方法、教学建设、教学手段、考试考核等方面介绍了我校高等数学课程教学改革和建设所采取的措施及所取得的成果。
- 陈晓龙施庆生
- 关键词：高等数学教学教学改革教学内容教学方法
- 基于PLS的青藏铁路格拉段职工健康环境影响因素研究
- 2009年
- 青藏铁路格拉段平均海拔4500 m,沿线高寒、低氧、气压低、干燥、强辐射。采用格拉段沿线10个领工区的环境测试指标及相应工作人员生理指标数据,应用偏最小二乘(PLS)回归方法进行统计分析,探寻格拉段工作人员生理指标(脉搏、收缩压、舒张压、血氧饱和度)的重要环境影响因素,进行高原职业危害因素鉴定,并为制定相应的卫生保障措施提供依据。研究结果表明,气压、氧分压和海拔高度是影响地面作业人员生理指标的主要影响因素,另外,格拉段高寒、多风的气候特点也是重要影响因素。
- 施庆生陈建丽李金凤
- 关键词：青藏铁路偏最小二乘生理指标环境影响因素
