实时任务准入控制器的自动合成（英文）

在许多实时系统中,同一个计算平台上往往既有硬实时关键计算任务又有软实时非关键计算任务。硬实时任务必须在规定时间内完成,否则将导致系统错乱或崩溃等严重后果。而软实时任务若没有在规定时间内完成,虽会影响系统性能,但不会造成重大后果。为确保每个硬实时任务均在其规定时间内完成,在某些情况下需要拒绝一些软实时任务进入任务队列。文章提出了一种基于控制器自动合成策略的解决方案,通过所设计的准入控制器,对系统产生的每一个新任务自动决定是否准其进入任务队列。准入控制器必须使得所有被准入的任务均在规定时间内完成,并且决策序列满足以线性时态逻辑描述的服务质量要求。文章的主要贡献是提出了判定是否存在准入控制器的算法,该算法能在判定结果为真时构造出一个以有限状态时间自动机表达的准入控制器。

压电振梁及振动角速率传感器

研究了一种由石英做成的音叉角速率传感器。音叉平面内参照振动的激励和对该平面法向振动的检测都利用了压电效应。二次振动的振幅正比于所施加的角速度。为了使器件能经受恶劣环境条件,结构设计为刚性的。这就意味着,振动唯一的有效部分是音叉的叉头部分。借助于唯象的压电振梁的理论,预测了传感器的性能,该理论表明,这足以用来研究振梁横切面的二维(2—D)介电场,从而得到压电等效元件的值。无须采用计算机程序,便可得到这些预测值。预测值被证明与测量值比较吻合。