基于认证数据结构模型的安全事务管理机制研究 【工业技术】

本书针对分布式环境下的大量数据与事务认证问题进行比较深入的研究，提出了基于认证数据结构模型方法的解决方案。为实现这个新构思，从解决其基本理论与关键技术问题为切入点，利用理论研究与实际方案构建相结合...

基于退化的可靠性技术 模型、方法及应用 【工业技术】

本书主要内容包括：针对传统的基于失效的可靠性技术的不足，对基于退化的可靠性技术的研究背景、发展趋势和实施途径进行了比较系统全面的清理，提出了作者的基本观点；提出某部件的广义退化轨道模型；动态环境下Wien...

工程数学 上 数值分析与矩阵论 【工业技术】

《工程硕士研究生教材·工程数学上册:数值分析与矩阵论》为上册。数值分析部分内容由解线性代数方程组的直接法和迭代法、矩阵特征值和特征向量的计算、非线性方程的数值解法、插值与逼近、数值积分、常微...

串起洒落的珍珠 上海徐汇区优秀历史建筑模型汇览 【工业技术】

上海西区衡山路、复兴路的21幢优秀近代建筑，以厚实的历史积淀，滋润着上海徐汇区的文化命脉；同时它所承载的丰富的文化内涵，也提升了它所在这个区域的历史品格、文化品位、时代品质。本书以手工制作建筑模型的独...

结构模型的振动台试验研究 清华大学抗震抗爆工程研究室科学研究报告集 第5集 【工业技术】

基于Agent的劝说模型及系统 【工业技术】

本专著围绕管理科学与工程领域内自动谈判问题的复杂性，选取基于Agent的劝说作为主要研究对象，对其进行深入细致的探讨和全面论述。一方面可以通过系统中的Agent来模拟人类谈判过程中所使用的劝说，从而使谈判过...

一种推导广义软件度量模型的方法 理论与实验 全英文 【工业技术】

本书搜集了一套有关一些过往软件项目的软件度量数据，继而根据该套数据推导两个现实世界的软件度量模型，用以示范上述崭新的方法，这两个软件度量模型分别是以软件项目的生产力和总工作量作为目标软件度量。此研...

并行计算的编程模型 【工业技术】

本书以使用说明的形式对当今主流的并行编程模型进行了详细描述，内容包括分布式内存架构上最常见的MPI（消息传递接口）编程模型；单边通信模型，范围从低层的运行时库（GASNet、 OpenSHMEM）到高层的编程模型（UPC、 GA、C...

基于模型的设计及其嵌入式实现 第2版 【工业技术】

本书以基于模型的设计为主线,讲述了M代码，Embedded MATLAB代码的快速编写与调试，浮点Simulink/Stateflow模型的建立、调试与验证，以及用户驱动模块的创建;基于模型设计的全过程,主要包括:需求的验证与跟踪、模...

自然语言交流的计算机模型 数据库语义学下的语言理解、推理和生成 【工业技术】

第一部分介绍SLIM语言理论的基础框架。包括认知主体的外部界面，数据结构和算法。第二部分系统分析自然语言的主要结构，以英语在听话者和说话者模式下的释义推到为例。第三部分介绍英语断片，构建一个功能完整但...