论文部分内容阅读
[!--newstext--]
[!--title--]
【摘 要】
：
工业控制系统的正确可靠对经济发展、人身安全和社会稳定有着重要意义。工业控制系统面对的一个基本问题是控制中的时序问题。如何从时序规约(specification)自动生成满足该
【出 处】
：
东南大学
【发表日期】
：
2018年01期
其他文献
近年来随着我国城市化进程加快,各大城市交通问题变得日益突出,受城市地面空间的约束,地铁一直被视为缓解城市交通拥堵问题的有效方法,为此各大城市开始积极投入地下轨道交通
在大坝建设过程中,孔口结构常常是温控防裂工作的关键部位。孔口部位通常采用高标号混凝土,水化热、自生体积变形及弹性模量大,导致其早期应力增长较快,而周边坝体往往采用低标号混凝土,材料特性的不同,导致孔口部位易产生表面裂缝,若处置不当,表面裂缝往往发展成为危害性裂缝,危害孔口甚至大坝的安全。因此,针对孔口这种大坝中的特殊结构,研究其在施工期温度发展历程并采用合适的温控措施就显得至关重要。为此,作者在白
随着输电线路增容扩容的发展碳纤维导线应运而生,其在电气和机械性能方面具有诸多优异性能,但碳纤维复合芯径向耐压性、柔韧性较差在张拉载荷下过滑车架线施工、导线压接、卡线器夹持时易发生损伤,这对导线后期安全性服役具有巨大影响。本毕业论文以JLRX1/JF1B-400/35型绞合型碳纤维复合芯导线和JLRX1/F1A-550/45型棒状碳纤维导线为例建立导线三维有限元模型分别考虑材料弹塑性、摩擦接触等问题
面对世界百年未有之大变局,顺应全球经济发展和税制改革的新趋势,我国在2019年《政府工作报告》重磅推出规模空前的2万亿大规模减税降费政策。政策实施以来,减税降费各项工作取得积极成效。但是,由于本轮减税降政策覆盖面广、涉及多税种、税费一体、力度规模空前等方面的特殊性,在减税降费不断推进的过程中,一些困难和问题也随之显现出来。2020年中央经济工作会议提出巩固拓展减税降费成效的要求,加之新冠肺炎疫情影
由镰孢菌引起的小麦赤霉病是世界范围内麦类作物产区广泛发生的一种病害,不仅会导致小麦产量下降,其产生的毒素还会影响粮食品质,危害人畜健康。我国引起小麦赤霉病的群体主要以禾谷镰孢菌(Fusarium graminearum)和亚洲镰孢菌(F.asiaticum)为主,为了探究小麦赤霉病菌F.graminearum和F.asiaticum群体分布与温度的关系,温度和杀菌剂同时作为选择压对病原菌的影响,本
目的:统计糖皮质激素性骨质疏松症(GIOP)患者的中医证型分布规律及特点。方法:收集在2012年9月1日至2014年12月31日在我院住院的GIOP的患者病历,参照中医证型相关标准,以患者
随着计算机软硬件技术的发展,3D动画技术因其简便、高效、更具表现力的特点得到越来越广泛的应用。在二十世纪九十年代,中国科学院陆汝钤院士提出全过程计算机辅助动画自动生
未明协议的发现与流量分类是网络流量分类的一个分支,旨在从海量的网络数据中发掘出新的协议和应用,并对多种协议的混合数据进行分类。相比于已明协议,未明协议具有协议规范
近年来光伏发电已经成为最常见的太阳能利用方式,并且随着能源革命的进行在世界各国范围内被广泛应用,因此全球光伏的装机容量迅猛增长。但是光伏电站的运维问题随之而来,因为太阳能资源本身的能量密度较低难以集中收集,所以光伏电站往往需要很大的占地面积才能对太阳能进行有效接收,装机的组件数量也十分庞大,这让电站高效的运维变得十分困难。同时,光伏电站一般安装在荒漠、山地等土地资源较差的自然环境中,需要长期面临户
随着互联网技术的飞速发展,各行各业都在使用信息化的手段来判断行业趋势,指导行业发展。各应用领域在信息化过程中所产生的数据也呈爆炸式增长。如何从这些数据中发现有价值