基于时间自动机的AADL端到端流的延迟分析

对复杂嵌入式系统的端到端信息流进行延迟分析是一种有效的实时性评估方法.体系结构分析与设计语言(AADL)是描述复杂嵌入式系统的标准语言,其中端到端流描述组件间的通讯.目前针对AADL模型中端到端流的延迟分析,手工方法能够深入剖析流语义,分析精确度高,但耗时且低效;自动化方法虽有较高的效率,但在延迟属性的覆盖度及语义精细度上都远远不足,导致分析结果精确度低.另外,这两类方法多只关注于最坏情况等典型场景,而无法分析不确定因素的影响.本文提出一种基于时间自动机的端到端流延迟分析方法,首先总结端到端流延迟的影响属性,并建立延迟属性的元模型,在此基础上提出面向流延迟分析的时间自动机模型生成方法,通过对时间自动机的仿真实现流延迟的分析.最后通过案例说明了该方法能够正确表达流的传输语义及延迟属性语义,即有足够的表达能力;展示了方法能灵活分析多样交互场景以及随机时间因素,即有灵活的分析能力;另外仿真过程的状态变迁及时间变量变化过程也为改进设计模型提供依据与建议.      

超磁致伸缩执行器的驱动电路及接口设计

介绍了采用超磁致伸缩执行器自行开发的切削振动控制系统,论述了该系统中的超磁致伸缩执行器的驱动电路和接口的设计过程。根据超磁致伸缩材料的驱动特性,该驱动电路设计成一个连续可调的恒流源。     

Onboard real time modeling of aircraft engines with Hammerstein-Wiener representation

An identification-based approach for aircraft engine modeling using the nonlinear HammersteinWiener representation was proposed.Hammerstein-Wiener modeling for both limited flight envelope and extended flight envelope was investigated.Simulation shows that the resulting model can be valid over 10%variation of rotational speed of the engine,compared with those linear models that are only valid over 3%—5%change of rotational speed.It is further demonstrated that the proposed method can be utilized over large envelope up to 20% variation of rotational speed of the engine.The fundamental idea is to use nonlinear models to extend the feasible/valid region rather than those linear models.This may consequently simplify the switching logic in the onboard digital control units.This is often overlooked in aircraft engine control community,but has been emphasized in the research.     

飞行模拟器视景生成

提出基于 MultiGen Creator 和 Vega 开发出飞机训练模拟器视景系统的视景节点的软硬件配置要求;论述了基于 Creator 的实体建模方法、基于 Creator 建模和 Vega 软件环境的空中、海面等环境的生成方法、视景仿真软件开发过程以及整体系统的实现等关键技术。仿真结果表明,该视景系统能逼真地演示飞机训练模拟器的仿真过程,并且满足系统仿真实时性的要求。     

令牌传递网络节点消息缓冲容量的确定方法

在网络系统中,节点缓冲区内消息发生覆盖或溢出会造成消息的丢失,对于限时令牌网络,节点消息发送时间和消息缓冲容量的分配是影响消息实时性的重要因素.针对令牌传递网络分析了节点消息缓冲机制,说明了消息缓冲容量的确定与网络带宽分配方法的关系,并提出了消息缓冲容量的确定方法,导出了避免消息覆盖或溢出所需的最大发送和接收缓冲容量余度.指出在消息的产生间隔大于该消息的最大允许的延迟时间和接收节点响应时间的条件下,发送和接收端的消息缓冲容量等于被缓冲消息的长度.     

汉语语音识别的平滑声韵基元HMM算法

汉语语音识别的基本单元一般为音素、音节以及声韵母.以声韵母为基元的识别系统由于HMM模型较少,计算量小,适合于实时实现.但是由于模型比较孤立,对语音信号的声学特性描述得不够精确,因而识别率一般比音节基元的系统低.而以音节、音素(tri-phone、di-phone)为基元的系统则有HMM模型数量多、训练和识别过程中计算量大的缺点,影响到系统的实时性.本文提出了一种折衷的方案,系统基元仍选择声韵母,而在HMM训练阶段,对整个音节序列的参数进行运算,使声韵过渡段的状态得到平滑,同时计算并保存每个音节声韵之间的转移概率,识别时动态组装为完整的音节HMM.该方法在保持少量HMM个数的同时,能够降低误试率,适合于以DSP为核心的实时连接词语音识别系统.      

伺服机构控制信号余度设计研究

余度技术是提高系统任务可靠性与安全性的一种手段，文中介绍了为提高发动机试验的可靠性，在控制喷管资态的伺服机的中引进余度技术所做的研究与浓度与尝试。     

电磁波在导体表面的反射与折射

本文给出了正弦均匀平面电磁波（SUPW）对导体表面斜入射的反射系数与折射系数，并经严密推导得了实数折射角的表示式。     

A／D转换中的系统误差及其对策

根据几个工业现场遇到的实例，讨论了计算机实时检测与控制中，Ａ／Ｄ转换环节中引入系统误差的一些可能途径，包括由偶然噪声转换过来的系统误差，传感器本身具有系统误差及多路信号问的窜扰引起的系统误差。分析了这三种情况产生的原因及各自的特性，并根据它们的不同特性，分别给出了消除或减小这几类系统误差，保证Ａ／Ｄ转换的精度的措施。     

DESIGNOFMULTI┐SLOTANDUNEQUAL┐TEMPERATUREPIDCONTROLLERBASEDONSINGLECHIPMICROCOMPUTER

以一个具体的生产过程为例，介绍以单片机为核心的多段不等温ＰＩＤ控制器的设计。文中讨论了ＰＩＤ算法数学实现的模型及实现该算法的软硬件设计方法，给出了实现这一控制算法的硬件原理框图及软件设计的特点