在现行的工科院校所用的《高等数学》教材中,几乎都将定积分intergal from=(?) to b(f(x)dx)定义为第n积分和当λ=max{|Δx_1|,|Δx_2|,…,|Δx_n|}→0时的极限,假定右端的极限存在。 本文指出了上述定义的逻辑混淆,最后给出了不同于...在现行的工科院校所用的《高等数学》教材中,几乎都将定积分intergal from=(?) to b(f(x)dx)定义为第n积分和当λ=max{|Δx_1|,|Δx_2|,…,|Δx_n|}→0时的极限,假定右端的极限存在。 本文指出了上述定义的逻辑混淆,最后给出了不同于《高等数学》的一个新的简明的定义。展开更多
针对传统的动车组转向架失稳检测系统研制过程中出现设计数据追溯性差、模型复用性低、难以保证设计信息一致性,以及缺乏系统整体设计理念等一系列问题,将基于模型的系统工程(Modelbased system engineering,MBSE)应用于动车组转向架失...针对传统的动车组转向架失稳检测系统研制过程中出现设计数据追溯性差、模型复用性低、难以保证设计信息一致性,以及缺乏系统整体设计理念等一系列问题,将基于模型的系统工程(Modelbased system engineering,MBSE)应用于动车组转向架失稳检测系统的设计。在Arcadia建模方法的基础上,结合功能定义分析方法对动车组转向架失稳检测系统进行架构设计:通过运行分析、系统分析、逻辑架构分析和物理架构分析4个层次建立其失稳检测系统“黑盒”到“白盒”的架构模型;通过识别功能、表达功能和评估功能3个环节对功能进行定义分析,并借助状态机仿真方式验证最终架构的逻辑正确性。研究表明:在动车组转向架失稳检测系统架构设计过程中,采用基于模型的系统工程方法建立的模型具有可追溯性和可复用性,可以在设计早期对系统进行整体设计,降低决策风险,对动车组转向架的研发有着积极的推动作用。展开更多
文摘在现行的工科院校所用的《高等数学》教材中,几乎都将定积分intergal from=(?) to b(f(x)dx)定义为第n积分和当λ=max{|Δx_1|,|Δx_2|,…,|Δx_n|}→0时的极限,假定右端的极限存在。 本文指出了上述定义的逻辑混淆,最后给出了不同于《高等数学》的一个新的简明的定义。
文摘针对传统的动车组转向架失稳检测系统研制过程中出现设计数据追溯性差、模型复用性低、难以保证设计信息一致性,以及缺乏系统整体设计理念等一系列问题,将基于模型的系统工程(Modelbased system engineering,MBSE)应用于动车组转向架失稳检测系统的设计。在Arcadia建模方法的基础上,结合功能定义分析方法对动车组转向架失稳检测系统进行架构设计:通过运行分析、系统分析、逻辑架构分析和物理架构分析4个层次建立其失稳检测系统“黑盒”到“白盒”的架构模型;通过识别功能、表达功能和评估功能3个环节对功能进行定义分析,并借助状态机仿真方式验证最终架构的逻辑正确性。研究表明:在动车组转向架失稳检测系统架构设计过程中,采用基于模型的系统工程方法建立的模型具有可追溯性和可复用性,可以在设计早期对系统进行整体设计,降低决策风险,对动车组转向架的研发有着积极的推动作用。
