搜索筛选:
搜索耗时2.6471秒,为你在为你在102,285,761篇论文里面共找到 32 篇相符的论文内容
发布年度:
[期刊论文] 作者：施庆生,
来源：南京航空航天大学学报 年份：1996
时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统，它具有较强的表达能力，近年来在计算机科学领域获得了广泛的应用。基于中介逻辑对时序逻辑进行多值扩充，建立了一种中......
[期刊论文] 作者：申敏, 施庆生,,
来源：江苏教育学院学报(自然科学) 年份：2013
以高等数学教学改革经验为基础,针对传统教学方法存在的弊端及成因,以经济管理类专业高等数学教学为例,从教学环节着眼,提出了每个环节所采取的适当的教学方法.实践证明,这些...
[期刊论文] 作者：施庆生, 张东摩,,
来源：南京航空航天大学学报 年份：1996
多模态逻辑作为模态逻辑的扩充，是模态逻辑进行时态和动态扩充的基础，中介逻辑是一个新的逻辑系统，自创立后得到了很大发展，并在数理逻辑及计算机科学领域中得到广泛应用为将中介......
[期刊论文] 作者：张东摩,施庆生,
来源：南京航空航天大学学报 年份：1997
首先给出了中介逻辑ＭＬ的二值子系统Ｆ＾ＩＭＬ，说明了它与经典二值逻辑的子系统Ｆ＾Ｉ同构。其次，利用中介公理集合论ＭＳ的相关理论，构造了ＭＳ中的自然数系统，证明了Ｐｅａｎｏ５条公理为ＭＳ中的定理。最后指出以此五条性......
[期刊论文] 作者：张东摩,施庆生,
来源：南京航空航天大学学报 年份：1997
在中介公理集合论系统中重新定义了良集的概念，讨论了它的性质，证明良集完全满足经典满足经典公理集合论系统的全部公理，且其配套的逻辑系统恰为中介的二值子系统ＦＭＬ，说明整个经典数......
[期刊论文] 作者：施庆生,张东摩,
来源：数学研究与评论 年份：1998
本文基于中介逻辑建立了一种中介时序逻辑系统ＭＴＬ（Ｍｅｄｉｕｍ Ｔｅｍｐｏｒａｌ Ｌｏｇｉｃ），文中着重讨论了ＭＴＬ的形式系统并给出了它的语义解释，证明了ＭＴＬ系统的可靠性。最后对ＭＴＬ系统和经典时序命题逻辑系统进行了对比，指出经典......
[期刊论文] 作者：马树建,施庆生,
来源：学理论 年份：2009
针对民办高校大学数学教学的特点，采用建构主义学习理论和教学模式，培养学生学习的积极性和主动性，提高民办高校学生的实践能力，达到知识的更新和创新能力的培养。...
[期刊论文] 作者：陈建丽,施庆生,,
来源：中国卫生统计 年份：2010
青藏铁路格拉段于2005年10月全线贯通，2006年列车开行，列车乘务人员全部采用全程担当值乘方案。由于要持续的处于高原环境中，且要短时间内频繁往返平原和高原，身心疲劳不能得到有......
[期刊论文] 作者：邓晓卫,施庆生,
来源：中国大学教学 年份：2015
摘 要：本文以美国谢菲尔德大学为例，详细介绍了英国高校的学位制度构建、教学环节的管理和实施，旨在对我国现行高校教学管理进行反思并提出一些建议。 关键词：学制学位；教学环节；教学改革 谢菲尔德大学位于英国中部约克郡的谢菲尔德市，在2011 年泰晤士高等教育报......
[期刊论文] 作者：何嘉鹏,施庆生,
来源：南京建筑工程学院学报 年份：1994
高效的防烟装置应具有绝对隔烟、人员能自由出入隔烟场所及不影响视野等功能，而防烟空气幕可以说是一种最有效的手段。本文在前人研究的基础上，通过对烟气流动的机理分析，用理论......
[期刊论文] 作者：陈晓龙,施庆生,
来源：化工高等教育 年份：2008
本文从师资队伍、教学内容、教学方法、教学建设、教学手段、考试考核等方面介绍了我校高等数学课程教学改革和建设所采取的措施及所取得的成果。...
[期刊论文] 作者：施庆生,宫宁生,
来源：南京建筑工程学院学报 年份：1991
...
[期刊论文] 作者：陈晓龙,施庆生,
来源：化工高等教育 年份：2010
本文结合南京工业大学十多年来文科数学课程的教学实践，围绕大学文科专业开设数学课程的必要性和重要性以及文科数学的课程体系、教学内容、教学方法、教学手段等方面，作了初步......
[期刊论文] 作者：施庆生,张东摩,等,
来源：数学研究与评论 年份：2002
本文对[1]中的系统MTL进行了进一步的讨论，给出了它的模型论性质，基于中介逻辑，构造了一种可传有序模型，证明了MTL系统的完备性。...
[期刊论文] 作者：施庆生,陈建丽,李金凤,,
来源：铁道劳动安全卫生与环保 年份：2009
青藏铁路格拉段平均海拔4500m，沿线高寒、低氧、气压低、干燥、强辐射。采用格拉段沿线10个领工区的环境测试指标及相应工作人员生理指标数据，应用偏最小二乘（PLS）回归方法进行统......
[期刊论文] 作者：王东方,何嘉鹏,施庆生,
来源：南京理工大学学报 年份：1999
高层建筑防烟设计的目的是为了防止烟害并对烟气扩散进行控制，高效防烟装置应具有绝对隔烟、自由出入隔烟场所、不影响视野等功能。该文通过对烟气流动的机理分析，讨论了前室门......
[期刊论文] 作者：朱朝晖,施庆生,朱梧槚,
来源：中国科学：技术科学英文版 年份：1996
The technique of forcing created by Cohen is adopted to discuss the semantics of medium logic program without closed-world assumption (CWA).The fixed point and...
[期刊论文] 作者：张国娟, 刘颖范, 施庆生,,
来源：应用数学学报 年份：2010
本文利用拓扑度方法建立一个非自包含不动点定理,并利用它们对一类非线性(连续型)投入产出方程加以研究,得到相应的存在性与连续性结果....
[期刊论文] 作者：刘浩, 施庆生, 钱小燕, 石岿然,,
来源：上海第二工业大学学报 年份：2006
高等学校是我国培养各种人才的主要基地。随着社会的不断发展，社会越来越需要复合型人才，高校教务部门越来越感觉到课程的设置难以管理。根据大学课程学习的一般规律，提出了一种......
[期刊论文] 作者：钱小燕,施庆生,刘浩,石岿然,
来源：运筹学学报 年份：2011
尝试在有限存储类算法中利用目标函数值所提供的信息．首先利用插值条件构造了一个新的二次函数逼近目标函数，得到了一个新的弱割线方程，然后将此弱割线方程与袁的弱割线方程相结......
相关搜索：
