Web服务组合建模与验证

本书主要研究方向为对有色Petri网进行了扩展，增加了语义和非功能属性标注，提出了语义Petri网模型来对Web服务及其组合进行形式化建模，并用Petri网标记语言PNML对其进行描述。...

土与结构相互作用力学特性研究

本书通过物理实验、数值模拟及理论分析等手段，对土与结构相互作用的接触面及界面层的力学特性进行了较为系统研究，结果表明：在高应力条件下，界面层内土体存在“弱化效应”，破坏在界面层内发生，而在低应力条件下.....

纳米级场效应晶体管建模与结构优化研究

本书主要包括：1、对纳米级集成电路的寄生电容进行了分析与建模；2、对具有多栅极结构的纳米级金属氧化物半导体场效应晶体管进行了系统地分析与建模；3、对纳米级无结型场效应进行了系统地分析与建模；4、对纳米级...

脉冲筛板萃取柱研究的新进展 译文集

组合机床及其自动线的使用与调整

本书包括组合机床的组成与安装检验、通用部件的使用与调整等内容。

组合音响昂贵易损件的应急修复与变通代换

杨志达研究论文选译集 1971-994年

国外离心泵试验研究设备及方法 译文集

结构静力有限元模型修正研究与应用

主要内容包括：绪论、直接基于结构静力有限元模型的结构有限元模型修正、直接基于结构静力有限元模型的修正方法若干问题分析、基于结构静力响应面模型的结构有限元模型修正、基于结构静力响应面模型的修正方...

中外高保真与组合音响维修手册 第1集