刘巍,陈昭编著2011 年出版163 页ISBN:9787111343325
本书主要介绍近几年前沿的计量模型的应用技巧和Eviews6.0软件操作方法,主要包括:高频数据和低频数据的相互转换——转频;变量在滞后时间上的动态影响——VAR模型、VEC模型、脉冲响应、方差分解;季节与节假日对...
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971
本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
宫二玲,沈辉著2016 年出版453 页ISBN:9787517048893
本书针对工科院校普遍开设的自动控制原理课程,系统地阐述了经典控制理论和现代控制理论所涉及的基本内容。作为主要特色之一,本书将这些内容划分为模型篇、分析篇和设计篇三大部分。其中模型篇涵盖了连续时间...
王砚,黎明安,郭旭侠,解敏,吴昊等编著2019 年出版288 页ISBN:9787111614616
本书主要内容介绍了动力学系统中微分方程模型、传递函数模型和状态空间模型等建立的基础理论,并引入了Simulink仿真技术,为解决复杂动力学问题特别是不易得到解析解的动力学问题提供了方法。书中编排了较多的...
邹煊享主编2003 年出版286 页ISBN:7543535882
查有梁,男,四川省社会科学院学术委员会副主任、研究员,四川省学术和技术带头人,有突出贡献的优秀专家,享受国务院政府特殊津贴。全国教育科学领导小组教育理论组成员,中国教育学会教育学会会学术顾问。北京师范.....
陈晓,钮建伟,蒋毅编著2013 年出版288 页ISBN:7030359445
本书是作者根据十多年从事单兵装备研究开发和人机工程基础科研的实践经验,本着力求全面反映单兵装备人机工程学的最新发展和理论与工程实践相结合、装备与技术进步相促进的原则而编著的。全书分为七章,主要内...
陈晓,钮建伟,蒋毅编著2013 年出版611 页ISBN:7030359445
本书是作者根据十多年从事单兵装备研究开发和人机工程基础科研的实践经验,本着力求全面反映单兵装备人机工程学的最新发展和理论与工程实践相结合、装备与技术进步相促进的原则而编著的。全书分为七章,主要内...
ANSYS工程结构数值分析方法与计算实例 第1分册 建模方法、结构计算与温度场计算、设计优化
石彬彬,张永刚等编著2015 年出版328 页ISBN:9787113209339
本书为《ANSYS高级结构分析方法与工程应用》的第1分册,共9章,主要内容包括ANSYS结构分析的基础知识、静力学计算以及热传导计算三部分。基础知识部分,系统介绍结构分析及热分析的理论背景、ANSYS程序的基本概...
陈春宝,徐筱刚,田建中著2017 年出版208 页ISBN:9787111580478
本书以客户生命周期管理为主线,结合翔实的案例介绍最具含金量的数据挖掘与建模方法,每个案例既自成体系又前后呼应。第1章介绍数据挖掘在客户生命周期管理中的应用,对如何构建客户标签体系和客户画像做了详细...
王科著2018 年出版310 页ISBN:9787030565990
数据包络分析(DEA)是一种应用应用广泛的效率评价方法,本书结合作者近年来的研究成果,将数据包络分析方法进行扩展与集成,使之成为一种开展系统综合评价的有效方法,同时本书介绍了数据包络分析在能源与环境管理、....