基于时间Petri网的AADL模型

随着嵌入式系统设计日益复杂,对系统的描述也提出了越来越高的要求,特别是实时性能。因此如何描述实时性能逐渐受到重视。在嵌入式系统中,线程的时间属性影响着系统的实时性,因此在设计早期利用AADL描述线程,但是AADL只是一种半形式化的语言,不够精确,并可能产生二义性。因此,把AADL模型转化为时间Pe砸网,但是时间Petri网不能很好地表示AADL的时间属性。故在研究AADL模型的时间属性的基础上,针对时间Petri考虑区域值延时与固定延时,并把固定延时当作区域值时延的一种特殊情况。最后给出针对AADL模型转化为时间Petri网的相应规则。     

基于U型直线电动机的应用研究

简单介绍了直线电动机的概念、发展以及按照结构形式、功能用途和工作原理的分类。重点介绍了一种U型无刷无齿槽效应永磁交流伺服直线电动机的结构、性能特点及其主要的应用行业。该U型直线电动机具有行程不受限制、结构简单、动态响应快、精度高、速度和加(减)速度大、使用寿命长、基本不需要维护、振动和噪声小等一系列优点,是各类超高速、超高精密加工行业中理想的传动方式。