验证
-
VERILOG数字系统设计：RTL综合、测试平台与验证 第2版
（美）ZAINALABEDIN NAVABI著2007 年出版274 页ISBN：7121047675本书主要讲述基于IEEE Std 1364-2001版本的Verilog硬件描述语言，着重讲述了使用Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关注了testbench的设计编写、验证和测试技...
-
天才机械操盘术 验证经典理论测试交易系统
朱淋靖著2007 年出版231 页ISBN：780728546X本书为作者纵览中外投资名著之后，兼收并蓄、归纳提炼形态分析、波浪理论、江恩理论、混沌理论、螺旋历法等各门派操作技能要点精华而成，并依照历史的绩效统计结果量化为可复制的其体买卖规则，编制成计算机买卖...
-
交互式马尔可夫链 并发系统的设计、验证与评价
吴尽昭，王永祥，覃广平著2007 年出版109 页ISBN：7030188667本书主要研究了IMC的理论及其在性能评价与层次化分析方面的应用。主要包括三个方面的内容：1. IMC上的分支时间等价和前序关系；2. 基于IMC的模型检验；3. IMC上的动作细化理论。...
-
SystemVerilog验证方法学
Janick Bergeron等著；夏宇闻等译2007 年出版468 页ISBN：7811240793本书以飞思卡尔56F800E内核的DSP为主，介绍了DSP与单片机混合控制芯片的体系架构和基本工作原理。并在此基础上详细介绍了基于DSP芯片的电机控制系统的硬件设计和软件设计的基本方法、关键步骤和实现手段。主...
-
-
-
-
-
情感与信任关系结构方程模型的建构与验证
游泓著2018 年出版235 页ISBN：9787564363482信任作为社会、经济和日常生活的一个重要现象，在近几十年来成为社会科学界的一个研究热点。本书通过对信任研究内在理路的回顾与梳理，力图呈现有关信任研究的多学科融合的状况。本书研究的对象是情感与信任关...
-
科学验证的改运法 天才脑科学家的洞见之作
（日）中野信子著；卓文怡译2018 年出版136 页ISBN：9787540251543当我们看见有人完全不为钱苦恼时，很容易认为有钱真幸福，但其实他们是因为幸福才有钱。研究显示，幸福的人赚钱的机会较多。在脑科学专家眼中，运气好或不好的人，差别只在行为模式、思考方式和面对事情的态度不同，长...
-
-
-
热分析应用手册 热分析验证
（瑞士）马库斯·舒伯内尔（MARKUSSCHUBNELL）著；唐远旺译2018 年出版324 页ISBN：9787566914330本书是热分析应用手册系列书之一，理论与实践结合的非常好，对分析实验的实际操作起着指导作用。本书的第一部分从总体上阐述了计算系统的验证，第二部分阐述了方法开发和验证的议题。本书适合于对验证理论及法规...
-
装备测试性设计分析验证技术
王红霞，叶晓慧，陈冰，陈亚男编著2018 年出版244 页ISBN：9787121337864介绍了测试性的基本概念，详细阐述了测试性工作通用要求和实施方法，以及测试性设计分析验证中关键技术。包含已有的测试性设计、分析验证中的常用方法和规则，以及在实际装备综合诊断中，针对装备保障中存在的测试...
-
安全协议操作语义与验证
（瑞士）卡斯·克雷默斯，（卢森堡）肖克·毛弗2018 年出版137 页ISBN：9787121351952安全协议作为信息安全的重要基础之一，其安全属性是否能达到设计者的初始目标成为一个重要研究内容，关系到依赖于协议的上层应用系统的安全性。本书的内容主要涵盖以下两个部分：用形式化的语义定义协议的执行规...
-
-
我国G2C电子化政府评估模式之建构与验证
程方著2018 年出版192 页ISBN：9787520139052本研究利用德尔非法(Delphi)构建了G2C人资局网站评比的专家指标，并进一步利用层级分析法(AHP)计算出指标的权重。接着整理文献中有关G2C网站评鉴的指标，构建了调查问卷并对四个城市的民众进行使用满意度调查，...
-
英语读写结合写作试题效度验证 以广东省英语高考考题为例
张新玲著2009 年出版299 页ISBN：9787811183689本书依托Messick的效度整体观，从构念效度的实质和构念效率的外推力两方面入手为广东省高考英语读写结合写作题型收集效度。
-
Verilog HDL数字系统设计与验证
乔庐峰编著2009 年出版257 页ISBN：9787121082924本书全面介绍如何使用Verilog HDL进行数字电路设计、仿真和验证。全书共分为Verilog HDL语法基础与基本电路单元设计、系统设计与验证和附录三个组成部分。本书以Verilog-1995和Verilog-2001标准为基础，重视...
-
告别压力 经科学验证的健康幸福生命技巧
（美）弗雷德·勒思金，肯尼思.R.培勒提埃著；叶定国，康建明译2009 年出版212 页ISBN：9787215066700本书主要介绍了10种能够在125分钟内迅速缓解压力和紧张情绪的方法。作为一个心理学科研项目的成果，这些方法都经过了严格的科学试验和检测，具有可靠的科学性和可操作性。...