软件可靠性建模研究
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐
UFO研究技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐
随着航空航天技术的发展,人们加快了对太空探索的脚步,这对于空间图像的实时性、高速率传输提出了更高的要求。空间图像的特点是信息量大,对图像重建质量要求高,这在传输带宽资源有限的情况下,对大容量的空间图像的压缩既要实现高保真又要保证实时传输。C...
低密度校验码(Low-Density Parity-Check Codes,LDPC)已经被证明是一类纠错性能逼近香农限的渐近好码。由于低密度校验码具有译码复杂度低、错误平层低等诸多优点,它的良好应用前景已经引起学术界和IT业界的高度重视,...
· 摘要: 为了对TI公司TMS320C54x系列芯片进行联合调试,缩短产品的设计周期,提出了一种基于VC++6.0平台的软件测试方法.该方法分析了该系列芯片指令体系的特点,利用C++面向对象编程的多态性,结合键盘中断...