硬件设计验证 基于模拟与形式的方法 simulation and formal method-based approaches
(美)William K. Lam著;王维维译2007 年出版359 页ISBN:7111195027
本书的主要内容围绕着对硬件设计验证的两大方法(基于模拟的方法和形式验证的方法)展开。
余文华,李文兴著2011 年出版189 页ISBN:9787811339093
本书与其他书的不同之处在于该书第一次引入矢量计算逻辑单元(VALU) 到计算电磁学中,并用于时域有限差分仿真加速。这种加速技术与GPU加速的本质不同在于VALU加速是对现有的CPU计算功能的扩展和充分利用而不...
王万银著2010 年出版181 页ISBN:9787116069244
本书以最小曲率数学模型的差分公式和迭代格式为基础,研究了最小曲率方法在网格数据补空和扩边、离散数据网格化以及网格数据光滑这三个方面的方法技术,并编写了相应的Fortran语言程序。本书可供从事数据处理...
博尔主编;杨奎本册主编;华豹副主编;饶红群本册副主编;朱艳群编委会主任;杨奎,吴生,王金红等编委2014 年出版264 页ISBN:9787229085384
本书是一本主要从写作方法方面解析小学考场作文如何得高分的辅导书。全书分为上、中、下三篇,上篇讲解考场作文实用习作技巧,从审题、立意、选材、拟题四方面进行精确的阐述;中篇对各类作文进行分类解析,类型包...
(日)馆冈洋子,于康主编;曹大峰,林洪总主编2015 年出版383 页ISBN:9787040423587
近年来中国关于日语教育的研究论文大量增加,但是统计的方法不够深入。2012年日本学研究中心对有访日经验的94名教师进行了调查,其中92.3%的教师反映,关于日语教育的发表场合太少,没有好的研究方法,相关资料太少,...
能力偏误、教育溢价与中国工资收入差异 基于微观计量方法的实证研究
颜敏著2013 年出版230 页ISBN:9787516126271
本书在我国收入差距持续扩大、各级教育特别是高等教育迅猛扩张的背景下,基于大学生供需结构变化和能力分布变化的视角,在试图控制能力偏误后准确测度城镇大学教育溢价以及农村高中阶段教育溢价,深层挖掘溢价变...
桥梁结构电算 有限元分析方法及其在MIDAS/Civil中的应用
周水兴,王小松,田维锋等编著2013 年出版250 页ISBN:9787114106491
本教材详细介绍了桥梁结构分析中有限元建模和计算方法。为帮助未系统学习过有限单元方法或结构矩阵分析的同学能更好地理解有限元基本原理,专门编写了杆系结构的矩阵位移法。鉴于MIDAS/Civil软件在国内的科...
徐斌,张鸿,黎剑华等著2013 年出版174 页ISBN:9787502462987
本书共分5章。第1章介绍了目前移动荷载作用下地基、桩基础动力响应及排桩隔振问题的相关研究成果和研究现状;第2章、第3章分别介绍了移动荷载作用下饱和土体的动力响应、桩顶简谐荷载作用下层状饱和土中桩基...
方志耕,刘思峰,朱建军等编著2009 年出版255 页ISBN:9787030225849
本教材共分九章,内容含概了管理决策理论与方法中的一些新的理论和新的方法,包括:决策的一些常用基本方法;熵决策,其中包括贝叶斯决策在熵理论中的应用,最大熵决策理论和结构熵及复熵决策理论;群决策,主要包括......
李巍,邓明翔著2018 年出版213 页ISBN:9787030548320
本书首先介绍了气候变化因素纳入战略环境评价的背景和意义,总结了战略环境评价领域纳入气候变化因素的国际和国内现状。通过梳理碳足迹评估理论和方法国内外研究进展,结合战略环境评价的技术特点,构建了战略环...