DreamBlooms/HansPub-15000-to-45000 huggingface dataset:
system: [SYSTEM]

user: 1. 引言 2015年颁布的《中共中央国务院关于打赢脱贫攻坚战的决定》，明确提出到2020年实现让7000多万农村贫困人口摆脱贫困的既定目标，并提出坚持精准扶贫和加大金融扶贫的战略政策 [ 1 ]。十九大提出乡村振兴战略，在《乡村振兴战略规划》中提到，把打好精准脱贫攻坚战作为优先任务，推动脱贫攻坚与乡村振兴有机结合相互促进，确保到2020年我国现行标准下农村贫困人口实现脱贫，贫困县全部摘帽，解决区域性整体贫困。精准扶贫的内容包括：精准识别、精准帮扶、精准管理和精准考核。精准扶贫的成效决定了2020年能否实现全面建成小康社会，其也是中华民族伟大复兴的必经之路。 据国家统计局全国农村贫困监测调查，2018年全国农村贫困人口继续大幅减少，贫困发生率显著下降，贫困地区农村居民收入增长幅度高于全国农村平均水平。但按现行国家农村贫困标准测算，2018年末，全国农村贫困人口仍有1660万人，剩下的都是攻坚脱贫的“硬骨头”，我们还有一段路要走。根据金融稳定理事会(FSB)的定义，金融科技主要是指由大数据、区块链、云计算、人工智能等新兴前沿技术带动，对金融市场以及金融服务业务供给产生重大影响的新兴业务模式、新技术应用、新产品服务等。同时也是指一群企业运用科技手段让金融服务变得更有效率，因而形成的一种经济产业。金融科技助力精准扶贫已在部分领域颇具成效，但相信今后还会发挥出更大的价值。
system: [SYSTEM]

user: 2. 精准扶贫现存的难点 2.1. “精准”的不易操作性 贫困户的精准识别在操作上是极为困难的。鲁春艳学者认为一是贫困程度难以界定，二是贫困地区的农民文化素质偏低增加了精准识别难度，三是贫困对象个体差异较大，对扶贫工作人员要求较高 [ 2 ]。困难程度不能单纯的以总收入作为指标，还与每户人口数，能力，支出等情况有关，多维度指标的考察给予了贫困界定一定难度。建档立卡时会因个人意识、思想觉悟出现一些填报与真实状况不符的现象，甚至还有部分外出务工贫困户不能及时了解国家扶贫政策，错过申请。贫困成因也与个体情况有关，国务院扶贫办建档立卡资料显示贫困成因30.54%为疾病残疾，46.78%为缺乏资金、技术和劳动力，其他原因占15%以上，如图1所示 [ 3 ]。 邓维杰学者在精准帮扶环节提出了九个排斥，一些帮扶措施对部分贫困户起不到作用或有进入门槛 [ 4 ]。比如进行项目扶贫，建立生产或养殖基地带动地区经济发展时，一些丧失劳动力的贫困户依旧没有办法实现创收，实现脱贫。乡村基础设施以及IT基础设施建设需要消耗大量帮扶资金，对产业的建设和发展有帮助，符合大部分贫困户的利益，但可能对小部分贫困户有效价值不高。 图1. 中国贫困户主要成因类型及结构比例 2.2. 精准扶贫的动态机制 在整个精准扶贫的过程中，动态管理机制的及时性与准确性至关重要，但仍存在主要缺陷。一是数据量大，贫困户的基本信息、帮扶项目、对接人员、资金流向、脱贫程度等需要录入以及更新 [ 5 ]。部分贫困户因自身原因，例如文化素质低下或疾病，而不能正确或及时反馈信息。二是贫困人口退出机制和再入机制不健全，同时贫困户思想意识上的不配合，存在扶贫资源得不到有效利用的状况。比如有部分群众为获取易地搬迁补贴而有目的性搬回危房，争做“钉子户”；有达标群众想继续享受扶贫福利而不愿意脱贫，使扶贫资源的边际效益低下；贫苦户脱贫后，因飞来横祸或意识怠惰又再次返贫，不能及时再入库，会使其得不到应有的帮助。 2.3. 扶贫效率数字化 扶贫效率数字化主要体现在精准管理，具体展现在扶贫对象、项目安排、资金使用、因村派人和脱贫成效。扶贫项目的数量与大小可以决定扶贫效率，将贫困户进行分类，类别相似的贫困户分配有针对性的扶贫项目，这样可以减少资金和人力的投放。不同资源的消耗量有不同脱贫成效率，可获得最大扶贫效率，以此寻找最佳扶贫资源配置，以减少资源浪费。但贫困人口的点状分布、致贫原因的复杂化和各种返贫的不确定性，导致扶贫效率数字化困难。而且贫困人口动态识别执行成本高，贫困户的主观能动性不高，扶贫项目缺乏有效的群众监督，容易导致扶贫行为短期性和扶贫资源浪费 [ 6 ]。 2.4. 企业和社会组织扶贫完善 党中央、国务院高度重视企业和社会组织等社会力量在脱贫攻坚中的重要作用。参与脱贫攻坚既是社会组织的重要责任，又是社会组织服务国家、服务社会、服务群众、服务行业的重要体现，也是社会组织发展壮人的重要舞台和现实途径。社会组织经过多年的发展，已具备帮助政府提供公共服务的能力，具备参与到精准扶贫战略中来的实力。加之，国家和各地方政府出台了多项政策文件鼓励社会组织参与到扶贫攻坚战中，为社会组织的参与提供了多方支持 [ 7 ]。
system: [SYSTEM]

