《高可靠性智能灌溉系统的形式化验证方法》PDF+DOC
作者:许海洋,王萍
单位:黑龙江省农业机械学会;黑龙江省农业机械工程科学研究所
出版:《农机化研究》2015年第05期
页数:4页 (PDF与DOC格式可能不同)
PDF编号:PDFNJYJ2015050150
DOC编号:DOCNJYJ2015050159
下载格式:PDF + Word/doc 文字可复制、可编辑
《基于无线传感器网络技术的智能灌溉系统的设计》PDF+DOC2016年第29期 胡冬严
《基于无线传感器网络智能灌溉系统的设计》PDF+DOC2016年第10期 杨柏楠
《基于ZigBee技术的葡萄园智能灌溉系统设计》PDF+DOC2015年第06期 贾艳玲,刘思远
《基于ZigBee的农田智能节水灌溉系统的设计》PDF+DOC2017年第02期 陈艳丽,谢芳
《基于专家决策模型的智能节水灌溉系统的研究》PDF+DOC2020年第14期 李真真
《智能灌溉系统的设计与实现》PDF+DOC2019年第11期 张娣,曲子谦,罗文涛,邓旭东,董莉霞
《基于MSP430的智能灌溉系统设计》PDF+DOC2010年第07期 刘善梅,彭辉
《对智能灌溉的几点认识》PDF+DOC2017年第07期 王应海,刘勇兵
《基于无线传感器网络的智能灌溉系统的设计》PDF+DOC2020年第10期 苏静池,韩改宁,李永锋,张洁,石妍
《基于声发射农业智能灌溉系统》PDF+DOC2013年第06期 周海涛
针对智能灌溉系统中嵌入式软件的可靠性,提出了在软件的设计阶段,采用MARTE建立软件的系统模型,通过将软件模型转换为形式化模型,对软件系统中各个子系统的可靠性进行验证。通过对智能灌溉系统的嵌入式软件进行可靠性分析,指出在本文假设前提下,数据采集单元软件的故障率最大,在实际应用中应该有针对性的进行改善,有助于解决不利于可靠性的影响因素,提高整个智能灌溉系统的可靠性。
提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。