移动对象管理 模型、技术与应用 英文版 【工业技术】

随着移动通信术不断发展和普及，人们对移动对象管理的需求越来越迫切，移动对象管理成为数据库研究领域的一个热门方向。本书总结了国内外有关移动数据管理的研究工作和具有代表性的关键技术，详细介绍了作者近年...

软件工程 面向对象和传统的方法 原书第8版 【工业技术】

本书共分两大部分：第一部分介绍基本的软件工程理论；第二部分讲述更实用的软件生命周期。作者采用这种独特的、极具可读性的组织方式，帮助学生和广大读者理解软件工程中的一些复杂概念。...

建筑的发展与设计方法 【工业技术】

本书分为建筑的发展和建筑的设计方法上下两篇内容。建筑的发展篇中首先对建筑的基本知识进行了简要阐述，接着以时间为线索对不同时期的建筑发展进行了详细阐述；建筑的设计方法篇中首先对建筑设计的基本知识进...

断续节理岩体破坏过程的数值方法及工程应用 【工业技术】

本书以水电和隧道工程中断续节理岩体为研究背景，以数值流形方法和无网格方法为基础，研究了断续节理岩体中岩体不连续及其尖端场的数值模拟方法，并开展了相关的实验研究。在实验研究的基础上，建立节理岩体弹塑性...

泛函分析及其在自动控制中的应用 【工业技术】

城市生长的分析研究 兼论历史文化名城漳州的产生和发展 【工业技术】

农业水权转让补偿机制及模型研究 【工业技术】

本书共分7章，从整理目前农业水权转让国内外研究现状入手，阐述了农业水权装让影响分析及评价、农业水权装让补偿机制、农业水权转让补偿模型等多方面的内容，在此基础上，分析比较了在内蒙古南岸灌区和中国东阳-义...

层析水波理论 GN波浪模型 【工业技术】

本书介绍了基于流体层速度假设建立的层析水波理论中的GN和IGN水波模型。介绍目前常用的非线性水波理论的发展，GN和IGN水波理论的建立，海底地形对波浪传播变形的影响，海底形状随时间变化带来的兴波问题，孤立波的...

基于本体的矿井提升机故障诊断理论与方法 【工业技术】

本书以矿井提升机的故障诊断方法为研究内容，提出了矿井提升机故障本体诊断方法，系统地研究了矿井提升机故障诊断的知识获取、知识表示和知识推理技术，在取得理论研究成果的基础上，开发了基于本体的矿井提升机故...

软件开发的形式化方法 【工业技术】

形式化方法是建立在严格数学基础上、具有精确数学语义的开发方法。从广义角度，形式化方法是软件开发过程中分析、设计及实现的系统工程方法。狭义地，形式化方法是软件规格和验证的方法。本书对软件开发中的形...