user: 3. 金融科技背景下新扶贫模式的探索 3.1. 金融科技助力普惠金融 普惠金融主要是为中低收入者、贫困人口和小微企业提供服务，让金融服务惠及所有贫困阶层 [ 8 ]。据上数据，22.88%的贫困户因资金短缺而致贫，而普惠金融能解决农村地区金融基础设施短缺、农民贷款难等难题。发展普惠金融，能够为贫困户提供价格合理、安全便捷的金融服务，普惠金融指数与贫困率负相关，即有利于地区和个人的脱贫 [ 9 ]。在乡村振兴战略下支持下，农村社区将加大社会基础设施和IT设施的建设，构建农村社区信息化网络。在此基础上，随着金融服务机构的普及，金融科技带给普惠金融的影响越来越大。 利用贫困户建档立卡的资料和六度人脉理论，收集借款人的数据，对借款人进行信用评估，筛选或推出符合借款人实况的微小信贷产品，还可收集大量数据进行产品反馈，对产品进行更新调整，提供更加适合客户所需的产品，实现产品和服务全面化，满足不同客户的服务需求。金融科技扩宽普惠金融的覆盖面，吸收空白人群，利用人脸识别等技术，贫困户获得金融服务门槛将降低，能以高效率的方式享受金融服务。 3.2. 大数据、区块链等高新技术扶贫优势 大数据在精准帮扶工作中主要发挥识别、控制和评估的作用 [ 10 ]。目前不仅有全国精准扶贫大数据平台，另外还有17个省建立了本省的扶贫大数据平台。大数据筛选贫困对象更加精准，多维度比对用户条件，客观给贫困人口打分，找出真正需要帮助的贫困户，已在多次实践中发现符合要求而被遗漏的贫困户，也剔除不达标而入库的用户。大数据在分类施策上也有不凡的表现，利用贫困户的基本情况，根据用户需求和致贫原因，可有针对性的帮扶，如：社会保障兜底、发展教育脱贫、生态补偿脱贫、易地搬迁脱贫、发展生产脱贫等。大数据也可优化动态管理机制，向平台及时录入和更新贫困户的信息，实现部门互通，上下联动，规避信息滞后性。还可以建立监督模型，严格控制资金流动，跟踪扶贫日志，数字化考核脱贫成效。 区块链技术的共识机制、去中心化、防篡改机制、可追溯性、分布式账本特点给精准扶贫带来了优势 [ 11 ]。去中心化使每个贫困户都是节点，分布式的“信任化”破解扶贫过程中信息不对称的问题，实现扶贫过程透明可控，有利于评析扶贫绩效，同时能减少金融机构服务的中间环节，降低运营成本。防窜改机制和可追溯性将保证数据的完整性和准确性，同时将每一笔资金的流向都盖上时间戳，资金从技术层面可追溯，人员以及资源的动向都将透明化和公开化，避免贪污官员或不法分子的盗用资金和篡改数据。 3.3. 农村供应链金融 供应链金融是实体经济在金融业务活动中，基于产业链结构性的分享式信用融资。根据国务院扶贫办数据显示，精准扶贫的众多模式均涉及供应链金融，如产业扶贫、电商扶贫、行业扶贫、社会帮扶等。其次，在供应链金融中，小额融资，如网贷、众筹，以及线上支付，如微信、支付宝，都给扶贫注入新的活力。在“互联网+”时代，大数据、物联网和区块链技术的创新发展以及由此带来的传统产业转型升级，为传统供应链金融实现基于技术和数据的信息资源共享以及与互联网金融的深入融合创造了有利条件，无疑将进一步提升供应链金融的经济保障、成本削减和风险控制能力 [ 12 ]。 随着普惠金融深入发展，基于互联网的农业供应链金融逐渐成为破解农村小微企业和贫困农户融资困境的一个重要路径，该模式能有效解决信息不对称导致的逆向选择、道德风险、审计成本等难题，能突破传统金融机构授信条件的约束和面向农村贷款的风险排斥，具有资金封闭运行、风险小、成本低、可复制性强等优势，可以实现农业供应链成员间的利益捆绑，成为金融支持农业产业发展进而促进农户减贫增收的有效路径之一 [ 13 ]。
system: [SYSTEM]

user: 4. 金融科技与精准扶贫的关系 4.1. 优化扶贫资源 金融科技可以优化资源。首先体现在可以让扶贫项目因地制宜，物尽其用，人适其岗。扶贫项目的选择可以更具针对性，利用当地的优势条件，如太阳光强烈地域进行光伏产业扶贫；打造西藏净土一捧藜麦，建立生产种植基地和电商销售；打造文化扶贫产业，申报非物质文化遗产，开展旅游业务。地域、气候、文化等都可以成为当地的特色帮扶的条件。 众多的社会组织与企业也展现了社会责任感，积极参与“脱贫攻坚战”，利用自身商业优势，构建产业模型和探索扶贫新路径，如阿里巴巴的松果公益、上海寻梦信息技术的“多多农园”。利用金融科技，经大数据、云计算等技术筛查匹配，精准到户，对接双方满足以下条件，社会组织或企业能高效改善其帮扶对象的贫困情况，或根源上帮助解决其致贫原因。企业或社会组织与贫困户对接优化，即帮扶人员一户一策，因户制宜，双方帮助和被助契合度高，合理利用扶贫资源，帮扶人员的主观能动性也发挥到最大。 扶贫动态管理机制上的创新与升级也能优化扶贫资源，基础IT设施的普及与金融科技的加入使贫困户实时信息录入与更新得到了很大的改善。及时性的优点能避免资金与物料的过度滞留，提高资源的周转率，同一段时间内的资源利用率会有效提升。 4.2. 降低扶贫成本 目前的扶贫成本主要集中在对个人的资助和对扶贫项目的投资两大块。在个人方面，在一对一帮扶的模式下，金融科技扩宽普惠金融的覆盖面，针对缺乏资金的贫困户，小额贷款、融资的门槛不断降低，“e农贷”等模式也不断推出，贫困户获得资金来源的渠道变多。以前贫困户只能靠国家拨款救助，随着金融服务的普及，他们可以利用自身条件，如抵押农房、土地获得小额贷款，作为小本生意或生产种植的脱贫启动资金。有金融科技助力的普惠金融可避免部分贫困户坐等“钱从天降”，当贫困户有渠道筹集资金，能够“脱贫有钱”、“脱贫有道”，使贫困户筹集资金一定程度上“自力更生”，而不是政府一味拨款，从而降低扶贫成本。 在项目扶贫的投资上，有产业扶贫、行业扶贫、电商扶贫，产业扶贫是扶贫开发工作的核心和关键，是解决贫困地区和贫困人口生存发展的根本手段，是实现稳定脱贫的必由之路和根本之策。行业扶贫利用当地自身优势产业，发挥特色，带动贫困户积极性。电商扶贫为手段，建立电子商务系统支撑体系，提升贫困地区运用电子商务的能力，推动自生特色产品与服务的电商化，增加贫困户收入，加快农村结构化转型，从而实现长效脱贫。人工智能、大数据等高新技术的发展在长期看来会大大降低成本。 4.3. 提升贫困户脱贫意识 金融科技对帮助我国农村地区精准扶贫工作的开展无疑是很有效的，但相较于城市人群而言，农村地区居民金融知识和认知能力尤显不足，风险识别和防范能力较弱 [ 14 ]。农村居民在金融知识方面上的认知不足，导致会对这方面有些抵触。 政府可以通过加大投资力度，使得农村地区的信息化基础设施更加普及。同时也应该加大激励机制力度，鼓励贫困农村居民使用网络，使得收集这些贫困农户的金融信息和征信更加方便，对后续开展金融科技与扶贫更有帮助。政府还应当安排相关的金融科技普及计划，即通过广播、电视、线下宣讲等途径普及金融知识，宣传金融科技与扶贫的相关政策，开展农村消费数字技术知识普及以及提升金融素养的相关培训，强化农民金融科技相关理论认识，合理理财，寻找金融服务的能力，增强保护和风险防范意识，这样可以有效提升农村贫困户的脱贫意识。
system: [SYSTEM]

user: 5. 结论 综上所述，金融科技能助力扶贫工作和有效改善精准扶贫现存难点。同时，金融科技与普惠金融、农村供应链结合，大数据、区块链等高新技术的应用，探索新的扶贫模式。运用金融科技，可以一定程度上优化扶贫资源、降低扶贫成本和提升贫困户脱贫意识，助力精准扶贫。
system: [SYSTEM]

