列车运行安全行为建模与形式化技术研究 【交通运输】

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

给排水科学与工程实验技术 【工业技术】

本书主要面向土木工程学科给水排水科学与工程专业实验教学培养环节，教材内容包括实验基本知识与操作技术、实验设计与数据处理、水样的采集与水质（水化学）分析、水处理实验、建筑给水排水实验、水处理微生物实...

单片机原理与接口技术　C51版 【工业技术】

本书是按照高等职业教育培养高素质技能型专门人才的目标要求，依据国家职业标准和职业技能鉴定规范，参照高职高专机电类专业相关课程的课程标准编写的。本书共分12个项目，全书结构合理、通俗易懂，既可作为高职高...

园艺作物新品种与高效生态技术 【农业科学】

新品种和高效生态技术对于生产优质、高产、安全卫生的农产品具有重要的意义。本书将近年来育成的鲜食玉米、草莓、西瓜、甜瓜、食用菌和花卉等主要园艺作物的新品种和研究推广的高效生态技术加以总结和提炼...

建设工程技术与计量 土木建筑工程 2017年版 【工业技术】

2017年版建设工程技术与计量(土木建筑工程）是在2013年版的基础上修编的，本书共分5章，第一章 工程地质、第二章 工程构造、第三章 工程材料、第四章 工程施工技术、第五章 工程计量。书中增加了与时俱进的...

人脸检测技术与方法 【工业技术】

本书针对人脸检测中存在的问题与难点，对人脸检测的关键技术和进行了深入的探索与阐述。全书内容共分5章：第1章，对人脸检测技术和方法进行了综述；第2章，给出了利用EMD(Empirical Mode Decomposition)的自适应图像...

水处理科学与技术 典藏版 25 SBR法污水生物脱氮除磷及过程控制 【工业技术】

城乡结对下的网络研修与农村教师能力提升 【文化科学教育体育】

本书稿以阿荣旗和北京西城区两地的基于网络的远程支教为研究对象，围绕农村教师在教师研修网中的资源使用特点及影响因素、城乡“结对子”背景下，教师研修网资源使用对农村教师教学能力提升作用研究，教师研修网...

折线模糊神经网络与模糊系统逼近 【经济】

本书主要研究一类新型折线模糊神经网络和广义混合模糊系统的逼近性能。基于折线模糊数的算术运算讨论折线模糊神经网络对一类可积函数的逼近性，进而系统研究了单(多)输入单(多)输出折线模糊神经网络的若干优...

网络“意见市场”的失灵与规制 【文化科学教育体育】

意见市场是指人们自由传播信息、发表意见、交换观点的场所或机制。本书针对当前网络“意见市场”中观点无法自由竞争、真理难以战胜谬误、言论表达损及其他法益等情况进行了深入剖析。本书共分为十章：第一章...