6502组合语言与系统程式

面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems

本书对计算机科学方面的数理逻辑进行了综合介绍，涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题，反映了计算机科学中数理...

Matlab/Simulink动力学系统建模与仿真

本书主要内容介绍了动力学系统中微分方程模型、传递函数模型和状态空间模型等建立的基础理论，并引入了Simulink仿真技术，为解决复杂动力学问题特别是不易得到解析解的动力学问题提供了方法。书中编排了较多的...

语言系统及其运作

本书是一本语言学领域的学术专著，论述语言系统及其应用的每一个层次、语言的应用和理解等。

系统功能语言学多维思考

SAS金融数据挖掘与建模 系统方法与案例解析

本书以客户生命周期管理为主线，结合翔实的案例介绍最具含金量的数据挖掘与建模方法，每个案例既自成体系又前后呼应。第1章介绍数据挖掘在客户生命周期管理中的应用，对如何构建客户标签体系和客户画像做了详细...

系统综合评价与数据包络分析方法 建模与应用

数据包络分析（DEA）是一种应用应用广泛的效率评价方法，本书结合作者近年来的研究成果，将数据包络分析方法进行扩展与集成，使之成为一种开展系统综合评价的有效方法，同时本书介绍了数据包络分析在能源与环境管理、....

新能源汽车电驱动-能量传输系统建模、仿真与应用

本书系统而全面地阐述了新能源电驱动与能量传输新理论及新能源车辆工业应用技术，是新能源电驱动与能量传输方面的一部学术专著。全书共8章，前4章完整论述了新能源车辆电驱动与能量传输的理论体系，包括建模、计...

管理系统仿真 GPSS语言

语言的功能 系统、语用和认知