基于SystemC和POOSL的语音识别系统的系统级建模与性能分析的对比*

根据复杂嵌入式系统的系统级建模的需要,提出了一套复杂嵌入式系统的系统级设计流程和建模方法。该方法主要包括了层次化建模方法、TopDown建模方法、面向对象建模技术和YChart建模方法,并采用提出的系统级建模方法,分别使用SystemC语言和POOSL语言成功地对语音识别系统进行了建模;通过模型的仿真进行了性能分析,并对分别得到的性能分析结果进行了对比,两种语言的系统延迟时间与CPU占用率的性能分析结果基本一致,为建模人员进行复杂嵌入式系统的系统级建模和性能分析提供了指导与参考。     

基于OPNET的局域网仿真建模与性能分析

基于以太网技术的小型局域网是我们日常生活和工作中常见的网络应用环境。如何快速适应网络拓扑环境的变化,构造出一个容量变化了的全新局域网是我们必须面,临的课题。通过OPNET网络仿真建模技术,我们可以对设计方案进行验证和预测,从而给出网络规划的可行性参考。文章围绕局域网的容量扩充这一典型案例,利用OPNET的仿真功能,通过对网络负载、数据传输时延和服务器响应时间等网络性能关键指标的分析,给出网络容量规划的依据。     

基于DSPN的TTE总线建模与性能分析

时间触发以太网(Time-Triggered Ethernet,TTE)技术已经应用于新一代航空总线并处于高速发展中。TTE的建模和分析方法对其在航空航天方面的发展有重要意义。基于TTE消息传输机制的工作原理,提出一套确定与随机Petri网(Deterministic and Stochastic Petri Nets,DSPN)的TTE总线建模和相关性能分析方法,并以一种典型的火力控制系统为实例进行建模与性能分析,以进一步说明该方法的有效性和可行性。     

基于Petri网的信息系统建模及性能分析

采用基于Petri网的信息系统建模技术,对一实际系统进行建模,并利用Petri网严谨的数学分析理论对所建信息系统模型的性能进行了描述和分析。     

3G中GMLC的建模与性能分析

在研究3G中GMLC(Gateway Mobile Location Center)系统结构、软件结构和消息流程的基础上,利用具有固定反馈次数的M／G／1排队系统对GMLC进行建模。为了验证模型的有效性,在北京邮电大学网络与交换技术国家重点实验室开发的GMLC系统中进行了相关测试。最后对测试结果和模型计算结果进行了对比分析,结果显示该性能模型能够真实反映系统的性能,是一个有效的数学模型。     

基于Petri网理论的FC-AE-ASM建模与性能分析*

以确定与随机Petri网为工具,基于周期消息,对光纤通道在航空电子环境的FC-AE-ASM（fiber channel anonymous subscriber messaging）网络进行建模仿真,根据仿真计算出FC-AE-ASM网络负载和系统的延迟时间两个重要的性能指标,通过对两个指标的性能曲线进行分析,有助于进一步理解航电系统事件消息在FC-AE-ASM网络中的传输机制,为综合航电系统的设计和完善提供重要的理论依据。     

基于马尔可夫模型的云系统安全性与性能建模

针对云环境缺乏安全性评估的问题,提出一种评估系统安全性的建模方法,并建立了云环境下的安全性-性能（S-P）关联模型。首先,针对云系统中最重要的组成部分,即虚拟机,建立了评估其安全性的模型,该模型充分反映了安全机制和恶意攻击两个安全因素对虚拟机的影响;随后基于虚拟机与云系统之间的关系,提出评估云系统安全性的指标;其次,提出一种分层建模方法来建立S-P关联模型。利用队列理论对云计算系统的性能进行建模,然后基于贝叶斯理论和相关分析建立了安全性和性能之间的关联关系,并提出评估复杂S-P相关性的新指标。实验结果验证了理论模型的正确性,并揭示了安全因素引起的性能动态变化规律。     

基于PETRI网理论的FC-AE-1553建模与性能分析

光纤通道是新一代网络和总线技术,具有兼容性好、延迟低、可靠性高、传输速度快和传输距离远等优点,以确定与随机Petri网为工具,基于周期消息和事件消息,对光纤通道在航空电子环境的FC-AE-1553网络进行建模仿真,根据仿真计算出FC-AE-1553网络负载和系统的延迟时间两个重要的性能指标,通过对两个指标的性能曲线进行分析,有助于进一步理解航电系统事件消息在FC-AE-1553网络中的传输机制,为综合航电系统的设计和完善提供重要的理论依据.     

GridMol系统中蛋白质可视化与建模的性能优化