user: 摘 要 本文主要研究了从Finsler流形到Riemann流形的调和映射的梯度估计，并由此得到从弱Landsberg流形到Cartan-Hadamard流形的调和映射Liouville型定理。此外，我们还将这一定理推广至目标流形为正则球的情形。 关键词 :梯度估计，调和映射，Liouville型定理，Landsberg流形 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 1975年，丘成桐 [ 1 ] 建立了非负Ricci曲率完备Riemann流形上正调和函数的梯度估计，并给出了相应的Liouville型定理。之后，郑绍远 [ 2 ] 和H.I.Choi [ 3 ] 分别推导了从Ricci曲率有下界的完备Riemann流形到Cartan-Hadamard流形和正则球的调和映射的梯度估计，同时得到了相应的Liouville型定理。他们主要运用了Bochner技巧和最大值原理。 夏超 [ 4 ] 将Cheng-Yau [ 6 ] 在Riemann流形上调和函数的梯度估计推广到了Finsler流形。Ohata-Sturm [ 5 ] 研究了Finsler流形上的热方程全局解的梯度估计。莫小欢 [ 7 ] 定义了从Finsler流形到Riemann流形的调和映射并研究了它的第一变分公式。之后，Shen-Zhang [ 8 ] 计算了这类映射的能量泛函的第二变分公式。一个自然的问题是研究Finsler流形上这类调和映射的梯度估计和Liouville型定理。设M是Finsler流形，SM是其上的射影球丛，N是Riemann流形，光滑映射 φ : M → N 的能量为 E ( φ ) = 1 c ∫ S M 1 2 | d φ | 2 Π ， 我们称映射 φ 是调和映射，如果它是能量泛函E的极值点 [ 7 ]。它的张力场表示为： τ ( φ ) = t r a c e ∇ d φ + 〈 d φ ， J 〉 ∈ Γ ( φ * T N ) ， (1) 本文将推导 φ 的Bochner公式： 1 2 Δ H | d φ | 2 = | ∇ H d φ | 2 + 〈 ∇ H τ ( φ ) ， d φ 〉 + 〈 d φ ( R ˜ ) ， d φ 〉     − ∑ i ， j = 1 m R ^ ( d φ ( e i ) ， d φ ( e j ) ， d φ ( e i ) ， d φ ( e j ) ) − 〈 d φ ， ∇ J ⊗ d φ 〉 . 其中 R ˜ 是M上Riemann曲率张量R的对称化(具体见(6)式)， Δ H 是水平Laplacian。由于水平Laplacian具有极大值原理，因此我们可以将调和映射的梯度估计推广到Finsler流形上来。具体结果如下： 定理1 设 ( M ， F ) 是非紧的弱Landsberg流形满足 R ˜ ≥ − k 1 ， 其中 k 1 ≥ 0 ，设 ( N ， h ) 是Cartan-Hadamard流形。如果M上存在一个满足比较定理性质的正函数 r ∈ C 2 ( S M ) (具体见定义1)，那么任意限制在 Ω 2 R = { x ∈ M | r ( x ) < 2 R } 上的调和映射 φ : M → N 有如下梯度估计 max x ∈ Ω R | d φ | 2 ≤ ( C 1 R + k 1 ) b R 2 . (2) 其中 b R = 2 sup { ρ ∘ φ ( x ) | x ∈ Ω 2 R } ， ρ 是定义在 y 0 ∈ N 的距离函数，且 C 1 由r决定。 我们称调和函数 φ 满足次线性增长条件，如果 lim R → + ∞ ¯ 1 R sup { ρ ∘ φ ( x ) | x ∈ Ω 2 R } = 0 ， 由定理1，我们可直接得到如下的Liouville型定理： 定理 2设 ( M ， F ) 是非紧的弱Landsberg流形满足 R ˜ ≥ 0 ，设 ( N ， h ) 是Cartan-Hadamard流形。如果M 上存在一个满足比较定理性质的正函数 r ∈ C 2 ( S M ) ，那么任意满足次线性增长条件的调和映射 φ : M → N 必定是常值映射。 当目标流形具有正截面曲率时，我们也可以得到类似梯度估计。设N是Riemann流形且截曲率有上 界 k 2 ， k 2 ≥ 0 ，若 落在 y 0 ∈ N 的割迹之内且 D < π 2 k 2 ，则我们称 B D ( y 0 ) 是Rieman流形N的正则球，当 k 2 = 0 时，我们要求 D < + ∞ 。 定理3 设 ( M ， F ) 是非紧的弱Landsberg流形满足 R ˜ ≥ − k 1 ， 其中 k 1 ≥ 0 。设N是Riemann流形且截曲率有上界 k 2 ， k 2 ≥ 0 ， B D ( y 0 ) 是N的正则球。如果M上存在一个满足比较定理性质的正函数 r ∈ C 2 ( S M ) ，那么任意限制在 Ω 2 R = { x ∈ M | r ( x ) < 2 R } 上的调和映射 φ : M → B D ( y 0 ) 有 max x ∈ Ω R | d φ | 2 ≤ C 2 ( k 1 + 1 R ) . (3) 其中 C 2 由r， k 2 和D决定。 进而，由定理3我们得到相应的Liouville型定理： 定理4 设 ( M ， F ) 是非紧的弱Landsberg流形满足 R ˜ ≥ 0 。如果M上存在一个满足比较定理性质的正函数 r ∈ C 2 ( S M ) ，那么从M到正则球的调和映射必是常值映射。
system: [SYSTEM]

user: 3. 定理1的证明：目标流形是Cartan-Hadamard流形 设 ( M ， F ) 是非紧弱Landsberg流形且满足 R ˜ ≥ − k 1 ，其中 k 1 ≥ 0 ，设 ( N ， h ) 是Cartan-Hadamard流形。设函数r满足比较定理性质， Ω 2 R = { x ∈ M | r ( x ) < 2 R } ， ρ 是定义在 y 0 ∈ N 的距离函数。根据Hessian比较定理，可得 △ H ( ρ 2 ∘ φ ) ≥ 2 | d φ | 2 ， (22) 令 ψ 是一个光滑函数满足 ψ | [ 0 ， 1 ] ≡ 1 ，     ψ | [ 2 ， + ∞ ) ≡ 0 ，     − c | ψ | 1 2 ≤ ψ ′ ≤ 0 ，     | ψ ″ | < + ∞ 那么截断函数 χ ( x ) = ψ ( r R ) . (23) 满足 | d H χ | 2 χ ≤ C 4 R 2 ，     Δ H χ ≥ − C 4 R . (24) 为了估计 | d φ | 2 ，我们考虑辅助函数 F = | d φ | 2 b R 2 − ρ 2 ∘ φ . (25) 这里 b R = 2 sup { ρ ( φ ( x ) ) | x ∈ Ω 2 R } 。设 x 0 是函数 χ F 在区域 Ω 2 R 内的最大值点，则结合引理2在 x 0 我们有 0 = d H ln ( χ F ) = d H χ χ + d H | d φ | 2 | d φ | 2 + d H ( ρ 2 ∘ φ ) b R 2 − ρ 2 ∘ φ . (26) 0 ≥ − | d H χ | 2 χ 2 + Δ H χ χ + Δ H | d φ | 2 | d φ | 2 − | d H | d φ | 2 | 2 | d φ | 4 + Δ H ( ρ 2 ∘ φ ) b R 2 − ρ 2 ∘ φ + | d H ( ρ 2 ∘ φ ) | 2 ( b R 2 − ρ 2 ∘ φ ) 2 . (27) 因为N是Cartan-Hadamard流形，并利用引理6 (此时 k 2 = 0 )，我们有 Δ H | d φ | 2 | d φ | 2 ≥ | d H | d φ | 2 | 2 2 | d φ | 4 − 2 k 1 ， (28) 将(28)式代入(27)式，可得 0 ≥ − | d H χ | 2 χ 2 + Δ H χ χ − | d H | d φ | 2 | 2 2 | d φ | 4 − 2 k 1 + Δ H ( ρ 2 ∘ φ ) b R 2 − ρ 2 ∘ φ + | d H ( ρ 2 ∘ φ ) | 2 ( b R 2 − ρ 2 ∘ φ ) 2 . (29) 利用(26)式和Cauchy不等式，我们有在 x 0 处 | d H | d φ | 2 | 2 | d φ | 4 = | d H χ χ + d H ( ρ 2 ∘ φ ) b R 2 − ρ 2 ∘ φ | 2 ≤ 2 | d H χ | 2 χ 2 + 2 | d H ( ρ 2 ∘ φ ) | 2 ( b R 2 − ρ 2 ∘ φ ) 2 ， (30) 应用上式和(22)式，(29)式可化为 0 ≥ Δ H χ χ − 2 | d H χ | 2 χ 2 + 2 | d φ | 2 b R 2 − ρ 2 ∘ φ − 2 k 1 ， (31) 两边同乘以 1 2 χ ，并结合F的定义，以及 χ 的估计(24)，我们可得在 x 0 处 ( χ F ) ( x 0 ) ≤ C 1 R + k 1 . (32) C 1 依赖于r。于是 max x ∈ Ω R F ( x ) ≤ χ F ( x 0 ) ≤ C 1 R + k 1 ， (33) 证毕。
system: [SYSTEM]

