摘要：基于单芯片系统是电子技术发展的主流,可改变传统的系统软、硬件设计方法,介绍了单芯片系统的支撑技术棗自顶向下设计方法的思想,讨论了其相关的信号处理系统设计自动化和软/硬件协同验证技术。结合GPRS终端数字基带处理器芯片设计,说明这一方法在单芯片设计中的应用。

摘要：为了降低实时垃圾搜集器(GC)系统的内存需求,提出一种将局部标记清除算法和引用计数算法相结合的混杂GC策略.通过对非循环垃圾采用引用计数算法渐进式回收,对循环垃圾采用局部标记清除算法渐进式回收,从而可在一个GC循环中及时回收部分循环垃圾以供系统重用;将混杂GC作为单独任务参与并发调度,以保证实时任务的时限要求.理论分析和仿真实验表明,与现有算法相比,该策略可以进一步降低嵌入式实时系统的内存需求.

摘要：以锂电池为例,利用广义随机Petri网(GSPN)描述化学电池放电的极化和活性物质扩散过程,提出可同时反映化学电池电流相关和自恢复特性的高层抽象模型。该模型简单,仅包括反映活性物质分布、活性物质扩散速度和极化速度的四个简单的参数。恒流放电和脉冲放电实验显示该电池模型可以快速准确估算化学电池容量。

摘要：由于中外现行设计规范缺乏针对钢-混组合连续弯梁桥桥面板有效宽度的规定,以小半径双工字钢-混组合连续弯梁桥为研究背景,首先对比分析了中外典型规范对钢-混组合连续直梁桥有效宽度的计算结果,然后基于数值模拟,分析研究了小半径双工字钢-混组合连续弯梁桥的剪力滞效应和有效宽度,探讨了曲率半径和布载方式的影响规律,最后考虑内、外侧主梁对应的桥面板剪力滞差异,提出了有效宽度的简化计算方法。研究结果表明:桥面板横断面正应力分布受弯扭耦合效应的影响较大,导致内、外侧主梁对应的桥面板正应力分布失去对称性,曲率半径越小,这种不对称性也越大,而车道外偏布置也会导致这种不对称性变大,工程设计计算中宜分别计算内、外侧主梁所对应的桥面板有效宽度;本文所提的简化计算方法能较好地包络有限元分析结果,且计算结果偏保守,可为同类桥梁的设计计算提供参考。

摘要：动态功耗管理(dynamicpowermanagement,简称DPM)是一种优化计算机设备能量消耗的设计技术,优化效果依赖于采用的功耗管理策略和控制算法.研究表明,传统排队论的指数分布假设不适用于DPM策略研究,DPM最优策略是超时策略,超时策略可以获得很好的节能效果的理论原因是计算机系统业务请求具有自相似性.提出了当空闲时间长度服从Pareto分布时,基于截尾均值法小样本情况下Pareto分布形状参数的稳健有效估计算法和基于窗口大小自适应技术非平稳业务请求下的DPM控制算法.实验结果表明,该算法具有很好的稳定性,在不考虑其他条件约束时,竞争率可降到1.24,在延迟率小于0.10的条件下,竞争率可降到1.47,而且算法计算负荷小.

摘要：论述了实时应用软件从循环轮询系统，前后台系统到实时多任务系统的发展及实时多任务系统的特点；分析了实时操作系统所提供的典型性能指标、任务切换时间、中断延迟时间；研究了其性能指标与实时多任务应用的最坏情况设计的关系，最后提出实时操作系统应该提供的性能指标供应用设计。

摘要：为满足对安全关键领域日益增长的可靠性需求,通过对容错关键技术和多处理器系统的深入研究,提出了一种基于松耦合多处理器体系结构的双机容错实时嵌入式系统设计方案。该方案无缝整合了计算机硬件级、操作系统级、应用级的容错技术,以达到从整体上提高系统可靠性的目的。然后,利用马尔科夫状态图法对该系统进行了可靠性分析和数值模拟,结果表明该设计方案能显著地从整体上提高系统的可靠性水平。

摘要：针对树拓扑片上网络(NoC)中通信时延受约束的低能耗映射问题,提出了一种递归的二路划分算法RPM(recursive bipartitioning for mapping)。RPM基于分而治之策略,首先将NoC映射转化为多层次的IP核通信任务图划分问题,并采用带参数的Kernighan-Lin算法实现最小割值划分。实验结果表明,与已有算法相比,RPM可以在较短的时间内获得能耗更低的映射解。通过设置不同的参数,RPM既可以用于生成高质量的优化解,也可用于快速的NoC设计空间探索中。

摘要：面向支持电压岛的NoC平台,定义了可靠性约束下的能量感知NoC映射问题,提出一种基于禁忌搜索的优化方法.设计了一种新的能效变化率驱动的启发式算法,嵌套于NoC设计空间的搜索过程中,在IP核映射解的基础上实现各电压岛的电压映射.实验结果表明,本文算法可显著降低NoC能耗,并高效地确保NoC通信的可靠性要求.

摘要：给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术,这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型,形式化定义了IP核、构件和用户自定义逻辑模块,并阐述了从SoC设计体系结构到着色Petri网模型的转换方法,还介绍了如何利用现有工具CPNTools来分析Petri网模型。该方法不仅能验证SoC设计的正确性,还能验证其时间性,一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构,那么就能够验证出整个系统的设计正确性和时间性,最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效,并给出了相应的实验结果。