基于Markov过程的1553B总线系统可靠性分析

针对1553B总线具有热备结构的特点,利用可靠性理论中的Markov过程原理,从可维修性的角度建立了可靠度和平均无故障时间的理论计算模型。分析其可靠性,并进行了可靠性计算。通过Matlab仿真,进一步验证了其模型的正确性。     

基于Markov过程的渲染集群可用性分析

在考虑到多个集群节点存在着CMF(共模失效)情形下研究了系统的可用性。分别提出了由2个集群节点组成的系统在"单步修复"和"整体修复"方案下的CTMC(连续时间Markov链),得出了2种不同方案的优劣比较结论,同时采用SRN(随机回报网)仿真工具进行了验证;并进一步研讨了n(n>2)个集群节点组成系统的情形。     

进化规划的Markov过程分析及收敛性

本文对一类进化规划（EvolutionaryProgramming）进行了理论分析，给出了进化规划的Markov过程描述及t步概率分布密度的递推公式，该公式较好地描述了进化规划的叠代规律，利用该公式证明了进化规划的概率1收敛性及r阶收敛性．     

基于Markov切换空间的分布式协同接入控制模型

基于3层架构的映射框架,本文以视频业务为主要研究对象,研究了分布式协同接入控制系统的建模和调控机理。不失一般性,假设视频业务需求近似服从泊松分布,而服务时间服从指数分布,将一个资源节点上的业务接入状态的演化用Markov过程来描述,则所有的N个资源节点的分布式协同接入控制可以由一个Markov切换空间控制过程来阐述。针对构建的Markov切换空间控制系统,基于系统灵敏度的观点对系统性能进行优化,本文提出了基于策略梯度的随机逼近算法;同时,证明了该随机逼近算法的收敛性。此外,本文给出了一个仿真实例来说明此随机逼近算法的有效性。     

软件导引的模拟退火算法在硬软件划分中的应用

对系统级设计中的硬软件分割问题建立数学模型．将系统级设计工具提供的性能分析功能与模拟退火算法相结合，设计了一种软件导引的模拟退火算法。该实现中将嵌入式系统性能指标（任务的执行时间）作为约束，将实现代价以及功耗作为硬软件分割方法优化的目标。在保证系统的设计目标（任务执行时间）满足要求的基础上。通过选择系统中各模块实现代价和功耗较小的实现方法．进而优化整个系统的实现代价和功耗．彻底改变了以往航天应用的嵌入式系统设计中依赖人工经验进行硬软件划分下现状。     

VLP830型激光放像机硬软件的分析

激光放像技术是激光、视像及计算机技术综合发展的结晶。具有图像清晰、存贮量大、搜索速度快、便于与计算机联机通信等一系列优点。它不仅可用光盘代替普通录像带供一般娱乐之用,而且可作为普遍用于办公室自动化的文件存档系统和用于特种技能训练及交互式教学的基本工具。VLP830激光放像机是荷兰菲利浦公司的早期产品。尽管存在集成度较低、智能化程度不高的不足,然而对它进行软硬件剖析,有利于在消化吸收基础上掌握高级激光放像机及开发交互式系统。     

基于灰色层次分析法的DS/FH测控系统可用度评估

针对干扰环境下DS/FH测控系统可用度的问题,提出运用灰色层次分析法进行评估的方法:通过层次分析法确定指标的权重,通过灰色白化函数确定指标的白化值,通过加权求和确定系统的可用度值,通过不同指标的抗干扰裕量确定可用度的模糊评价集,最后通过实例验证了评估方法的可行性。     

多状态不可修复如新的n-1/n(G)系统的可靠性分析

故障模式并非一种,并且部件也不可能修复如新,因此研究了多状态不可修复如新的n-1/n(G)系统的可靠性。在部件的寿命和维修时间均服从指数分布情况下,采用补充变量法以及广义马尔科夫过程理论,得到了多状态系统的瞬时可用度,可靠度等可靠性指标的Laplace变换表达式以及系统首次故障前的平均时间,并以3中取连续2好系统为例说明了已得结论的实用价值。     

一种基于Markov过程和证据理论的多源图像融合分割方法

文章从多传感器图像的属性研究出发，提出图像分割的新概念。建立图像邻域系统的Markov过程和基于Markov过程的Dempster-Shafer融合分割模型。并充分利用象素间的空间邻接关系。用证据理论描述图象分类的不确定性，较好地解决了传感器图像分割信息不全的问题，实现了景物图像的准确分割。     