user: 4. 定理3的证明：目标流形是正则球 设 是非紧弱Landsberg流形满足 R ˜ ≥ − k 1 ，其中 k 1 ≥ 0 ，设 B D ( y 0 ) 是Riemann流形 N的正则球且截曲率有上界 k 2 ，其中 k 2 ≥ 0 。设函数r满足比较定理性质， Ω 2 R = { x ∈ M | r ( x ) < 2 R } ， ρ 是定义在 y 0 ∈ N 的距离函数。令 σ = { 1 − cos ( k 2 ρ ) k 2               k 2 > 0 ρ 2 2                                               k 2 = 0 根据Hessian比较定理，在 上，可得 H e s s ( σ ) ≥ ( cos k 2 ρ ) h ， (34) 调和映射 φ : M → N 满足 φ ( M ) ⊂ B D ( y 0 ) ，由复合映射求导法则易知， Δ H ( σ ∘ φ ) ≥ ( cos k 2 ρ ) | d φ | 2 . (35) 因为 D < π 2 k 2 ，所以存在依赖于D和 k 2 的常数b和 C 5 使得 2 cos k 2 ρ b − σ ∘ φ − 2 k 2 ≥ C 5 ， (36) 考虑辅助函数 F = | d φ | 2 ( b − σ ∘ φ ) 2 ， 令 χ 是由(23)式定义的截断函数。设 x 0 是函数 χ F 在 Ω 2 R 内的最大值点，则结合引理2，在最大值点 x 0 我们有 0 = d H ln ( χ F ) = d H χ χ + d H | d φ | 2 | d φ | 2 + 2 d H ( σ ∘ φ ) b − σ ∘ φ . (37) 0 ≥ − | d H χ | 2 χ 2 + Δ H χ χ + Δ H | d φ | 2 | d φ | 2 − | d H | d φ | 2 | 2 | d φ | 4 + 2 Δ H ( σ ∘ φ ) b − σ ∘ φ + 2 | d H ( σ ∘ φ ) | 2 ( b − σ ∘ φ ) 2 . (38) 由引理6可知 Δ H | d φ | 2 | d φ | 2 ≥ | d H | d φ | 2 | 2 2 | d φ | 4 − 2 k 1 − 2 k 2 | d φ | 2 ， (39) 利用上式，(38)式可化为 0 ≥ − | d H χ | 2 χ 2 + Δ H χ χ − 2 k 1 − 2 k 2 | d φ | 2 − | d H | d φ | 2 | 2 2 | d φ | 4 + 2 Δ H ( σ ∘ φ ) b − σ ∘ φ + 2 | d H ( σ ∘ φ ) | 2 ( b − σ ∘ φ ) 2 . (40) 从(37)式可知 | d H | d φ | 2 | 2 | d φ | 4 ≤ | d H χ | 2 χ 2 + 4 | d H χ | | d H ( σ ∘ φ ) | χ ( b − σ ∘ φ ) + 4 | d H ( σ ∘ φ ) | 2 ( b − σ ∘ φ ) 2 ， (41) 将(35)，(41)式代入(40)式，可得 0 ≥ − 3 | d H χ | 2 2 χ + Δ H χ − 2 χ k 1 − 2 χ k 2 | d φ | 2 + 2 χ ( cos k 2 ρ ) | d φ | 2 b − σ ∘ φ − 2 | d H χ | | d H ( σ ∘ φ ) | b − σ ∘ φ ， (42) 利用(24)式和 | d H ( σ ∘ φ ) | ≤ | d φ | k 2 ，(42)式可化为 0 ≥ − 3 C 4 2 R 2 − C 4 R − 2 k 1 − 2 C 4 R k 2 1 b − σ ∘ φ χ 1 2 | d φ | + C 5 ( χ 1 2 | d φ | ) 2 . (43) 利用一元二次方程解的估计 [ 3 ]，在 x 0 处我们有， χ | d φ | 2 ≤ C 6 ( k 1 + 1 R ) ， 于是 max x ∈ Ω R F ( x ) ≤ χ ( x 0 ) | d φ | 2 ( x 0 ) ( b − σ ∘ φ ( x 0 ) ) 2 ≤ C 7 ( k 1 + 1 R ) . (44) 其中 C 7 依赖于 r ， k 2 ， D 。由上式可立即推出(3)。
system: [SYSTEM]

user: 摘 要 在形式化验证领域，EUF公式的活性编码判定过程解决某些问题具有实际的优势，判定组合理论时，该方法选择将其归约为命题公式，更易于求解。本文以寻找高效的EUF公式的活性编码判定过程为目的，研究了一个活性编码方法，即通过Ackermann归约算法以及基于非极性等式图的归约算法，将EUF公式归约为等可满足性的命题公式。为了简化这一方法的实现进程，本文基于C++语言编写的DP LIB 库，根据上述算法添加程序并成功编译于Linux系统，可以调用它更快的求解EUF公式。 关键词 :EUF公式，Ackermann归约，等式图 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 在形式化验证领域，带未解释函数的等式逻辑公式(EUF)的判定过程得到了广泛的应用，很多实际问题可以建模成EUF公式的可满足性判定问题，例如：电路的等价性验证、程序的等价性验证、编译的转换有效性验证等 [ 1 ] [ 2 ] [ 3 ]。 到目前为止，针对EUF公式的可满足性求解问题，它的判定过程大体上分为两类：惰性编码(lazy encoding)和活性编码(eager encoding)。惰性编码判定过程是目前SMT领域内的主流方法，该方法基于SAT求解器与理论求解器之间的相互作用，并且理论求解器仅仅在需要时被引入，目的是检测理论文字集的可满足性。对EUF公式而言，该方法的主要思想是：首先找到满足公式命题结构的赋值，然后根据理论验证这些赋值。这种方法的缺点是，满足公式命题结构的赋值的数量在公式的大小上可能是指数级的，当理论求解器需要被调入时，可能会遇到瓶颈 [ 4 ] [ 5 ]。 基于活性编码判定EUF公式，可以避免遇到这种情况。因为它不依赖于SAT求解器和理论求解器的交替使用，而是将一个理论公式归约成一个等可满足性的命题公式，仅仅使用SAT求解器判定该命题公式的可满足性即可判定原始公式的可满足性。这个方法的好处在于，它可以充分地利用高效的SAT求解器，不用针对EUF理论去开发特定的理论求解器。 活性编码方法是早期SMT领域内的主要方法，主要包括：per-constraint方法 [ 6 ] 和small-domain instantiation方法 [ 7 ]。一个高效的将EUF公式归约为命题公式的方法，不仅能够提高其求解效率，还能够将它与命题逻辑级的其他理论整合在一起 [ 8 ] [ 9 ] [ 10 ]。该方法的求解效率依赖于EUF公式归约为命题公式的效率和SAT求解器自身的效率。因此寻找一个好的活性编码方法对EUF公式的求解至关重要。 为验证EUF公式的可满足性，本文给出了一种高效的活性编码判定方法，首先消去公式中的未解释函数，依靠函数的共同属性——函数一致性，在第二节主要介绍把判定EUF公式归约为判定等式公式的Ackermann归约算法，这个方法通过增加一些约束来加强函数一致性。然后消去公式中的等式谓词，依靠等式的传递性，在第三节提出基于非极性等式图将等式逻辑公式归约为命题逻辑公式的算法。最后，在DP LIB 库 1 的基础上，添加实现上述算法的C++程序，并成功在Linux系统上编译，可以调用它更快的求解EUF公式。
system: [SYSTEM]

user: 2. Ackermann归约 本节研究的是将EUF公式归约为等可满足性的等式公式的方法。首先，通过一个例子简要介绍EUF公式， x = y ∧ G ( F ( x ) ) = G ( y ) 是一个EUF公式，其中x和y是无限数域上的变量，F和G是未解释函数， x = y 和 G ( F ( x ) ) = G ( y ) 是原子公式。然后，给出EUF公式的语法定义。 定义 2.1. 带未解释函数的等式逻辑公式(EUF)的语法定义如下： 公式：公式Ù公式 | Ø公式 |(公式)| 原子 原子：项 = 项 | 谓词符号(项列表) 项：标识符 | 函数符号(项列表) 给定一个EUF公式，通常用 φ U F 表示。其中，标识符是定义在一个无限数域上的变量。 为验证EUF公式的有效性，本文提到了Ackermann归约算法，该方法将判定该公式归约为判定等式逻辑公式，其中涉及一个重要的内容，即函数一致性规则：同一个函数的不同实例参数相等时，则返回相等的函数值 [ 11 ]。 为消去EUF公式中的未解释函数，Ackermann归约对公式添加了明确的约束，目的是加强函数一致性。该算法读到了一个EUF公式 φ U F ，验证该公式是否有效，下面把它转化为一个等式公式 φ E ，如下所示： φ E : = F C E ⇒ f l a t E ， (2.1) 其中， F C E 是函数一致性约束的合取式， f l a t E 是 φ U F 的扁平化公式，公式中每一个函数实例用一个新变量来替换。 根据输入的公式做出一些假设：该公式只含有一个未解释函数且单参，并且不存在有相同参数值的两个函数实例。然后，给出简化的Ackermann归约算法。 例 2.2. 考虑公式， ( x = y ) ∨ ( F ( x ) ≠ F ( y ) ) ∨ ( F ( x ) = F ( z ) ) ， (2.2) 使用算法2.1将该公式归约为等式公式。 观察该公式，假设从左到右依次找到关于F的函数实例，并且将索引赋给它们，根据这个步骤可以计算出 f l a t E 和 F C E ，如下： f l a t E : = ( x = y ) ∨ ( f 1 ≠ f 2 ) ∨ ( f 1 = f 3 ) ， (2.3) F C E : = ( x = y ⇒ f 1 = f 2 ) ∧ ( x = z ⇒ f 1 = f 3 ) ∧ ( y = z ⇒ f 2 = f 3 ) . (2.4) 当且仅当等式公式(2.1) φ E 有效，原始EUF公式(2.2)是有效的。 对于更为复杂的EUF公式而言，如何通过Ackermann归约算法将它们归约为等式公式，接下来给出两个例子，展示该算法的扩展应用过程： 例 2.3. 给定公式： ( ( x = v ∧ y = F ( x ， v ) ∧ z = F ( y ， v ) ) ∧ w = F ( F ( v ， v ) ， v ) ) ⇒ z = w . (2.5) 用对应的项变量替换每一个函数实例，计算出 f l a t E ： f l a t E : = ( ( x = v ∧ y = f 1 ∧ z = f 2 ) ∧ w = f 4 ) ⇒ z = w . (2.6) 计算出函数一致性约束的合取式，即： F C E : = ( ( x = y ∧ v = v ) ⇒ f 1 = f 2 ) ∧ ( ( x = v ∧ v = v ) ⇒ f 1 = f 3 )       ∧ ( ( x = f 3 ∧ v = v ) ⇒ f 1 = f 4 ) ∧ ( ( y = v ∧ v = v ) ⇒ f 2 = f 3 )       ∧ ( ( y = f 3 ∧ v = v ) ⇒ f 2 = f 4 ) ∧ ( ( v = f 3 ∧ v = v ) ⇒ f 3 = f 4 ) . (2.7) 最后，等式公式为 F C E ⇒ f l a t E ，接下来验证它的有效性。 上面这个例子展示了，对于多参数函数如何来扩展这个归约法：仅当一对函数实例的所有参数都成对相等时，返回相等的函数值。 事实上读者可以观察到这些约束中的大多数是多余的，公式的有效性仅仅取决于 F ( x ， v ) 与 F ( v ， v ) ，和 F ( y ， v ) 与 F ( F ( v ， v ) ， v ) 这两对函数实例是相等的。因此，在(2.7)式中，只有第二个和第五个约束是必要的。实践中，这样的观察是有必要的，因为函数一致性约束的数量以平方式增长可能会成为一个瓶颈。在这种情况下，通常是在检测公式的有效性之前检测出能够在多项式时间内被移除的比较大的约束集，这种方法的更多细节参考文献 [ 12 ]。 例 2.4. 检测公式的有效性： x = y ⇒ F ( F ( G ( x ) ︷ g 1 ) ︸ f 1 ) ︸ f 2 = F ( F ( G ( y ) ︷ g 2 ) ︸ f 3 ) ︸ f 4 . (2.8) 由内而外将索引赋给函数实例，计算得： f l a t E : = x = y ⇒ f 2 = f 4 ， (2.9) F C E : = x = y ⇒ g 1 = g 2 ∧ g 1 = f 1 ⇒ f 1 = f 2                 ∧ g 1 = g 2 ⇒ f 1 = f 3 ∧ g 1 = f 3 ⇒ f 1 = f 4                 ∧ f 1 = g 2 ⇒ f 2 = f 3 ∧ f 1 = f 3 ⇒ f 2 = f 4                 ∧ g 2 = f 3 ⇒ f 2 = f 4 . (2.10) 最后，得： φ E : = F C E ⇒ f l a t E . (2.11) 从这个例子可以很清晰地看出，如何将Ackermann归约算法推广应用于多重未解释函数。 假设已经用Ackermann归约方法消去公式中的未解释函数，得到了一个等式公式。接下来，提出一个基于非极性等式图将等式逻辑公式归约到命题逻辑公式的方法。
system: [SYSTEM]

user: 3. 基于非极性等式图的归约 假设给出的等式公式是没有常量的否定范式(NNF)，记为 φ E ， A T ( φ E ) 表示 φ E 的原子集。 定义 3.1. 给定一个等式公式 φ E ，存在对应 φ E 的非极性等式图，是一个无向图 ( V ， E ) ，其中V中的节点对应 φ E 中的变量，E中的边对应 φ E 中的等式谓词 A T ( φ E ) ，用 G N P E ( φ E ) 表示。 非极性等式图是等式图的一个退化版本，因为它忽略了等式谓词的极性 [ 13 ] [ 14 ]。等式公式基于图方法归约到命题公式是由Bryant和Velev提出的一个判定过程 [ 15 ]。 给定一个等式公式 φ E ，由该公式产生两个命题公式 e ( φ E ) 和 B t r a n s ， φ E 是可满足的 ⇔ e ( φ E ) ∧ B t r a n s 是可满足的。(3.1) e ( φ E ) 和 B t r a n s 定义如下： 1) e ( φ E ) 是 φ E 的命题架， φ E 中形如 x i = x j 的每个等式谓词由一个新的布尔变量 e i ， j 来替换。举例， φ E : = x 1 = x 2 ∧ ( ( ( x 2 = x 3 ) ∧ ( x 1 ≠ x 3 ) ) ∨ ( x 1 ≠ x 2 ) ) . (3.2) 编码，得 e ( φ E ) : = e 1 ， 2 ∧ ( ( e 2 ， 3 ∧ ¬ e 1 ， 3 ) ∨ ¬ e 1 ， 2 ) . (3.3) 由此可见，如果 φ E 是可满足的，那么 e ( φ E ) 是可满足的。然而，其它情况是不成立的，比如在上述示例中，虽然公式(3.2)是不可满足的，但是它的编码(3.3)是可满足的，这是因为在编码过程中丢失了等式关系的传递。为了保持等可满足性，则需要添加一些约束，即 B t r a n s 。 2) B t r a n s 是一个蕴含合取式，被称为传递约束。每个蕴含合取式都与非极性等式图中的一个回路相关，一个具有n个边的回路，当其中 n − 1 个边被赋值为TRUE时， B t r a n s 禁止赋值FALSE给剩余的那个边。给每个回路中的每个边强加此约束是(3.1)成立的充分条件。 例 3.2. 在一个非极性等式图中，原子 x 1 = x 2 ， x 2 = x 3 ， x 1 = x 3 形成了一个具有3个边的回路。下面的约束充分满足了公式(3.1)中等式关系的传递性： B t r a n s = ( ( e 1 ， 2 ∧ e 2 ， 3 ⇒ e 1 ， 3 ) ∧ ( e 1 ， 2 ∧ e 1 ， 3 ⇒ e 2 ， 3 ) ∧ ( e 2 ， 3 ∧ e 1 ， 3 ⇒ e 1 ， 2 ) ) . (3.4) 然而，给每个回路增加n个约束并不实际，因为在一个给定的无向图上可能会存在指数式数量的回路。 定义 3.3. 回路中两个不相邻节点连成的边，被称为回路的弦。在给定的图中，一个没有弦的回路被称为无弦回路。 定理 3.4. 等式公式与编码后的命题公式等可满足性成立的充分条件是，在简单无弦回路上增加传递约束。 例 3.5. 考虑图1中的回路 ( x 3 ， x 4 ， x 8 ， x 7 ) ，该回路包含弦 ( x 3 ， x 8 ) ，因此，它不是无弦回路。假设赋TRUE给这个回路中除了 ( x 3 ， x 4 ) 的所有边。如果 ( x 3 ， x 8 ) 被赋值为TRUE，那么对简单无弦回路 ( x 3 ， x 4 ， x 8 ) 的赋值与传递性冲突。如果 ( x 3 ， x 8 ) 被赋值为FALSE，那么对简单无弦回路 ( x 3 ， x 7 ， x 8 ) 的赋值与传递性冲突。因此，在无弦回路上的约束足够阻止赋给包含一个弦的回路违反传递性的值。 图中简单无弦回路的数量在顶点数量内仍然可以是指数式的。因此，构造 B t r a n s 使其直接约束每个这样的回路在变量数量内都可以使这个公式的大小成为指数式的。有： 定义 3.6. 在一个给定的无向图中，只含有长度小于4的回路(无弦回路)，称之为弦图。 每个图形可以在多项式时间内以顶点数构成，由于弦图中唯一的无弦回路是三角形，这表示将定理3.4应用于这样的图形会导致在变量数量内的公式大小不超过三次方(为图中的每个三角形构造三个约束)。 图1. 左图是对应 φ E 的一个非极性无弦等式图，右图是它的一个可能的弦图 给定一个等式公式 φ E ，算法3.1的第二步构造出了对应 φ E 的非极性等式图，若该图是一个无弦图，则在第三步添加新弦将其弦化，使其成为一个弦图，在这个过程中新添加的弦用出现在 B t r a n s 但不在 e ( φ E ) 里的新变量来表示。 例 3.7. 图1描绘了使其弦化之前和之后的非极性等式图，用实边表示。图形弦化后，它包含四个三角形，因此， B t r a n s 包含了12个约束。例如，三角形 ( x 1 ， x 2 ， x 5 ) ，它的约束条件是 ( e 1 ， 2 ∧ e 2 ， 5 ⇒ e 1 ， 5 ) ∧ ( e 1 ， 5 ∧ e 2 ， 5 ⇒ e 1 ， 2 ) ∧ ( e 1 ， 2 ∧ e 1 ， 5 ⇒ e 2 ， 5 ) . (3.6) 图形弦化后，添加的弦用一个新的辅助变量 e 2 ， 5 表示，出现在 B t r a n s 里而不在 e ( φ E ) 里。
system: [SYSTEM]

