列车运行安全行为建模与形式化技术研究

随着我国铁路事业的快速发展，对列车运行控制系统安全性的研究已成为目前铁路运输系统的重要研究问题。形式化方法为设计高可信系统提供了重要途径。本书针对列车运行过程中安全关键因素，如无线通信网络性能、...

电力设施保护区作业许可安全协议范本

自然语言计算机形式分析的理论与方法

本书是国内第一本综述基于规则与基于统计的自然语言处理方法的专著，对自然语言处理中的各种形式模型进行了系统的梳理，分别讨论了基于短语结构语法的形式模型、基于合一运算的形式模型、基于依存和配价的形式...

兼容并蓄 融形式分析与文化研究于一体的认知诗学

该书从认知诗学区别于传统诗学流派的显著特征入手，力图论证其将形式分析与文化研究紧密结合的理论属性。该书第一章对认知诗学的理论渊源进行了梳理，对其全貌特征作了鸟瞰式总结；第二至五章则分别选取文本世界...

平等的逻辑 非歧视法律的形式分析

道路线形安全分析与评价应用

FPGA自学笔记 设计与验证

二元决策图及其扩展形式在系统可靠性分析中的应用

软件安全分析与应用

本书较为全面、系统的介绍了当前软件安全性分析领域相关方法的技术原理、研究进展、以及存在的问题和难点，此外，本书还介绍了如何将不同技术方法、工具系统应用于恶意代码分析、软件漏洞挖掘、网络协议逆向、...

macOS软件安全与逆向分析 macOS软件安全第一书

本书将深入介绍macOS系统的软件安全、逆向分析与加密解密技术，主要包括macOS软件的开发基础、macOS系统工作机制、macOS软件调试接口与机制、二进制程序的格式、反汇编技术、逆向与动态调试技术、反破解技术...