【摘 要】
:
液压运动系统既包含连续过程也包含离散过程,可以认为是一个混成系统,在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个问题,以经典液压运动系统为例,结合专业知识,用
论文部分内容阅读
液压运动系统既包含连续过程也包含离散过程,可以认为是一个混成系统,在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个问题,以经典液压运动系统为例,结合专业知识,用微分方程对整个系统运动过程进行详细描述。结合微分动态逻辑和混成程序建立模型,通过工具KeYmaera来验证所建模型的正确性及液压运动系统运动的安全性。结果表明,所建模型正确,安全性良好。该方法适合应用于此类系统的建模与验证过程。
其他文献
<正> 油菜芥酸含量的遗传已有了细致的研究(见Robbelen和Thies,1980综述)。甘蓝型油菜(染色体组成为AACC)的芥酸含量受两个基因控制,白菜型油菜(AA)的芥酸含量受一个基因控制
研究翻译过程就是探讨双语转换的认知心理过程,以揭示其思维规律。拟建的翻译模式整合Van Dijk的话语宏观结构理论和Neubert与Shreve的“虚构译本”观点,将七个语篇特征视为
四海壶具博物馆是由壶具收藏家、紫砂民间艺人许四海先生创办的,是上海市首家私人博物馆。该馆藏有从原始社会的彩陶壶到明清的紫砂壶等藏品数百件,其中有孟臣壶、大亨壶、
分层教学是倡导紊质教育的背景下,为使学生得以全面发展而对传统教学方式的革新,可以较好地落实教学目标、促进学生成长和全面进步。本文介绍了分层教学的研究背景,探讨了分层教
以创新能力培养理念为指导,采取指导细读文献、培养独立实验能力、分析整理实验结果等循序渐进方式对海外学生药理创新技能进行训练,探索符合海外学生特点的创新能力培养方式
首先,基于时空重排扫描统计量方法,对福州市2014年案事件数据进行日尺度与小时尺度的时空重排扫描统计,得到不同尺度下的犯罪时空集聚区.然后,结合数据可视化技术,对分析结果
中国非国有博物馆的法律保护体系已初见雏形,并对非国有博物馆发展持续产生正面影响。与此同时,包括准入制度、法人财产杈确杈制度、与其他制度衔接、运营保障制度上的不足在
严重急性呼吸综合征(SARS)的元凶是一种新冠状病毒,研究病毒结构蛋白的功能有助于了解病毒的感染、复制和包装等生理过程。其中核衣壳蛋白是SARS冠状病毒中含量最丰富和最保守的
全尾砂絮凝沉降过程是膏体充填工艺的重要环节。为考察多因素耦合条件下尾砂絮凝沉降规律,开展全尾砂静态絮凝沉降实验,应用Design-Expert软件分析并筛选影响全尾砂絮凝沉降
院校开展军事医学演习的前提之一是要拟制军事医学演习文书,作为指导演习的基本依据.由于不同文书的拟制机构、使用对象、指导作用不尽相同,这涉及演习文书的拟制与管理等诸