基于网格计算思想开发一个具有计算化学前、后处理功能的系统GridMol,其主要功能包括分子可视化、分子建模和计算作业提交。针对GridMol系统中蛋白质大分子显示和建模遇到的性能问题,给出调整Java 3D场景图进行性能优化的方法,通过GridMol和其他分子可视化软件的性能比较以及自身优化前后的性能比较,证明优化方法取得了良好的效果。     

基于面向对象Petri网的工作流建模及性能分析

工作流技术作为一种过程建模和过程管理的核心技术，在计算机应用领域获得了迅速的发展。介绍了工作流技术；提出了将面向对象建模技术融入Petri网模型所形成的面向对象Petri网，并讨论了建立基于面向对象Petri网的工作流模型的步骤；运用面向对象Petri网建立了某制造企业的产品方案处理流程的工作流模型，并运用性能等价公式对工作流模型的性能进行了分析。     

基于再生周期技术的POOSL构件库的扩展

针对POOSL不支持定量分析系统的吞吐量、时延等长期样本均值性能指标的缺点,引入再生周期技术扩展了POOSL的构件库.这对在系统早期设计阶段确定可行的参数设置具有重要的应用价值.     

Performance modelling of a network processor using POOSL

The increasing complexity of innovative real-time hardware/software systems forced industry to consider system-level design methods. Before actually implementing a system with hardware and software components, system-level design methods enable analysing the performance of different design alternatives that realise the required functionality. In order to develop performance models early in the design process, the parallel object-oriented specification language (POOSL) can be used. POOSL is an expressive modelling language for analysing complex real-time distributed hardware/software systems. Being equipped with a formal semantics, POOSL ensures unambiguous execution of models and proper application of performance analysis techniques. This paper discusses the use of POOSL for analysing the performance of a network processor. A network processor consists of components that perform their behaviour in a synchronously concurrent way, whereas POOSL is based on an asynchronous modelling paradigm. In this paper, we illustrate that constructing abstract models of synchronous systems for the purpose of performance analysis may benefit from an asynchronous modelling approach.     

VLSI And System Performance Modeling

Complex VLSI chips and systems call for performance evaluation techniques that are easy to understand, change, and maintain. High-level simulation environments answer this need.     

多通道压力测试系统Petri网建模及其性能分析

建立了n路多通道压力测试系统的广义随机Petri网(GSPN)模型,利用模型的可达图和MC链分析了GSPN模型的基本性能;推导出了压力测试系统的测试性能的数学公式,测试性能包括各部分的利用率、单位时间内的激发次数、系统时间延迟;并且分析了测试系统各部分之间的相互影响。经过实验验证,证明了该模型的正确性。     

基于面向对象Petri网的设备采购管理系统建模及性能分析

传统的设备采购系统不能随外界环境的变化而进行相应的重组。为此,本文提出了一种基于面向对象Petri网的设备采购系统的工作流模型。该模型将各个对象的内部结构进行封装,避免了相互之间的库所与变迁的定义干涉。模型具有模块化、图形化、结构化的特性,提高了设备采购系统的可重用性和可扩展性。以审批部门的OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,证明了构建的模型具有良好的性能并满足系统变化和重组的要求。     

基于柔性铰链支承的热驱动硅微机械手的力学模型及性能分析

微机械手是一种典型的微型执行器,是微型机电系统(MEMS)的重要研究内容之一.以基于柔性铰链的电热驱动硅微机械手为研究对象,建立了微夹钳的二次超静定力学模型,导出了钳口处输出位移的解析式,并在此基础上对硅微机械手的性能进行了分析.分析表明,微夹钳的输出位移与柔性铰链切割半径成正比,切割半径越大,输出位移越大;对各加载电压下的微夹钳输出位移,其试验和理论结果的变化趋势一致,即微夹钳输出位移随输入电压的增加基本呈线性增加.     

飞行管理系统AADL建模与分析

航空电子系统软件的建模与分析是保证军用和民用飞机高可靠、高性能的重要手段,也是模型驱动软件体系结构的重要组成部分。飞行管理系统作为航空电子系统的重要组成部分,传统上,对该系统的可调度性分析是在系统设计完成后,在实现与验证阶段进行的,这使得系统无法进行的准确地软硬件需求分析。采用先进的建模方法AADL对其进行建模,为飞行管理系统的可调度性分析、可靠性分析以及通信延迟等分析提供了可能,使得在系统需求分析阶段就可以准确确定系统的软硬件需求,并能大大降低系统的更改验证成本。首先论述了建模语言AADL的基本构成以及与航空电子应用接口规范ARING653的对应关系;然后描述了飞行管理系统的功能构成,并建立了飞行管理系统的AADL模型;最后详细论述了系统调度理论,AADL工具,飞管系统AADL模型的仿真分析。通过仿真分析为飞管系统的处理器选型、系统设计、软件设计与优化提供了依据。