软件可靠性建模研究
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐
市场建模技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
依据软件可靠性特征,提出以解决软件开发逻辑思维正确性为建模基本问题的可靠性建模思想。给出基于失效过程的软件可靠性定义,以及一种基于“任务-事件-功能”的软件体系结构准则,进行了形式化描述和理论证明。阐
·摘要: 将小波构建的思想应用于山地地形建模过程中.在分析山地地形特征的基础上,受小波构建过程的启发,将山地整体起伏区域对应于小波低频部分,局部随机起伏对应于小波高频部分,以此建立递推模型对山地地形进行仿真模拟.小波参数统计建模...
飞利浦RC522芯片源代码。该芯片主要针对三表市场和手持设备,支持I2C/SPI/UART接口。 先发布基于普通51单片机的驱动源代码,采用串口接口,无需中断。只要接一个串口,后续会发布基于飞利浦LPC9401的读写源代码!LPC9401...
ARM® 系列微处理器作为全球16/32 位RISC 处理器市场的领先者,在许多领 域内得到了成功的应用。近年来,ARM 在国内的应用也得到了飞速的发展,越 来越多的公司和工程师在基于ARM 的平台上面开发自己的产品。 与传统的...
MSP430单片机是TI公司1996年开始推向市场的超低功耗微处理器,另外他还集成了很多模块功能,从而使得用一片MSP430 芯片可以完成多片芯片才能完成的功能,大大缩小了产品的体积与成本。如今,MSP430单片机已经用于各个领域,尤其是仪...