（美）EDMUND M.CLARKE JR.，ORNA GRUMBERG，DORON A.PELED著；李刚，宋雨等译2015 年出版223 页ISBN：9787121272950
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
周从华著2014 年出版203 页ISBN：9787030418920
本书致力于缓解随机模型检测中的状态空间爆炸问题。首先介绍了离散时间马尔科夫链、马尔科夫决策过程、连续时间马尔科夫链和概率实时解释系统上的限界检测技术。然后讨论了模型检测概率、实时认知时态逻辑...
赵林惠著2016 年出版250 页ISBN：9787302423928
本书涵盖两大部分内容，主要包括生物免疫系统原理、人工免疫系统原理、人工免疫系统模型、各种检测系统模型及应用等，重点在于各种应用中具体问题的解决方法论述和分析，分别涉及入侵检测、故障诊断、垃圾邮件检...
尚华著2017 年出版206 页ISBN：9787506863919
本书重点研究了INAR(1)模型和VAR模型这两类时间序列模型的异常值检测。介绍并且对比了现有时间序列异常值检测方法。研究了同时包含加性异常值（AO类）和新息异常值（IO类）的INAR(1)模型。提出了对INAR(1)模型进行...
杨雍国编著2012 年出版142 页ISBN：9787501989751
本书以三模（航模、车模、船模）制作为平台，由浅入深地阐述了航模、车模、船模从制图、看图到动手制作的各个环节，每一章节突出一个实验主题，均有参考图纸和程序。力图使广大读者易于理解和领悟，在实践中体验三模.....
李永慈编著2005 年出版156 页ISBN：7810767313
本书从林分生长与收获模型两方面讲述。主要内容是林分生长规律，以大岗山杉木优势为对象建模，讲述度量误差对模型参数估计的影响。