user: 4. 结论 本文针对EUF公式的可满足性求解问题，给出了一种可实现的活性编码判定过程。DP LIB 库提供了部分基础程序，以简化该判定过程的开发。在这个基础上，添加有关活性编码算法的相关实现，并已于Linux系统中成功编译，加快了EUF公式的求解速度。但是本文中的两个算法中分别添加的函数一致性约束合取式与传递约束合取式的数量对求解效率可能有一定的阻碍，如何优化本文中的活性编码方法使其求解效率更高，还有待进一步地研究。
system: [SYSTEM]

user: 摘 要 开端计划项目是美国联邦政府以“处境不利儿童及家庭”作为资助对象的学前教育扶贫项目，该项目的主要特点包括：资助对象明确、服务内容丰富；协调各方力量形成教育合力；坚持教育公平与教育质量相统一；注重项目的协调与衔接。鉴于我国学前教育发展现状，有必要借鉴美国开端计划项目的成功经验，重视学前教育补偿，将学前教育纳入义务教育体系；有效调动政府、家庭、社区等力量，充分利用各种资源；建立绩效评价制度，加强对服务机构质量的监管；提高教师队伍质量，健全培养培训机制，更好地促进我国学前教育事业的发展。 关键词 :开端计划，学前教育，特点，启示 Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 学前期是儿童身心发展的关键时期，学前教育事业的良好发展也关系着社会秩序的稳定。美国开端计划项目正是以学前儿童作为资助服务对象，且重点关注贫困儿童及家庭，联邦政府和州政府为其提供教育、医疗、就业等方面的服务，保障儿童的受教育权益和帮助家长获得新的就业机遇，从而促进教育公平、维护社会稳定。考虑到当前我国学前教育发展滞后，区域发展不平衡，学前师资力量薄弱，教育经费投入不足等问题，有必要借鉴开端计划项目的有益经验，为我国学前教育事业的发展探索出一个富有活力的新思路。
system: [SYSTEM]

