数理逻辑（符号逻辑）

数理逻辑（符号逻辑）的会议文献

• 1.[会议]

  动态知识智能发现与属性逻辑动态关系

  XU Feng-sheng; 徐凤生; YU Xiu-qing; 于秀清; SHI Kai-quan; 史开泉;
  《2014湖北省计算机学会学术年会》 | 2014年

  摘要： 单向S-粗集(one direction singular rough sets)与单向S-粗集对偶(dual of one direction singul...

• 2.[会议]

  命题逻辑系统Γ结论的程度化研究

  ZHANG Jian-cheng; 张建成;
  《中国交叉科学学会第15届学术年会》 | 2014年

  摘要： 该文在Lukasiewicz命题逻辑、G(o)del命题逻辑和R0命题逻辑中,根据广义演绎性定理、完备性定理和计量逻辑理论,给出刻画一个命题A是Γ-结论的程度...

• 3.[会议]

  G(o)del区间值命题逻辑的(a-)-真度理论

  HAO Guoping; 郝国平; ZHAO Manao; 赵玛瑙; HUI Xiaojing; 惠小静;
  《第十七届中国模糊数学与模糊系统学术会议》 | 2014年

  摘要： 在G(o)del区间值命题逻辑系统中引入了(a-)-真度,论证了区间值真度MP规则和区间值真度HS规则,在(a-)-真度基础上给出了(a-)-相似度及其性质,...

• 4.[会议]

  适应JASMIN框架的在线交互式几何建模前处理技术

  CAO Yi; 曹轶; XU Ping-Jun; 徐平均; QIN Gui-Ming; 秦桂明; LIU Wei-Fu; 刘维甫;
  《2014全国高性能计算学术年会》 | 2014年

  摘要： 传统的数值模拟前处理,多依靠人工方式修改包含几何、物理信息的数值模拟输入文件.但是,面对大规模几何构型和复杂拼接关系,人工建模修正周期长、建模错误率高且难以排...

• 5.[会议]

  微波源器件模拟中的并行FDTD建模

  Chen Jun; 陈军;
  《2014全国高性能计算学术年会》 | 2014年

  摘要： 对目标物的物理建模是微波源器件模拟中的最重要步骤,常用的方法有时域有限差分(FDTD)方法.在FDTD建模过程中,将目标物的几何、各个组成部分的许多时空属性等...

• 6.[会议]

  MATLAB环境中的球面建模

  DU Ping; 杜平; SHAO Yu; 邵玉;
  《2015年全国微波毫米波会议》 | 2015年

  摘要： 利用矩量法结合RWG基函数分析三维理想导体或由均匀介质体散射和辐射时,需要要对其进行表面三角面元剖分.为验证算法的准确性,人们经常将球面的散射作为基准.MAT...

• 7.[会议]

  数学建模教学过程中的思考

  臧传芹;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 数学建模课程教学的根本宗旨在于能力的培养和综合素质的提高,而能力和素质的培养应以知识和教学活动为载体.本文通过教学实践中遇到的问题进行分析,提出了建模教学中应...

• 8.[会议]

  关于数学建模概论教学的几点认识

  高艳超; 华宏图; 程毅;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 数学建模对培养创新意识有着重要意义,让学习者在思维上顺利实现转变,迅速并且深刻的理解数学建模的思维本质和实现过程是数学建模教学过程中的难点问题.本文针对此问题...

• 9.[会议]

  向"精英教育"——数学模型课程教学心得

  杭丹; 朱倩倩; 张晓蓉;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文从我院选修课程"数学模型与应用"开设的实践经验,浅淡了数学模型课程能促进知识能力素质军事人才的培养,并且有助于创新数学教学.提出数学模型课程能激发学员学习...

• 10.[会议]

  谈数学建模与对于培养学员多方面能力的作用

  陈香; 周林林; 凌旭东;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文通过笔者辅导高校数学建模竞赛,感受到了数学建模对于学员多方面能力培养的重要性，提出数学建模竞赛有助于学员创新能力的培养，有助于提高学员的自学能力，有助于提...

• 11.[会议]

  浅议数学建模算法的培训方法

  张小勇; 吴仕文; 贾利新;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文在分析算法在高校数学建模中作用的基础上,从两个方面对数学建模算法培训方法进行了探讨.在培训内容上主要关注数值分析类算法、优化类算法和概率统计类算法,在培训...

• 12.[会议]

  将数学建模培训融入大学数学教学的研究

  贺天宇; 李国望; 付芳芳;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文结合作者多年来组织、指导本校参加全国大学生数学建模竞赛的实际,结合本校实际情况分析和总结了数学建模培训在融入大学教学应采用的方法：普及数学建模知识，开展多...

• 13.[会议]

  论大学数学建模教学的实施

  何剑; 张维维; 陈兰花;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文分析数学建模的内涵及意义,从培养学生创新能力和综合素质的角度,提出了数学建模教学实施过程中的几点措施，要实施“教师为主导，学生为主体”的教学，关注个体差异...

• 14.[会议]

  数学建模在军校通识教育中的作用

  王伦夫; 彭宜青; 田玉敏; 贺天宇;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 通过对我院通识教育改革中数学建模教学和实践的分析,总结了该活动在培养军校大学生素质中的作用,提出数学建模可以促使军校大学生养成良好的学习习惯，培养军校大学生创...

• 15.[会议]

  浅析数学模型

  陈宇剑; 张道振; 刘俊;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文介绍了高校数学模型的特征及其分类,列举了三个简单的数学模型,在此基础上总结了建立数学模型的基本方法和步骤,以及如何培养建立数学模型的能力. 为了培养构造数...

• 16.[会议]

  数学建模融入军校数学教学的实践

  李文涛; 李敏; 王鹏;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 将数学建模融入数学教学能激发学员的学习兴趣,培养学员的创新意识和创新思维能力.本文分析了数学建模融入军校数学教学的重要意义,结合数学教学经验,提出四种具体实施...

• 17.[会议]

  初级任职院校数学建模竞赛对实践性教学的研究

  陈威; 秦琳;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 本文针对高职院校开展数学建模活动及数学建模竞赛所面临的实际问题,进行分析探讨,并提出相应的对策及建议.提出要在数学建模培养学生的应用意识，通过案例分析，培养学...

• 18.[会议]

  谈如何上好数学建模课程

  章柏红; 谢孔峰;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 数学建模能激发学员的学习兴趣,培养学员创新意识,训练其快速获取信息和资料的能力,是数学知识和应用能力共同提高的最佳结合点.本文对在数学建模课程教学中应注意的几...

• 19.[会议]

  对数学建模课教学的几点认识

  蔺昕; 李磊;
  《军队院校数学课程创新教学研讨会》 | 2012年

  摘要： 数学建模课是大学数学教学的重要课程,对学生灵活掌握好基本知识和从事更高层次的实践有着很强的促进作用.本文由数学建模课作用意义出发,从数学建模教学、赛前培训两方...

• 20.[会议]

  数学建模课程的教学内容优化与实践

  WANG Sheng-kui; 王胜奎; HU Gui-hua; 胡桂华; HE Zhi-min; 贺志民;
  《第十三届全国数学建模教学与应用会议》 | 2013年

  摘要： 课程改革的重要问题之一是针对课程的教育功能和学生的实际情况,优化选择教学内容及其内部结构.本文对校通识课程"数学建模"的教学内容优化展开讨论.通过系统分析数学...

查看更多