安全协议模型与设计 【工业技术】

本书紧紧围绕解决安全协议中针对不同服务环境的设计思想、设计方法、所采用的模型以及折中效率与安全等实际问题，并给出安全性证明、通信量和计算量等参数的横向对比结果，使读者对安全协议领域的研究有深刻的...

Maya模型制作 【工业技术】

通过模型课程的学习了解Maya的使用方法，并通过实例让学生能够了解简单的制作流程，通过实例学习模型制作的基本命令，模型布线标准，角色建模，场景建模以及工业模型制作，制作角色表情的基础方法等诸多方面的专业知.....

导淮入海水道杨庄活动坝模型试验报告书 【工业技术】

Maya模型 【工业技术】

本书共分十章，第一章 初识Maya；第二章Maya建模分类及特点；第三章NURBS曲面建模；第四章 耳机曲面建模实例；第五章 踏板摩托车曲面建模实例；第六章POLYGON多边形建模；第七章 渔船多边形建模实例；第八章 皮鞋多边形建...

Struts 2 技术详解：基于WebWork核心的MVC开发与实践 【工业技术】

Struts 2框架是Struts 1.X的替代版本，Struts 2框架整合了Struts 1.X框架和WebWork框架的优点。相对Struts 1.X，Struts 2已经有了非常大的改变，去掉了ActionForm，降低了框架组件之间的耦合性，Struts 2的Action只...

Maya模型制作基础 【工业技术】

本书通过模型课程的学习了解Maya的使用方法，并通过实例让学生能够了解简单的制作流程，通过实例学习模型制作的基本命令，模型布线标准，角色建模，场景建模以及工业模型制作，制作角色表情的基础方法等诸多方面的专.....

现代建筑画选 10 -建筑模型 【工业技术】

本书详细论述了制作模型的意义和方法，精选了建筑设计前必需的立体表现图－建筑模型100多种，介绍了建筑模型的理论和制作技巧与步骤。

开发区与城市的互动整合 基于长三角的实证分析 【工业技术】

本书主要内容包括：分析了城市与区域开发区群的基本特点、互动模式与整合机制；探索了开发区用地结构优化和用地效益提升的标准和策略；建立了具有可操作性的评价开发区空间整合程度的指标体系与评价方法；构建了以...

模型检测 【工业技术】

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solver、限界模型检...

环境艺术模型制作 【工业技术】

本书结合当前国内环境艺术模型塑的主要理论和实践，讲授模型的范围、对象与特征，探寻认知、设计发展规律，培养学生手工制作能力及先进设备的操作能力。本书适用于环境设计专业的师生作为教材，也可供有兴趣的读者...