user: 2. 开端计划项目的起源与发展 开端计划项目是美国学前教育扶贫项目的一个子项目，它是一个联邦政府拨款资助的学前教育项目。20世纪60年代，美国贫困问题与种族矛盾形势愈加严峻，为了解决由于贫困引起的各种社会问题，平衡不同阶层在医疗、教育、社会福利等领域的发展，美国联邦政府发起了“向贫困宣战”的改革运动。但由于美国贫困代际传递现象非常严重，大多数儿童在学前期没有机会接受到优质的教育资源和公平的教育机会，导致辍学率、犯罪率等显著上升，影响儿童的身心发展，同时也给社会造成了负面影响。因此，美国开始重视学前教育的发展，鉴于地域经济发展不平衡、教育资源匮乏、师资力量薄弱等因素加剧了低收入家庭的教育负担，美国联邦政府于1964年8月通过《经济立法》，根据这项法律，美国推出了保障低收入家庭孩子受教育权利的一些具体项目，其中就包括开端计划。 开端计划于1965年开始实施，主要为贫困家庭的学前儿童提供教育与健康、社会活动、家长参与等服务，以满足儿童的教育、情感、社会、亲子关系等方面的发展需求，缩小他们与同龄儿童的差距，为他们适应小学生活奠定坚实基础，从而让他们有能力改变家庭经济状况，提高社会地位，逐步阻断贫困代际传递 [ 1 ]。在1970年至2000年这一段时间内，开端计划处于稳步发展阶段，美国联邦政府为了使开端计划充分展现活力，不断完善相关法律法规、创新管理模式、扩展服务项目。但在这一阶段，美国开端计划逐渐暴露出问题，诸如：贫困家庭的儿童学业成绩差、儿童保育与教育割裂、地方项目与公立学校在教学方法和课程实施模式上衔接不当等。为了解决这类问题，维护教育公平，2007年，美国参众两 院提出新的修订法案，意在从以下四方面进行改革：改革开端计划的管理模式，强化州政府的责任，由州负责开端计划，同时赋予家长参与开端计划的权力，继续保持开端计划政策委员会；加大财政投入力度，严格审查地方项目，保证开端计划项目的服务质量；提升贫困儿童的认知水平，提高他们的学业成绩；加强师资队伍建设；进一步增加服务对象的数量，如提高国家贫困线标准，扩大儿童参与，将居无定所的儿童也纳入计划范围 [ 2 ]。 经过美国联邦政府对开端计划项目的不断完善补充，该计划日益彰显其优势，使越来越多的弱势儿童从中获益，该计划已经服务了3500多万5岁以下的儿童及其家庭，不仅为贫困儿童提供了教育发展的机会，也为他们的家长提供了就业的新机遇，改善了家庭经济条件，同时培养了大批优秀的学前教师，显著提升了学前教育质量，同时减少了社会问题的发生，一定程度上保障了社会的和谐稳定。
system: [SYSTEM]

