VMM for SystemVerilog中文版(前四章)
前言
文章主要介绍《VMM for SystemVerilog》一书描述的如何利用SystemVerilog语言，采用验证方法学以及验证库开发出先进验证环境。文章分为四部分，第一部分概述了用SystemVerilog语言验证复杂SoC的基本方法。第二部分主要介绍使用先进验证技术进行RTL验证并定义一个能在项目之间进行验证单元重用的分层验证平台结构。第三部分将涉及到系统级验证，包括SystemVerilog 与SystemC交互等方面。当与一个合适方法相结合，SystemVerilog提供了建立一个完整RTL以及系统级（ESL）验证环境需要的所有结构及特性。同时完全支持与System C或与一个以C为基础的软件测试环境交互。第四部分讨论验证所采用的验证策略，VMM方法学，以及利用《VMM for SystemVerilog》中定义的标准库来支持方法学。这些库涉及到文章中讨论的基本方法，XVC，XVC管理器，软件验证等方面。
采用《VMM for SystemVerilog》书中提供的方法学是应对目前复杂芯片而带来验证挑战的有用方法。此书基于业界多年领先的Synopsys公司以及ARM公司专家，及其客户提供经验编写而成，因而对开发团队有益。采用此方法学将提高验证效率，为一次投片成功提供更大可能。此文章全面介绍关于用SystemVerilog验证复杂SoC。更多书中信息可在https://www.wendangku.net/doc/1018481406.html,中找到。事实上业界已经认可VMM验证方法，此书日文版已经发行，与VMM相关书籍也已诞生，除Synopsys之外的几个EDA厂家也提供相关练习，甚至在California Extension Santa Cruz大学开展了VMM课程。https://www.wendangku.net/doc/1018481406.html,/提供了更多业界对VMM验证方法支持信息。
目录
1 SystemVerilog验证方法学介绍 (4)
1.1 验证面临挑战 (4)
1.2 SystemVerilog验证技术 (4)
1.3 产生带约束随机仿真 (4)
1.4 覆盖率驱动验证 (5)
1.5 断言 (6)
1.6 小结 (8)
2 SystemVerilog验证方法学：RTL (8)
2.1 分层测试平台结构 (8)
2.2 自顶向下和自底向上 (9)
2.3 结果检查 (10)
2.4 覆盖率驱动验证执行 (10)
2.5 使用形式分析 (11)
2.6 产生可重用验证IP (11)
2.7 小结 (12)
3 SystemVerilog验证方法学：ESL (12)
3.1 系统级验证介绍 (12)
3.2 可扩展的验证单元 (13)
3.3 XVC管理器(XVC manager) (13)
3.4 系统级验证环境 (14)
3.5 事务级模型（Transaction-level models） (16)
3.6 小结 (17)
4 SystemVerilog验证方法学：采用VMM (17)
4.1 采用验证方法学 (17)
4.2 VMM提供四类库 (18)
4.2.1 VMM标准库 (18)
4.2.2 VMM Checker库 (19)
4.2.3 XVC标准库 (20)
4.2.4 软件测试架构 (21)
4.3 小结 (21)
结束语： (21)
Figure 1 自动测试相对于直接测试有更高效率 (5)
Figure 2 自动及人工验证技术运用在验证不同阶段 (6)
Figure 3 断言是验证重要组成部分 (7)
Figure 4 多层测试平台方便验证重用 (9)
Figure 5 高层次测试平台单元更早验证事务级模型 (10)
Figure 6 具有通用接口协议验证IP重用到新项目 (12)
Figure 7 XVC结构分为两层：发生器和驱动器 (13)
Figure 8 XVC 管理器控制并使测试平台中其他XVC协调工作 (14)
Figure 9 系统确认环境必须高效度量系统执行 (16)
Figure 10 vmm_env类定义一系列virtual methods用于执行测试用例 (18)
Figure 11 VMM检查库扩展了OVL断言内容 (20)
Figure 12 用XVC标准库和VMM标准库中类建立XVC (20)
1 SystemVerilog验证方法学介绍
芯片验证中虽然传统验证方法尽力保持技术更新步伐以适应设计尺寸以及复杂度的增加，但验证依然是当前SoC以及可重用IP模块设计中面临的最大挑战。解决这个问题的方法是采用有丰富语义支持的标准语言，以及可重用，覆盖率为驱动的验证方法学。
这是文章中的第一部分：介绍由SystemVerilog硬件设计验证标准语言支持的验证方法学。此方法学在《VMM for SystemVerilog》一书中有全面介绍。
《VMM for SystemVerilog》致力于如何建立一个可升级，可预期，可重用的验证环境，使得用户能充分利用断言性，重用性，验证平台自动生成，覆盖率，形式分析以及其他先进验证技术特点，从而帮助解决RTL以及系统级中验证技术问题。如此一个环境能在芯片迈出成功第一步时增加用户验证信心。《VMM for SystemVerilog》目的是针对所有SoC，IP项目建立一个高效，可控验证过程。《VMM for SystemVerilog》来源于业界领先的ARM公司，Synopsys公司（新思科技）及其客户经验。
1.1 验证面临挑战
随着SoC，IP验证复杂度持续增加，有相应的新验证技术产生，但设计能力与验证所能提供信心之间鸿沟仍然巨大。多次调查显示有一半到三分之二的SoC项目在第一次流片失败，而功能缺陷的存在是其中主要原因。
这些统计显示了要验证当今设计所具有的固有难度。复杂模块，尤其在集成到一起后，很难在验证中将芯片实际运用可能遇到的所有条件模拟执行。预期到所有可能边界条件（corner cases），以及发现设计中深层次设计缺陷是验证面临的关键挑战之一。非常紧迫的是在规定项目资源以及time-to-market需求情况下，项目过程中花费最小代价尽可能早发现设计缺陷。
1.2 SystemVerilog验证技术
对用户来说有多种方法编写验证平台，搭建验证环境。通常方法包括全手工编写代码进行独立直接验证，或生成带约束随机仿真激励，能自动产生新测试用例先进的验证平台。最有效技术包括利用功能覆盖率统计更进一步加强自动验证效率。一些验证技术还包括应用断言检查设计意图，诊断设计缺陷。
《VMM for SystemVerilog》覆盖了多种验证技术，并详细介绍如何将他们有机结合在一起。多种先进验证技术的有效融合能彻底改进验证，增加验证产量，加速开发进程，尽早结束项目。相对于传统方法消耗更少资源。《VMM for SystemVerilog》既能提升现有验证方法，也能充分利用验证过程自动化，功能覆盖，断言这些特点建立一个全面通用验证环境。
1.3 产生带约束随机仿真
传统验证依赖于直接测试（directed tests），此时测试平台包含产生特定情节的代码，对设计提供激励，仿真结束时检查（手工或自测方式）结果。直接测试平台也可以采用有限的随机方式。通常是产生随机数，而不是在每个数据单元简单写入预先设定值。直接测试方法适合于小设计，但一个典型SoC设计需要上千个测试用例。乐观估计用三天时间产
生并调试一个测试，一个有十验证工程师的团队（也是一个乐观估计）将花费超过一年完成所有测试。因此提升验证产量的唯一方法是减少产生测试所消耗时间。
SysemVerilog具有丰富语言能力，能描述复杂验证环境，包括带约束随机激励产生，面向对象编程，功能覆盖统计。这些特点使用户开发出能自动产生大量验证情节的测试平台。
《VMM for SystemVerilog》展示了如何用SysemVerilog语言功能构建一个自动化验证平台。建立一个验证环境时，采用正确策略，充分利用自动化特点，产生一个新测试所消耗时间将显著减少。应用带约束随机激励产生方法，在可控制规则，或用户自定义约束下以自动方式产生测试情节。验证中很重要一点在于测试平台质量，这样附加的测试可在对一系列基本测试用例基础上进行简单调整测试参数或加入定义好的约束而产生。通过这种方法获得好处在图1中说明。
Figure 1 自动测试相对于直接测试有更高效率
用直接测试方法，产生一个新测试所需要时间相对固定，因此功能验证质量提高与时间基本成线型关系。而一个带约束随机验证环境，在第一次能正常测试之前有一个前期投入消耗。此投入用于建立验证环境中参数化配置能力，以及约束测试中相关部分，使得之后测试更容易基于约束驱动。
测试情节类型中建立随机化，不仅仅是产生新数据值，更增加了测试击中边界条件（corner case）可能性，从而发现更多设计缺陷。下一部分还将讨论，这样的测试用例也能击中更多覆盖点，加速验证收敛。
SystemVerilog提供了带约束随机激励测试所需要的所有验证语言结构。《VMM for SystemVerilog》提供了如何建立一个带约束随机环境，如何运用面向对象编程技术编写可重用验证单元，如何在整个项目验证，或跨项目之间重用验证单元的整套方法。
1.4 覆盖率驱动验证
贯穿验证过程中的覆盖率测量数据有两方面重要作用。一方面能明确指出设计中还没有被充分验证到的部分，确定验证过程中空洞。通过回答下一步如何去做这样的关键问题，有助于指引验证需要努力的方向。比如，需要补充编写哪些直接测试用例，如何改变参数用于带约束的随机测试。
另一方面，覆盖率测量是验证已经足够充分，可进行流片的指示器。覆盖率不仅仅简单提供是或否这样结果。覆盖率增量提升，用于评估验证进度，增加开发团队进行流片时
间点的信心。事实上，覆盖率是一个非常苛刻指标，因此大部分先进，自动化方法都采用基于覆盖率驱动的验证，覆盖率指标的指导作用贯穿整个过程中每一步。
覆盖分为两大类：代码覆盖和功能覆盖。代码覆盖包括多种形式（行覆盖，翻转覆盖，表达覆盖等），是一个典型自动化过程。能告诉在一个特定仿真运行中，所有RTL 设计描述代码是否被执行。一个具有可信度验证方法中，代码覆盖是必需的，但不是充分条件。相对应的，功能覆盖提供一个外在度量方法，确定设计所需要功能有多少被真正正确实现。通过运用交叉覆盖（cross-coverage）技术测试覆盖组合情况，能更进一步提高验证信心。项目中，重要功能覆盖以及交叉覆盖点应尽早明确，并包括在验证计划中。
填补覆盖测量中确定的空洞是覆盖率驱动验证过程中核心部分。通过定义，当100％覆盖率达到时，能对芯片最终tape out提供足够信心。SystemVerilog通过覆盖特性（property）用于低层次覆盖点，覆盖组（group）用于跟踪高层次覆盖，并支持交叉覆盖。
《VMM for SystemVerilog》讨论在验证过程中不同阶段运用不同方法提高覆盖。图2带约束的随机验证过程图表，说明了更多细节。
Figure 2 自动及人工验证技术运用在验证不同阶段
此过程第一部分是建立测试平台环境。通常在验证环境建立前不会进行芯片级或系统级测试。然而在此期间，如果设计者编写RTL代码，他们可以并行进行模块级直接测试或形式分析。一旦验证环境准备就绪，开发团队可以开始运行带约束的随机测试，产生第一次覆盖结果，这个阶段测试用例对设计覆盖范围明显很宽。随着未覆盖到点减少，需要有更多分析来填补空洞。验证工程师注意力转向特殊corner-case覆盖点，小心改变约束条件及参数，产生新测试用例来击中这些点。
直接测试在覆盖率驱动验证环境中也具有重要角色。虽然带约束随机测试是主要方法，对于填补一个特定覆盖点来说编写一个直接测试用例比用带约束的随机技术自动生成一个测试更容易。测试目标是通过多种方法使定义的覆盖率达到100％。
设计验证过程中，SystemVerilog作为统一设计及验证语言，提供所有覆盖信息支持。《VMM for SystemVerilog》扮演所有覆盖形式执行角色，同时说明这些测量如何被用于验证过程中以度量验证完备性，并指明下阶段验证方向。
1.5 断言
验证环境中可增加断言来加强验证环境能力。断言描述了设计意图。理想情况下，当设计者编写RTL时，用断言来证明设计行为如何达到需求，研发人员用断言描述设计行为及相邻连接模块接口需求。断言能用于对设计单元低层次描述，规范其应该具有的行为，也能用于贯穿整个设计中端到端所规范的信息。
断言可通过多种方法指定，包括用普通RTL表达式，在硬件验证语言中专门的陈述。SystemVerilog中内置有断言结构，可以在验证环境或RTL设计本身中声明。
SystemVerilog断言通过三个重要方面加强验证：
?提供最初设计者功能意图文档。如果设计被另一个设计者重用，这将非常有用，可置于一个设计库中供以后使用，或作为商业IP产品。
?直接测试或随机测试中，仿真器支持SystemVerilog断言结构，仿真中运行断言。仿真中断言增加了内部行为可观测性，提高调试效率。
?形式分析工具能读SystemVerilog断言，通过数学方法证明每个断言从不告警，或者发现一个反例说明断言如何会失败。这将使仿真中断言很容易转换
到更广泛验证，通过形式分析增加tape out的信心。
通过图3说明，断言对验证过程中很多部分都有影响。断言除了在仿真中运行或用于形式验证，一些形式断言能够被映射到硬件中，在仿真加速器，emulators，基于FPGA原型，或者最终SoC中运行。断言也能提供覆盖率测量，并能与其他形式覆盖率相结合。
Figure 3断言是验证重要组成部分
SystemVerilog提供单一断言规范机制，与多种工具工作，使断言成为验证方法学中重要一部分。《VMM for SystemVerilog》提供了用于仿真（simulation,），模拟（emulation），形式分析中断言的编写指导方法，同时指导如何在多种验证工具中最大化利用断言优点。
1.6 小结
SystemVerilog语言提供了建立一个成熟验证环境所需要的所有结构及特点。这样的验证环境应该包括带约束的随机激励产生，覆盖率驱动验证，以及断言。《VMM for SystemVerilog》描述了如何用SystemVerilog语言开发先进验证环境。同时对有经验验证工程师或那些初次接触验证，而又不仅仅只准备进行直接测试的验证工程师提供了全面编码及方法学指导。
文章第二部分主要介绍使用先进验证技术进行RTL验证并定义一个能在项目之间进行验证单元重用的分层验证平台结构。
2 SystemVerilog验证方法学：RTL
当前SoC设计及其相关可重用IP模块使用中面临的挑战就是验证。当设计在规模和复杂度方面持续增加时，新技术的出现必须要采用有效验证方法学。SoC要求有一个以可重用为导向，覆盖率驱动，并有丰富语义标准语言支持的验证方法学。
这是概括介绍由SystemVerilog硬件设计及验证标准语言支持的验证方法学文章中第二部分。此方法学在由ARM 和Synopsys编写的 Verification Methodology Manual (VMM) for SystemVerilog书中做了全面介绍。此文章概述了《VMM for SystemVerilog》书中推荐的用于建立一个可升级，可预期，以及可重用环境所需要的关键点。要求用户充分利用断言，重用性，自动测试平台生成，覆盖，形式分析，及其他先进验证技术。
《VMM for SystemVerilog》意图包括两部分。第一，教育用户高效集成一个可重复使用，多产，灵活的验证方法学。使得用户能充分利用相同语言性能，工具性能，以及验证专家使用推荐的方法学。第二，使得验证工具提供商能提供相关文档，如SystemVerilog 代码事例及模版，使用户通过最小代码开发，快捷利用好此方法学。
2.1 分层测试平台结构
为了有一个通用验证环境方便重用，充分利用扩展自动化特点，需要有分层验证平台结构。这种方法支持项目中自顶向下和自底向上验证，同时使项目之间共用通用单元更加容易。《VMM for SystemVerilog》测试平台结构在DUT周围包括五层。如图4所示。
Figure 4 多层测试平台方便验证重用
分层验证平台是整个验证环境核心。
?最底层为信号层，连接测试平台及RTL设计。包括接口，时钟，modport结构。
?命令层包含底层驱动和单元监控，如断言（properties）检查设计意图。此层提供一个事务级接口上层，同时经过信号层驱动物理管脚。
?功能层包含高层驱动及监控单元，判断测试通过或失败自检查结构。额外的检查，比如跨越命令层及功能层协议检查器。
?情节层用产生器（generator）产生应用于功能层事务（transactions）流或序列。产生器有一套由测试层指定的包含权重，约束测试情节。带约束随机测试在此层引
入。
?测试用例位于测试层。测试中用情节层定义新事务级序列，同步多事务流，通过与功能层或命令层直接交互产生序列，或者直接到命令层补充定向激励。
虽然分层测试平台主要用于带约束随机激励产生，也支持人工定向测试。图4上部左边部分展示了从测试到驱动直接运行路径，完全绕过生成器。这样允许验证工程师直接产生事务级而不需要设置带约束随机情节。
2.2 自顶向下和自底向上
《VMM for SystemVerilog》支持在分层方法中用自顶向下或自底向上方式建立验证环境。对于自底向上方式，设计者可以主要对信号层操作开发简单验证平台。随着独立模块连接集成到子系统，完成芯片甚至多芯片系统，验证团队增加更高层次的测试平台单元完成全部的验证环境。对于自顶向下方式，验证团队用SystemVerilog 或 SystemC编写事务级模型建立完整设计，如图5，并在这些模型上运行测试。自顶向下方式使得验证团队能在开发过程中，甚至在RTL代码开发前更早建立一个完整验证环境。这个环境可作为验证其他验证单元和RTL设计的“黄金参考”。
Figure 5 高层次测试平台单元更早验证事务级模型
当开发人员完成RTL设计，将RTL设计置入验证环境代替事务级模型，从而验证设计在功能方面是否与事务级模型等价。此方法建立了一个可继承过程，此过程中可综合的RTL代码甚至（如果需要）门级网表能代替事务级模型，重用系统级环境来验证设计本身。同时也提供一种解决当前很重要验证面临挑战的一种解决办法――如同RTL一样检查事务级模型行为。
分层方法通过几种其他途径而方便重用。结构方面或系统行为分析时移出低层次，用事务级模型代替。当清楚定义各层间交互时，各层能在不同项目间重用。最基本的，既然只有测试层在产生新测试时需要调整修改，全部的测试平台不考虑测试部分，都可重用。
2.3 结果检查
虽然带约束随机激励产生方式能快速生成很多测试情况，还需要对结果进行检查以确保设计对所有用例执行结果正确。结果检查分为数据检查和协议检查。数据检查依赖于测试平台能力。需要测试平台记录被测试设计输出结果顺序变化情况。对于要覆盖所有可能的情节来说，可变性相当重要。
测试平台中建立结果检查功能，是产生测试平台中遇到的一个难点。SystemVerilog 本身具有的语言结构能有助于测试平台检查中激励与响应通信执行。通过这种方法统计可能输出的变化，从而帮助管理预期结果。
对于所有输入数据组合，响应检查器中包括数据覆盖记录，确保合适输出组合被接收到。验证工程师分析覆盖数据并评估当前产生输入激励组合是否验证了所有可能输出。协议检查主要在验证中对行为监控，以及时序关系的建立。一些高层次协议主要在SystemVerilog验证结构中进行规范定义并在验证平台中监控。其他关于设计意图方面应用规范协议检查主要通过设计中及其接口定义的SystemVerilog断言进行检查。
当断言违反时，大部分验证工程师认为报告一个直接或带约束的随机测试通过是不合适的。因此，《VMM for SystemVerilog》讨论如何访问验证环境中被检查单元结果的方法。这种方法提供了断言与所有验证环境之间连接。
2.4 覆盖率驱动验证执行
每一个验证方法学在运用中至少都会包含一些覆盖率驱动。总有一些目标必须达到，如果一些特殊目标测试无法执行，要么调整测试用例，要么产生新测试用例。甚至通过观
察波形来进行简单手工测试。虽然这样测试覆盖率记录和分析比较盲目，可信度不高，但也是基于覆盖率驱动。
《VMM for SystemVerilog》能够让用户建立一个高效验证环境，此环境主要依赖于测试平台自动化，断言和覆盖率测量从而提高验证生产力。验证生产力主要包括迅速产生更多测试用例能力及避免产生冗余测试情况的能力。
如果一个新产生测试用来测试以前已经测试过的相同功能（由此会有相同的功能覆盖率），那么这样测试用例不值得加入到验证中。功能覆盖率能让用户知道哪些功能还没有被执行到，从而调整测试用例，集中精力在未覆盖到部分。《VMM for SystemVerilog》描述如何通过功能覆盖率更快达到验证目标。
SystemVerilog非常适合于功能覆盖率。功能类似于SystemVerilog断言时序（Temporal）覆盖特性能用于抓住设计中深层次corner-case条件。高层次覆盖点能通过覆盖组（cover groups）进行定义规范。这种方法能跟踪定义值范围以及不同定义值之间组合情况。此能力尤其适合于监控存储器地址范围，数据包内容，以及设计或验证平台中其他多比特信号
《VMM for SystemVerilog》描述了很多使用，包括：temporal覆盖特性；覆盖组（cover groups），用交叉覆盖指定覆盖点，以及用传统代码覆盖测量方法跟踪这些点。SystemVerilog通过统一语言方法，将代码覆盖，功能覆盖，断言覆盖用一种语言进行定义。
2.5 使用形式分析
《VMM for SystemVerilog》不仅仅涉及到以仿真为基础的验证技术，还包括形式分析验证技术。丰富的SystemVerilog断言结构能将断言目标用于仿真，形式分析，或包括这两者的规范定义。《VMM for SystemVerilog》提供了在这些仿真或形式分析验证中编写断言的方法。
形式工具能分析每个断言，并尽力证明此断言安全，任何测试情节下都不会发生告警。这一步骤不需要编写任何仿真测试用例。由于以后RTL设计改变而引入缺陷使证明无效，断言都不应该被删除。被证明的断言通常不需要进行仿真。如果断言失败，形式工具产生一个反例说明断言如何失败。反例展示一个设计或断言中缺陷，或证明输入的约束不充分，而限制了合法仿真序列分析。
一些形式分析也能用于统计直接或随机仿真测试中无法击中的temporal覆盖点。此形式工具首先尽力测定覆盖目标是否曾经达到。如果没有，将指示出设计中冗余或无法达到的逻辑，并更新覆盖率数据库结果。如果能达到，一个输入测试用例将产生。如果此测试符合合法激励（因为输入约束充分），则带断言的测试用例被执行，验证设计行为同时覆盖率数据结果被更新。
2.6 产生可重用验证IP
分层验证平台结构以及《VMM for SystemVerilog》其他特点自然适合产生可重用VIP （verification intellectual property）。VIP包括比如事务级模块，发生器（generators），处理器（transactors），检查器（checkers），断言（assertions），以及分层验证平台中其他部分。必须很方便用于其他不同项目中。《VMM for SystemVerilog》指导方针是让开发者输出项目内可重用或能商用的VIP。
具有与《VMM for SystemVerilog》相适应的验证环境SOC开发团队能非常方便快捷采用项目内或外部VIP，从而在项目中节省大量时间及资源。图6是分层验证平台中如何使
用VIP单元。如果一个具有特殊接口验证单元只要封装合适，在以后有相同接口芯片中可重用这个VIP。
Figure 6 具有通用接口协议验证IP重用到新项目
2.7 小结
当与合适的方法学相结合，SystemVerilog能提供建立高效验证环境所需要所有结构和特点。这样验证环境包括带约束随机激励产生，覆盖率驱动验证，以及断言。《VMM for SystemVerilog》书中展示了验证方法学能最好利用语言的特点能力，增加先进芯片设计一次流片成功机会。
文章下一部分将介绍系统级验证。包括SystemVerilog与SystemC交互。
3 SystemVerilog验证方法学：ESL
3.1 系统级验证介绍
通常术语中，电子系统指的是一个设计总包含模块独立设计，模块独立验证以及模块之间底层互联。系统级验证指的是对这些独立模块（block）之间是否能正确交互的验证。每一个模块，包括内部互联结构，需要各自独立验证。因此系统级验证着眼于模块之间结合的功能性。一些功能完全包含在模块中则更适合于模块级验证。
系统级验证不受系统规模的限制，可在数万门到上千万门设计中进行。所有情况中需要遵循的验证原则是对规范功能验证并达到指定的目标。系统架构人员针对系统中大量单元建立执行（performance）,latency，以及广泛目标。执行团队必须达到那些目标。验证团队根据到达目标情况，必须验证执行中涉及到的所有边界情况，并对无效状态或无法达到状态行为进行说明。
对一个系统设计团队来说，最大挑战不在于许多设计模块规范定义及集成，更重要是于对最终设计正确性所能获取的信心度。此篇文章描述了在系统级验证中应用方法学及验证任务。关注系统级集成验证模块，系统级架构人员，验证工程师将对此感兴趣。
3.2 可扩展的验证单元
分层验证平台方法所产生的独立处理器（transctors）能在模块级到系统级环境中被重用。从系统级角度考虑这些处理器，他们可能需要扩展或结合（combine）在模块级的能到系统级功能。独立处理器被集成到系统级处理器，被称为可扩展的验证单元（XVC）。 XVC提供系统级验证环境中可重用，可升级，标准形式的基本单元结构。目的是使测试建立开销最小化。XVC能用于驱动模块互联结构或外部接口。也能通过监控系统状态，提供提示信息支持其他XVC单元。
XVC意图是支持系统级集成和在统一方法学指引下通过直接和带约束随机测试进行功能验证。XVC结构对不同系统级设计来说是非常方便。一个XVC将成熟的验证或系统级功能压缩成标准模式。不论功能方面可能有如何大的变化，XVC用户在验证平台级别的感受不会因此而改变。这样有助于减少学习过程，并使系统级验证平台控制机制连续一致。
一个XVC对验证IP来说是一个容器，分为两个层次，如图7所示。发生器（generator）层用户对测试行为可扩展库，XVC可通过集成到验证环境中定义好的行为接口而对此执行。驱动层集成了各个独立的处理器，用于执行连接到DUT接口的物理层或事务层的行为。发生器层控制驱动层的处理器。
Figure 7 XVC结构分为两层：发生器和驱动器
发生器层的行为接口容许测试激励一致。XVC发生器验证环境接口能直接连接到一个XVC管理器。一个XVC管理器能同时支持多个XVC，通过接口调度给定XVC各自行为执行。XVC也能传递数据，状态底层的测试控制部分与相同环境中的其他XVC进行通信交流。
经验表明大部分系统验证执行中，当模块因为系统公共资源发生冲突时，都可观察。通过执行一个单线程的测试无法有效产生竞争的测试情节。类似的，通过独立的激励流到互不相关的外部接口上，也无法可靠的产生这种需要的测试情节。因此验证单元产生的激励能够与实际需求激励一致。当有一个以单一，中心的XVC管理器协同多个XVC执行时，这样的需求很容易实现。
3.3 XVC管理器(XVC manager)
XVC管理器是一个用于高层次XVC之间同步而可选的验证单元。用户可根据系统或一个具体测试对同步或XVC控制机制进行定义。验证环境中只能例化XVC管理器一次；当需要运用多个管理器时则需要在另外一个层次中对他们进行协调管理。
《VMM for SystemVerilog》规范了一个预定义XVC管理器。它用纯文本格式外部配置文件描述测试情节。这些文件重用或根据新的相关需求很方便进行调整。这种通过简单文本输入文件指导测试的能力方式，能使用户在不需要明白验证环境细节情况下快速获得高效测试结果。
对一些重编辑（re-compilation）测试平台单元或运行不同测试情节设计来说，用外部文件对测试情节进行规范的方式减轻了相应需求。有序的规格在复杂系统设计中能有助于减少测试回归（turnaround）次数。图8展示了预定义的XVC管理器结构。
Figure 8 XVC 管理器控制并使测试平台中其他XVC协调工作
测试情节的概念基于预定义XVC管理器功能。预定义的XVC管理器指导一个测试情节范围内XVC。一个系统级测试程序能包括一个或更多测试情节。测试情节用于测试一个或多个验证需求。
一个测试程序可以由许多测试情节组成，用于完成一个DUT几个测试需求。测试情节能被用于普通行为序列压缩从而被不同测试程序重用。比如：需要许多XVC配置一个系统的操作能够包含在一个情节中。
用于预定义XVC管理器的测试情节文件在测试运行前就固定了，不能进行动态调整。一个测试程序包括测试情节描述以及关于每个情节执行的顺序信息。情节可能在多种顺序下重复多次。测试程序中执行的每个测试行为在执行第一次行为前由它的目标XVC 检查。这个检查主要是防止由于情节文件中的语义或语法错误而在一个长时间运行后而引起仿真终止。
3.4 系统级验证环境
对完整验证而言，为达到测试需求的目标，通常习惯是模块或系统是建立一个定制测试平台。然而除非使用一个标准方法，模块级测试平台单元或功能覆盖元素在系统级并不能被方便的重用。
进行系统级验证时一个能较好工作方法是用transactor代替processor (CPU or DSP)。transactor 直接基于周期精度的机制将激励驱动给系统，而避免程序处理器执行此任务的消耗。transactor 提供了一个易控总线主方式。这种方法也避免了一个环境中由于对条件测试
而引起错误的主，从总线agent验证。比如：如果一个主（master）或从（slave）总线agent连接有错误，任意一个能屏蔽连接的执行。transactor更容易将系统设计或验证环境中其他事件进行同步。最后，可通过写一个transactor，在一定总线周期范围内，产生更广范围协议值和行为，因而能获得更好功能覆盖。另一方面，transactor不能直接执行编写的CPU或DSP嵌入式代码。因此详细处理器模式通常用于软件驱动，系统级验证环境。《VMM for SystemVerilog》提供用于设立执行软件集成和验证软硬件交互验证环境。
实际上一个典型SoC项目有几个不同验证环境。对一个给定系统设计，功能验证计划的规范与系统级验证需求一致。用多个不同验证环境达到这些需求相对容易。每个环境与一系列特殊功能验证目标相联系，并为有效的覆盖这些需求而设计。系统级需求的独特正交性（orthogonality）使得用一个单一环境会不必要复杂，由于正交性，不同验证环境实际上可以屏蔽掉一定系统错误配置。
除软件测试环境外，《VMM for SystemVerilog》定义了四种类型验证环境：
?“模块互联底层结构环境”预验证模块互联底层结构。验证单元替换与总线接口的外围，主，从设备。这个环境目的是检查数据传输，协议规则，总线执行需求方
面，比如时间延迟（latency），带宽等功能的正确性。
?“基本集成环境”检查系统中所有I/O口连接关系，翻转正确性。应用集成激励中的首选方法是用验证单元代替大量系统单元来驱动总线事务。集成测试需要明确记录，确保每个模块被正确集成到系统级层次中。系统单元内部功能行为不被验证。
?“低层次系统功能环境”覆盖在用处理器（transactor）替代CPU/DSP时不容易观测的功能。这些功能可能包括控制信号监控，复位方式检查，或其他一些对
CPU/DSP来说不容易回读，控制的一些功能。与基本集成环境一样，不验证系统
单元内部功能行为。
?“系统确认环境”确保全面执行需求，比如系统能达到时间延迟（latency）和带宽。这个环境中验证单元驱动或监控系统中所有模块外部接口。如图9所示，只有CPU/DSP由一个处理器（transactor）代替。这个环境中需要提取一个系统级模型
进行高效仿真以及一定程度精确性使测试回归时间最小化。
Figure 9 系统确认环境必须高效度量系统执行
系统级验证环境应该重用模块级中正确使用过的验证单元。《VMM for SystemVerilog》中验证方法指导方针使得模块和系统级验证环境架构成为可能。所以产生不同模块级验证单元所花费的努力在移植到系统级时就不会白费。
验证单元都按照指导方针进行构造，需要时将很容易在系统级重用。模块级单元在系统级被重新配置，使得他们能在系统级进行相关得更多操作执行。验证单元重配置在模块级和系统级验证中达到不同目的。
3.5 事务级模型（Transaction-level models）
文章中描述的系统级验证方法在事务级中经常需要承担对DUT部分进行建模任务。编写一个完整设计事务级模型是现代验证方法学一部分。对一些情况，设计中第一个模块是在RTL级编写，设计中事务级模块编写似乎是花费昂贵的行为，因此实际设计中常贬低这种做法。但是如果RTL代码不可用，编写一个事务级模型，不仅不会增加消耗，还有利可图的，将节省整个项目大量时间。
编写一个合适事务级模型相对于编写一个RTL模型只耗费很少一部分时间，因此让设计和验证团队并行工作。事务级模型运行速度也比RTL模型以数量级快很多。使得验证环境，测试开发及调试更快。
当RTL模型最后有效可用时（available），验证环境中所有单元已经处于非常成熟水平。他们将立即验证设计中各方面功能，针对这些方面达到高功能覆盖。事务级模型的编写及仿真速度更快，因为他们不用处理复杂物理信号及协议。他们能用更高层次事务描述接收，执行并相应事务。他们不需要在事务中交换或处理物理wire中比特搜集序列。但是有能力在系统中用一个pin-accurate事务级模型代替RTL设计模块，使得仿真运行消耗更少的仿真资源，仿真运行更快。
设计方法学中需要或产生一个设计的事务级模型通常用SystemC作为建模语言。这是一个非常好选择，没有理由选用其他建模语言，因为SystemC模型相对于执行功能验证，能用于其他contexts中。但是对这些设计方法学而言，编写一个事务级模型仅仅是加速验证环境的开发，而不需要在其他context中重用这些模型，SystemVerilog同样也是一个优秀建模语言选择。SystemVerilog提供了高层构造的所有需求，使得事务级模型编写更加高效。
3.6 小结
当与一个合适的方法学相结合，SystemVerilog提供了建立一个完整系统级ESL验证环境所需要所有constructs 和features。《VMM for SystemVerilog》描述了几种不同形式环境，能用于验证设计的事务级模型，RTL设计，以及嵌入式软件。几乎上100条用于系统级和软件验证的建议和指导方针将作者的专家意见转换成通往成功的具体步骤。
文章最后部分将讨论采用推荐的验证方法学策略，包括《VMM for SystemVerilog》中定义的标准模块建立，断言库使用。这些库涉及到文章中讨论的基本方法，包括XVC，XVC管理器，软件验证。
4 SystemVerilog验证方法学：采用VMM
4.1 采用验证方法学
先进验证技术并非总是容易采用的；验证团队不能因为只要是新东西就去盲目尝试。事实上，随着设计规模及复杂度不断增加，旧方法因不再实用而淘汰。基于此现象带约束随机激励产生，覆盖率驱动验证，断言，形式分析等技术从理论上转向实际应用。实际项目中这些技术也成为必需。
当大部分ＳoC项目存在大量设计缺陷时，许多验证团在可能出现问题之前就已经清楚认识到项目挑战性以及旧验证方法缺陷。解决方法是尽可能快采用ＶＭＭ方法学。SystemVerilogＶＭＭ验证方法学应运而生。
通过此书可知，在验证中将涉及到两种形式的验证手段。一是参考方法学支持普通验证方法学。比如：工程师在不熟悉加入断言（assertions）概念下，能不依赖于他们可用的任何assertion语言或库而熟悉此方法。不论用哪种语言，类似采用带约束随机激励生成需要熟悉约束的角色，内容。
ＶＭＭ方法学中面向对象特点，对某些想用此方法学工程师来说是很大障碍。封装，类，继承，扩展，以及面向对象编程等验证环境的考虑远大于传统验证平台。幸运的是，很多工程师有诸如Ｃ＋＋，Java语言方面经验，因此对他们来说只需要将高级语言中面向对象概念应用于验证领域。
另一种采用形式是用此书中对SystemVerilog规范技术方法。使用书附录中定义的模块库而非常方便自动化。当然明白普通验证概念有助于SystemVerilog方法学使用。同时SystemVerilog库提供的范例也能帮助用户明白这些概念。比如：断言检查（assertion-checker）库；基类（base-class）库提供了面向对象验证很好范例。
SystemVerilogＶＭＭ例出了四个库，使其使用更加方便快捷。
?ＶＭＭ标准库，一套SystemVerilog验证平台及有用的类。
?ＶＭＭchecker库，一套SystemVerilog断言检查。
?ＸＶＣ标准库，一套SystemVerilog系统级验证单元及有用的类。
?软件测试架构，一个用于软件验证的Ｃ库。
利用这些库能够使开发团队快速容易建立起他们的验证环境。从使用这些库用户反馈，在项目早期使用能至少节约几个月时间。而且随着厂商提供的ＶＭＭ验证单元。标准库采用使得不同用户，跨项目之间能够建立平台一致性。
4.2 VMM提供四类库
4.2.1 VMM标准库
SystemVerilog ＶＭＭ定义了一个分层结构验证平台，能够支持先进验证及方便重用。验证平台的控制以及测试用例执行都包括在一系列已定义好步骤中。这些步骤受控于系统虚拟函数（virtual methods）。ＶＭＭ标准库定义了vmm_env基类(base class)，用于控制每个测试用例运行，如图10所示：
Figure 10 vmm_env类定义一系列virtual methods用于执行测试用例
图10所示过程包括产生测试用例配置；建立验证平台；复位ＤＵＴ；配置ＤＵＴ；测试执行以及最后执行停止并输出报告。vmm_env基类中virtual method提供了针对每个步骤基本结构，同时很多methods可根据被扩展去执行ＤＵＴ相关行为。
vmm_log类提供了ＶＭＭ信息（message）服务接口，这样不论其来源，所有信息能被有效体现出来。信息服务基于几个概念来描述及控制信息：
?信息来源（transactor,generator,test case等）
?信息过滤器（promote,demote,suppress 信息）
?信息类型（failure,timing error,debug information 等）
?信息严重性（fatal error,non-fatal error,warning等）
?仿真器信息处理（continue,abort,invoke debugger等）
vmm_data基类是验证平台中所有事务（transaction）描述以及数据建模的基础。这个类能够被扩展建立适合与平台需要的任何模型，比如一个以太网ＭＡＣ帧数据模型，或者描述一个串行总线数据包。Transactions建模基于transaction方式描述，也是从vmm_data 类中被扩展。这样相对于传统程序调用，更容易产生随机事务（transactions）数据流。
ＶＭＭ标准库中还包括其他类：
?vmm_channel：提供通用事务级接口机制
?vmm_broadcast：复制事务到多个通道。
?vmm_notify：并发执行线程同步接口
?vmm_xactor：作为基类服务于所有事务
总之，这些类提供建立验证环境所需模块（block），能满足各种可能DUT验证需求，并加速验证平台开发。预定义基类可扩展性是面向对象方法关键所在；每个验证团队能定制自己验证平台环境，同时在操作运行中不需要改变他们自己基类。SystemVerilog中基类源代码在开发自己类时是有用的，因此Synopsys提供免费license的ＶＭＭ标准库。
4.2.2 VMM Checker库
断言（assertion）能更快，更多发现bug在很多年前的文中就已经提到。断言在执行中能领会设计者意图，在代码设计阶段隔离设计错误，缩短debug时间，也能通过形式验证分析发现仿真中容易被忽略的边界（corner-case） bug。虽然有这些优点，让人吃惊的是并非所有设计或验证团队用到断言。
出现这种情况是工程师不得不专门学一种语言同时还需要买昂贵工具。现在SystemVerilog已经提供了强有力断言结构，能被当前主流仿真器所支持，并更易使用。事实上，最近调查表明由于SystemVerilog对断言的支持，断言的使用在明显增加。然而，对工程师来说很轻松使用断言还需要时间，同时需要让他们知道“what to check”也存在难度。
assertion-checker库即是将断言轻松加入到RTL设计中一个很好方法。这些检查器（checker）的设计与按照一些通用设计单元保持一致，比如FIFO，
stacks,arbiters,memories,state machines,handshake interface等。工程师不用考虑使用的断言与设计结构是否完全保持一支，他们只需要简单将一个arbiter请求，应答信号连接到一个arbiter 检查器或者是将memory地址线和控制信号连接到一个memory检查器。
通过调查也显示了断言检查库价值；Accellera 组织提供的开放验证库OVL已经广泛采用。SystemVerilog VMM扩展了OVL，加入了对设计单元类型支持，包括FIFO,同步，异步memory,stacks。图11完整的列出了VMM检查库中定义的50个断言检查器。
Figure 11 VMM 检查库扩展了OVL 断言内容
这些检查器作为SystemVerilog 模块进行应用，所以按照模块例化能放置于设计或验证平台中的任何位置。使用非常简单，用户简单连接时钟，复位，被检查信号即可。比如：下面的检查器例化确定了两个信号，hot and cold ，是互斥的 （不能在同一时刻有效）：
Assert_mutex temperature_check(reset_n,clock,hot,cold)
Synopsys 已将VMM 检查库中SystemVerilog 的应用赠予给
Accellera ，可以预期将来OVL 版本中将包含用SystemVerilog VMM 定义的全套断言检查库。
4.2.3 XVC 标准库
SystemVerilog VMM 定义了可扩展的验证单元（XVC ），从一个模块级事务或模块级组合事务扩展到一个系统级事务。本书也规范了XVC 标准库，一组用于建立一个系统级验证的XVC 类。如图12：
Figure 12 用XVC 标准库和VMM 标准库中类建立XVC
XVC manager 是一个可选验证单元，主要用于更高层次XVC 同步。根据系统或具体测试需要，用户可自定义同步和XVC 控制机制。XVC 标准库中定义了xvc_manager 基类，预定义的XVC manager 类：vmm_xvc_manager 。它作为一个基类的扩展而应用。 vmm_xvc_manager 类相对xvc_manager 还提供了几个附加元素（elements ），包括控制行为知晓（notifications to control cations ），一个预定义的命令文件结构，一个包括
中国医学史(重点)
中国医学史 原始社会的医疗活动 一、医药起源论 1、医源于圣人 伏羲尝百药、制九针、画八卦 神农尝百草 黄帝尝味百木、典主医药 2、医源于巫 3、医源于动物本能 4、医食同源 5、医易同源 6、医源于实践（广大人民长期的智慧结晶） 二、医药知识 外治法： 1、砭石：我国最早的石质医疗工具，砭，以石刺病也，用来切割脓 包或浅刺身体的某些部位，可以减轻或消除病痛。 砭石或针灸起源时间：新石器时代 2、灸法：对某一部位进行长时间固定温热刺激的方法 介质：艾叶（灸草） 夏~~春秋时期的医学 一、病因
对流行病最早的记录:疾年、降疾、雨疾、疾疫 医和：六七致病说（阴、阳、风、雨、晦、明） 二、预防医学 酒为百药之长(酒的作用)：兴奋、麻醉、溶剂、消毒杀菌、驱寒、 散瘀、活血通络、挥发 汤药：伊尹，单味变复方 三、医事制度 《周礼·天官》医事分工：食医、疾医、疡医、兽医 战国~~东汉时期的医学 一、马王堆 《足臂十一脉灸经》、《阴阳十一脉灸经》：现存最早涉及经脉学的文献 三、四大经典 《黄帝内经》 1、作者：托名黄帝 2、成书年代：战国~~秦汉 3、篇幅：《素问》、《灵枢》：各9卷，81篇 4、基本内容（精神）和成就 （1）注重整体观念 A、人与天地、自然是统一的 B、人与社会是统一的
C人体自身是统一的 D人的身心是统一的 (2)重视脏腑经络 (3)运用阴阳五行学说 《难经》 1、作者:传为秦越人,待考 2、成书年代:西汉末~~东汉 3、篇幅:3或5卷 4、主要内容和成就 脉诊诊脉独取寸口 脏腑七冲门 经络奇经八脉 针刺腧穴 疾病广义伤寒 《神农本草经》 1、作者：托名神农 2、篇幅：3或4卷 3、主要内容和成就 （1）创药物三品分类法，载药365种，分上中下三品（2）概述中药学基本理论 A、论述方剂君臣佐使的组方原则 B、提出药物七情和合理论
微观经济学试题库(含答案)
一、单选题（70题） 1. 下列哪一种资源是最不具有稀缺性的（） A．医生；B．苹果；C．铁矿石；D．空气； 2. 下列中的哪一个问题是最有可能被微观经济学家所研究的（） A. 一般物价的膨胀； B. 整个经济中的失业； C. 总产出的增长率； D. 汽车行业中的劳动就业； 3. 下列中的哪一个属于规范经济问题（） A. 通货膨胀和失业是由什么引起的 B. 政府应该雇用所有失业的工人吗 C. 消费者如何对较低的价格做出反应 D. 收入与储蓄之间的关系是什么 4. 经济学有时被称作社会科学的皇后，这是因为：（） A.它强调经济增长和经济发展； B. 几乎所有的学生都必须学习经济学； C. 它的边际分析方法广泛应用于其他学科； D. 规范经济学和实证经济学的区别。 5. 经济学家的理性行为假定：（） A.仅仅在其提供有效预测的限度内才是有用的。 B.导致错误的理论，因为人们并非总是理性的。 C.只有当所有人都是理性的，才是有用的。 D.不管人们是否为理性的，都是有效的。 6. 微观经济学研究（），宏观经济学研究（）。 A．现实的经济问题，抽象的经济理论；B．个量经济，总量经济 C．理性行为，非理性行为；D．企业行为，政府行为 7．经济学可定义为（）。 A．政府对市场制度的干预 B.企业赚取利润的活动 C.研究稀缺资源如何有效配置的问题 D.个人的生财之道 8．“资源是稀缺的”是指（） A．资源是不可再生的 B.资源必须留给下一代 C.资源终将被耗费殆尽 D.相对于需求而言,资源总是不足的. 9．失业问题如果反映在生产可能性曲线图上，可记为（） A．生产可能性曲线内的一点 B.生产可能性曲线上的一点
微观经济学第五章习题附答案
第五章市场结构分析 一、选择题完全竞争 1.完全竞争的市场是指（） A.市场参与者的购销量只占整个市场交易是量的极小一部分。 B.市场参与者只能接受价格，而不能影响价格 C.交易的商品是同质的 D.以上全对 2.下列行业中哪一个最接近于完全竞争模式（） A.飞机 B.卷烟 C.大米 D.汽车 3.在完全竞争的条件下，如果某行业中的厂商的商品价格等于平均成本，那么 ( )。 A.新的厂商要进入这个行业 B.原有厂商要退出这个行业 C.既没有厂商进入也没有厂商退出这个行业 D.既有厂商进入也有厂商退出该行业 4.在任何市场中，厂商的平均收益曲线可以由( )。 A.他的产品的供给曲线表示 B.他的产品需求曲线表示 C.行业的产品供给曲线表示 D.行业的产品需求曲线表示 5.假定在某一产量水平上，某厂商的平均成本达到了最小值，这意味着( )。 A.边际成本等于平均成本 B.厂商获得了最大利润 C.厂商获得了最小利润 D.厂商的超额利润为零 6.在完全竞争市场上，厂商短期均衡条件是( )。 =AR =MR =MC =AC 7.在最好或最优短期产出水平情况下，厂商将( )。 A.取得最大利润 B.使总损失最小 C.使总损失最小，或使总盈利最大 D.使单位产品中所获利润最大 8.厂商在停止营业点( )。 =AVC =TVC C.企业总损失等于TFC D.以上都对 9.在一般情况下，厂商得到的价格若低于以下哪种成本将停止营业( )。 A.平均成本 B.平均可变成本 C.边际成本 D.平均固定成本 10.若在最优产出水平P 超过AVC，但小于AC时，则企业是在( )。 A.获取利润 B.蒙受损失，但在短期内继续生产 C.蒙受损失，应立即停产 D.盈亏相等
中国医学史大纲
《中国医学史》教学大纲 （供中医学、中西医结合临床医学、针灸推拿学、运动医学、公共卫生管理学本科教学用 ) 前言 《中国医学史》是研究中国医学起源、形成、发展过程及其发展规律的一门科学。 本课程的教学任务是：论述中医学形成发展的历史过程，理清中医学的历史成就，揭示中医学发展的历史规律。 本课程的教学目的是：通过教学，使学生掌握中医学的历史过程和历史成就，理解中医学特色形成的原因和本质，学会运用马克思主义的思想观点和方法分析问题，在怎样对待历史遗产、如何把握医学的发展与社会经济、政治、科技文化和意识形态等各种因素的联系，以及医药实践与医药理论的辩证关系等问题上提高思维能力和水平。在此基础上，使学生学会怎样揭示中医学的发展规律。 通过教学，使学生在了解中医学历史的同时，培养学生树立民族自信心，增强民族自豪感，巩固专业思想。同时，通过教学，使学生在端正科学态度，深化科学思想，掌握科学方法方面受到应有的训练，为提高素质，学好其他各门课程奠定必要的基础。 教学内容和要求 绪论 【目的要求】 明确《中国医学史》课程的性质、学习目的、要求和方法； 掌握中医学发展的历史过程和历史成就的概貌。 【教学内容】 概括介绍中医学在不同历史时期的主要成就并由此决定的不同历史阶段的发展特点，简要叙述中医学不同时代的主要历史成就。第一章医学的起源 （远古 - 公元前 21 世纪） 【目的要求】 掌握医学起源于人类生产和生活实践的史实，确立历史唯物主义观点，学会运用历史唯物主义观点和方法分析批判各种错误的医学起源论。
【教学内容】 重点叙述原始人类在生产和生活实践中逐步积累起来的医药经验和知识；评述医学起源问题的不同观点。 第二章早期医药经验与中医学术方向 （夏 - 春秋公元前 22 世纪 - 公元前 476 年） 【目的要求】 掌握早期医药卫生实践和逐步总结积累起来的医药知识，认识社会经济、政治、科技文化和哲学思想对中医学术方向产生的影响和作用。 【教学内容】 1. 重点讲解各方面医药知识； (l) 介绍各种史籍记载的有关对疾病认识的知识，如对病因的探索，对流行病的观察，对疾病的诊断方法，对疾病的治疗方法等； (2) 介绍史籍记载的有关药物知识，重点介绍《诗经》和《山海经》的药物记载； (3) 介绍酒和汤液的发明、并分析其历史意义； (4) 介绍当时卫生保健和医事制度成就。 2. 简介医学理论的萌芽 (1) 介绍当时相关的哲学思想及其对中医理论形成的影响； (2) 分析中医学各方面理论萌芽的学术方向特点及其原因。第三章中医学术体系的形成 （战国 - 三国公元前 475 - 公元 265 年） 【目的要求】 了解中医学术体系形成的基本条件和相关因素；理解"四大经典"的意义及对后世的影响；掌握中医理、法、方、药体系和辨证论治原则的特点和意义。 【教学内容】 1. 简介诸汉墓出土医书的内容和价值；
中国医学史重点50505
中国医学史重点 1.最早的医疗工具——砭石 2.导引是中国古代呼吸运动和肢体运动相结合的一种养生术。 3.浙八味：白术，白芍，浙贝母，杭白菊，玄参，麦冬，温郁金，延胡索。 4.医学起源论：医源于动物本能（混淆了动物本能的救助行为与人类早期经验医学之间的 界限），医源于圣人（出于崇拜部落英雄，对某些历史人物的贡献做出了无限夸大），医源于巫（否认了医与巫之间的本质区别） 5.夏是我国历史上第一个王朝。 6.早期医疗卫生的逐步积累和提高主要表现在： ①随着人们对疾病知识的进一步提高，对不少疾病已经有了新的认识，特别是出现了“六 气致病”学说，预示着早期医学已经开始摆脱鬼神迷信致病说。 ②春秋时期，在精气神、阴阳、五行、天人相应等哲学思想的影响下，早期医药学理论 开始萌芽。 ③药物和知识的逐步积累，药物品种，数量增多，出现了酒剂、汤液，是医药学史上的 重要发明。 ④随着社会物质，文化生活的改善，人们开始讲究卫生，积极预防疾病，早期的预防思 想出现。 ⑤随着医药卫生的进步和社会分工的逐渐扩大，宫廷医学出现了早期的分科，医事管理 制度初步建立。 7.商是中国第一个有文字记载的朝代。甲骨文和金文的记载是目前已经发现的中国最早的 成系统的文字符号。 8.王懿荣在龙骨上发现了甲骨文。对人体部位的认识一般按照体表部位认识。甲骨文中的 “疾年”“降疾”“雨疾”是目前有关流行病和多发病的最早记录。记载的“疾小臣”一职是商代宫廷负责医疗的低级官员。 9.《诗经》是我国现存最早的一本诗歌总集，在西汉被称为儒家经典，出现肺结核记录。 出现最早的阴阳概念。 10.《山海经》是先秦的一部古籍，记载38种疾病名称，记药126种。药可分治疗类，预 防类和治疗、预防双重作用的药物。 11.《周礼》原名《周官》，汉代刘歆整理后改今名。记载食医、疾医、疡医、兽医。医学 分科的出现，是医学进步的标志，也是我国最早关于医学分科的记载。记载“酒正”官职。 12.《礼记》叙述了先秦社会的礼仪制度，有关于瘖、聋、侏儒的记载。 13.《左传》记载了骨折、远视、发秃、瘈咬伤、佝偻等。 14.六气：阴、阳、风、雨、晦、明。 15.五味：醋、酒、饴、姜、盐。 16.五食：麻、黍、稷、麦、豆。 17.五药：草、木、虫、石、谷。 18.气最初的含义是指天空中的云气、呼吸之气即存在于天地之间的大气。 19.《管子》最早提出了较为系统的精气学说：凡物之精，此则为生。 20.阴阳是宇宙中相互关联的事物或现象对立双方属性的概括。 21.阴阳的基本内容包括：阴阳交感，阴阳对立制约，阴阳互根互用，阴阳消长平衡，阴阳 互相转化。 22.《尚书》中《甘誓》《洪范》两篇是最早出现“五行”字样的历史文献。 23.我国最晚在夏代已经掌握了人工酿酒技术。仪狄造酒、杜康造酒。
(完整版)高鸿业版微观经济学选择题题库
一、单项选择题（每小题 1 分） 1—1—4 微观经济学的研究对象是 A、个体经济单位 B 、国民经济 C市场 D 、一般均衡问题 答案：A 1—2—1 其它条件不变时, 一种商品价格下降对其互补品最直接的影响是 A、互补品的需求曲线向左移动 B 、互补品的需求曲线向右移动 C互补品的供给曲线向右移动 D 、互补品的价格下降 答案：B 1—2—2 其它条件不变时, 一种商品价格下降对其替代品的最直接的影响是 A、替代品的需求曲线向左移动 B 、替代品的需求曲线向右移动 C替代品的供给曲线向右移动 D 、替代品的价格下降 答案：A 1 —2—3某月内X商品的替代品价格上升和互补品价格的上升，分别引起X商品的需求变动量为50单位和80 单位，则该商品的需求总量变化为 A、增加30单位 B 、减少30单位 C 增加130单位 D 、减少130单位 答案：B 1 —2—4某月内X商品的替代品价格上升和互补品价格的下降，分别引起X商品的需求变动量为50单位和80单位，则该商品的需求总量变化为 A、增加30单位 B 、减少30单位 C 增加130单位 D 、减少130单位 答案：C 1—2—5 其它条件不变时, 消费者收入的增加将导致该商品的 A、需求曲线向左移动 B 、需求曲线向右移动 C该商品的供给曲线向右移动 D 、该商品的需求量减少 答案：B 1—2—6 假定其它条件不变，某种商品的价格下降，将导致其 A、需求增加B 、需求减少C、需求量增加D、需求量减少 答案：C 1—2—7 假定其它条件不变，某种商品的价格下降，将导致其 A、供给增加B 、供给减少C、供给量增加D、供给量减少 答案：D 1—2—8 消费者偏好与商品需求按 A、同方向变动 B 、同方向不同比例C 、反方向变动D 、反方向同比例
高鸿业版微观经济学第四章习题及答案
习 题 一、名词解释 生产函数 边际产量 边际报酬递减规律 边际技术替代率递规律 等产量线 等成本线 规模报酬 扩展线 二、选择题 1、经济学中，短期是指（ ） A 、一年或一年以内的时期 B 、在这一时期内所有投入要素均是可以变动的 C 、在这一时期内所有投入要至少均是可以变动的。 D 、在这时期内，生产者来不及调整全部生产要素的数量，至少有一种生产要素的数量是固定不变的。 2、对于一种可变要素投入的生产函数()Q f L = ，所表示的厂商要素投入的合理区域为（ D ） A 、开始于AP 的最大值，终止于TP 的最大值 B 、开始于AP 与MP 相交处，终止于MP 等于零 C 、是MP 递减的一个阶段 D 、以上都对 3、当L L MP AP >时，我们是处于（ A ） A 、对于L 的Ⅰ阶段 B 、对K 的Ⅲ阶段 C 、对于L 的Ⅱ阶段 D 、以上都不是 4、一条等成本线描述了（ ） A 、企业在不同产出价格下会生产的不同数量的产出 B 、投入要素价格变化时，同样的成本下两种投入要素的不同数量 C 、一定的支出水平下，企业能够买到的两种投入要素的不同组合 D 、企业能够用来生产一定数量产出的两种投入要素的不同组合 5、当单个可变要素的投入量为最佳时，必然有： A. 总产量达到最大 B. 边际产量达到最高 C. 平均产量大于或等于边际产量 D. 边际产量大于平均产量 6、当平均产量递减时，边际产量是（ ） A 、递减B 、为负C 、为零D 、以上三种可能都有 7、以下有关生产要素最优组合，也即成本最小化原则的描述正确的一项是（）． Ａ．MPL ／r L ＝MPK ／r K Ｂ．MRTS LK ＝r L /r K Ｃ．K P MP ?=r K Ｄ．Ａ和Ｂ均正确 8、等产量曲线上各点代表的是（ ） Ａ．为生产同等产量而投入的要素价格是不变的 Ｂ．为生产同等产量而投入的要素的各种组合比例是不能变化的 Ｃ．投入要素的各种组合所能生产的产量都是相等的 Ｄ．无论要素投入量是多少，产量是相等的 9、如果厂商甲的劳动投入对资本的边际技术替代率为13，厂商乙的劳动投入对资本的边际技术替代率为23，那么（ D ） Ａ．只有厂商甲的边际技术替代率是递减的 Ｂ．只有厂商乙的边际技术替代率是递减的 Ｃ．厂商甲的资本投入是厂商乙的两倍
中国医学史复习重点(后半篇)
第六章、宋金元 1.发展医学教育：教育机构：太医署，太医局。专业分科：方脉科、针科、疡科。“三舍”升试法：学校以择优为原则，建立“升舍”制度，按考试成绩把学生分为“外舍”、“内舍”、“上舍”三个等级。考试：①方法：在考试形式上采取公试和私试相结合；②内容：墨义、脉义、大义、论方、假令。临床实习：每学生发印历一本，记载治疗经过和疗效。每年比较一次，分上中下三等级。 2.《太平圣惠方》：北宋初年由政府编撰的大型方书（100卷，16834方），翰林医官王怀隐主编。书中采用按脏腑和各科病证分类的体例，先论后方，先以《诸病源候论》的理论为总论，再论述各种病证，体现了理、法、方、药的辨证论治体系。最早记载了“内消”和“托里”的治法。 3.《圣济总录》：又名《政和圣剂总录》，是北宋末年政府编撰的一部大规模方书（200卷，20000余首方），宋徽宗作序。特点：重视理论，全面阐发医论，强调以理论指导临床实践，强调运气和疾病治疗的关系。本书较全面地反映了北宋时期医学发展的水平、学术思想倾向和成就。 4.《太平惠民和剂局方》：宋政府命裴宗元、陈师文等编写，载方297首，是我国医学史上第一部由国家颁行的成药专书和配方手册，世界最早的国家药局方之一。特点：成药多，香药多，名方多。最早提出“内消”与“托里”的治则。 5.《证类本草》（《经史证类备急本草》）：宋·唐慎微著，代表宋代药物学的最高成就。全书载药1748种，新增药物600种。图文并茂——药物图谱和药物理论相汇聚，方剂和方论相结合，古今验方附例在每药之后。 6.《饮膳正要》：元·忽思慧撰，论述了食谱、食疗、食物本草。制定了一般的饮食卫生法则，论述了各种点心、菜肴的配制成分及烹调方法、食物中毒的防治法、妊娠妇女及乳母的饮食禁忌。 7.《三因方》（《三因极一病证方论》）：南宋·陈言(无择)著。进一步阐述张仲景“三因致病说”。（三因：内因：七情；外因：六淫和瘟疫之气；不内外因：六淫七情以外的，如饮食饥饱、虎狼毒虫、金疮踒折等） 8.《察病指南》：宋·施发，除对脉象进行论述外，创有脉图33种，为现存最早的以图示脉的专著。 9.《敖氏伤寒金镜录》：元·杜本，我国现存第一部图文并茂的验舌专著。将各种舌象绘成36 种彩色图谱，图下有文字说明。 10.王惟一：撰写《新铸铜人腧穴针灸经图》三卷（载有腧穴657个，除去双穴重复则有354个），与《甲乙经》相比增加了“青灵”、“厥阴俞”、“膏肓俞”三个双穴；于1027年设计铸造了两具针灸铜人；开创了世界医学教育史上形象实物教学法的先河。 11.《针灸资生经》：宋·王执中。主要成就：1.全书详细讨论了二百多种病证的针灸疗法，涉及内外妇儿各种疾病；2.特别注意压痛点和患者体位在治疗上的意义；3.首次记载督俞、气海俞、关元俞、风市等穴位；4.对足三里、魄户、大椎、正骨等穴位进行考辨，论述辨证取穴，因证配穴；5.提倡“同身寸”的取穴方法，公认取穴标准，沿用至今；6.辑集了宋以前的灸法，提出“针灸需药”。 12.《脚气治法总要》：元·董汲，2卷。专病专著。对脚气的病因、发病情况、治疗方法等做了讨论，是一部较全面的脚气专书。 13.《十药神书》：元·葛可久撰，治肺痨专书，创制十灰散、花蕊石散、润肺膏等10首具有止血、止咳、润肺、扶正的良方，为后世治痨提供可以遵循的法则。 14.《世医得效方》：元·危亦林。专篇“正骨兼金镞科”、“六出臼、四折骨”篇。主要成就：1.提出各种整复手法（悬吊复位法治疗颈椎骨折脱位）；2.强调麻醉在手术中的作用，及麻醉药物的正确使用方法（发明麻醉药草乌散）。 15.《妇人大全良方》：成就最大，是一部内容丰富的总结性妇产科专著。宋·陈自明。1.内容提纲契领且丰富全面，分八门论述；2.是能联系脏腑经络等中医基础理论来论述妇产科疾病的证治，改变了以往偏于就正列方的做法。重视气血，详论妇科病因病机；强调肝脾冲任在妇科的重要作用。 16.《小儿药证直诀》：宋·钱乙。其弟子阎孝忠整理。1.理论上：系统论述小儿生理、病理特点；2.生理上“五脏六腑，成而未全，全而未壮”；3.病理上“易虚易实”、“易寒易热”；4.诊断上：重视望诊“面上证”、“目内证”；5.治疗上：主张以“柔润”为原则，反对“痛击”、“大下”和“蛮补”；6.善化裁古方，创制了儿科专用方剂（泻肺散、导赤散、异功散、六味地黄丸等）。 17.《外科精要》：宋·陈自明，标志外、伤科的分立。①强调脉诊②外治手法多样③注重外科护理。强调脏腑、气血失调对痈疽发生的关系，在治疗上反对拘泥于“热毒内攻”学说妄用寒凉攻伐之剂，主张“宣热解毒”、“助胃气”、“扶正固本”等治则。 18.刘完素与火热论：金代著名医学家（河间人，又称刘河间，河间学派创始人），著《素问玄机原病式》、《宣明论方》。1.火热论（主要学术思想）：强调“六气皆从火化”，五志过极皆为热盛。2.对火热病的治疗以清热通利为主，治疗善用寒凉药，被后世称为“寒凉派”的代表。 19.张从正与攻邪论：金代著名医学家（字子和）。著《儒门事亲》，1.创“攻邪论”，基本论点“病由邪生，攻邪已病”；2.反对囿于“局方”，滥用温燥，治疗当“速去其邪”，“邪去而元气自复”；立攻邪三法——汗、吐、下，被后世称为“攻下派”的代表人物；3.不废补法：平补、峻补、温补、寒补、食补、筋力之补和房室之补。 20.李杲与脾胃论：金代著名医学家（晚号东垣老人），著《脾胃论》、《内外伤辨惑论》、《兰室秘藏》。1.创“脾胃论”，主张“内伤脾胃，百病由生”（主要学术思想），内伤脾胃的原因：饮食不节、劳役过度、精神刺激。A.元气为人生之本，脾胃为元气之源；B.脾胃在人体气机升降作用中的枢纽作用；C.“阴火为元气之贼”。2.治疗“调理脾胃”“升举清阳”，甘温除热：补中益气汤。被后世称为“补土派”的代表人物。 21.朱丹溪与相火论：元代著名医学家（号丹溪），被后人称为丹溪翁，著《格致余论》、《局方发挥》。1.创“相火论”；2.提出“阳常有余，阴常不足”学说，认为引起相火妄动的原因主要有情志过极、色欲无度、嗜食厚味等；3.临证提倡滋阴降火之法——大补阴丸，善用滋阴降火之剂，“滋阴派”的代表人物； 4.注重养生。相火论：1.相火是事物运动的基础；2.相火的常与变：相火之常为生理，“人非此火不能有生。”相火之变为病理，“相火元气之贼”；3.相火妄动的原因为：情志过极、色欲无度、嗜食厚味。 22.张元素：脏腑辨证论金代易州(今河北易县)人，著作《医学启源》、《脏腑标本寒热虚实用药式》、《珍珠囊》，为易水学派创始人。⑴确立了“脏腑辨证说”⑵提出“脏腑标本虚实寒热用药式”⑶对药物气味、归经、补泻等理论进行深入探讨。 23.王好古：阴证论元代赵州(今河北赵县)人，号海藏老人，创立了阴证学说。在阴证的治疗上着重保护肾气，增强体质，强调温养脾肾。其代表作有《阴证略例》、《此事难知》。 24.《本草图经》：宋·苏颂主编，是我国药学史上第一部由政府组织编绘而成的刻板药物图谱。25.《洗冤集录》：宋慈（福建建阳人）著，概括了解剖、验伤、验尸、现场勘察等内容，是我国历史上第 一部系统的法医学著作，比国外最早的系统法医学著作早350年。 26.《校正医书局》：北宋朝廷专门设立的一种整理古医籍的机构，集中了一批当时著名的学者和医家，有 计划地对历代重要医籍专门进行搜集、考证、校勘和整理。出版历代重要医籍。 27.齐德之《外科精义》：强调脉诊是本书的重要特色。外治手法多样。注重外科护理。 28.杨康候《十产论》记述十种难产情况及处理方法。最早记载转胎手法。 29.五官科：《儒门事亲》内窥镜；《梦溪笔谈》嗓叫子；《洞天清录》“叆叇”。 第七章、明代 1.《本草品汇精要》：刘文泰等撰辑。成为明代唯一由政府下令编撰的药物专著。载药1815种。每药之下 分24则论述，以功效主治为核心。 2.《本草纲目》：明·李时珍撰，字东璧，号濒湖山人，湖北蕲州人。著有《濒湖脉学》、《奇经八脉考》、 《本草纲目》。主要内容与成就：1.集明以前中国药物学之大成；2.纠正了以往本草书中的某些错误；3. 提出了当时最先进的药物分类法；4.系统记述了药物学知识；5.批驳了违背科学的见解；6.综合了大量 其他学科的资料；7.辑录保存大量古代文献，收集了历代诸家本草41种，对其作者及主要内容作了介绍， 反映了明以前的本草学发展历史；8.医学造诣很深。 3.《救荒本草》——食物本草：明·朱棣主编。全书收载植物414种，其中276种是以往本草书中未收载 的。特点：1.把植物分为六部十五类；2.大量载录人们日常不食用的食物；3.每种植物除记载名称、生产 环境、形态、性味外，另辟“救饥”一栏，说明该植物可供采集的部分，加工、消除毒性、异味以及调 制食用方法；4.图文并茂，是一本植物学图谱。是我国历史上最早的一部以救荒为宗旨的农学、植物学专 著书。 4.《滇南本草》——地方本草：明初·兰茂撰，全书共3卷，载药458种。特点：1.在医学史上最早集中 记载了云南及其附近地区的药物和治疗经验；2.明确记载某些药物的鉴别与应用注意点；3.记载了当地丰 富的食疗经验；4.所载方剂一般在四、五味以内，但疗效较好。 5.《普济方》：明·朱木肃等编撰。载方61739 首，插图239幅。集十五世纪以前方书之大成，是我国古代 最大的一部方书。本书除了论述临床各科病证外，每种病证有论有方。还介绍了针灸、按摩的治疗方法， 并保存了大量医学古代文献。 6.《瘟疫论》：撰者吴有性，字又可，明末清初医家，于1642年编撰《瘟疫论》，系统提出对温病的新见 解，为后世温病学说的确立奠定基础。首创戾气之说，自创名方达园饮，是中国医学史上第一部瘟疫病 专著，也可谓第一部传染病专著。主要成就：1.疫病是有戾气引起的；2.戾气是物质性的，可用药物制服； 3.戾气是通过口鼻侵犯人体的； 4.人体感受戾气后，是否致病则取决于戾气的量、毒力、人体的抵抗力； 5.戾气引起的疫病，有大流性和散发性的不同表现； 6.戾气致病有地区性和时间性的不同； 7.戾气的种类 不同，所引起的疾病不同，侵犯的脏器部位也不同；8.人类的瘟疫和动物的瘟疫是由不同的戾气所引起的； 9.首次提出外壳的化脓感染是由戾气所致；10.攻下逐邪是治疗疫病的基本原则；11.提出了科学的假设。 7.人痘接种术：是预防天花的一种重要的免疫疗法。通过直接从天花病人身上取得痘苗，接种到位出天花 的人身上，希望他出现天花反应，获得免疫力。方法有：痘衣法，痘浆法，旱苗法，水苗法。痘衣法、 旱苗法、水苗法均为鼻苗法，痘浆法则为生苗法，但危险颇多，后为“种苗”所替代，人痘接种法在清 初已在全国普遍运用。意义：是我国古代再传染病研究上取得的又一项重大成果，也是我国医学对世界 西药卫生事业的一个重大贡献。 8.薛己：号立斋，明代，著《内科摘要》，我国医学史上第一本以内科命名的医籍。全书共载病案21类， 209例。强调脾肾，主张温补。 9.张景岳：张介宾，字景岳，明代，著《景岳全书》。针对朱震亨“阳常有余，阴常不足”的观点，提出 了“阳非有余”、“真阴不足”以及“人体虚多实少”等论点，学术上主张温补肾阴肾阳，慎用寒凉与攻 伐方药，创立了左归丸、右归丸，临证喜用“熟地”，被人称为“张熟地”。 10.《理虚元鉴》：撰者汪绮石，虚劳证专著。1.提出治虚有“三本二统”；2.“三本”即指脾、肺、肾，治 法为清肺、调脾、补肾；3.“治虚二统”——治虚劳的阴虚、阳虚分别统之于肺、脾。 11.《外科正宗》：明·陈实功著，“正宗派”的代表。1.把痈疽的发病归结于水火动静失常，实际上是指 人体阴阳气血平衡失调；2.治法上，主张内外并治，“消、托、补”三法相结合，内服药与外治法相结合； 主张“开户逐贼”，“使毒外出为第一”；3.记载了许多手术、鼻息肉摘除术、咽喉食道内异物钳取术及截 肢术；4.记载恶性肿瘤病主要有乳岩、瘿瘤、失荣、唇茧四病。失荣——最早对颈部恶性肿瘤的详细记载。 12.《解围元薮》：明·沈之问著，是我国现存最早的麻风病专书。总结了麻风病的诊治经验与自己的心得， 论述了麻风病的病因病机、证候、传染性预防法、防治麻风病的方药。 13.《霉疮秘录》：明·陈司成著，最早论述梅毒病的专书。主要内容与特点：阐述了梅毒病除了有接触传 染外，还有遗传与间接传染；详细记载了梅毒各期的症状；提出使用丹砂、雄黄等含砷的药品治疗梅毒， 这是世界医学史上最早应用砷剂治疗梅毒的记载。 14.《针灸大成》：明·杨继洲。主要成就与特点：1.主张针灸和药物配合运用；2.着重指出针灸的特殊效 果；3.发展了透穴针治法；4.创造了发展了多种针治法；5.头部不宜多灸；6.提出了掌握灸治壮数的原则。 明代重要针灸学专书，规范了针灸手法，书后附录的《小儿按摩经》，是现存最早的按摩文献。 15.赵献可：明代，著《医贯》，发挥命门学说，强调保养命门之火在养生与治疗中的重要地位。 16.《修龄要旨》：撰者冷谦。是明代一部内容丰富的气功与养生保健专著，以歌诀的形式论述了四时调 摄、起居调摄、四季却病、延年养生、十六段锦、八段锦导引法、导引却病等。 17.《医方考》——方论专著：明：吴崑。收方700余首，按病证分为72门。以讨论方解为主要内容，实 现了方书以病证为核心向以方论为核心的转化。 18.明代推拿的特点：1.文献上开始用推拿名称代替“按摩”；2.推拿被广泛运用于儿科疾病；3.出现了许 多推拿专著；4.推拿作为独立一科继续存在于太医院中。 19.《小儿推拿秘旨》：明·龚廷贤撰，又名《小儿推拿活樱全书》等。特点：1.主要以歌诀的形式写成， 易懂、易记、易于运用；2.阐述小儿病证、病机以及推拿治法具体简明；3.既是一部较早较丰富的推拿专 书，也是儿科医籍。 20.《针灸节要聚英》：明·高武。《针灸节要》：摘录了《内经》、《难经》有关针灸的重要论述编撰而成。 《针灸聚英》：汇集了十六世纪以前的针灸文献与治疗经验，加上作者自己的见解；设计铸造了男、女、 儿童三具针灸铜人。 第八章、清 1.《本草纲目拾遗》：清·赵学敏著，是继《本草纲目》之后又一部具有价值的药物学专著。载药900多 种，其中700多种是《本草纲目》所未载或记载不详者。主要成就：①补充订正了《本草纲目》的有关 内容：增加药物品种，订正了药物分类。②以生物进化论观点认识了药物的变化和发展。（该书的主要创 见在于较早地提出生物进化观点） 2.《植物名实图考》：清·吴其濬著。是我国19世纪一步科学价值颇高的植物学著作。为我国古代本草向 近代植物学发展作出了很大贡献。其所绘的植物形态图也比较精细而近与现实。主要成就：①比《本草 纲目》收载的药物增加了500余种，其中记述云南、贵州的植物颇丰②较广泛地搜集民间医药经验与知 识，纠正以往某些本草著作的错误。 3.《串雅》：撰者赵学敏。是一部民间“走方医”的医术方药经验汇编。分内编、外编，各4卷。①清·赵 学敏和赵柏云合撰②是民间走方医的经验汇编③把走方医的经验归结为贱、验、便④提倡截、顶、串三 大法⑤丰富的治疗方法。 4.《理瀹骈文》：清·吴师机著，为一外治法专著。主要内容：⑴认为内外治法，理同法异⑵治法以敷膏 为主⑶辩证以三焦分治为提纲，上用涕、中用填、下用坐。 5.温病四大家：清代医家叶桂、薛雪、吴塘、王士雄，为温病学说的进一步发展、成熟分别做出程度不等 的贡献。叶桂，字天士，撰《温热论》。《温热论》对温病学说的最大贡献是指出温病传变的规律，温病 发病一般要经过“卫、气、营、血”四个由浅入深的阶段。叶桂对温病学说作出的最大贡献是建立了卫 气营血辨证作为温病辨证论治的纲领。薛雪，字生白，号一瓢，撰《湿热条辨》1卷，此书是湿热病的专 著，开温病学说中专门病证研究的先河。他指出，湿热病发作的轻重与脾胃的盛衰关系密切。吴瑭，字 鞠通，撰《温病条辨》，成为晚清著名温病学家。吴瑭将温病分为九种：提出温病的三焦辨证，把温病传 变与脏腑病机联系起来，补充和完善了叶桂的卫气营血辨证。王士雄，字孟英，先后撰《霍乱论》和编 述《温热经纬》。在《霍乱论》书中，把霍乱区分为时疫霍乱和非时疫霍乱两类。《温热经纬》的特殊见 解是把温病分成新感和伏邪两大类。 6.《吴医汇讲》：清·唐大烈，是我国最早具有医学杂志性质的刊物。特点：⑴收集文稿范围广泛，新的 见解观点均可发表，人云亦云者不用⑵文章前登载作者的小传，以使读者有所了解⑶选编文章，按来稿 时间定次序⑷对不同的学术观点，可同时采用，以引起争鸣⑸反对抄袭，允许引用前人文献⑹对各篇文 章的文体不强求统一。 7.王清任：有名全任。撰著了《医林改错》。主要成就：⑴强调解剖的重要性⑵书中出现许多解剖学的新 发现，明确肯定了大脑主宰思维记忆的功能⑶纠正了古人在解剖学上的错误⑷在方剂学上颇有建树。 8.《傅青女主科》：由后世人将清·傅山的有关女科病证的论述与经验和其他医家论述辑录而成，以培补 气血与脾胃为主，妇科名著。 9.《达生篇》：清·亟斋居士撰，提出临产时“睡、忍痛、慢临盆”六字诀。 10.《医宗金鉴》：主编吴谦。内容涉及伤寒、金匮、方论、诊法、运气、杂病、妇科、幼科、等。对后世 产生重大影响。 11.唐宗海：字容川，著有《血证论》、《中西汇通医经精义》、《金匮要略浅补注》、《伤寒论浅注补正》、《本 草问答》，合成《中西汇通医书五种》，明确提出“中西汇通”之说始于他的著作。 12.朱沛文：字少廉，是中西医汇通派的开朗医家。著有《华洋脏象约纂》，中医西医各有是非，不能偏主； 中西医有可通之点，也有不通之处，应通其可通、存其互异；在古今评论方面比较开明。 13.恽铁樵：字树珏，著有《群经见智录》、《伤寒论研究》，论及到了中西医的基础和特点不同；坚信中西 医学可以贯通；既坚持中医的独立价值，又肯定西医理论；指出治学不应以《内经》为止境；主张中西 医汇通以中医为主，同时要注重实际效果。 14.张锡纯：字寿甫，著有《医学衷中参西录》。认为中西医之理已包括在中医理论之内，沟通中西医并非 难事；主张中西医并用，西医治其标，中医治其本；“衷中”不泥古，“参西”不盲从。 15.西方医学传入的形式：建立诊所和医院，创办医学校，吸引留学生：黄宽是我国第一个留学英国的医 学生。金韵梅是我国第一个留学美国的中国女学生，翻译医书和出版医学刊物。 16.《重楼玉钥》：清·郑宏纲著，喉科名著。简要介绍了咽喉部的解剖生理。着重论述了白喉、烂喉痧等 急性疫喉的诊治与预后。运用养阴清肺汤治疗白喉。
中国医学史(重点)
中国医学史 原始社会得医疗活动 一、医药起源论 1、医源于圣人 伏羲尝百药、制九针、画八卦 神农尝百草 黄帝尝味百木、典主医药 2、医源于巫 3、医源于动物本能 4、医食同源 5、医易同源 6、医源于实践（广大人民长期得智慧结晶） 二、医药知识 外治法： 1、砭石：我国最早得石质医疗工具，砭，以石刺病也，用来切割脓 包或浅刺身体得某些部位，可以减轻或消除病痛。 砭石或针灸起源时间：新石器时代 2、灸法：对某一部位进行长时间固定温热刺激得方法 介质：艾叶（灸草） 夏~~春秋时期得医学 一、病因 对流行病最早得记录:疾年、降疾、雨疾、疾疫
医与：六七致病说（阴、阳、风、雨、晦、明） 二、预防医学 酒为百药之长(酒得作用)：兴奋、麻醉、溶剂、消毒杀菌、驱寒、 散瘀、活血通络、挥发 汤药：伊尹，单味变复方 三、医事制度 《周礼·天官》医事分工：食医、疾医、疡医、兽医 战国~~东汉时期得医学 一、马王堆 《足臂十一脉灸经》、《阴阳十一脉灸经》：现存最早涉及经脉学得文献 三、四大经典 《黄帝内经》 1、作者：托名黄帝 2、成书年代：战国~~秦汉 3、篇幅：《素问》、《灵枢》：各9卷，81篇 4、基本内容（精神）与成就 （1）注重整体观念 A、人与天地、自然就是统一得 B、人与社会就是统一得 C人体自身就是统一得 D人得身心就是统一得
(2)重视脏腑经络 (3)运用阴阳五行学说 《难经》 1、作者:传为秦越人,待考 2、成书年代:西汉末~~东汉 3、篇幅:3或5卷 4、主要内容与成就 脉诊诊脉独取寸口 脏腑七冲门 经络奇经八脉 针刺腧穴 疾病广义伤寒 《神农本草经》 1、作者：托名神农 2、篇幅：3或4卷 3、主要内容与成就 （1）创药物三品分类法，载药365种，分上中下三品（2）概述中药学基本理论 A、论述方剂君臣佐使得组方原则 B、提出药物七情与合理论 C、完整提出四气五味得药性理论 D、阐述药物采集、加工、炮制与制剂
微观经济学试题库(带答案)
《微观经济学》习题集 第一章导论 一、判断 1．以萨缪尔森为首的新古典综合派把经济学分为微观经济学和宏观经济学。∨ 二、选择题 3．21世纪30年代，西方经济学经历的第二次修改和补充ACD A．出现于1936 年B．涉及垄断问题 C．代表人物是凯恩斯D．为国家干预经济生活奠定了理论基础 三、简答题 1.什么是西方经济学？ 2.试述西方经济学企图解决的两个问题及两重属性。 第二章需求和供给曲线概述以及有关的基本概念 一、解释概念 均衡价格需求需求价格弹性比较静态分析需求收入弹性供给 二、判断 1．价格分析是微观经济学分析的核心。∨ 2．微观经济学的研究对象是包括单个消费者、单个生产者、单个市场在内的个体经济单位。∨ 3．若某商品的需求价格弹Ed =0．6，卖者提高价格肯定增加销售收入。∨ 4．需求缺乏弹性的商品的价格与销售收入呈同方向变动关系。∨ 5．需求的变动是指商品本身价格变动所引起的该商品的需求数量的变动。×
6．当消费者的收入发生变化时，会引起需求曲线的移动。∨ 7．Ed＞1的商品，降低价格会增加厂商的销售收入。∨ 8．若某商品的Ed＜1，表明当该商品价格下降20% 时，该商品需求量减少小于20%。×9．卖者提高价格肯定会增加销售收入。× 10．在几何图形上，供给量的变动表现为商品的价格-供给量组合点沿着同一条既定的供给曲线运动。∨ 11．在几何图形上，需求的变动表现为商品的价格-需求量组合点沿着同一条既定的需求曲线运动。× 12．当两种商品中一种商品的价格发生变动时，这两种商品的需求量都同时增加或减少，则这两种商品的需求交叉价格弹性系数为正。× 13．某商品的可替代品越多，相近程度越高，则该商品需求弹性往往就越大。∨ 14．商品用途越广，需求价格弹性就可能越大。∨ 15．任何情况下商品的需求量与价格都是反方向变化的。× 16．当对农产品的需求缺乏弹性时，粮食丰收，粮价下跌，农民收入反而会减少。∨ 17．如果两种商品具有替代关系，则相应的需求交叉价格弹性系数为负。× 三、选择题 1．微观经济学的基本假设前提是C A．完全信息的假设B．完全竞争的假设 C．合乎理性的人的假设D．边际效用递减的假设 2．微观经济学所要论证的根本思想或目的是C A．一般均衡论B．“看不见的手”的原理 C．整个资本主义经济可以实现有效率的资源配置
微观经济学第三章习题与答案
第三章习题： 一、名词解释： 效用基数效用论序数效用论边际效用边际效用递减规律消费者均衡消费者剩余无差异曲线预算线边际替代 率收入效应替代效用 二、选择题 1、总效用曲线达到顶点时，（B） A.平均效用达到最大点 B.边际效用为零 C.边际效用达到最大点 D.平均效用与边际效用相等 2、对于同一消费者而言，处在不同的无差异曲线上的各种商品组合（A） A.效用是不可能相等的 B.一般情况下，效用是不可能相等的，但在个别场合，有可能相等 C.效用是否相等或不相等要视情况而定 D.效用是可能相等的 3、无差异曲线的形状取决于（D） A.商品效用水平的高低 B.消费者的收入 C.商品价格 D.消费者偏好 4、随着收入和价格的变化，消费者的均衡也发生变化。假如在新的均衡下，各种商品的边际效用均低于原均衡状态的边际效 用，这意味着 （C） A.消费者生活状况没有变化 B.消费者生活状况恶化了 C.消费者生活状况得到了改善 D.无法确定 ，说明（A） dY 5、如果一条无差异曲线的斜率等于2 dX A.这个消费者愿意用1个单位的Y换取0.5个单位的X B.这个消费者愿意用2个单位的Y换取0.5个单位的X C.这个消费者愿意用1个单位的Y换取2个单位的X D.这个消费者愿意用2个单位的Y换取2个单位的X 6、若小王的MRSXY小于小张的MRSXY，则对小王来说，要想有所得，就可以（A） A.放弃X，用以与小张交换Y B.放弃Y，用以与小张交换X C.或者放弃X，或者放弃Y D.维持现状，不交换 7、无差异曲线如果是呈直角形的话，说明（D） A.消费者对两种商品的主观评价是替代品 B.消费者对两种商品的主观评价是互补品 C.消费者对两种商品的主观评价是完全替代品
中国医学史重点整理
中国医学史重点整理 简述《内经》产生的历史背景以及其主要学术精神、成就和影响是什么 1历史背景:先秦哲学的发展。尤其是阴阳五行哲学思想为《黄帝内经》的诞生提供了理论基础;2主要学术精神:注重整体观念;运用阴阳五行学说;重视脏腑经络;强调精神与社会因素;注重疾病预防，反对迷信鬼神。3成就和影响:1全面总结了秦汉以前的医学成就，为后世中医学的发展提供了理论指导，是我国早期的一部医学总集。2反映了中医学的两个最显著特点:整体观念和辨证论治。其天人相应学说，阴阳五行学说、脏腑经络学说、生理病理学说、诊断治疗学说、疾病预防及养生学说等，都为中医学奠定了理论基础。3《内经》的问世，标志着中医学进入了系统的理论总结新阶段。 晋唐时期临证各科的主要著作有哪些答案:针灸科-西晋?皇甫谧《针灸甲乙经》外科-南齐?龚庆宣《刘涓子鬼遗方》妇科-唐?昝殷《经效产宝》儿科-唐?《颅囟经》骨伤科-唐?蔺道人《仙授理伤续断秘方》 王叔和在医学史上留下的两大业绩:整理了《伤寒杂病论》和著述《脉经》。 《千金方》主要主要提倡的医德表现在精与诚两个方面，其中?精-专业精;?诚-诚心诚意、忠于职业、忠于患者。确立仁爱救人的原则。具体表现为以下8点:要立济世救人，仁爱为怀之大志;要有无欲无求的品质;要无畏艰难;要悉心施治，一丝不苟;举止端庄;尊重同行;要精勤不倦，虚心好学;(有强烈的职业责任感。 简述《肘后方》的成就。:《肘后方》为中医第一部临床急救手册，其主要成就表现在:1对急性传染病有较高认识;?最早描述天花病; ?最早认识沙虱病(恙虫病); ?最早发 2创造了“以毒攻毒”的防治疾病方法，比如首创用狂犬脑组织敷帖在被咬伤的创现“疥虫”;
微观经济学题库完整版
第一章导论 一、选择题 1、下列哪一种资源是最不具稀缺的？（） A、医生； B、苹果； C、铁矿石； D、经济学课程； E、空气。 2、下列中的哪一个属于规范经济问题？（） A、通货膨胀和失业是由什么引起的？ B、政府应该雇用所有失业的工人吗？ C、消费者如何对较低的价格做出反映？ D、收入和储蓄之间的关系是什么？ 3、经济学可定义为( )。 A、政府对市场经济的调节 B、企业获取报酬的活动 C、研究如何最合理地分配稀缺资源及不同的用途 D、人们靠工资生活 4、经济学主要是研究( )。 A、与稀缺性和选择有关的问题 B、如何在证券市场上盈利 C、何时无法作出选择 D、用数学方法建立模型 5、“资源是稀缺的”是指( )。 A、世界上大多数人生活在贫困中 B、相对于资源的需求而言，资源总是不足的 C、资源必须保留给下一代 D、世界上的资源最终要被消耗光 6、经济物品是指( ) A、有用的物品 B、稀缺的物品 C、市场上贩卖的物品 D、有用且稀缺的物品 7、一国生产可能性曲线以内的一点表示( )
A、供给大于需求 B、失业或者资源未被充分利用 C、该国可利用的资源减少以及技术水平降低 D、资源得到最适度分配使用 8、生产可能性曲线说明的基本原理是( )。 A、一国资源总能被充分利用 B、假定所有经济资源能得到充分有效的利用，则只有减少一种物品的生产才能 导致另—种物品生产的增加 C、改进技术会引起生产可能性曲线向内移动 D、经济能力增长惟一取决于劳动力的数量 9、下列各项中哪一项会导致一国生产可能性曲线向外移动（）。 A、失业 B、通货紧缩 C、资源增加或者技术进步 D、消费品生产减少，资本品生产下降 10、经济学研究的基本问题是( )。 A、怎样生产 B、生产什么，生产多少 C、为谁生产 D、以上都包括 11、下列命题中哪一个不是实证经济学命题( )。 A、 1982年8月美联储把贴现率降到10％ B、1981年失业率超过9％ C、联邦所得税对中等收入家庭是不公平的 D、社会保险税的课税依据现己超过30000美元 12、微观经济学所要论证的根本思想或目的是 A、一般均衡论 B、“看不见的手”的原理 C、整个资本主义经济可以实现有效率的资源配置 D、完全竞争市场下可以实现帕累托最优 二、简答题 1、什么是西方经济学？ 2、试述西方经济学企图解决的两个问题及两重属性。