基于System C系统级的语音识别系统性能分析库函数的设计

在嵌入式系统的建模和性能分析过程中,经常需要定量地分析和评估系统的平均延迟、CPU占用率等性能指标.本文基于System C语言,针对System C没有系统级的性能分析库函数的问题,设计了一套性能分析评估的库函数,用于统计性能参数样本、计算期望值和置信区间,同时在性能指标满足要求精度时终止仿真.通过对仿真结果的分析,设计的库函数适用于嵌入式语音识别系统的性能分析,并可以用于基于System C的复杂嵌入式系统的性能分析评估.     

无线接入系统的系统级建模及性能分析

为了分析IEEE 802.11协议中主要参数对无线接入系统性能的影响以及设计低成本的无线接入点(access point,简称为AP),按照复杂嵌入式系统的系统级设计流程,在AP的软/硬件实现之前使用形式化建模语言POOSL建立了无线接入系统的抽象模型.定量地分析了最小竞争窗口(CWmin)等参数对有效吞吐量和平均延时等性能指标的影响,通过分析CPU利用率,确定了合适的CPU处理速度.结果表明:在系统设计的早期阶段通过系统级建模及性能分析,可以确定系统设计的关键参数.     

基于SystemC的可重构阵列处理器模型

基于可重构技术以及SystemC的体系结构建模特点,构建一种基于SystemC的可重构阵列处理器模型。采用模块化的SystemC系统模型分别对指令传输模块、处理元模块以及邻接互连模块建模,构成32×32的可重构阵列处理器。通过指令传输模块实现局部和非局部两种单指令多数据模式的快速切换,使用邻接互连模块完成处理元间的通信。对建立的模型进行仿真验证,同时将高效视频编解码标准中视频算法映射到该模型上。仿真结果表明,该模型搭建正确,能够实现视频编解码标准中视频算法的并行化映射。     

系统级描述语言SystemC到时间Petri网的转换技术

SystemC作为一种系统级描述语言能够同时描述硬件和软件,但缺乏形式化分析的手段.针对其存在的问题,提出引入Petri网的设想,通过分析了SystemC程序本身的结构特点,指出其主要由顺序、分支、循环以及并发等结构组成,并分别给出与Petri网的对应关系.同时提出了由SystemC程序到时间Petri网的转换方法.使用Petri网的工具对并发程序进行分析,将SystemC程序转换成时间Petri网,为基于SystemC的系统设计提供形式化的分析方法.并应用Petri网的可达图检测出原SystemC程序中的死锁,该转换方法的有效性达到了引入形式化方法的目的.     

基于SystemC的ISS与软件调试器集成方法分析

讨论了在SystemC环境下进行SoC的系统级建模过程中处理器模型与调试器的集成方法。分析了两者之间的通信连接方法以及如何保证调试器对模型运行的正确控制以实现周期精确的要求。所提出的通信连接方法都是以调试器与系统模型为两个独立的操作系统进程为前提的,这符合大多数仿真环境的要求。对系统模型与调试器接口部分的结构进行了分析,针对指令流水线造成的单指令运行与时钟周期的同步问题提出了相应的解决方案。     

基于POOSL的系统级建模及性能分析

针对嵌入式系统设计复杂性的不断增加以及设计周期逐渐缩短的问题,提出一种系统级设计方法.在系统的软/硬件实现之前建立系统的抽象模型,对系统定性和定量属性进行评估,确定设计方案的可行性.阐述了系统级设计方法,以滑动窗口协议为例,基于系统级的设计方法建立了该协议的POOSL模型,定量分析了窗口大小、帧丢失率和超时间隔等参数对协议性能的影响.结果表明,该方法能在系统设计的早期阶段评估系统的设计方案.     

MEMS惯性传感器的系统级建模技术研究

阐述了基于多端口组件网络的MEMS建模方法——把MEMS器件分割为多个功能结构部件，并建立其参数化多端口组件模型，通过组件端口的相互联结形成的网络表征整个MEMS器件。根据物体的相对运动理论并采用能量法表述了建立微惯性器件的组件模型的一般方法。在此研究基础上，形成了MEMS的可重用组件模型库并以此建立了一电容式微陀螺的系统级模型。仿真结果表明多端口组件网络方法是快速建立和仿真MEMS系统级模型的有效方法，而物体的相对运动理论和能量法对建立惯性MEMS的组件模型具有普遍指导意义。     

基于Agent的复杂系统建模仿真方法研究进展

由于传统建模方法难于适应复杂系统规模大、结构和层次复杂以及非线性等特点，需要采用新的建模理论和方法。基于Agent的复杂模型构建技术是目前最具活力的方法之一。首先简要介绍了Agent的基本概念及其一般结构，并讨论了基于Agent建模仿真方法的基本思路与特点；然后，综述了基于Agent复杂模型构建技术的研究现状；最后，指出了该建模仿真方法的主要发展趋势。     