user: 3. 开端计划项目的主要特点 3.1. 资助对象明确、服务内容丰富 开端计划以“处境不利儿童及家庭”作为服务资助对象，为他们提供教育、健康、营养、家庭福利、亲子关系、社会适应等方面的综合性服务，主要目的是为弱势儿童提供学前教育补偿，发展他们的智力与社会适应能力，丰富他们的认知与情感体验，以促进弱势儿童的入学准备，使其获得公平的教育机会 [ 3 ]。同时为家长提供一定的教育培训，有利于家长自我价值的实现，改善家庭条件，逐步突破贫困代际循环怪圈。并且在开端计划相关法案中，对项目资助的对象也有明确的量化规定，如通过立法确立开端计划资助标准(确定官方贫困线、资助名额)，以确保贫困儿童及家庭享受到资助服务。 3.2. 协调各方力量形成教育合力，保障计划继续推行 由于美国学前教育普及化运动的发展，联邦政府设立了大量的州幼儿班，开端计划遭受巨大挑战，造成开端计划地方项目与州幼儿班在生源、资金、师资等方面产生激烈竞争，加上开端计划的各个地方项目服务质量参差不齐，开端计划项目遭受巨大打击。因此，开端计划采取应对措施，整合资源，首先与州幼儿班建立合作关系，协调各方力量资助贫困儿童，让儿童享受到优质的教育资源，同时缓解隔离问题；其次开端计划加强与家庭、社区的合作，在家庭合作方面，各州根据本州实际情况制定家庭合作条款，促使家长参与地方开端计划项目的制定与实施，增进家长对开端计划的认同与支持，也有助于项目质量的提高与继续推进，在社区合作方面，开端计划充分利用社区的人力、文化、地理位置等资源，开发出独具特色的服务项目，从而更好地融入社区文化，切实满足儿童及家庭的实际需求；再次开端计划调动社会各界积极参与项目捐赠，资助项目得以继续实施。 3.3. 坚持教育公平与教育质量相统一 开端计划经过不断改革创新，从一开始只强调社会公平逐步转向坚持公平与质量并重。美国联邦政府逐年增加对学前教育的财政投入，扩大了贫困儿童接受教育的机会，并且开端计划加强与学前教育机构(托儿所、早教中心等)的合作，让学前教育更多更好的惠及所有适龄儿童。同时美国联邦政府建立了绩效考核标准，严格审查开端计划的服务标准、财务支出、人事结构等，保证全国范围内的儿童享受到同等质量的服务。其次为了提升开端计划的服务质量，各州开始使用课堂评估系统(关注课堂师生互动，注重学生学习体验)、设立指定更新系统(联邦政府规定以五年为一个周期，对所有开端计划项目进行资质审查，以保证机构服务质量)和修订《开端计划项目执行标准》，进而不断提高学前教育质量。 3.4. 促进教师专业发展，提升整体素质 在开端计划早期实施过程中，项目中的雇佣教师大多数是本社区的居民，一定程度上造成教育质量低下，开端计划项目管理者开始逐渐意识到教师质量关乎教育质量。因此联邦政府于2007年颁布了《开端计划入学准备促进法》 [ 4 ]，规定开端计划中的教师至少有一半获得教育学士学位及以上，并将开端计划参与教师划分为四类，即学前教师、教学协调员、教学助理和指导教师，规定了相应的学历要求和划分了工作内容；其次联邦政府拨付给各州技术援助资金，用于教师专业培训和教师福利待遇提高，同时各州建立国家三级培训和技术支持系统，设立教师专业发展评估系统，如CDA证书质量评估、现场督查、师生课堂互动评估等 [ 5 ]，目的在于提高师资队伍质量，为儿童及其家庭提供高质量服务。 3.5. 注重项目的协调与衔接 开端计划注重协调同年龄阶段项目，联邦政府除了开端计划以外，还有上百个学前教育扶贫项目，其中有些项目的目标与内容与开端计划相似，为了避免资源重合浪费，开端计划加大与其他扶贫项目的合作力度，如与儿科协会、定期幼儿医疗检查项目合作；开端计划注重衔接不同年龄阶段的项目，首先开端计划分为“早期开端计划”(面向0~3岁)和开端计划(面向3~5岁)，这两个计划衔接了从孕妇、婴儿到学前儿童整个阶段的服务。其次，开端计划的目的是为贫困儿童做好入学准备，因此它强调衔接儿童的义务教育阶段，巩固开端计划的效果，保证儿童继续接受教育，如要求开端计划安排家长和社区服务机构做好儿童的入学过渡工作，确保儿童在学前期的记录转移至小学，保证儿童学习发展的连续性。
system: [SYSTEM]

