网络互联设备

本书是《网络工程师教育丛书》的第6册，介绍各种网络互联设备以及采用这些设备进行网络管理和设计的方法。全书分为7章。第一章是OSI模型各层概述，并介绍第1层设备；第二、三、四、五章分别介绍第2层设备、第3层...

递归人工神经网络的定性分析和综合

本书对递归人工神经网络进行了定性的分析。首先介绍了几种神经网络模型，包括：模拟Hopfield神经网络；具有Sigmoid激活函数或饱和非线性激活函数的Hopfield同步离散神经网络；sign函数做为激活函数的离散Hopfield...

排队的人

本书是一部独一无二的历史推理小说，小说中所谓的案件是英国历史上一宗家喻户晓的故事：理查三世为了篡取王位，谋杀了囚禁在伦敦塔中的两个小王子。嫌犯的“罪行”令人发指，更令人深思。但是病床上的格兰特探长却...

基于不确定寿命的可靠性理论

可靠性理论是以产品的寿命特征作为主要研究对象的一门交叉学科，它涉及基础数学、技术科学以及管理科学的许多领域。近年来，国内外可靠性类书籍很多，但是针对数学模型的可靠性类书籍却非常少，而现有的书籍也只是...

品牌信息本论 品牌信息本质的确定及其量的度量理论

本书深刻地揭示了品牌本质的奥秘，开启了一个全新的品牌研究领域，为今后的品牌研究提供了一个可以科学度量的框架，将来有关品牌的管理实践中，包括品牌管理人员对品牌经营状态的分析、品牌创建者对品牌推广与传播...

排队现象的建模、解析与模拟

本书以随机过程为工具主线，贯穿排队现象的建模与解析分析，并且使用计算机程序代码与数学证明相互佐证，通过分析学习者的结构运演特征，在知识建构的过程中通过图表及步骤的演示将随机过程与排队论进行展示。...

网络互联与路由技术

本书以H3C的 MSR 20系列、50-60路由器和3600、3610交换机作为硬件平台,以COMWARE(V3/V5版本)作为软件平台，提供了常用设备管理操作实验、配置telnet路由器远程登录实验、文件传输管理实验、网络基本设备调试...

交互式定理证明与程序开发 Coq归纳构造演算的艺术

Coq是一个用于验证定理的证明是否正确的计算机工具。本书的主要目标是从实践的角度来理解Coq系统及其基本理论，即归纳构造演算。这本书给出了大量的例子，所有这些例子都可以在计算机上执行。...

温度场对圆锯片动态稳定性影响的理论与实验研究

本书采用实验方法在圆锯上模拟切削加工时的温度场，通过理论分析和实验测试求得其引发的热应力和热变形，以及它们与圆锯片各阶固有频率、临界速度的关系等，并在此基础上建立起圆锯总的残余应力与其动态稳定性的...

物联网系统设计开发方法与应用