쿐놡>￾ UကW￾￿T￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿ꗬÁ怣Љ勰¿က؀㰈橢橢⹜⹜ࠄ串䐾䐾࿫￿￿￿¤ԈԈԈԈԈԈԈԜᓤᓤᓤ8ᔜ\ᕸ4Ԝ∦Šᖸᖸᗈᗈᗈᗈᗈᗈ↙↛↛↛↛↛↛$⎆ɨ◮X↿!Ԉᗈᗈᗈᗈᗈ↿ԈԈᗈᗈ⇠ᤠᤠᤠᗈƐԈᗈԈᗈ↙ᤠᗈ↙ᤠᤠVᾝ@ԈԈ⁡ᗈᖬ ⢠ᨣLJᓤ᝘Ā῝ ↙⇶0∦Ῡx♆ᡘd♆⁡♆Ԉ⁡ĸᗈᗈᤠᗈᗈᗈᗈᗈ↿↿ᢼdᗈᗈᗈ∦ᗈᗈᗈᗈԜԜԜ৤ༀפԜԜԜༀԜԜԜԈԈԈԈԈԈ￿￿Č附件： 重大研究计划“可信软件基础研究” 2007年度项目指南 本重大研究计划的宗旨是：以国家关键应用领域中软件可信性问题为主攻目标，分析、研究和解决相关明升体育app问题，在嵌入式软件和网络应用软件中开展示范应用，为改善国家重大工程中的软件可信性提供明升体育app支撑。 一、明升体育app目标 针对国家信息化发展和重大工程应用对可信软件的战略需求，采用理论研究和实证研究相结合的方法，揭示软件可信和环境可信失效、度量和演化的基本规律，建立可信软件及其环境构造与验证、演化与控制的方法和关键技术体系，研究可信软件开发工具和运行支撑平台及环境，并在典型的嵌入式软件和网络应用软件中进行验证和示范，促进软件从传统的单一度量理论到综合性的可信度量理论及其构造方法的集成升华，提高我国在可信软件领域的原始创新能力和国际影响力，为国家相关重大计划和工程的可信软件研发提供明升体育app支撑，培养一批高水平的研究人才，促进我国软件明升的崛起和发展。 二、核心明升体育app问题 本重大研究计划将围绕以下4个核心明升体育app问题组织实施：（一）软件可信性度量、建模与预测 1. 软件可信性度量 研究软件缺陷与可信性的内在联系、软件缺陷预测和缺陷分布规律；研究多维可信属性的多尺度量化指标系统、度量和评估机制及测评体系；研究可信属性之间的交互关系及可能的涌现特征，包括多个属性/综合属性的局部/全局相容与失配等；建立可信软件度量的技术标准或管理标准方案。 2. 软件可信性的演化与预测 研究软件可信性相关数据的收集、分析和知识挖掘方法；研究软件在环境和自身演化下可信性的演化规律，以及软件在线演化的基础理论；研究基于软件行为的软件可信性增长和面向威胁的在线评估与预测理论。 3．可信软件的风险及过程管理 研究可信软件明升m88周期的风险识别、评估、管理和控制模式及方法；研究可信软件过程的属性和度量框架以及相应的量化控制和度量评估方法；研究适应分布性、敏捷性和过程资产复用性等需求的可信软件过程建模、定制、仿真和优化方法；研究可信软件中“人-信息系统”交互作用及优化机理。 （二）可信软件的构造与验证 1. 可信软件的程序理论与方法学 研究软件行为可信特征空间的概念模型及形式化体系，包括程序的近似和渐近正确性理论，以及刻画软件的近似可信性与演化可信性理论；针对可信软件形态的多样性、动态性和协同性，特别是数据与控制同时动态变化的新特征，研究网络环境下的可信软件系统形式化模型；研究软件系统集成的基础理论以及对可信性的影响的推理基础；从风险和病态角度，研究可信约束下的软件病态特征提取技术、软件病态及环境间的关系，以及相应的预测理论与控制方法；建立可信软件全周期开发方法学。 2. 可信软件的需求工程 研究面向可信性的需求分析方法；研究基于社会的可信模型的需求工程方法；研究风险分析和可信性分析技术；研究软件可信性的性质获取与形式规约；研究多维异质非功能需求的冲突消解与完整性表述方式；探索基于领域知识的可信性分析方法和理论。 3. 可信软件设计、构造与编译 研究可信软件设计的系统化明升体育app体系，包括基于构件的可信软件的建模、构造方法与代码生成技术，面向服务的可信软件的建模、构造方法与代码生成技术，基于“面向方面技术”的可信软件的构造方法和代码生成技术；研究支持软件自演化的可信软件体系结构；研究可信程序设计的基础要素和语言设计，以及可信编译技术；研究算法可信性度量和可信算法设计的数学基础，针对典型明升体育app计算问题，研究误差可控计算的基础算法等。 4. 可信软件的验证与测试 研究复杂环境下嵌入式软件和开放环境中网络软件的形式建模和分析技术，以及可信软件的模型自动抽取技术；研究多层次可信软件可扩展形式验证方法和错误定位方法；研究面向可信性的测试策略和基于控制理论的自适应测试方法；研究基于模型和规约的可信软件测试技术；研究可信软件验证与测试的集成方法，以及基于测试和验证数据的可信性评估和预测方法。 （三）可信软件的演化与控制 1. 可信软件运行监控机理 研究软件运行时环境变化和软件变化对可信性的影响；研究复杂开放环境下基于运行监控的可信软件模型和体系结构；研究面向可信软件演化特性的软件运行监控与保障机制。 2. 软件可信性动态控制方法 研究软件运行时的行为监控与可信性监测、诊断、恢复方法，以及基于虚拟化环境软件系统故障范围控制和快速恢复方法与机制，包括基于动态控制更改的可信软件运行的自主管理机制和代码热维护关键技术、多维度监控的关注点分离技术，以及基于运行监控的可信性动态评估机制；研究网络计算环境的高可信支撑软件技术。 （四）可信环境的构造与评估 1. 可信环境的数学理论与信任传递理论 研究支持可信计算的数学模型、形式化模型，构建可信计算的理论体系；研究可信网络计算的形式化模型，形成完整性保护的理论体系；研究信任链的建立与信任的传递机理，重点研究支持信任链建立与扩展的无干扰模型。 2. 可信计算环境构造机理及方法 研究基于可信硬件层灵活扩展信任边界的体系结构，以及可信计算平台的完整性收集、度量、验证的体系结构和网络连接与认证的体系结构；研究可信计算与虚拟技术结合的新型可信虚拟平台架构，重点探索基于可信平台模块的虚拟平台安全体系结构以及可信平台模块的虚拟化技术；研究可信的安全多方计算环境的构造方法。 3. 可信计算环境测评 研究适用于可信计算平台的安全评估模型；研究可信平台模块协议检测方法，包括可信计算平台安全功能测试、标准符合性测试、穿透性测试等技术，对认证、授权和平台证明协议的正确性、安全性和性能的验证提供支持。 三、可信软件开发与运行保障的集成؀ࠈࠔࠖࠦࠨ࠾ࡂंऄऒତଦଶ폫ꚾ펾綑呩䁽+ᔩ⵨Ṅᘀ乨瘮㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ쨑ᘀ䭨譆䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔩ뭨崕ᘀ뭨崕㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ쨑ᘀ뭨崕䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ쨑ᘀ쨑䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘨ뭨崕䌀⁊䬀H伀͊倀͊儀͊尀脈䩞䩡⡯ᔮ쨑ᘀ쨑䌀⁊䬀H伀͊倀͊儀͊尀脈䩞䩡⡯ᘨ䙨㽲䌀⁊䬀H伀͊倀͊儀͊尀脈䩞䩡⡯ᔮ뭨崕ᘀ뭨崕䌀⁊䬀H伀͊倀͊儀͊尀脈䩞䩡⡯ᘨ昤䌀⁊䬀H伀͊倀͊儀͊尀脈䩞䩡⡯ഁ؀ࠈࠪࡀࡂऄऒଦସ஌஢ದೄöä픀Æ뜀Æꠀ‹簀m簀ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧㡷¥ᄀ媄ሂ⁤þ䜀$䑗È葠ɚ摧᭶ ༀ뾄ᄁ隄ሀ⁤þጀ鲤᐀鲤䜀$䑖Õ䑗2䑘2䑙2葞ƿ葠–摧㾚@ᄀ媄ሂ౤þ䜀$䑗È葠ɚ摧䐭ᄀ媄ሂ౤þ䜀$䑗È葠ɚ摧ᖻ]ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧ᇪÊ฀萑Ȝ搒︌⑇䠀$葠Ȝ摧ᖻ]ᄀ␃ᄁᲄሂ౤þ䜀$⑈怀ᲄ愂Ĥ摧ᖻ] ሀ桤ā䜀$摧ⓤfఀ؀㯖㰆﻾Ăȁଶସ୪୰ஊ஌ஒ஠஢ತದಬೂೄൾ඀�껃飃沂䑘芘塬3ᘡ睨ꔸ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ睨ꔸᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ睨ꔸᘀ睨ꔸ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔪ睨ꔸᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ睨ꔸᘀ睨ꔸ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ癨‛ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔩ驨䀿ᘀ睨ꔸ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ驨䀿ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ쨑ᘀ쨑䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔦ⵨Ṅᘀ乨瘮㔀脈䩃䩏䩐䩑࡜憁Ṋༀೄ඀ඞ຦ໂ໤ႜႶᆘᆸጺፖᒜᒸᓔè�Ê대¤销†销¤销†销³ꐀᄀ媄ሂ⁤þ䜀$䑗È葠ɚ摧晇 ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧晇 ᄀ媄ሂ⁤þ䜀$䑗È葠ɚ摧᭶ ᄀ媄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠ɚ摧㾚@ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧㡷¥ᄀ媄ሂ⁤þ䜀$䑗È葠ɚ摧㡷¥ᄀ墄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠ɘ摧㡷¥฀඀඄ගඞ຦ຬເໂ່໢໤ႚႜႢႴႶᆖퟭ쏭馮莮坭㉃涃䍗ᘡ䝨ꁦ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ䝨ꁦᘀ䝨ꁦ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔪ䝨ꁦᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ䝨ꁦᘀ䝨ꁦ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ癨‛ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔩ驨䀿ᘀ䝨ꁦ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ驨䀿ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ睨ꔸᘀ睨ꔸ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔪ睨ꔸᘀ睨ꔸ㔀脈䩃䡋䩏䩐䩑䩞⡯ᘤ睨ꔸ㔀脈䩃䡋䩏䩐䩑䩞⡯ခᆖᆘᆞᆶᆸጸጺፀፔፖᒚᒜᒢᒶᒸᒾᓒᓔ헫ꦿ뿕閩胫聫嗕?ᔪᕨॄᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪᕨॄᘀᕨॄ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔩ驨䀿ᘀᕨॄ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ驨䀿ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ䝨ꁦᘀ䝨ꁦ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔪ䝨ꁦᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ䝨ꁦᘀ䝨ꁦ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ癨‛ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔧ䝨ꁦᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᄀᓔᕬᕮᕰᕶᖌᖎᚬᚰᚶᛊᛌᛒᛲᛴ᝼�냆蒚屰㉇끇蒚pᔩ驨䀿ᘀ끨㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ驨䀿ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ⵨Ṅᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ끨ᘀ끨䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔪ끨ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ끨ᘀ끨㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ癨‛ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔧᕨॄᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘡᕨॄ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧᕨॄᘀᕨॄ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩༀᓔᕰᖎᚰᛌᛴើ០ᤂᤚ᧠⸌⹾⺚⾆⾮ðÒ묀á툀á가á가가†가†ᄀ㊄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠Ȳ摧扑.ᄀ媄ሂ౤þ䜀$䑗È葠ɚ摧㉕aᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧扑.ᄀ媄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠ɚ摧㾚@ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧ධéᄀ媄ሂ⁤þ䜀$䑗È葠ɚ摧᭶ ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧䐕 ༀ᝼ឺើោ៞០ᤀᤂᤈᤘᤚᦞ᧜᧞᧠᧤�껄蒘쑰颮径䯚6ᔩ啨愲ᘀ乨瘮㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ⵨Ṅᘀ䭨譆䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘡ全⹢䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ全⹢ᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ全⹢ᘀ全⹢䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔪ全⹢ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ全⹢ᘀ全⹢㔀脈䩃䡋䩏䩐䩑䩞⡯ᔪ癨‛ᘀ⵨Ṅ㔀脈䩃䡋䩏䩐䩑䩞⡯ᔧ⵨Ṅᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘡ끨䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩༀ与验证研究 在对上述核心明升体育app问题研究的基础上，本重大研究计划拟进一步开展可信软件开发与运行保障的集成与验证方面的研究，包括： （一）可信软件综合试验环境 研究和开发基于网络环境的可信软件构造与演化以及可信环境综合试验平台，通过在试验环境中部署典型可信软件注册对象、可信软件工具实验系统、可信虚拟机，将试验环境作为软件可信性相关数据的采集和共享平台、可信软件工具共享平台和关键技术验证平台。 （二）高可信嵌入式软件系统试验验证环境 结合典型的实际应用，针对嵌入式软件系统中的可信性需求，综合集成高可信软件需求分析、设计、编码、验证、测试、监控、评估和维护等技术，研究开发高可信嵌入式软件系统的试验验证环境，并以典型注册示范的形式对集成技术及其有效性进行验证。 （三）可信的网络应用软件系统试验验证环境 以网络应用为背景，针对网络软件系统的可信性和服务质量需求，综合集成可信网络软件及可信环境的需求分析、构造、验证、演化、监控和评测等技术，研制开发可信的网络应用软件系统的试验验证环境，并以典型注册示范的形式对集成技术及其有效性进行验证。 四、2007年度拟资助的研究项目 本重大研究计划主要以“培育项目”、“重点支持项目”和“集成项目”的形式予以资助，三类项目在资助强度和实现目标上有所不同。对有较好的创新学术思路和研究价值，但尚需进一步探索研究的申请项目，将以“培育项目”方式予以资助。对有很好的创新学术思想和研究价值，有较好的研究基础和成果积累，且对研究计划总体目标有较大贡献的申请项目，将以“重点支持项目”的方式予以资助。对实现研究计划总体目标有决定作用的研究方向，将以更大支持强度的“集成项目”方式予以资助。 2007年度拟资助“培育项目”约40项（资助强度不低于50万元／项，项目执行期为3年）、“重点支持项目”约5项左右（资助强度约200—300万元／项，项目执行期为3年），暂不支持“集成项目”。2007年度拟资助项目总经费约3300万元。 2007年度“培育项目”拟资助的研究方向包括软件可信性度量、建模与预测，可信软件的构造与验证，可信软件的演化与控制，以及可信环境的构造与评估等。 2007年度重点支持领域为： （一）软件可信性度量、评估方法与技术 系统考察正确性、可靠性、安全性等影响软件可信性的属性，研究可信性的度量和评估方法，探讨可信软件的形式化模型、度量标准与验证技术。 （二）可信软件的风险和过程管理的量化模型与方法 面向可信软件过程管理中风险识别、评估、管理和控制问题，研究可信软件过程的属性和度量框架以及相应的量化风险模型和评估方法；探讨分布式可信软件的过程优化建模原理。 （三）面向应用领域的软件可信性需求分析、构造与验证试验环境 面向典型应用领域（例如航空航天、金融等），分析软件可信性需求；提出系统化软件可信性特征表述；研制相应的构造与验证试验环境。 （四）基于虚拟机架构的可信计算环境与可信软件设计 以提高信息系统可信性为目标，研究可信计算与虚拟技术结合的新型可信虚拟平台架构，以及基于虚拟机架构的可信软件设计理论与方法。 五、遴选项目的基本原则 围绕核心明升体育app问题，本重大研究计划鼓励： 1．具有原始创新思路和独具特色的探索性研究； 2．与应用单位紧密合作、具有重大应用背景的基础研究； 3. 跨学科交叉的基础研究； 4．具有良好国际合作基础的研究。 六、申请书撰写注意事项 1. 申请人在填报申请书前，应认真阅读本指南。申请书应符合本重大研究计划的实施原则，并论述与项目指南最接近的明升体育app问题和研究目标，以及对解决本重大研究计划的核心明升体育app问题和实现本重大研究计划总体目标的贡献。项目申请书的目标和内容应瞄准重大研究计划的核心明升体育app问题，突出特点，强调创新点与前沿基础明升体育app问题的研究。不符合项目指南的申请将不予受理。 2. 申请者可根据拟解决的具体明升体育app问题，在认真总结国内外已有成果、明确新的突破点以及如何探索的基础上，自由确定项目名称、明升体育app目标、研究内容、技术路线和相应的研究经费。 3. 申请书中的资助类别选择“重大研究计划”，“培育项目”的亚类说明选择“面上项目”，“重点支持项目”的亚类说明选择“重点项目”，附注说明均须选择“可信软件基础研究”。申请代码根据申请的具体研究内容选择相应的学科代码。     PAGE  ᧤ᨀ⸀⸊⸌⹼⹾⺀⺂⺄⺚⾄⾆⾈⾊⾌⾮をゔゖ゘ゼㆦㆨㆬㆲ훪뇂躞箞뇂躞箞黂麎쉻홥Qᔦ啨愲ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋᔫ全⹢ᘀ全⹢䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ愀Ṋ漀Ĩᔥ全⹢ᘀ全⹢㔀脈䩃䩏䩐䩑࡜澁Ĩᘟ全⹢㔀脈䩃䩏䩐䩑࡜澁Ĩᔥ啨愲ᘀ全⹢㔀脈䩃䩏䩐䩑࡜澁Ĩᘡ全⹢䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ全⹢ᘀ全⹢䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘣ全⹢㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩ唃Ĉᔩ全⹢ᘀ全⹢㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᤀ⾮をゼㆨ㇊㎈㑶㔈㔦㕌㗎㗾㚞㛚ð�ð쨀»묀»묀¤묀‡砀¤ᄀ墄ሂ౤þ䜀$䑗È葠ɘ摧澶Uༀ⪄ᄁⶄሁ⁤þጀ鲤᐀鲤䜀$䑖Ž䑗d䑘2䑙2葞Ī葠ĭ摧㾚@ᄀ媄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠ɚ摧㾚@ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧澶Uᄀ媄ሂ౤þ䜀$䑗È葠ɚ摧㉕aᄀ㊄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠Ȳ摧扑.ᄀ墄ሂ⁤þ䜀$䑗È葠ɘ摧扑.ഀㆲㆴㆸㆺ㇄㇈㇊㐌㐎㐰㑆㔤㔦㔬㕊㕌㗎㗔㗼㗾㚜㚞훪훪쇪鲭训瞭䵢굢䵢굢œᔩ驨䀿ᘀ뙨啯㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ驨䀿ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ뙨啯ᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘡ䙨✴䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘡ뙨啯䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ뙨啯ᘀ뙨啯䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔩ啨愲ᘀ♨ĺ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔦ啨愲ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋᔩ啨愲ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔀ㚞㛚㝖㞈㠂㠄㠆㠈㠚㠜㡄㡈㡰㡲훪싪鲮犇䱠숸$ᔧ穨聹ᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ⵨Ṅᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧɨ썴ᘀ穨聹䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘣ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ啨愲ᘀ⵨Ṅ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ啨愲ᘀ♨ĺ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᘣ穨聹㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ穨聹ᘀ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ穨聹ᘀ穨聹䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧᘀ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔩ驨䀿ᘀ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩഀ㛚㝖㞈㠄㠜㡄㡲㢨㣆㣨㤀㩒㫺㯖㯚㯜ð�Ê묀¨销•销•蘀•销•萀„Āᄀ媄ሂ౤þ䜀$䑗È葠ɚ摧㉕aሀ옍萁萑Ȝ搒︠⑇䠀$葠Ȝ摧᭶ ሀ옍萁萑Ȝ搒︠⑇䠀$葠Ȝ摧琂Ãᄀ媄ሂ౤þ䜀$䑗È葠ɚ摧澶Uᄀ墄ሂ౤þ䜀$䑗È葠ɘ摧祺€ᄀ媄ሂ⁤þጀ鲤᐀鲤䜀$䑗È䑘2䑙2葠ɚ摧㾚@ᄀ墄ሂ౤þ䜀$䑗È葠ɘ摧䣵öༀ㡲㡶㢦㢨㢮㣄㣆㣊㣦㣨㣪㣬㣰㣶㣾㤀㬐㭐㮎㮞㯊㯎㯔ퟫ쏗ퟫ뇫螜蝵ᘡﵨ鉳䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘡ⥨�䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔦ啨愲ᘀ乨瘮㔀脈䩃䩏䩐䩑࡜憁Ṋᘣᙨ無㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ啨愲ᘀ乨瘮㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔩ啨愲ᘀ♨ĺ㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᘣ穨聹㔀脈䩃䩏䩐䩑࡜憁Ṋ漀Ĩᔧ穨聹ᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ穨聹ᘀ穨聹䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᔧ⵨Ṅᘀ⵨Ṅ䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩᘀ㯔㯖㯘㯜㯞㯢㯤㯨㯪㯮㯰㯼㯾㰀㰄㰆㰈헟헏쯏ᘆɨ썴ᘊɨ썴　ᅊ̓jᘀɨ썴　ᅊ唀ĈᘆὨ̏jᘀὨ唀Ĉᔧﵨ鉳ᘀ乨瘮䌀Ṋ䬀H伀Պ倀Պ儀͊帀ъ漀Ĩက㯜㯠㯢㯦㯨㯬㯮㰀㰂㰄㰆㰈ýﴀýﴀýﴀôýﴀßሀ옍萁萑Ȝ搒︠⑇䠀$葠Ȝ摧᭶ Āࠀ萘萙☛⍠ȤĀ଀0週ĸ倲뀟⺂뀠䇆뀡܈뀢܈連֠逤֠뀥뀗͓뀘Ϡ逌ƩʆœN䀀￱N 正文 ␃㄃$②$䩃䡋䩐䡟Ё䩡䡭Љ䡮ࠄ䡳Љ䡴ࠄ$䁁￲¡$Č默认段落字体Fi￳³FԌ普通表格 嘺 㐀ۖĀ̅혴ਁ氃愀϶ k￴Á Ԁ无列表 D䁃òD 正文文本缩进萑Ȱ⑇圀졄怀や 䩃䩏䩑<䀠Ă< 页脚␃ഀࣆȀ္⁲ȁ⑇愀$䩃䩡䀩¢đ 页码N䀟ĢNЌ䐽页眉'␃ഁࣆȀ္⁲ȁ搦ĆĀ⑇倀ࣆ＀Ć②䩃䩡.™IJ.Ԍ෍{批注框文本䩃䩡fš³ŃfЌ㉕a网格型7嘺혓0ӿӿӿӿӿӿ ␃㄃$②င一￿￿ !‚‰ƓƜdžǑɓɢˀˏ͓͡ͲюћӌӜَٜ֝֫٪ڸۇݘݦݺߟ߰ࢁࢍࣰआि्ৃৗ੉ਫ਼૔૥௄఻಄ಓದ೧೿൏൭ණහขฎยู๔๣๴຀༩ཽ࿫࿭࿮࿰࿱࿳࿴࿶࿷ကခဂစ˜　耀耀˜　耀耀˜　耀耀˜　耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜　耀耀Ā˜耀€˜耀€˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀€˜耀€˜耀€˜耀€˜耀€˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀€˜耀€˜耀€˜耀€˜耀耀˜耀耀˜耀€˜耀耀˜耀耀˜耀耀˜耀€˜耀耀˜耀€˜耀耀˜耀€˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜耀耀˜က耀耀˜　耀耀˜　耀耀˜　耀耀˜　耀耀˜耀耀˜　耀耀˜　耀耀˜　耀耀䂘　耀耀ހ蹨　　޵䂘　耀耀ހ蹨　　޵䂘　耀耀ހ蹨　　޵䂘　耀耀ހ蹨　　޵䂘【耀耀Āހ䂘【耀耀€䂘　耀耀€蹨　　ݴ޵Ɯɢˀˏ͓͡ͲћӌӜ֝ڸۇݘ߰ࢁࢍࣰआि्ৃৗ੉ਫ਼૔૥௄఻ಓದ೧೿൏൭ණහขยู๔๣๴຀༩ཽစ蹪　　܀蹪　、注ܰ蹨　、Ā蹨　、Ā蹨　〄ƀ蹨　〄Ā蹨　、 Ā蹪　、 ܀蹨　〈ƀ蹨　〈ƀ蹪　、 ܀蹨　》 䶄ߜ蹨　》ƀ蹨　》ƀ蹪　、 ꘼ܶ蹪　、 ܀蹨　、 Ā蹨　々ƀ蹨　々ƀ蹨　〓ƀ蹨　々ƀ蹨　々ƀ침　々ƀ蹨　々ƀ칪　々ހ蹨　々ƀ蹨　々ƀ蹨　〆Ā蹪　〆܀蹪　〆݄蹨　〞 ƀ蹨　〞 ƀ蹨　〆 Ā蹨　〡 ƀ침　〆 Ā침　〆 Ā침　〆 Ā蹨　《 Ā蹪　《 ܀蹪　《 Ꜹܶ蹨　《 Ā蹨　《Āš　耀耀ހš　耀耀܀蹨　』Ā蹨　』Āšက耀耀耀耀܀ ؀ଶ඀ᆖᓔ᝼᧤ㆲ㚞㡲㯔㰈 !"$%؀ೄᓔ⾮㛚㯜㰈 #&؀㰆 ℓ•#‚ˆ‰ƒƓƛƩDžȬȳȴɒɢʿͲэ्ূ૥௃ை௔௖௟௡௬௭௹௺ఃఖఘష఺ిಃಈ಑ಔಖದ೦೿ൎ๴๿຃༨༬ོ࿫࿫࿭࿭࿮࿮࿰࿱࿳࿴࿶࿷ဂစ !#ƛƜDždž֜֝ݺݼߞߟࣰ࣯૤૥ಒಓ๿຀࿪࿫࿫࿭࿭࿮࿮࿰࿱࿳࿴࿶࿷࿿ဂစƜDž࿫࿫࿭࿭࿮࿮࿰࿱࿳࿴࿶࿷ဂစƩDž࿫࿫࿭࿭࿮࿮࿰࿱࿳࿴࿶࿷ဂစച᛬޺࿿࿿࿿࿿࿿࿿࿿࿿࿿悅厰�荖࿿࿿࿿࿿࿿࿿࿿࿿࿿㰹濻穲࿿࿿࿿࿿࿿࿿࿿࿿࿿᠃萏ː萑ﴰ옕퀁؂葞ː葠ﴰ⡯ȁĀİЀƀༀ䢄ᄃ岄ᗾ׆Ā͈帆䢄怃岄˾Ā⤀ĀȀƂༀᄄ岄ᗾ׆ĀӬ帆怄岄˾Ȁ⸀Āƀༀ還ᄆ岄ᗾ׆Āڐ帆還怆岄˾̀⸀ĀЀƀༀ㒄ᄈ岄ᗾ׆Ā࠴帆㒄怈岄˾Ѐ⤀ĀȀƂༀ�ᄉ岄ᗾ׆Ā৘帆�怉岄˾Ԁ⸀Āƀༀ粄ᄋ岄ᗾ׆Ā୼帆粄怋岄˾؀⸀ĀЀƀༀ₄ᄍ岄ᗾ׆Āഠ帆₄怍岄˾܀⤀ĀȀƂༀ쒄ᄎ岄ᗾ׆Āໄ帆쒄怎岄˾ࠀ⸀ĀĀ̀ༀ킄ᄂやᗽ׆Āː帆킄怂や濽(．耄᠀萏͈萑﹜옕䠁؃葞͈葠﹜)舂᠀萏Ӭ萑﹜옕؄葞Ӭ葠﹜.耀᠀萏ڐ萑﹜옕送؆葞ڐ葠﹜.耄᠀萏࠴萑﹜옕㐁؈葞࠴葠﹜)舂᠀萏৘萑﹜옕�؉葞৘葠﹜.耀᠀萏୼萑﹜옕簁؋葞୼葠﹜.耄᠀萏ഠ萑﹜옕 ؍葞ഠ葠﹜)舂᠀萏ໄ萑﹜옕쐁؎葞ໄ葠﹜.᠃萏ː萑ﴰ옕퀁؂葞ː葠ﴰ⡯ȁĀİЀƀༀ䢄ᄃ岄ᗾ׆Ā͈帆䢄怃岄˾Ā⤀ĀȀƂༀᄄ岄ᗾ׆ĀӬ帆怄岄˾Ȁ⸀Āƀༀ還ᄆ岄ᗾ׆Āڐ帆還怆岄˾̀⸀ĀЀƀༀ㒄ᄈ岄ᗾ׆Ā࠴帆㒄怈岄˾Ѐ⤀ĀȀƂༀ�ᄉ岄ᗾ׆Ā৘帆�怉岄˾Ԁ⸀Āƀༀ粄ᄋ岄ᗾ׆Ā୼帆粄怋岄˾؀⸀ĀЀƀༀ₄ᄍ岄ᗾ׆Āഠ帆₄怍岄˾܀⤀ĀȀƂༀ쒄ᄎ岄ᗾ׆Āໄ帆쒄怎岄˾ࠀ⸀̀蔀끠Sᨀ㤀לּo＀￿￿￿￿￿￿Ͽ＀Ͽሀ똀⁴᥈ऀᬄऀ༄ऀᤄऀᬄऀ༄ऀᤄऀᬄऀሄﰀ苵᤯ऀᬄऀ༄ऀᤄऀᬄऀ༄ऀᤄऀᬄऀሄ堀贈᥁ऀᬄऀ༄ऀᤄऀᬄऀ༄ऀᤄऀᬄऀ䠄Ѐࠀ䜀☀ĺᨀͰ匀ն㴀لᔀॄ︀ਙ�੷씀ป退ᅯꄀᔽḊⴀṄ瘀‛⬀Ⅳ洀┿䘀✴儀⹢昀㌤䘀㽲騀䀿딀䄄嬀䉰紀儒�剻ༀ唴똀啯묀崕唀愲戝最扦먀明昤츀氜ᘀ無一瘮崀稴촀笍紀籺ᨀ缈稀聹艫⼀茿嬀衾꜀言䬀譆ﴀ鉳ᨀ鰵䜀ꁦ眀ꔸ鼀ꠞऀꩪꈀ깳栀꼗⨀됰耀봍Ȁ썴쨑ꨀ휞⤀�贀�伀�ἀ뀀관ꐀᰀ퐀ﱡ＀ŀƀ딀딀ࠀ�ąĀ딀딀Ȁऀင@ࠀ@⸀￿Unknown￿￿￿￿￿￿ᙇƐȂ̆ЅȅЃ窇 耀ǿTimes New RomanᘵƐԅȁ܁Ȇ܅က耀Symbol☳ƐଂІȂȂЂ窇 耀ǿArialرƐ†ĂĄāāʇࠏŸ华文中宋ػƐΆĂăāāࠎ宋体SimSun㔻Ɛ†Ăआăāāࠎ仿宋_GB2312 ࠱ᢈƤŨ掐暹诓⚹揀暹ɠඋဃɠඋ̡-!),.:;?]}¨·ˇˉ―‖’”…∶、。〃々〉》」』】〕〗！＂＇），．：；？］｀｜｝～￠([{·‘“〈《「『【〔〖（．［｛￡￥܈֠´œ肂Вd࿣࿣㈌熃�塈࿿㼁Ψ￿翿￿翿￿翿￿翿￿翿￿翿￿翿ⓤf2￿国家自然明升体育app基金重大研究计划wangce王岐东   ￾ą藠俹ၨ醫✫�0Ƙ˜ ÈÔäðüČ ĜĨ ň Ŕ Š ŬŸƀƈƐΨ 調튼퓗믈욿ꟑ僚�탑뾾욼꺻慷杮散潎浲污ꫡꮶ㘱楍牣獯景⁴晏楦散圠牯d@稀咥@堀裻LJ@倀捫LJ@䨀ҊLJɠඋ￾ą픂헍⺜ရ鞓Ⱛ껹0° X`px€ˆ ˜ ¨Ψ獮捦࿣ᾫ   !"#$%&'￾￿)*+,-./￾￿123456789:;<=>?@ABC￾￿EFGHIJK￾￿MNOPQRS￾￿�￿V￾￿￾￿￾￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿Root Entryą￿￿￿￿आÀ䘀肀ᨱLJX€Data Ă￿￿￿￿￿￿(က1TableĂ￿￿0♞WordDocumentĂ￿￿串SummaryInformation(Ă￿￿￿￿￿￿DကDocumentSummaryInformation8Ă￿￿￿￿LကCompObj￿￿￿￿￿￿m￿￿￿￿￿￿￾￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￿￾ਃ￿￿आÀ䘀楍牣獯景⁴晏楦散圠牯⁤쓎떵਀䴀坓牯䑤捯က圀牯⹤潄畣敭瑮㠮눹q