摘要：针对速度不可测的高速列车轨迹跟踪控制问题,采用神经网络观测器设计无需建模的列车位移输出反馈控制器。首先,考虑列车运行过程中环境干扰、列车模型不确定以及列车模型非线性问题,采用动态自适应递归神经网络,估计列车模型不确定项;然后,设计列车速度观测器解决列车速度不可测问题,针对外界干扰和模型估计误差设计鲁棒项以减小速度估计误差;最后,采用滑模方法设计列车轨迹跟踪控制律。Lyapunov稳定性分析和计算机仿真验证了算法的稳定性和有效性。研究结果表明,在没有速度传感器,且存在外界环境干扰情况下,设计的神经网络估计误差、观测误差以及位移和速度的跟踪误差一致最终有界,位移跟踪误差在0.5 m以内,速度跟踪误差在0.3 m/s以内。

摘要：骨性Ⅲ类错[牙合]是临床中较为常见的错[牙合]畸形,其牙齿、颌骨及软组织有典型的代偿性表现,且该类错[牙合]在不同垂直骨面型中的代偿性特征也有差别。这种有差别的代偿性表现影响着骨性Ⅲ类错[牙合]畸形牙齿转矩的调整、牙齿的移动方向、施力的大小、[牙合]平面倾斜程度等矫治方案的设计,关系到选择代偿性治疗还是正畸-正颌联合治疗,并决定了矫治效果的呈现。所以,了解垂直骨面型与颅颌面发育的关系,充分认识骨性Ⅲ类错[牙合]的牙齿、牙槽骨在不同垂直骨面型之间的代偿性特征,将对骨性Ⅲ类错[牙合]的临床诊断、治疗设计及预后有重要的意义。

摘要：随着应用软件体系结构风格变化和规模变大,其运行环境变得日趋复杂,对应用系统体系结构的设计及其正确性验证提出了新的挑战.现有的应用系统体系结构设计关于需求满足性验证在建模与验证中需要多种工具的支持.应用系统体系结构在设计阶段的需求满足验证,有助于客观评价应用系统部署方案和系统如期上线以及主动运维.面向应用系统体系结构设计及其验证,在模型驱动的软件工程背景下提出一种高阶类型化可验证应用系统体系结构建模语言(VASAML)与可验证应用系统体系结构建模方法(VASAMM).VASAML语言通过定义类型和项的语法和语义,描述构成应用系统体系结构的类型和对象的结构,通过定义两种类型规则及其类型检查算法,判定Γt:T和ΓR(T1,T2)是否成立,其中,结构类类型规则用于描述应用系统体系结构中的组成部分,关系类类型规则用于描述组成部分之间的关系和配置.VASAMM方法给出了应用系统体系结构建模过程,包括构建Mbd(基本数据类型)、Mbti(基本接口类型)、Mdev(设备类型)和Mfrwk(应用系统框架)这4层,以及自动生成层内与层间类型之间关系对应的类型规则,同时定义了设备类型服务调用图(GDSI)用以刻画部署要求,定义了类型序列及其正确性用以刻画需求期望性质,并给出了相应的基于类型检查的验证算法.设计实现了基于该方法的原型工具系统VASAMS,其中,建模编辑环境支持应用系统部署方案的设计过程,验证环境支持设计是否满足需求的自动验证.通过一个实际案例完成了某行业较大规模应用系统体系结构的建模和验证.

摘要：随着科学技术不断发展进步,医学与其他学科相互交融越来越紧密。医用化学是医护专业必修的专业基础课,在教学过程中,教师不仅要注重学生探究意识的激发,更要注重学生知识运用能力和创新精神的培养。本文针对医用化学教学现状,探究并分析基于STEM的6E设计型学习模式在医用化学教学中的可行性与应用效果。研究表明,基于STEM的6E设计型学习模式是推动医用化学学科教学质量的有效手段,能够进一步加强人才培养力度,有助于培养医护专业学生问题解决能力和创新精神,促进学生全面发展。

摘要：蒙古文同形词歧义消除问题是蒙古文信息处理的难点之一。该文提出了基于蒙古语名词语义网的同形词歧义消除方法,设计实现了同形词歧义消除算法,最后给出了语料库中同形词歧义消除实验的设计过程及结果分析。

摘要：根据权威统计数据,软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此,应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证,需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证,提出了一种高阶类型化软件体系结构建模和验证语言(SAML)与软件体系结构建模和验证方法(SAMM).SAML语言通过定义类型和项的语法及语义,描述软件体系结构中类型和对象的构造,通过定义类型规则及其类型检查算法来判定Γ┝t:T和Γ┝R(T1, T2)是否成立.SAMM给出了软件体系结构建模范式,包括构建接口类型Mcls(typeinterface)、组件Mcmpt(component)、容器Mcont(container)、框Mfrm(frame)和框架Mfrwk(framework)这5层建模过程,以及生成层内与层间类型之间关系对应的类型规则,同时定义了接口类型方法调用图(GSA)用以刻画软件体系结构设计要求,定义了类型序列及其正确性用以刻画需求期望的性质,并给出了相应的验证算法.设计实现了基于该方法的原型工具系统SAMVS,其中,模型编辑环境支持应用软件的设计过程,验证环境支持设计满足需求的自动化验证.通过一个实际案例,完成了一个较大规模"互联网+"应用软件系统的体系结构建模和验证.

摘要：长调是蒙古族传统音乐中最典型和最有代表性的形式，有着悠久的历史和强大的艺术生命力；美声演唱艺术起源于16世纪末的意大利，并于20世纪传入我国，对我国现代声乐艺术的发展有重大影响。在科学发展理论的指导下，辩证客观地分析这两种不同的声乐艺术类型，比较二者之间的异同，促进它们之间的相互融合与共同繁荣，对于推动我国声乐艺术平稳健皇向前发展是一件十分有意义的事情。

摘要：研究碳纳米管与衬底之间的电学接触和器件结构尺寸的优化设计是提高碳纳米管冷阴极器件场发射特性的关键之一。本文利用镜像电荷法计算了一种背栅极碳纳米管阴极阵列的表面电场,给出碳纳米管顶端表面电场与接触电阻的关系,分析了接触电阻与栅极偏压对场发射电流、发射体顶端表面电场的影响。另外,还探究了最佳栅孔单元分布密度。结果表明,接触电阻大幅度降低了碳纳米管顶端表面电场与发射电流,当接触电阻高于1 MΨ时,器件对阳极驱动电压的要求更高,而栅极偏压的调制,能够有效地降低阳极驱动电压,最佳栅孔单元分布距离为约两倍的碳纳米管高度。

摘要：时间:高考成绩公布的日子地点:一个普通的单亲家庭人物:肖志——高三毕业,刚参加完高考肖父——腿部轻度残疾王老师——肖志的班主任老师[幕启。肖志家。一桌,两椅。

摘要：时间 现代地点 边城市中心广场人物 浩 特——边城副市长托 娅——《消防》报记者,副市长的女儿。