-
油缸缓冲结构分析与计算
分析常用液压油缸节流缓冲结构形式,通过数学建模,发现影响缓冲压力的因素,找出理想的缓冲结构,以求最大限度提高油缸活塞的缓冲效果,为液压油缸缓冲机构选型、设计提供参考.秦随江 - 建筑机械(上半月)文章来源： 万方数据 -
让学生真正经历 数学学习的过程-《平行四边形面积的计算》一课两上的实践与分析
《数学课程标准》指出学生的数学学习活动应当是一个生动活泼的、主动的和富有个性的过程,学习数学知识应从学生已有的生活经验出发,让学生亲自经历将实际问题抽象成数学模型并进行解释与运用的过程.在数学教学活动中,教师应激发学生的学习积极性,向学生提供秦文,李海英 - 教学与管理(小学版)文章来源： 万方数据 -
纯粹的音乐是一种有声的数学-伽达默尔音乐诠释思想探究
伽达默尔是哲学诠释学的代表人物,他的诠释学面对的是整个精神领域.伽达默尔的著作《真理与方法》更多以文学艺术为例,对音乐艺术的论述相对较少,但从他对音乐艺术简短的论述中依然可以洞察其音乐诠释思想.本文拟从文辞注解、意义诠释和问题引申三个方面对伽达默尔的音乐诠释思想进行考察,力图在准确把握伽达默尔音乐诠释思想的基础上,给出进一步思考,以明了伽达默尔音乐诠释思想的历史贡献和存在缺憾.陈新坤 - 音乐探索文章来源： 万方数据 -
面向应急管理的人工社会元模型设计与实现
将仿真技术应用到社会系统研究是一个新的研究思路,需要从仿真全过程为其定制.深入分析了MDA、元模型、模型变换以及多范式建模理论几个基本概念以及他们在文中的内在关系,然后重点从建模环境的角度,基于元建模和模型变换的思想,为面向应急管理的人工社会定制了元建模框架.该框架从具体语法、抽象语法、语义3个角度对人工社会进行刻画.以此为基础,以甲型H1N1在封闭校园传播为案例,构造了人工校园并进行了计算实验.实验表明,元建模框架能有效实现模型的轻便性、可重用性、互操作性以及可拓展性.该元建模框架同时也是"非常规突发事件模拟仿真与计算实验集成升华平台"的建模子系统.张烙兵,张鹏,陈彬,邱晓刚,樊宗臣 - 系统仿真学报文章来源： 万方数据 -
论布鲁尔SMK思想及其对当代数学教育的意义-以其对"2+2=4"的社会学分析为例
布鲁尔的SMK(sociology of Mathematic Knowledge)思想是其SSK(sociology of scientific knowledge)思想的重要组成部分,其内涵在于指出并不存在独立于环境的所谓理性范式,即便数学知识具有很强的理论性和逻辑自恰性,也应该对它进行社会学分析;社会力量对于最深奥、最抽象的数学领域也胡广丽 - 教学与管理(理论版)文章来源： 万方数据 -
解答"阴影面积问题"的数学思想、策略与方法
阴影面积问题是中小学数学教学中的一类非常重要的问题,具体的解答方法很多,有关文章归纳总结了近二十种方法,但如何让学生掌握这些让人眼花缭乱的方法呢?这些方法中有没有一定的规律,能否按照一定的标准对它们进行分门别类地划分呢?我们在对这些方法分析的基础上,概括为二种思想、三种策略、四种方法及若干技巧,学生只要掌握了这些基本的思想、策略、方法,就可以在解决具体问题时灵活地选择、组合和运用.王成营,鲁雅琴 - 教学与管理文章来源： 万方数据 -
面向人工社会的多范式建模理论与方法
在利用ACP(Artificial Society,Computational Experiments,Parallel Execution)方法解决突发事件应急管理问题的研究工作中,人工社会的建立成为一个新问题.针对人工社会的多Agent和多领域性特征,提出一种面向人工社会的多范式建模方法,从构造基本人工社会元模型、特定领域人工社会建模和领域模型到仿真模型变换3个方面解决人工社会建模问题.利用通用建模环境(Generic Modeling Environment,GME)实现了公共卫生事件的人工社会建模流程,验证了方法的可行性.同时,方法也是"非常规突发事件模拟仿真与计算实验集成升华平台"的重要支撑.陈彬,邱晓刚,张烙兵 - 系统仿真学报文章来源： 万方数据 -
作战仿真传感器模型多分辨率建模方法
阐述了国内外多分辨率建模技术发展的历史,说明了多分辨率建模是作战仿真中的关键技术,结合该技术在各作战域的应用指出了在C4ISR领域应用发展的不足.针对C4ISR模型中的传感器模型的多分辨率建模,在分析了建模需求的基础上,结合传感器系统在仿真系统的表示方法,从传感器性能和传感器报告两个方面实现了传感器模型的低、中、高分辨率建模,通过验证想定检验了模型的一致性,能够较好的解决作战仿真系统规模大型化、模型复杂化与资源消耗、执行效率之间的矛盾.李元锋,刘建平,石成英 - 系统仿真学报文章来源： 万方数据 -
TEFL:一种文本式特征建模语言
特征模型已经成为软件产品线工程中共性/可变性建模的事实标准.现有基于特征图的建模工具由于在模型表达能力、严谨的形式化语义等方面的不足限制了其在工业界的应用.为了消除这些建模中的缺陷,为基于特征的产品线开发提供一个坚实的支撑环境,提出文本式特征建模语言TEFL,介绍其具体语法、抽象语法,以及形式化语义;开发一个基于Eclipse的语言编辑器原型;给出了面向XML和Java语言应用转化方法和工具;分析了与现有文本式建模技术相比所具有的优势与不足,并指出在特征建模及其工具技术方面的进一步的工作方向.周进刚,赵大哲,刘积仁 - 小型微型计算机系统文章来源： 万方数据
科创中国
