统一建模语言UML分层抽象建模机制(英文)

在总结传统软件开发方法经验的基础上，严格遵守软件开发方法原则，从UML建模思想出发，对传统UML三层抽象建模结构进行了分析，并引入“抽象”和“分解”作为UML建模的核心思想；提出了UML分层抽象建模机制的构想，将计算机系统开发过程概括为对功能信元、结构信元、关联信元、实现信元和集成信元的提取过程，并以此作为UML建模的指导。有效了利用UML完整语义定义，克服了传统面向对象开发方法的缺陷，实现了建模过程从需求到分析的过渡以及功能和实现事实上的分离。

例谈“建模思想”在初中函数教学中的渗透

本文主要阐述函数抽象建模的概念、函数抽象建模思想培育的过程及在初中函数教学中的应用设计,并以《一次函数》一课为例,深入剖析抽象建模思想如何在初中函数教学中进行渗透,为初中函数教学中的课程设计提供了一种有效的培养路径.

一种基于ABD的网络中心战概念级仿真模型

未来战场上的主体是分布、网络化的作战力量,网络中心战将成为信息时代崭新的作战样式。现有的作战仿真系统不足以胜任对网络中心战的建模和仿真。以军事复杂系统理论研究为背景,采用基于智能体抽象建模仿真(Agent Based Distillations,ABD)的方法,提出了一种网络中心战概念级仿真模型,对模型中作战/指挥单元的能力模型、决策模型以及关系网络模型进行了详细介绍。最后构建了一个仿真示例想定,仿真结果证明了模型具有一定的有效性。

面向分布式拒绝服务攻击的通用形式化模型

分布式拒绝服务攻击(DDoS)具有攻击种类繁多、涉及参数复杂,因而存在缺乏一种准确、直观、通用的分析模型的问题,故提出了一种通用的DDoS形式化模型框架。首先在分析DDoS理论的基础上给出了通用形式化模型的详细定义;其次对系统实体功能、通信信道及实体间的交互行为进行了深入分析和详细的抽象建模;最后,对模型进行了实例化分析,在给出明确的问题描述后通过通用的形式化模型完成了对UDP洪水攻击的分析。实例分析表明了模型框架具有直观、易用及通用性特征。对于DDoS攻击的具体分析提供了一定的理论基础和实用价值。

数学思辨:让学生讲数学

学生是独立的个体,不是只要“听话”。一个只知道顺从、不会自己思考、没有独立想法的人,会被纷繁复杂的信息“牵着鼻子走”。数学教学就是要培养学生从数学的角度出发对问题进行思考与辨析的习惯,能用数学语言表达内在的隐性思维,在问中辨、错中辨、探中辨,掌握数学学习方法,提升教学质量。

偏微分高程图环境蚁群算法的三维路径规划

针对在三维空间路径规划中建模与避障问题,提出了一种新的在偏微分高程建模环境下蚁群算法的三维路径规划方法。首先,利用抽象建模和高程建模方法分别构建三维空间环境,并用偏微分对高程环境进行最优数据提取,在此基础上利用高程数学建模方法进行三维空间重建,最终形成偏微分高程环境。其次,首次将种群对于环境的最佳适应度值作为目标函数评判蚁群寻找最优路径的决策能力。最后,在不同的建模环境中应用蚁群算法进行路径寻优,输出最优路径。通过对仿真结果和实验数据分析,验证了所提方法的有效性和正确性。

基于制造情境的速射武器工艺知识推送方法

提出一种基于制造情境的速射武器工艺知识推送方法。根据制造情境得到的知识主题,构建了工艺知识抽象模型;基于速射武器工艺知识的特性,选取了面向知识主题的工艺知识推送算法,通过知识主题聚类分析、知识主题关联强度计算构建了速射武器工艺知识推送方法体系,开发了相应的工艺知识推送系统,实现了工艺知识的快速挖掘和重用。

探究本质:生长式概念教学的务本诉求——以苏教版数学三年级下册“小数的初步认识”教学为例

数学概念教学是数学教学内容之一,目的是使学生掌握数学概念,形成对数学基本的、概括性的认识。概念教学既要学生明确概念的内涵、外延,熟悉其表述,了解概念之间的关系,会对概念进行分类,从而形成概念系统,又要了解概念的来龙去脉,能够正确运用概念。对于这部分较难教学的知识,发掘知识背后的知识,组织学习活动,精选素材尤为重要。当然借助于多媒体手段也是很好的途径,让学生置身情境丰富、活动多样的学习过程中,定能帮助"概念生长",在学生心中"根深蒂固"。

转向器管柱四向力试验台的研制

汽车转向器管柱是汽车转向系统的重要组成部件,其在轴向以及径向的调节舒适度和保持稳定性是决定一款汽车转向器管柱品质的重要工艺参数。本文首先论述了转向器管柱四向力试验台的总体设计,然后对其试验方法进行了抽象建模,最后给出该试验台的软件界面及功能介绍。

用Python写一个简单的作业实时反馈系统

在算法与程序设计的教学中,计算机语言是算法与程序设计学习的基础,而学习一门计算机语言,需要学生经历语法基础知识、程序控制结构、算法设计、代码编写等过程,这一过程需要较长的时间来实践。在这个过程中,根据教学目标设置针对性较强的作业,让学生分析问题、抽象建模、设计算法、编写代码。