user: 4. 开端计划项目对我国学前教育发展的启示 4.1. 重视学前教育补偿，将学前教育纳入义务教育体系 学前期是儿童身心发展的关键时期，对这一阶段的儿童进行及时教育至关重要。由于我国学前教育区域发展不平衡，教育资源与师资匮乏且大多数向发达地区倾斜，加上国家对学前教育的经费投入不足且学前教育管理体系不完善，造成我国学前教育发展劲头不足，特别是中西部及贫穷地区的儿童无法享受到优质的教育资源，因此进行学前教育补偿至关重要 [ 6 ]。鉴于美国开端计划取得的显著成效，我国可以借鉴其经验，加大对贫困儿童及家庭的财政投入，健全监管机制和评估机制，保证实施效果；可通过立法不断提高学前教育的普及程度，让每一位适龄儿童及时接受到教育，并将学前教育纳入公共服务体系，实施免费学前教育。 4.2. 有效调动政府、家庭、社区等力量，充分利用各种资源 发展学前教育需要社会各方力量的参与和支持。政府在学前教育发展过程中处于领导地位，一方面给予财政支持和立法保障，另一方注重协调各方力量的积极参与，鼓励私人盈利性机构或非营利性机构、慈善机构等创办优质的学前教育机构，以缓解“入园难、入园贵”的困境。其次在开端计划中，社区发挥着重要作用，它被视为连接家庭与早期保教服务机构的“连接器”，因此我国应充分利用社区的人力、财力与特色文化资源，并加强与家庭、幼儿园间的合作，建立起更多有质量保证的早期教育机构，普惠到每个低收入家庭。再次在开端计划中，充分重视家长的参与，并且让家长获得学习与职业发展的机会，因此，应重视家长的作用，让家长承担起教育儿童的必要责任，体现在为低收入家庭提供科学的教养方法、给家长提供育儿技巧、亲子互动经验、读写能力、职业生涯规划等方面的指导培训，并重视父亲角色，鼓励父亲参与幼儿教育 [ 7 ]。 4.3. 建立绩效评价制度，加强对服务机构质量的监管 我国应建立起监管学前教育经费使用情况的绩效评价制度，针对有些地方服务机构常年财政赤字和服务质量低下的情况，必须通过地方政府审查才可继续获得经费支持，另外可以设立奖金，奖励优秀的地方服务机构；同时中央政府应根据实际情况，考虑特定的政策性目标，经费投入向农村地区及中西部地区倾斜，给予这些地区一定的政策优惠 [ 8 ]；同时在政府的经费支出中，可以留出质量改善专款，用于改善儿童学习环境、提高教师福利待遇、交通设施完善等，进而提高服务机构质量，还要加强学前教育经费使用情况的监管力度，杜绝腐败现象的发生。 4.4. 提高教师队伍质量，健全培养培训机制 教师质量一定程度上关系着学前教育发展质量，高素质的幼儿教师可以促进幼儿身心和谐发展。当前我国学前教育师资力量相对薄弱，大多数高学历教师集中在沿海等发达地区，内陆及贫穷地区设施落后，生活环境差，福利待遇低，且幼儿教师学历低、年龄大、能力薄弱、观念落后，种种都不利于幼儿的成长发展。因此要提高幼儿教师队伍质量，首先，在高校设置学前教育专业，增加招生数量，健全相应设施设备，可与发展相对落后的地区建立合作关系，向其输入高质量人才，同时提高教师基本工资，保障教师福利待遇，解决好他们的编制问题，提升他们的幸福感，让教师愿意留在贫困地区帮助弱势儿童及家庭；其次健全教师培训机制，可在地方政府建立教师培训和技术援助中心，地方政府也可联合当地高校、幼儿园建立学前教师专业发展学校，对新兴教师进行系统培训，提高其素质，从而保障学前教育发展质量。
system: [SYSTEM]

user: 摘 要 孔径及孔径分布是多孔材料的重要性质之一，通过介绍包括Barrett-Joyner-Halenda (BJH)法、Horvath-Kawazoe (HK)法、Saito-Foley (SF)法和NLDFT (非定域密度泛函理论)多种孔径分析的理论模型，总结了每种模型的优缺点及适用条件。结果表明，BJH法只能适用于分析柱状的介孔材料(5 nm < 孔径 < 50 nm)；HK法只适用于分析含狭缝孔的微孔活性炭材料；SF法适用于根据氩气吸附等温线分析圆柱型微孔材料；NLDFT法不仅适用于分析微孔材料的孔径分布，还可以分析微介孔复合材料孔径分布，具有更广的应用范围及前景。 关键词 :孔径分布，多孔材料，BJH，HK，SF，NLDFT Copyright © 2020 by author(s) and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/
system: [SYSTEM]

user: 1. 引言 多孔材料是指具有一定尺寸和数量的孔隙结构的材料，按照孔隙的开放程度可以分为闭孔和开孔。近些年研究较多的多孔材料主要有分子筛、活性炭、陶瓷材料和有机高分子材料(MOF和COF)等。纳米多孔材料在催化和分离上已经得到广泛应用 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ]，另外在光电转化 [ 6 ] 、电磁学应用领域也得到了发展 [ 7 ] [ 8 ] [ 9 ]。 孔径分布是表征多孔材料很重要的一个参数。依据国际纯粹和应用化学联合会(IUPAC)的定义，根据多孔固体材料孔径(d)的大小可以把多孔材料分为三种类型：微孔材料(d < 2 nm)，介孔材料(2 nm < d < 50 nm)和大孔材料(d > 50 nm)。容量法气体吸附法是孔径分析必不可少的手段，是在恒定温度下通过连续收集不同压力下材料吸附气体的体积，最终形成压力–体积的吸附等温线，并在假设的或理想化的材料孔型基础上对等温线进行后期数学分析，从而推算出孔径分布的复杂分析方法 [ 10 ]。若要保证孔径分析结果的准确性，首先要保证吸附等温线测定的准确性，其次，还需要使用者根据样品孔形和理论模型特点来综合分析多孔材料的孔径分布。因此，需要对孔径分析的理论模型有清楚的理解，才能针对不同样品选择合适的分析方法。现有文献中孔径分析模型的选择几乎都是千篇一律的，介孔材料用BJH法分析，微孔材料用HK或者DFT分析，缺乏根据材料特性选择合适模型的研究，导致孔径分析的误差有所提高。 本文从理论基础、适用条件、应用实例等方面介绍孔径分析的各个理论模型，并且探讨如何根据多孔材料选择合适的模型分析孔径。该研究可以为多孔材料孔径分析模型的选择提供选择依据，有利于减小分析误差。