首页 / 资料库 / 文献详情

测控技术中含有“X”值的验证

陈彤

2006Acta Scientiarum Naturalium Universitatis SunyatseniEngineering被引 0

出版方页面 →

摘要

利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.

引用本文（GB/T 7714）

陈彤. 测控技术中含有“X”值的验证[J]. Acta Scientiarum Naturalium Universitatis Sunyatseni, 2006.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。