Symbolic Cache Analysis for Real-Time Systems

Caches impose a major problem for predicting execution times of real-time systems since the cache behavior depends on the history of previous memory references. Too pessimistic assumptions on cache hits can obtain worst-case execution time estimates that are prohibitive for real-time systems. This paper presents a novel approach for deriving a highly accurate analytical cache hit function for C-programs at compile-time based on the assumption that no external cache interference (e.g. process dispatching or DMA activity) occurs. First, a symbolic tracefile of an instrumented C-program is generated based on symbolic evaluation, which is a static technique to determine the dynamic behavior of programs. All memory references of a program are described by symbolic expressions and recurrences and stored in chronological order in the symbolic tracefile. Second, a cache hit function for several cache architectures is computed based on a cache evaluation technique. Our approach goes beyond previous work by precisely modelling program control flow and program unknowns, modelling large classes of cache architectures, and providing very accurate cache hit predictions. Examples for the SPARC architecture are used to illustrate the accuracy and effectiveness of our symbolic cache prediction.     

离散时间系统的鲁棒稳定性分析--积分二次约束方法

利用新近发展起来的积分二次约束（ＩＱＣ）方法,对离散时间系统,给出了其鲁棒稳定性分析准则,使一大类古典稳定性结果可以统一和概括在积分二次约束的框架之下。并且,利用积分二次约束方法,讨论了一类混合摄动系统的鲁棒稳定性。     

不确定时滞线性系统的采样控制

采样控制作为一种数字控制的直接设计方法,近年来引起了广泛的重视,目前采样控制不易处理模型的不确定性和时滞,本语文给不确定时滞系统的采样控制算法,结果表示为一些矩阵不等式,并给中用ＬＭＩ求解的迭代算法。     

进程迁移研究

进程迁移在分布式系统中的应用,提高了系统的负载平衡,实现了高效的容错性能。本文介绍了进程的状态迁移算法以及检查点的设置和其它状态的迁移技术。     

基于DSP技术的多路语音实时采集与压缩处理系统

介绍一个多路语音实时采集与压缩处理系统。该系统基于 PC- ISA总线结构 ,最大的特点是通过单片 DSP高性能价格比实时地实现了多达 10路的语音采集和 10路语音实时压缩及一路语音解压处理。该系统已成功应用于某语音记录设备中。     

发动机进口流场温度畸变测试技术研究

进口流场的温度畸变对军用飞机发动机稳定性具有比压力畸变更大的影响。文本采用研制的ＤＡＰ－ＩＤ３型高型高速大容量数据采集及实时存储处理系统,对温度畸变试验及温度畸变模拟装置调试、评价中的一些测量技术问题进行了研究,在现场获得成功的试验结果。并对影响精度的一些因素进行了分析,提出了一些有益建议。     

NTP协议在Windows系统中的配置应用

文章介绍了NTP（Network Time Protocol）协议的相关知识,给出了独立主机、工作组以及域环境下的相应配置方法以及注意要点,并给出了Windows系统中NTP授时服务器的架设方法。     

增强LSM模块叠加机制效率的研究与实现

为了提高Linux操作系统的安全性一般采用Linux安全模块LSM框架,在此基础上,对一种叫做stacker的模块叠加机制进行了研究,这种机制可以让多个不同安全模块叠加共同使用,另外对于多种不同类型模块的划分和排序,提出了一种提高运行的时间效率的解决方案。     

一种基于单片机的燃气检测系统设计

当前,煤气灶存在诸如安全性差、没有定时功能等缺陷。为此,本系统采用单片机AT89C51控制各部分电路的工作来改善煤气灶的性能,QM-N5气电传感器可直接对一定范围内的气体浓度采样,采样值将直接转换为电信号送AT89C51单片机;555时基电路与一片74123共同构成看门狗电路,通过单片机直接控制电磁阀的闭合达到定时的目的;采用ISO4004的语音芯片及MT8888拨号芯片将该系统与某一固定电话相连。当煤气泄露同时,单片机控制拨号电路实现自动报警功能。该设计提高了煤气灶的安全性能和使用功能。     

WinCE环境下SNTP协议的研究与实现

以工业控制领域中的SNTP时间同步协议为基础,对其工作过程及原理进行深入剖析,着重探讨了如何在Windows CE环境下实现时间同步,并给出相应的实现方案。最后给出了Windows CE环境下的SNTP协议栈运行结果。