基于建模活动的数字移动通信系统的仿真设想

数字移动通信系统具有复杂性和随机多变性的特点,计算机仿真是对其进行分析和设计的重要手段。但以往的仿真手段中存在着建模与模型实验相分离的缺陷。在把仿真作为一种基于模型活动的基础上,提出了模型存储和综合利用的设想,进而提出了实现用计算机辅助建模和仿真的软件结构。     

灰色系统单序列的级比建模方法

对灰色系统单序列,本文提出了建立齐次指数模型的一种新方法——级比建模法,证明了模型完全具有原始数据的升、降、凹、凸等几何性质。举出了一些计算实例,指出了极比建模法的特点。     

绩效量计算公式的设计与分析

本文针对绩效定量管理的特点、要求,提出了考核指标的数学模型建立的几种常见形式:按实际与计划之比设立的计算公式,一因素可变计算公式,双因素指标计算公式,直接指标计算公式,并对直线型和曲线型进行了简单的分析、比较。     

制造企业绩效评价系统的构建

通过对传统的企业绩效评价系统进行分析,指出了传统的企业绩效评价系统的局限性和缺陷,提出了构建基于战略管理的绩效评价系统的基本思路,并对该系统在K公司的运用进行了总结。     

基于信息融合技术的绩效考核研究

基于信息融合技术建立了一种新的绩效管理系统,并从信息融合的角度对绩效指标进行了分类,提出了并行分布式信息融合构架的绩效考核方法,并从整体功能、垂直层次、横向构成和数据处理流程4个方面对该绩效考核方法进行了详细介绍。     

SystemC与SCP结合仿真多处理器嵌入式系统

为了在保持适当的仿真精度的前提下,使多处理器嵌入式系统(MPES)软硬件协同仿真的速度适合于实际应用,提出了一种基于SystemC及源代码分析器相结合的方法,即将自行开发的源代码分析器工具用于处理嵌入式软件源代码,并将其转换为标注了时间信息的ANSI C代码,通过使用BFM(bus functional model),这些代码可以被集成至SystemC系统模型中作为EPU(embedded processing unit)的时间注释模型．将专用SystemC模块用于硬件建模,并对SystemC仿真内核的同步机制进行扩展以支持新的处理器中心同步仿真．时间注释模型和新的同步机制均可有效地提高仿真速度．使用这一方法成功建模仿真了一台包含12个处理器的通信设备,仿真目标设备1s内的行为耗时59．8s．试验结果表明,该方法可被用于MPES的软硬件协同设计中．     

硅微陀螺仪的建模

提出了硅微陀螺仪的集总建模方法．该方法将硅微陀螺仪划分为多个相互关联的基本单元,各基本单元的行为特征被集总到单元的节点端口上,并表征为矩阵形式．将根据物体相对运动理论,从基本单元的解析方程出发,给出了建立硅微陀螺仪基本单元模型的一般方法,并以Verilog-A为模型编码语言实现了硅微陀螺仪参数化的基本单元模型．在Cadence Spectre上进行了仿真验证,频域仿真结果与ANSYS计算结果相差在1%以内;时域仿真结果表明利用该系统级模型能够快速进行复杂机电一体仿真．     

基于层次分析法和灰色关联理论的住宅性能评价

用层次分析法建立住宅性能评价模型,确定住宅性能的指标体系。并进一步构造判断矩阵确定各指标的权重。同时根据各指标的权重,结合灰色关联理论将现实住宅同理想模型间的关联程度进行了系统的分析,将复杂的问题简单化,将抽象的问题具体化,将量化结果与定性分析完美结合,为广大消费者提供一种实用的评价工具。     

基于SuperMap的空域设计评估综合系统

首先提出了建立通用空域设计评估综合系统的构想,并进一步从系统模拟单元构造和系统结构模式两方面讨论了建立空域设计评估综合系统的方法,提出了分层次描述模拟单元及以模块化和插件式方法构造仿真系统的思想。在此基础上融合空域结构辅助设计的功能,构造出空域设计评估综合系统,并结合西安终端区的实际,对终端区容量进行了评估。结果表明,该系统架构模型对提高系统的通用性具有一定作用。     

地域通信网网管评估系统的设计与实现

网管系统评估技术在网管系统的设计开发和更新完善过程中是极为重要的辅助工具。针对地域通信网网管系统的网管评估技术的原则和要求,从功能评估、效率评估和抗毁性评估三个方面提出了具体的评估指标。同时在此基础上建立了一种比较接近实际情况的地域通信网网管评估系统模型,并借助于面向对象的计算机仿真技术在VisualC++编译环境下实现了对该系统的计算机仿真。