一种基于马尔可夫模型的软件可靠性评估方法

针对目前软件可靠性不易评估的特点,建立一种基于马儿可夫链的软件可靠性评估模型。该模型在软件运行流程图的框架下,利用一定的统计学方法,使用线性代数方法来计算软件运行流程中各个状态的概率,建立软件可靠性评估模型,从而计算软件的可靠性;最后,利用软件设计时的判别准则来判断软件是否符合需求。     

嵌入式软硬件系统的可靠性设计

以工程实践中所做的嵌入式软硬件系统可靠性设计为依据,论述了可靠性设计过程中的依据、指标分配以及设计方法。     

基于Bayes网的软件可靠性模型研究与系统设计

传统的软件可靠性预测主要是概率方法,但其存在假设与实际不符的缺点。利用Bayes网,充分利用专家知识和清晰表达相关因素关系的优点,构建了基于Bayes网的软件可靠性预测模型。该模型不仅考虑软件不完全排错和排错时间,同时把软件可靠性因素也考虑在内,增强了其准确和有效性,并基于BN Tookit软件包以MATLAB语言通过实例给以验证。为弥补MATLAB的GUI设计不方便的缺点,给出了VC和MATLAB混合编程实现软件可靠性预测的系统设计思路。     

基于马尔科夫过程的半导体激光器空间辐射可靠性分析

通过对半导体激光器辐射效应的分析,得到了器件在空间环境中的损伤规律和退火规律.根据辐射效应的特点,将器件的性能退化表示为泊松过程与指数过程的结合,建立了基于马尔科夫过程的可靠性模型,利用一步概率转移矩阵获得了故障概率分布函数、可靠度函数以及平均故障前时间的计算方式.根据已有数据,对半导体激光器在空间辐射环境中的性能退化过程进行了仿真,得到了总测试时间为100 000 h时器件的故障概率分布曲线,计算得出平均故障前时间约为42 758.9 h,此时器件可靠度为0.451.分析了不同时间条件下器件的状态概率分布律,结果符合器件性能退化的一般规律,能够描述出器件的失效过程.     

基于SystemC和Verilog软硬件协同验证

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计对象进行描述和验证,提出一种软硬件协同验证方法.该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型.该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中.实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性.     

嵌入式系统的软硬件协同设计

协同设计改变了传统的设计反复修改系统方案的缺点，通过综合分析系统软硬件功能，最大限度地挖掘系统软硬件之间的并发性，将软硬件开发结合得更紧密，可以大大提高设计效率，使设计出来的系统工作在最佳工作状态。本文将系统地阐述软硬件协同设计技术。     

基于扩展背包问题的的软硬件划分算法

软硬件划分问题常以时间为约束对硬件面积进行优化。随着嵌入式的发展,功耗这一因素也越来越重要,故在约束条件中加入了功耗的约束。贪婪算法是解决0-1背包问题的一种简单有效的方法,因此建立多约束的软硬件划分问题与0-1背包问题之间的联系,采用扩展的贪婪算法解决多性能指标的软硬件划分问题。利用仿真与动态规划方法的对比,进行了有效性验证。     

基于软硬件协同的机群数据通信机制的研究与实现

针对各种机群互连网络中，由于软硬件协议之间缺乏紧密的配合，而导致网络提供给最终用户的通信效率较低这一问题。提出了基于硬件描述符机制的网卡设计方法和软硬件协同的思想，设计相应的机群通信协议。实现了高性能的机群互连网络，有效提高了机群用户的通信效率及机群互连网络的通信性能     

牵引电机的软硬件设计原理

机车牵引电机是机车运行重要的核心设备,同时又是保证行车安全和控制机车的关键设备。实现对机车牵引电机的实时监测,可以减少因牵引电机引起的故障率,提高铁路运输的安全和效率,为实现机务设备的状态控制打下良好基础。文中提出了机车牵引电机故障诊断系统的总体设计方案。通过理论研究与实践验证,采用单路直流电压隔离传感器完成了对6路牵...     

一种基于SystemC的软硬件协同设计方法

随着集成电路工艺的飞速发展,传统的设计方法已不能满足设计高集成度的复杂数字系统的要求。软硬件协同设计成为嵌入式系统设计的新方法。SystemC是一种兼容C++的系统建模语言,它同时支持RTL级、行为级和系统级描述,使其成为软硬件协同设计平台的基础。