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

user: 2. 纳米CeO 2 的制备 纳米CeO 2 的制备方法常用的有沉淀法、溶胶–凝胶法、水热法等。 2.1. 沉淀法 沉淀法是制备纳米CeO 2 以及其他纳米粒子最常用的方法。其具体过程是：在金属盐溶液中加入沉淀剂，或在一定的温度下使溶液发生水解，形成沉淀从溶液中析出，再将沉淀物过滤、洗涤、干燥和焙烧，最终产物即为纳米氧化物粉末 [ 3 ] - [ 12 ] 。而沉淀法也可细分为直接沉淀法，化学共沉淀法，均相沉淀法，水解沉淀法等 [ 11 ] 。 沉淀法的优点是：其反应过程使用的设备简单，工艺过程容易控制，并且其产物纯度高，易于商业化。但在过滤和洗涤的步骤中比较困难，且在整个工艺过程中粒子的团聚现象比较容易出现。 近年来，有众多科学家对沉淀法进行了研究。其中Chen [ 13 ] 对在沉淀法制备纳米CeO 2 的过程中，温度和压力对粒子结构和性能的影响进行了深入的研究。发现其对粒子大小、形貌和晶体结构有较大影响。肖楚民、潘湛昌等 [ 14 ] 采用碳酸氢铵作为沉淀剂制备了二氧化铈超细粉体，试验中发现，当反应物浓度为0.25~0.3 mol/L，沉淀剂浓度为0.2~0.4 mol/L，pH值为7~8，沉淀温度为60℃~80℃，焙烧温度为600℃时，可制得平均晶粒度小于20 nm，分散性好的二氧化铈超细粉体。韦薇、杨东霞等 [ 15 ] 用Ce(NO 3 ) 3 ·6H 2 O溶解在去离子水中，加入H 2 O 2 、聚乙二醇等试剂，用正向、反向化学共沉淀法制备得CeO 2 粉末。实验发现由反向化学沉淀法制得的CeO 2 粉体在400℃焙烧后，比由正向法制得的CeO 2 粉体在同样的温度焙烧后，具有更高的比表面积、总孔体积和平均孔径。其粒径在20 nm左右，且分散性良好，但仍有团聚现象。除此之外，还有许多使用不同试剂通过沉淀法制备纳米CeO 2 的例子，如用过氧化氢--氨水制备CeO 2 超微粉末 [ 3 ] ；用硝酸铈为原料，草酸作为沉淀剂制备CeO 2 粉末 [ 8 ] ；用硝酸铈、酒石酸铵为原料制备CeO 2 纳米晶体 [ 7 ] 等等。 2.2. 溶胶–凝胶法 溶胶–凝胶法的首次应用是由L·科斯塔，G·宝拉，A·鲁克曼在涉及制备大块玻璃整料时提出的。溶胶–凝胶法，也称作SSG法 [ 16 ] 基本原理为前驱物溶于溶剂中成为均匀的溶液，溶质与溶剂产生水解或醇解反应，反应生成物聚集成1 nm左右的粒子并组成溶胶，后者经过蒸发干燥成为凝胶 [ 17 ] - [ 22 ] 。 溶胶–凝胶法与传统烧结法比较来说，其具有制品均匀度高，纯度高，比表面积大，反应过程易于控制等优点。但同时，此方法也具有成本高，处理时间较长，制品易产生开裂等缺点。上述缺点除了过程太长的缺点以外，其他的缺点都正在或已经解决 [ 23 ] 。 张环华等人 [ 24 ] 以硝酸铈和柠檬酸为原料，采用溶胶–凝胶法制备了CeO 2 纳米晶。并通过XRD和TEM测试发现所制得的CeO 2 粒子为立方精细结构，且呈球形。硝酸铈和柠檬酸的摩尔比为1:3，在65℃水浴中反应成胶，100℃下烘干，500℃焙烧，可得到平均粒径为7 nm的CeO 2 纳米晶。董相廷，洪广言 [ 25 ] 利用草酸铈，柠檬酸，运用溶胶–凝胶法制得CeO 2 纳米晶。并通过实验测验发现低温合成的不同粒径CeO 2 纳米晶均属于立方晶系，且随着焙烧温度的增加，粒径增大；CeO 2 纳米粒子越小，晶格畸变越大，晶粒发育越不完整，衍射强度越低；热失重率主要受焙烧温度的影响，焙烧时间的影响很小；并且纳米CeO 2 比多晶CeO 2 具有更高的表面活性。Ji Yuan [ 26 ] 运用改进了的溶胶–凝胶法制得了掺杂了钐的CeO 2 粉体。改进的溶胶–凝胶法相对传统溶胶–凝胶法，用辛醇和乙醇来取代凝胶中的水，有效减少了团聚概率。除此之外，溶胶–凝胶法还可以使用六水硝酸铈和聚乙二醇 [ 18 ] 、硬脂酸 [ 20 ] 、硝酸铈铵 [ 22 ] 作为原料等等。 2.3. 水热法 水热法可简单描述为在密封的压力容器中，以水或者其他液体为介质，使用高温、高压制备氧化物或者化合物粉体的方法 [ 27 ] - [ 40 ] 。 水热法相比其他方法不需要高温焙烧，避免了在此过程可能产生的颗粒间的硬团聚，制得的粉体纯度高，晶粒发育完整，分散性好，粒径小，分布范围窄，从而使比表面积增大，活性中心增多，其光催化活性大大提高。但由于反应是在高温条件下进行，对实验设备要求较严格，成本高，不安全，所以目前较少使用此法制备CeO 2 [ 11 ] [ 27 ] 。 李占双，尤佳等人 [ 41 ] 以Ce(NO 3 ) 3 ·6H 2 O为原料，乙二醇为分散剂，运用水热法制得纳米CeO 2 粉末。通过XRD分析发现随着水热温度的升高，CeO 2 平均晶粒尺寸逐渐增大；通过红外光谱分析发现随着粒径的减小，比表面积增大，界面原子所占比例增大；通过透射电镜分析发现，CeO 2 纳米粒子呈球形，粒度小，颗粒尺寸约为10~20 nm，粒径分布较均匀，有较好的单分散性；并且发现CeO 2 纳米晶在285~385 nm的范围间有1个强烈的吸收峰，有较强的紫外吸收性能，具有良好的光催化性能。Masui等 [ 42 ] 以Ce(SO 4 ) 2 、Ce(NH 4 ) 4 (SO 4 ) 2 、(NH 4 ) 2 Ce(NO 3 ) 6 为原料，运用水热法制备了纳米CeO 2 粉末，其粒径 < 5 nm。 此外，纳米CeO 2 的制备方法还可以采用燃烧法和微波法。李秀萍等人 [ 43 ] 用一种新型具有还原性的抗坏血酸为燃烧剂运用燃烧法合成氧化铈，实验发现当硝酸铈:抗坏血酸 = 1:2时产物性质最佳，可以不加助溶剂，不经洗涤，煅烧即可得到乳白色、质量轻、颗粒细的氧化铈。潘漮昌等 [ 44 ] 用硝酸铈为原料，碳酸氢铵为沉淀剂，运用微波法，用微波加热合成了平均晶度8 nm的纳米CeO 2 。
system: [SYSTEM]

user: 3. CeO 2 光催化反应及应用 3.1. 光催化反应机理 当CeO 2 纳米晶受到紫外灯的照射后，处于价带的电子就会被激发到导带，价带便生成空穴(h + )，空穴(h + )本身是强氧化剂，将吸附在CeO 2 颗粒表面的OH − 和H 2 O分子氧化成OH自由基，缔合在CeO 2 表面的OH自由基为强氧化剂，可以氧化相邻的有机物，而且可以扩散到液相氧化有机物，把各种有机物通过一系列的氧化过程，最终氧化成CO 2 ，从而完成对有机物的降解。 3.2. 光催化活性的影响 3.2.1. 粒径的影响 在水热法制取CeO 2 的实验中，我们发现了随着水热温度的升高，CeO 2 的平均晶粒尺寸逐渐增大，而通过红外光谱分析发现当CeO 2 微粒尺寸缩小，比表面积增大，界面原子所占比例增大，由于界面原子与内层原子的差异使吸收峰趋于宽化。并且在低温下合成的纳米CeO 2 粒径越小，由于纳米粒子的尺寸量子效应，其能隙越宽，导带电位更负，价带电位更正，因而获得更强的氧化还原能力。而纳米CeO 2 粒子中光致电荷分离的效率很高，粒径越小，光生电荷分离效率越高，则电子/空穴对复合越少，这也有利于CeO 2 光催化活性的提高 [ 41 ] 。而且，通过张环华 [ 24 ] 等人的实验分析可以得出一部分影响CeO 2 光催化的因素是通过影响其的粒径大小来间接影响CeO 2 的光催化活性的结论。下面将简要说明张环华等人的实验过程与结论： 1) 焙烧温度对粒径大小的影响。 从图1中可以看出，随着温度的升高，其衍射峰的强度增大，而由Scherrer公式：D hk1 = Kλ/(βcosθ)，其中K = 0.89，λ = 0.1541 nm，为衍射峰的半高峰宽(弧度)，θ为布拉格衍射角，计算垂直于(111)晶面的平均晶粒度D 111 ，计算结果如图2。 从图2中我们可以看出，当焙烧温度低时其平均粒径较小，即通过影响粒径大小来间接影响CeO 2 的光催化活性。 2) 反应物配比对粒径的影响。 通过改变试验中硝酸铈和柠檬酸的摩尔配比，分别实验得出下面数据： 从图3我们可以看出随着柠檬酸量的增加，平均粒径也逐渐减小。 3) 反应温度对粒径大小的影响。 在其他条件相同的条件下，通过改变反应温度来考察反应温度对产物的影响。通过实验发现，低温时，反应不易成胶，但制备所得的CeO 2 粒子的平均粒径小且均匀分散；而高温时虽然反应相对于低温时更易于成胶，但产物粒子粒径大，不均匀。 4) 凝胶烘干温度对粒径大小的影响。 通过实验发现随着烘干温度的升高，所需要的时间减短，所得凝胶的结构也变得疏松，但最终的产物粒子粒径却逐渐增大，也对CeO 2 的光催化活性产生影响。 3.2.2. 光源波长的影响 田志茗 [ 45 ] 等通过对照模拟实验，分别以氙气模拟日光中的可见光，用汞灯模拟日光中的紫外光照射溶液，得到数据(如图4)。 实验发现，由于催化剂CeO 2 为N型半导体材料，禁带宽度(E g )为2.94 eV，当用波长小于420 nm的 图1. 在不同温度下制备的CeO 2 的XRD图(据文献 [ 24 ] ) 图2. 不同的焙烧温度对粒径和比表面积的影响(据文献 [ 24 ] ) 图3. 不同反应物配比所制备的XRD图(据文献 [ 24 ] ) 图4. 不同光照条件下亚甲基蓝的降解率(据文献 [ 45 ] ) 紫外光照射时，由于光子的能量大于禁带宽度，其价带上的电子被激发，越过禁区带进入导带，同时在价带上形成相应的空穴：CeO 2 + hλ → e + + h + 。光致空穴具有很强的电子捕获能力，而导带上的光致电子又具有很强的活性，在CeO 2 表面形成氧化还原体系。紫外光提高了光生电子与空穴分离的效率，从而提高了纳米CeO 2 的催化活性。 3.2.3. 有机物浓度以及溶液PH的影响 李小忠等人 [ 46 ] 通过实验分析得出有机物浓度与溶液PH值对光降解效率的影响。实验以苯酚的降解为例，通过实验发现，苯酚的光催化降解速率随苯酚浓度的增加而降低，这是因为苯酚浓度的增多导致其吸光增多，使催化剂表面的有效光强减小。并且发现苯酚的降解速率随着光降解时间的延长而不断降低，这是因为随着时间的延长，中间产物不断积累，其消耗的自由基增多，氧化苯酚的速率减小。通过另一个改变PH值的实验表明，当PH值较低时，CeO 2 会发生酸侵蚀现象，使苯酚的离解受到抑制，不利于CeO 2 的吸附；当PH值较高时，虽然对苯酚的吸附能力有所增强，但溶液中的H + 浓度较低时，不利于催化剂表面的Ce 4+ —O 2− 与水中的H + 反应生成Ce 4+ —O 2 H，也不利于催化剂上的O 2− 与水中的H + 反应，最终导致·OH总量的减少。 3.3. 应用 3.3.1. 汽车尾气净化 汽车尾气现如今已经成为大气污染的主要因素，而CeO 2 以其优异的性质成为解决汽车尾气污染的主力军。CeO 2 对汽车尾气的作用主要分为两个方面，一个是作为助催化剂 [ 47 ] ，另一个是自身的光催化降解 [ 2 ] 。 作为助催化剂主要起到的也是两个作用 [ 48 ] ，一是可以在氧气过多时储存氧气，在氧气不足时释放氧气，另一个作用是可以控制贵金属颗粒的大小，以此来保证高温环境中催化剂的高比表面，提高催化性能。鞠文鹏等人 [ 49 ] 通过实验发现，在温度700~800 K的环境下，纳米CeO 2 的储氧能力大大提高，可以提高其催化活性和催化效率。 而CeO 2 自身的光催化效应也可以对汽车尾气的净化起直接作用，当其受到大于禁带宽度能量的光子照射后，在其表面产生的光生空穴与表面的OH − 反应生成·OH强氧化自由基，可将汽车尾气中的多种有害气体如CO、HC、NO X 氧化分解成无害的CO 2 、H 2 O、NO 3 等无机物。耿九光等人 [ 2 ] 通过实验测量表明，CeO 2 粉末对尾气中的有害气体具有光催化降解能力，其中对HC、NO X 的降解率可分别达到12%和90%。 3.3.2. 对水污染物的光催化应用 现如今，对利用CeO 2 的光催化性质进行水污染治理的方案主要分为两个方面，一是对染料废水的降解，另一个是对水中有机污染物的光降解。 在对染料废水降解方面，田志茗等人 [ 48 ] 通过进行CeO 2 对亚甲基蓝的光降解实验发现当溶液初始PH = 11，染料初始质量浓度为5.0 mg/L，催化剂用量为1.0 g/L时，用300 w汞灯模拟紫外光照射条件下降解率可达87.05%。 而在降解水中有机污染物方面，现如今的大部分研究，都是关于TiO 2 的光催化性能对有机污染物光降解作用的研究，但由于CeO 2 与TiO 2 具有相似的性质，利用CeO 2 更加优异的光催化性质，对水中有机物进行光降解作用的研究前景还是很光明的。
system: [SYSTEM]

user: 4. 结论与展望 多相光催化是光化学反应的一个前沿领域，很多通常难以实现的反应在多相光催化的帮助下都能实现。为了进一步有效地利用多相光催化技术，光催化剂的研究与生产就不得不加快步伐。开发新的，有效地光催化剂也成为实现各种化学反应的关键技术之一。TiO 2 以其优异的光催化性能首先进入科学家的视线。但由于TiO 2 存在一定的不足，与TiO 2 具有相似性质的CeO 2 也就进入科学家的视线，CeO 2 以其相对TiO 2 更加优异的光催化性能，和其更低的成本，逐渐成为光催化降解污染物的大军中的一员。但目前对于CeO 2 光催化性质的研究还处于起步阶段，大部分方向都偏向于在TiO 2 的制备中掺杂一定量的CeO 2 来起到增强光催化性能的作用，但主体依旧是TiO 2 。现阶段，我们的研究方向应该着力于研究单独CeO 2 的光催化性能，以及对以CeO 2 为主体的、掺杂其他化学元素的化合物的光催化性能的研究。虽然如今的国内外的科学家，对于CeO 2 的研究还不足以让CeO 2 完全取代TiO 2 在应用方面的地位，但我们可以相信通过不断的探索研究，CeO 2 的光催化应用将迎来一个十分广泛的，有希望的未来。
system: [SYSTEM]

user: 摘 要 习近平重视历史学习和研究，重视历史、现实、未来的关系，在分析中国历史和当代中国改革开放的实际之后，明确提出了自觉的历史担当。这个自觉的历史担当是用马克思主义历史观分析研究中国历史、尤其是近百年中华民族奋斗历史后结论；这个自觉的历史担当就是对民族、对人民、对党的重大责任；这个自觉的历史担当就是依靠全体人民建设中国特色社会主义；深化改革是当前的自觉历史担当。 关键词 :责任，人民，深化改革
system: [SYSTEM]

user: 1. 引言 中共十八大以来，习近平重视历史学习、教育和研究，倡导领导干部学习历史，了解党和国家事业的来龙去脉，了解党和国家历史上的重要事件和人物，汲取历史经验，知史爱党，知史爱国，开创未来。并善于以历史唯物主义的立场、观点和方法分析历史、透视现实，显示出深邃的历史思维能力。他高度重视历史、现实、未来的关系，指出历史、现实、未来是相通的，因此，必须把现在的实践看作正在形成的历史，高度重视它对未来的作用，并努力把握它对未来的影响，也就是说要重视“向前看”。在深入剖析中国历史和当代中国改革开放的实际之后，“中国特色社会主义，承载着几代中国共产党人的理想和探索，寄托着无数仁人志士的夙愿和期盼，凝聚着亿万人民的奋斗和牺牲，是近代以来中国社会发展的必然选择，是发展中国、稳定中国的必由之路。” [ 1 ] 指出发展中国特色社会主义是一项长期的艰巨的历史任务，必须准备进行具有许多新的历史特点的伟大斗争，“这是我们这一代共产党人的历史重任，我们要为之付出全部智慧和力量。” [ 2 ] 这就把历史、现实、未来紧密联系起来，体现出强烈的历史责任感和自觉的历史担当。
system: [SYSTEM]

user: 2. 这个自觉的历史担当是用马克思主义历史观分析研究中国历史、 尤其是近百年中华民族奋斗历史后结论 习近平认为历史是前人的“百科全书”，是前人各种知识、经验和智慧的总汇。是“最好的教科书”、“最好的老师”和“最好的清醒剂”。他强调领导干部学习历史，要注重学习鸦片战争以来我国近现代历史和中共党史，加深对近现代中国国情和中国社会发展规律的认识。认为近代以来，救亡图存成为中华民族和中国人民迫在眉睫的历史使命。争取民族独立、人民解放，实现国家富强、人民富裕，成为中国人民必须完成的两大历史任务。中国人民以及他们的先进分子和仁人志士进行了千辛万苦的探索和不屈不挠的斗争。中国人民选择了革命的道路、选择了经过新民主主义走向社会主义的道路、选择中国无产阶级及其肩负起了这一历史使命中国共产党，才使受尽屈辱、濒临危亡边缘的中国进入了历史的新纪元，终于建立了人民当家作主的新中国并适时地确立了崭新的社会主义制度，党的十一届三中全会以后又领导人民进入了实行改革开放为标志的社会主义发展新时期。学习中国近现代史，就要了解近代中国所经历的屈辱历史，深刻汲取落后就要挨打、就要受欺负的教训，增强励精图治、奋发图强的历史使命感和责任感，他指出道路自信、理论自信、制度自信，来源于实践、来源于人民、来源于真理。中国特色社会主义这条道路来之不易，它是在改革开放30多年的伟大实践中走出来的，是在中华人民共和国成立60多年的持续探索中走出来的，是在对近代以来170多年中华民族发展历程的深刻总结中走出来的，是在对中华民族5000多年悠久文明的传承中走出来的，具有深厚的历史渊源和广泛的现实基础。我们要在深入把握中国特色社会主义的科学性和真理性的基础上增强自信，“建设富强民主文明和谐的社会主义现代化国家，是我们的目标，也是我们的责任，是我们对中华民族的责任，对前人的责任，对后人的责任 [ 3 ] 。
system: [SYSTEM]

user: 3. 提出这个历史担当就对民族、对人民、对党的责任 上任伊始，习近平习就以身作则，表示不负重托，不辱使命，“对我来说，人民把我放在这样的工作岗位上，就要始终把人民放在心中最高的位置，牢记人民重托，牢记责任重于泰山”。 [ 4 ] “我的执政理念，概括起来说就是：为人民服务，担当起该担当的责任” [ 5 ] 站在历史和现实的高度，承诺担当对民族的责任、对人民的责任、对党的责任。他指出，全党同志的重托，全国各族人民的期望，是对我们做好工作的巨大鼓舞，也是我们肩上的重大责任。这个重大的对民族的责任，就是接过历史的接力棒，继续为实现中华民族伟大复兴而努力奋斗，使中华民族更加坚强有力地自立于世界民族之林，为人类作出新的更大的贡献；对人民的责任，就是继续解放思想，坚持改革开放，不断解放和发展社会生产力，努力解决群众的生产生活困难，坚定不移走共同富裕的道路；对党的责任。就是同全党同志一道，坚持党要管党、从严治党，切实解决自身存在的突出问题，切实改进工作作风，密切联系群众，使我们党始终成为中国特色社会主义事业的坚强领导核心。责任重于泰山，事业任重道远。表示我们要努力向历史、向人民交出一份合格的答卷。
system: [SYSTEM]

user: 4. 提出承担这个历史担当就是依靠全体人民建设中国特色社会主义 建设中国特色社会主义离不开人，离不开有历史担当的人。实现中国梦，任重道远，需要我们每一个人继续付出辛勤劳动和艰苦努力，需要一代又一代中国人共同为之努力。为此，他要求各行各业，每一个中国人，尽其所能承担其历史重任。要求全国广大工人、农民、知识分子，积极在经济社会中发挥主力军和生力军作用；一切国家机关工作人员，要克己奉公，廉政勤政，为人民办实事；英雄的人民军队一定能够发扬传统、继往开来，有效履行肩负的历史使命；一切非公有制经济人士和其他新的社会阶层人士，要发扬劳动创造精神和创业精神，回馈社会，造福人民，做合格的中国特色社会主义事业的建设者。他对青少年的培养特别重视并寄予厚望，提出“要用中国梦激发广大青少年的历史责任感。”“广大青年要勇敢肩负起时代赋予的重任，志存高远，脚踏实地，努力在实现中华民族伟大复兴的中国梦的生动实践中放飞青春梦想。” [ 6 ] 希望广大青年不断提高与时代发展和事业要求相适应的素质和能力，努力成为可堪大用、能担重任的栋梁之材”。还指出“中国梦是我们的，更是你们青年一代的。中华民族伟大复兴终将在广大青年的接力奋斗中变为现实。” [ 7 ] 还鼓励广大留学人员要把爱国之情、强国之志、报国之行统一起来，把自己的梦想融入人民实现中国梦的壮阔奋斗之中，把自己的名字写在中华民族伟大复兴的光辉史册之中。希望广大留学人员同人民站立、奋斗在一起，为实现中华民族伟大复兴的中国梦书写出无愧于时代、无愧于人民、无愧于历史的绚丽篇章。指出广大海外侨胞有着赤诚的爱国情怀、雄厚的经济实力、丰富的智力资源、广泛的商业人脉，是实现中国梦的重要力量。建设中国特色社会主义离不开中国共产党的坚强领导核心，他要求党党要坚持立党为公、执政为民，坚持党要管党、从严治党，全面加强党的建设，不断提高党的领导水平和执政水平、提高拒腐防变和抵御风险能力。他要求全体共产党员特别是党员领导干部要做共产主义远大理想和中国特色社会主义共同理想的坚定信仰者和忠实践行者，始终把人民放在心中最高的位置，弘扬党的光荣传统和优良作风，坚决反对形式主义、官僚主义，坚决反对享乐主义、奢靡之风，坚决同一切消极腐败现象作斗争，永葆共产党人政治本色，矢志不移为党和人民事业而奋斗。指出，“担当就是责任，好干部必须有责任重于泰山的意识”，坚持党的原则第一、党的事业第一、人民利益第一，敢于旗帜鲜明，敢于较真碰硬，对工作任劳任怨，尽心竭力、善始善终、善作善成。为了党和人民事业，我们的干部要敢想、敢做、敢当，做我们时代的劲草、真金。要树立正确政绩观，“不搞脱离实际的盲目攀比，不搞劳民伤财的“形象工程”“政绩工程”，求真务实，真抓实干，勇于担当，真正做到对历史和人民负责”。
system: [SYSTEM]

user: 5. 提出深化改革是当前的自觉历史担当 第一，习近平根据我国改革开放的实际，从历史经验和现实需要的高度，强调改革开放是决定当代中国命运的关键一招。同时指出，“改革既不可能一蹴而就、也不可能一劳永逸”“改革开放只有进行时没有完成时”，“中国改革经过30多年，已进入深水区，可以说，容易的、皆大欢喜的改革已经完成了，好吃的肉都吃掉了，剩下的都是难啃的硬骨头。” [ 5 ] 当前，国内外环境都在发生极为广泛而深刻的变化，我国发展面临一系列突出矛盾和挑战，前进道路上还有不少困难和问题。“解决这些问题，关键在于深化改革。”“这就要求我们胆子要大、步子要稳。胆子要大，就是改革再难也要向前推进，敢于担当，敢于啃硬骨头，敢于涉险滩。步子要稳，就是方向一定要准，行驶一定要稳，尤其是不能犯颠覆性错误。” [ 5 ] 第二，习近平提出了必须有改革的举措。他多次强调“空谈误国，实干兴邦。”高举改革开放的旗帜，光有立场和态度还不行，必须有实实在在的举措。行动最有说服力。提出改革举措要慎重，“但也不能因此就谨小慎微、裹足不前，什么也不敢干、不敢试。搞改革，现有的工作格局和体制运行不可能一点都不打破，不可能都是四平八稳、没有任何风险。只要经过了充分论证和评估，只要是符合实际、必须做的，该干的还是要大胆干。” [ 8 ] 这体现了自觉的改革担当，这种担当强调充分论证和评估且符合实际。 总之，习近平自觉的历史担当，体现了一种理论胸怀素养，冲破思想观念的障碍、突破利益固化的藩篱，反映了思想的解放；体现了尊重人民主体地位，发挥群众首创精神，紧紧依靠人民推动改革，是对民族、人民、党的高度负责；体现了一种历史思维，不仅给了我们方法论的指导，也为我们实现中国梦、投身到建设中国特色社会主义的伟大实践提供了重要的理论依据。
system: [SYSTEM]

user: 摘 要 符号模型检测中，将迁移关系表示为OBDD的一种较为高效的方法是先借助SMV语言将迁移关系表示为布尔函数，再利用相关算法综合得其OBDD。但在将迁移关系表示为布尔函数时常会遇到两个问题：第一，下一状态取值不确定；第二，具有一定变化规律的非输入变量较多。本文提出等效输入变量的概念，对迁移关系的布尔函数公式的取值条件加以限制，给出了这两个问题的具体解决办法，进而使得迁移关系的布尔函数表示更加准确、高效。 关键词 :符号模型检测，OBDD，迁移关系，布尔函数，等效输入变量
system: [SYSTEM]

user: 1. 引言 随着计算机科学技术的迅速发展，关于计算机硬件和软件系统的正确性验证也越来越重要，而关于其功能的验证主要采用模拟法和形式化验证法。相对于模拟法来说，形式化验证法更能保证验证的完备性，所以其在工业上的应用更为广泛。此外，形式化验证法大体上可分为等价性检测、模型检测和定理证明三类。 模型检测 [ 1 ] [ 2 ] 是一种自动的、基于模型的形式化验证技术，它通过遍历状态空间来对系统某方面的性质作出验证。然而，随着系统规模的不断扩大，状态空间的大小呈指数级增长，于是就引起了状态空间爆炸问题。为了克服显式模型检测在解决此问题上的局限性，符号模型检测应运而生。 符号模型检测是由J. R. Burch，E. M. Clarke和K. L. McMillan等人于20世纪90年代初提出的 [ 3 ] [ 4 ] [ 5 ] ，它通过布尔函数来表示状态集、迁移关系，而布尔函数则以有序二叉判定图(Ordered Binary Decision Diagrams，简称OBDD) [ 6 ] [ 7 ] [ 8 ] 来呈现。符号模型检测的提出使得状态数超过10 20 的实际系统得到了验证，在很大程度上缓解了状态空间爆炸问题，进而促进了验证技术的重大突破。而近几年关于OBDD变量序的研究 [ 9 ] [ 10 ] 及符号模型检测在应用中的研究 [ 11 ] [ 12 ] [ 13 ] [ 14 ] 使得形式化验证技术得到了重大发展。 符号模型检测中，在将迁移关系表示为数据结构OBDD时常会遇到两个问题：第一，状态变量在下一状态的取值不确定；第二，具有一定变化规律的非输入变量较多时，它们之间关系的处理。对于这两个问题，文献 [ 15 ] 中给出了一些相应的的解决办法，但其较为抽象，而且形式化过程、结果都存在有一些赘余表示。 本文通过提出等效输入变量的概念，给出了借助SMV (Symbolic Model Verifier)语言描述迁移系统并由此得出迁移关系的布尔函数时，对于这两个问题具体明确的解决办法，此外对文献 [ 15 ] 中所提关于 的公式进行了改进，使得形式化过程更加高效，形式化结果更加简洁，进而直接或者间接地提高了符号模型检测中某些具体问题的验证效率。
system: [SYSTEM]

user: 2. 基本概念 模型检测中，对系统某方面的性质作出验证时，首先要对实际系统建模得出一个迁移系统。 定义1：迁移系统 是一个多元组 ，其中S表示系统的状态集合， 表示系统的初始状态集合且满足 ， 表示迁移关系，它是状态集 上的二元关系：对于 ，都 满足 ， 是用于描述状态的原子命题集， 是从状态集 到原子命题集 的幂集上的函数，称为标记函数。 一个迁移系统 可以通过一个有向图来表示，如图1所示。 对于图1所示迁移系统 有： 符号模型检测中，需首先将迁移系统中的状态集和迁移关系表示为布尔函数的形式，而且在此表示过程中会涉及到一些变量。 定义2：若一个变量 的定义域是 ，则称此变量 为布尔变量。令 为布尔变量，若集合 上的函数 满足布尔运算 、 、 、 ，则称此函数 为从 到 上的 元布尔函数。 用来描述系统各状态的自变量，称为状态变量。系统模型的任意一个状态可以认为是对状态变量集中各元素的一个赋值。状态变量的取值可能会随着状态的迁移而变化。而由外界环境所决定的变量，称为输入变量。在有限状态的迁移系统中，不可以指定输入变量的初值，而且它的取值变化完全取决于模拟环境，而与状态迁移毫无关系。 布尔函数的表示方法有很多种，在诸多表示中，OBDD是布尔函数较为紧凑且较为规范的表示形式。 定义3：二叉判定图(Binary Decision Diagrams，简称BDD)是一个有限有向无环图，满足条件： 1) 具有唯一初始结点； 2) 所有非终止结点用布尔变量标记，且都恰好有两条边指向其它结点：一个用虚线表示，一个用实线表示，其中虚线表示布尔变量取值为0，实线表示取值为1； 3) 所有终止结点标记为0或1。 有序二叉判定图(Ordered Binary Decision Diagrams，简称OBDD)是带有某些有序变量表的BDD。 如图2是无变量序的BDD，而图3是带有序 的OBDD。
system: [SYSTEM]

user: 3. 迁移关系的布尔函数表示 符号模型检测中，需要将迁移系统中的迁移关系表示为OBDD，而当系统较大较为复杂时，则需借助SMV语言描述迁移系统，并依据此得出表示迁移关系的布尔函数 ，进而通过相关算法综合求得其OBDD。而用SMV语言描述迁移系统以及由此得出迁移关系的布尔函数时，通常会遇到两个问题的处理：第一个问题是，状态变量在下一状态的取值不确定；第二个问题是：具有一定变化规律的非输入变量较多时，它们之间关系的处理。 为有效解决这两个问题，我们引入了一种叫做等效输入变量的状态变量：在任意下一状态取值都不确定的状态变量，称为等效输入变量。很明显，等效输入变量不是输入变量，但其取值不会随着状态的迁移呈现一定的变化规律。 本节工作前提是状态集已被表示为布尔值和布尔函数。符号说明： 表示状态变量， 表示状态变量 在下一状态的取值所满足的关系表达式，而 则表示状态变量 在下一状态的取值。 3.1. 非确定的下一状态 迁移关系表示为布尔函数过程中，为解决下一状态为非确定赋值的问题，我们对所研究的状态变量 图1. 迁移系统 的有向图 图2. 无变量序的BDD 进行考究，看状态变量是否为等效输入变量，进而给出不同的解决办法，使得形式化结果更加简明。 若状态变量 为非等效输入变量，即只在某些条件下，其下一状态取值不确定： 1) 用SMV语言描述迁移关系时，需将该条件下的 赋值为所有可能的取值组成的集合； 2) 由SMV语言求得迁移关系的布尔函数时，只需将该条件的 取值为 来表示，而无需再引入其它输入变量，因为输入变量的引入表示系统状态的增多。 若状态变量 为等效输入变量，即其在任意下一状态的赋值都不确定： 1) 用SMV语言进行描述时，不需要对其下一状态取值进行描述； 2) 由SMV语言求得迁移关系的布尔函数时，即依据 求取 时，我们对 的条件进行修改，要求其不仅不可以是输入变量，而且不可以是等效输入变量。假设 是等效输入变量，则无论任何时候都满足 ，而 ，于是 通过这样的限制，可 以避免形式化过程中的冗余表示。 例1：已知迁移系统 的有向图如图4所示，试用SMV语言对该系统进行描述，并由此给出其迁移关系的布尔函数 。 首先，分析非输入变量 的变化规律可知：变量 在任意一个下一状态的取值是不确定的，既有TRUE，也有FALSE，因此为等效输入变量，所以在SMV语言描绘中不对 进行说明。而变量 则遵循一定的变化规率：当 为TRUE时， 在下一状态的取值为FALSE；而 为FALSE时， 在下一状态的取值是不确定的，既有TRUE也有FALSE。 由此得出该迁移系统的SMV语言描绘如下所示： 图3. 带有序[x，y]的OBDD 图4. 迁移系统TS 1 的有向图 其次，由SMV语言描绘求得迁移关系的布尔函数 时，关于下一状态是不确定值的处理：首先分析 是等效输入变量，所以不需要求 。而 是非等效输入变量的状态变量，当 时， 的取值是不确定的，此时需使 取值为 即可；而且写 表达式时，没有必要列真值表，只需将 时的各种情况用布尔表达式表示然后再相加即可。 由SMV语言中的next表达式分析： 时的条件是 且 ，故 。 最后，得出图4所示系统 的迁移关系的布尔函数是： 3.2. 多个非等效输入 当迁移系统中有具有一定变化规律的非输入变量较多，即有多个非等效输入变量的状态变量 时，处理好各 之间的关系，方可得到原迁移系统的正确描述。因为用SMV语言描述迁移系统时，需分析各 的变化规律，而当非等效输入变量的状态变量较多时，分析某个变量的变化规律可能会引入一些原迁移系统中不存在的迁移，此时在分析其他变量的变化规律时需避免这些赘余迁移，也就是说，依据每个 都会得到一个迁移图，而它们的公共部分才为已知迁移系统的有向图。 例2：已知迁移系统 的有向图如图5所示，试用SMV语言对该系统进行描述，并由此给出其迁移关系的布尔函数 。 图5. 迁移系统TS 2 的有向图 首先，分析可知，状态变量 和 都不是等效输入变量，而变量 的变化规律是：只有当 和 均为FALSE时，下一状态 的真值不确定，既有TRUE，也有FALSE；而其它情况下，下一状态 的取值一定为FALSE；但殊不知，这个变化规律增加了迁移 ，如图6中的左图虚线箭头所示，因此在分析 的变化规律时，必须避免这些迁移的出现。对于 ，要求当 且 时， 在下一状态的取值为TRUE，这样避免了迁移 ；而其他情况下， 在下一状态的取值一定为FALSE，这样的赋值避免了其他的赘余迁移。虽然又引入了额外的迁移，但也不影响最后结果，如图6中的右图说明了变量 的变化规律，其中虚线部分为所引入的无关迁移。图6中左图和右图的公共部分即为图5中的迁移。 该迁移系统的SMV语言描绘如下所示： 由迁移系统的SMV语言描述求 时，利用同例1的方法，只需将各 时的条件转化为对应的布尔表达式再相加即可。所以可求得 ， ，于是可得图5中所示迁移系统 的迁移关系的布尔函数是：
system: [SYSTEM]

user: 4. 结语 本文给出了符号模型检测中将迁移关系表示为布尔函数时，关于下一状态取值不确定以及非等效输 图6. x 1 和x 2 的变化规律各自所对应的迁移图 入变量较多时的处理方法，从而使得迁移关系的布尔函数表示更加高效、准确。但对于该表示过程中所遇到的其它问题，比如用当前值无法表示下一状态取值而需要引入其它输入变量等问题的处理，还有待于进一步研究。
system: [SYSTEM]

user: 摘 要 以欧李果渣为原料酿造欧李果酒，试验中，通过对发酵过程中CO 2 的失重量、糖度、酒精度、滴定酸和pH的变化的跟踪测定和对成品欧李果酒的感官品质进行评定，筛选出最适酵母，结果表明：由葡萄酒果酒专用酵母SY发酵的欧李果酒各项理化指标适中，成品酒酒香醇厚，酒体丰满，后味绵长，为性能优良的欧李果酒发酵酵母。 关键词 :欧李果渣，欧李果酒，酿造，酵母，筛选
system: [SYSTEM]

user: 1. 引言 在科尔沁沙地上生长的欧李(Cerasus humilis)果实营养成分丰富。果实香气浓郁，口感酸甜，钙、铁含量在已知水果中为最高，尤其是钙含量极为丰富，被称为“绿色天然钙粉” [ 1 ] 。所含的氨基酸也十分丰富，其中必需氨基酸中苏氨酸含量最高，苯丙氨酸、蛋氨酸次之，必需氨基酸总量显著高于苹果、葡萄和柑橘等水果。欧李果实中还含有丰富的维生素A、维生素B2、维生素B12、维生素C、维生素E和钾、氮、磷、锰、锌等微量元素，其中Vc含量为590.1 mg/kg，远远高于苹果、草莓、葡萄、西红柿等水果的Vc含量 [ 2 ] 。 欧李香气独特，有机酸和酚类物质含量丰富，但糖含量相对较低，多数品种口感酸涩，宜加工后食用 [ 3 ] 。目前以加工成果汁、果酒、果醋、果奶、罐头、果脯等食品 [ 4 ] ，而加工过程中剩余的残渣还没有得到很好的利用，这样不仅会提高了生产成本，对环境也会造成一定污染。本文以欧李果渣为原料进行酿制欧李果酒，并对欧李果酒最适酵母菌种进行筛选，以期得到口味纯正、香气浓郁丰满、典型性良好的欧李果酒。不仅提高了欧李的综合利用率，变废为宝，而且还增加果农收入，延长了产业链条。而以欧李果渣为原料发酵生产欧李果酒鲜有报道。
system: [SYSTEM]

user: 2. 材料与方法 2.1. 实验材料 欧李果渣；绵白糖；安琪葡萄酒、果酒专用酵母SY湖北安琪酵母股份有限公司；安琪葡萄酒、果酒专用酵母RW湖北安琪酵母股份有限公司；Lalvin RHONE 2323法国LALLEMANT公司；Lalvin RC212法国LALLEMANT公司 2.2. 试验方法 1) 测定方法：总糖采用直接滴定法 [ 5 ] ；酒精度采用比重瓶法 [ 5 ] ；滴定酸采用NaOH滴定法 [ 5 ] ；pH值采用pH计测定。 2) 欧李果酒酵母菌种的优选方法：采用安琪葡萄酒的果酒专用酵母SY和RW、Lalvin RHONE 2323、Lalvin RC-212，4种酵母菌发酵欧李果酒，跟踪测定酵母菌发酵性能、能力等指标的测定及成品欧李果酒的感官评价结果，筛选出发酵欧李果酒最佳的酵母菌种。 3) 欧李果酒感官品质评定方法(见表1) Table 1 The evaluation on standard of Cerasus humili 项目 感官指标 色泽 (20分) 澄清、透明、具有欧李特有的颜色、悦目协调(20)；澄清，透明色泽均一(17~19)； 澄清、无杂质，与产品颜色不符(13~16)；微混、失去光泽或人工着色(<13) 香气 (30分) 果香、酒香浓馥幽郁，协调悦人(28~30)；果香、酒香良好，尚悦怡(25~27)； 果香与酒香较小，但无异香(22~24)；香气不足，或不悦人，或有异香(18~19)；香气不良，使人厌恶(<18) 滋味 (40分) 口感新鲜，酒体丰满，协调，后味绵长(38~40)；酒质柔和爽口，酸甜适当(34~37)； 酒体协调，纯正无杂味(30~33)；略酸，较甜腻，带甜，欠浓郁(25~29)；酸、涩、苦、平淡，有异味(<25) 典型性 (10分) 典型完美，风格独特，优雅无缺(10)；典型明确，风格良好(9)； 有典型性，不够怡雅(7~8)；失去本品典型性(<7) 表1. 欧李果酒感官评定标准
system: [SYSTEM]

user: 3. 结果与分析 3.1. 不同酵母菌种对欧李果酒发酵速度的影响 发酵性能是判断该酿酒酵母菌株生长优劣的一个重要指标，果酒发酵过程中会有CO 2 生成，而整个发酵系统的重量也会随着CO 2 的排出逐渐减轻 [ 6 ] ，所以，根据CO 2 的失重量，可绘制酵母菌发酵速率曲线，该曲线可以反映出该酵母菌的起酵速度，发酵性能等。 由图1可知，四种酵母菌的发酵性能都相对稳定，其中酵母菌葡萄酒果酒专用酵母RW和Lalvin RHONE 2323的起酵速度最快，葡萄酒果酒专用酵母SY与Lalvin RC 212次之。葡萄酒果酒专用酵母SY的起酵速度最慢，且发酵性能及最终发酵程度均较差。安琪酵母菌的发酵速度和最终发酵程度明显较其他三种菌株好，起发酵能力较强，酵母菌12的最终发酵程度相接近。 3.2. 不同酵母发酵过程中糖度的变化 发酵过程中总糖的含量会影响酒精发酵、口感及风味。酵母的降糖能力是衡量酵母菌代谢产生乙醇能力的一个重要指标，降糖能力强不仅有助于发酵的正常进行，还可缩短果酒的发酵周期 [ 7 ] 。 发酵前期，糖含量下降迅速主要是由于酵母菌大量繁殖消耗了大量的糖分，同时酵母菌以糖作为发酵底物进行酒精发酵消耗了一部分糖，发酵一段时间后，酒精含量上升，酵母菌代谢受到一定抑制，糖消耗的速度减慢，直至趋于平行 [ 8 ] 。 由图2可知，四种酵母菌的降糖能力各不相同，其中由葡萄酒果酒专用酵母SY发酵的欧李果酒中残糖量最少，其次分别为葡萄酒果酒专用酵母RW和Lalvin RHONE 2323，由Lalvin RC 212发酵的欧李果酒中残糖量最多。由此可知，葡萄酒果酒专用酵母SY的降糖能力最强，Lalvin RC 212的降糖能力最弱，葡萄酒果酒专用酵母RW和Lalvin RHONE 2323相接近。 3.3. 不同酵母发酵过程中酒精度的变化 酵母发酵产生乙醇是果酒生产中最重要的环节，不同酵母赋予果酒不同的风味特征 [ 9 ] ，同种原料，所使用的酵母菌种类不同，发酵的欧李果酒中乙醇的含量也不相同，结果如图3。 由图3可以看出4种酵母菌发酵欧李果酒过程中酒精度的变化。发酵初期上升趋势明显，这是因为发酵前期发酵液中总糖浓度高，酵母菌充分利用糖类生成酒精。而随着发酵液中酒精含量的增多，酵母菌发酵受到抑制，同时酯化反应的发生也会消耗部分酒精。因此，发酵后期酒精度上升趋势缓慢。由图3可知由4发酵的欧李果酒酒精度更加接近预期值。 图1. 发酵过程中CO 2 累计失重曲线图 图2. 不同酵母发酵过程中糖度的变化 图3. 不同酵母发酵过程中酒精度的变化 3.4. 不同酵母发酵过程中滴定酸及pH值变化 酸类物质是果酒中重要的风味物质，不仅会使酒体产生新鲜感，还会修饰其滋味和口感 [ 10 ] ，恰当的酸含量不仅可以使果酒醇厚爽口，中和果酒中的苦涩味，还可以抑制细菌的生长，酸度过低，不利于酵母菌发酵，还会促进乙酸乙酯水解，生成挥发酸 [ 11 ] ，酸含量过高，会使酒体粗糙、口感果酸，还会造成酒液浑浊。 在果酒发酵过程中，酒中的酸含量随着酵母细胞的生长、繁殖和发酵而产生，这也是发酵前期滴定酸增加的一个重要原因 [ 12 ] 。随着发酵过程的进行，某些有机酸被吸收代谢而导致酸度下降。由图4和图5可知，发酵结束时四株酵母发酵液的总酸值与初始总酸值相接近。发酵过程中随着酸的变化，pH值也相应发生改变，总体变化趋势是先下降后上升，主发酵结束后四种菌株pH值的波动范围均在3.5左右，基本上与初始pH值接近。 3.5. 不同酵母对欧李果酒感官品质的影响 根据感官评分标准对四种酵母酿造的欧李果酒进行品质品定，结果见表2。 图4. 不同酵母发酵过程中酸度的变化 图5. 不同酵母发酵过程中pH值得变化 Table 2 The effect of different yeasts on sensation evaluation of Cerasus humilis win 外观 香气 滋味 典型性 总分 LalvinRC-212 15 24 35 7 81 Lalvin RHONE-2323 16 25 36 8 85 葡萄酒果酒专用酵母RW 17 25 34 8 84 葡萄酒果酒专用酵母SY 19 26 37 9 91 表2. 不同酵母发酵欧李果酒感官评价结果
system: [SYSTEM]

user: 4. 结论 4株酵母中，Lalvin RHONE-2323、葡萄酒果酒专用酵母RW起酵速度最快，但最终发酵程度略差，葡萄酒果酒专用酵母SY虽然起酵速度略差，但对发酵醪液中可发酵糖的利用更充分，主发酵完成后且残糖量最低，发酵较彻底，最终发酵完全，酒精度也略高于Lalvin RHONE-2323、葡萄酒果酒专用酵母RW，LalvinRC-212从起酵速度、糖的利用和酒精的生成角度，都不如其他三种酵母；且经感官品尝分析，Lalvin RHONE-2323、葡萄酒果酒专用酵母RW酿制的欧李果酒口感柔和，但后味不足，酒香不够醇厚，LalvinRC-212酿制的欧李果酒酒体色泽较好，但甜酸比例不恰当，味道较平淡，葡萄酒果酒专用酵母SY发酵彻底，酒体醇厚，酒的光泽较好，具有酒香和欧李特有的香气且后味绵长，平衡感强。因此综合上述理化指标及感官评价结果，最终选择葡萄酒果酒专用酵母SY作为欧李果酒发酵菌株。
system: [SYSTEM]

user: 摘 要 城市群背景下新型城镇化进程的加快，大城市及城际间的交通拥堵现象日趋严重，其中很大一部分原因是外地车辆大量涌入大城市。针对这一问题可以从限制私家车和鼓励公交两方面进行考虑，一方面是大城市的私家车需缴纳一定的费用购置车牌来获得道路通行权，因此管理城市外来车辆可以通过城际高速公路区交通通行权采取收费的市场化经济手段来达到限制通行的目的；另一方面，采取多种手段鼓励城市间公交出行，如收取小汽车拥挤费、外地车通行费等市场化方法以及停车换乘方式。因此，在鼓励公交、限制私家车前提下，考虑城市间三种交通方式：小汽车、小汽车停车换乘公交、高铁，首先给出包含出行费用和时间成本的路径广义费用函数，构造基于随机效用理论的离散选择模型，并求解不同收费费用组合下各出行模式的交通流量分配情况，最后利用数值分析更直观地展现各交通方式交通流量的变化情况。结果显示，通过经济手段来优化交通方式结构是可行的。 关键词 :多项Logit模型，拥挤收费，外地车通行费，停车换乘
system: [SYSTEM]

user: 1. 引言 在城市群背景下，大城市带动周边中小城市经济的发展，随即而来的问题是城际交通需求急剧增加，私家车在城市间往来更为频繁且数量有递增的趋势，这必然会引起城际道路和大城市内的拥堵现象，因此优先发展公共交通已经成为解决城市交通拥堵的重要课题。 交通方式划分使用基于随机效用理论的多项Logit模型，该模型是目前使用较为广泛的离散选择模型 [ 1 ] ，该模型最早由麦克法登对旧金山Bay地区的新快速铁路客流量的预测时提出，通过分类极大地扩展了效用理论的使用范围 [ 2 ] 。国内，自90年代中期学者陆化普等将非集计模型理论引入并应用在国内的交通规划中后 [ 3 ] ，陆续有学者将其应用于交通方式划分领域，特别是针对城市内交通，如贾洪飞等分析不同收费价格模式下两种交通方式的分担率和道路饱和度的变化情况 [ 4 ] 。而对于城际之间交通流量分配问题，四兵锋、高自友首次将随机均衡模型应用于城际之间交通方式的分配 [ 5 ] 。 通过多项Logit模型预测用户选择不同出行模式的概率 [ 6 ] ，其中，通过采取经济手段或停车政策来调整分担率，以限制进入大城市外来车和鼓励公共交通出行。往返于苏州与上海挂非“沪”字汽车牌照的车辆中经验估计约80%以上的为外地常驻上海的车辆以及外地常往来于上海的车辆，这两类车主或是车主是本市常驻人口，或是该车有相对固定的停车点，这些车辆的进入给上海的交通带来巨大影响，范霍夫通过调整停车政策来影响出行行为，提出停车换乘可以鼓励大众使用公交的出行方式 [ 7 ] 。黄海军和李志纯基于私家车和私家车换乘地铁两种出行方式，构建了组合出行的混合均衡分配模型 [ 8 ] 。通过停车换乘(Park-and-Ride)，并将停车点外移至郊区或郊区以外，可缓解上海市内交通拥堵问题。基于固定出行需求的静态组合出行模型，黄海军和李志纯 [ 8 ] 、李红莲 [ 9 ] 、秦焕美 [ 10 ] 均有采用相继平均法(MSA)进行求解。 以往的文献大多关于城市内的交通方式划分，且考虑的交通方式单一，虽然也有文献从经济手段如收取不同费用来分析分担率变化，但也仅限于改变其中一种交通方式的收费价格。目前关于城市群下城际多种出行方式的研究很少，因此文中包含三种交通方式：全程驾车、停车换乘公交、高铁 [ 11 ] [ 12 ] ，并且从限制私家车和鼓励公共交通两方面进行考虑，通过市场化手段来调节城际交通出行方式结构，一方面是大城市的私家车需缴纳一定的费用购置车牌来获得道路通行权，因此管理城市外来车辆可以通过城际高速公路区交通通行权采取收费的市场化经济手段来达到限制通行的目的；另一方面，采取多种手段鼓励城市间公交出行 [ 13 ] ，如收取小汽车拥挤费 [ 14 ] 、外地车通行费等市场化方法以及停车换乘方式 [ 15 ] 。 Logit模型是最早的离散选择模型，也是目前应用最广泛的模型。在类别选择问题上，麦克法登将每一个类别的效用分解为两部分，分别是能够观测和无法观测的效用，这就是随机效用理论，接着对随机效用做出一些分配假设，这使得我们可以用标准的统计方法(最大似然估计法)将类别特质和经济个体特质对类别选择的影响估计出来，因为文中的三种交通方式是同类别的，所以可以使用多项Logit模型进行建模。求解方面，将交通量与出行时间作为变量，给定不同的收费价格组合，使用迭代算法得到三种交通方式的流量，并利用等高线图直观地展现流量变化，说明经济手段对于促使出行者从私家车向公共交通转移的作用，同时可以得到高速公路饱和状态下的一个收费价格组合。
system: [SYSTEM]

user: 2. 固定需求的多项Logit模型 在如图1的系统示意图中，从城市O (周边中小城市)至城市D (大城市)，假设日均总需求为 ，其中包括本地返程出行需求为 ，单位为辆/h；外地临时出行需求为 ，单位为辆/h。城际交通包含三种出行方式，分别是小汽车、小汽车换乘公交与高铁。出行方式①为小汽车，此路段设有收费口，且容量为 ；方式②代表停车换乘(Park-and-Ride)即小汽车换乘公交，其中点P代表瓶颈处，并设有停车场；方式③为高铁。其中点O是起点即小城市，点D是讫点即大城市。从O点至P点高速公路路长为 ；P点至D点路长为 ，那么O点至D点路长为 ；OD段的高速铁路里程为 ，单位均为km。 基于不改变现有的交通设施设备即交通供给不变的前提下，在考虑广义交通费用时，将需要用户承担的交通基础设施视为固定成本，因此只包括出行费用和出行时间两部分。将广义费用函数定义为随机变量，为： (1) 式(1)中， 为出行者选择出行方式 的费用； 为出行者选择出行方式 时能够观测部分的效用函数； 为出行者选择出行方式 时不能够观测部分的效用函数，包含难以观测到的效用和观测误差产生的影响。 图1. 系统示意图 多项Logit模型(Multinomial Logit Model)是离散选择模型中最为常用的模型之一。麦克法登从计量经济学的视角研究了卢斯的模型，并将精确的效用设定为选择项可观测变量的函数 [ 2 ] 。该模型在假设 服从Gumbel分布，且效用的确定项 和变动项 相互独立的前提下推导而来，公式为： (2) 式(2)中， 是和误差项的方差 有关的一个参数， 值越大，则用户对出行效用的理解误差越小，越倾向于选择感知成本最低的出行方式。 为出行者 选择出行方式 的概率， 代表本地返程者， 代表外地临时出行者； 为待定系数； 为出行者 选择出行方式i的广义费用； 为出行方式的集合，出行方式 。
system: [SYSTEM]

user: 3. 用户广义交通费用的确定 确定项效用函数中，出行费用有小汽车油耗费、拥挤收费、额外通行费、停车费、公交票价与高铁票价；出行时间是在固定的单位时间价值即VOT (Value of Time)情况下，将所有的出行时间转换为金钱来计算总成本。出行效用函数公式为： (3) 为出行效用函数 的第 个效用因素的值。 本文主要以出行费用( )、出行时间成本( )作为广义费用函数的主要构成属性。因此，广义费用函数确定项 的线性函数为： (4) 具体量化计算过程如下： 1) 出行支付费用计算 各种出行方式的出行费用以人均花费成本表示，其中高速公路中本地返程小汽车以拥挤费用和油耗成本为出行总费用，外地临时出行的小汽车除此之外，还要加收额外通行费；换乘路线以前段小汽车油耗成本和后段公交票价为出行总支出费用；高速铁路以票价为出行途中的出行费用。假设每辆小汽车乘坐一人，方式①、②、③的出行费用 如下： 出行方式①的出行费用： 本地返程小汽车： (5) 外地临时出行者小汽车： (6) 出行方式②的出行费用： (7) 出行方式③的出行费用： (8) 为高速公路拥挤费率，元/公里； 为外地车额外通行费，元； 为油耗费率，元/公里； 为停车换乘处的小汽车停车费用，元； 为公交票价，元/公里； 为高铁票价，元/人/公里。 2) 出行时间成本计算 将各出行方式乘以一个固定的单位时间价值，即转换为以货币为单位的成本，其表达公式为式(9)： (9) 根据阻抗函数 [ 16 ] 建立如下公式： (10) 为出行方式 小汽车自由行驶时间，单位h； 为当时通过方式 的交通量，单位pcu/h； 为路段实际通行能力，单位pcu/h； 、 为模型待定参数，美国公路局的推荐使用值分别为0.15和4。 出行方式①的出行时间成本： (11) 出行方式②的出行时间成本： (12) 为公交行驶速度。 出行方式③的出行时间成本： (13) 为高铁行驶速度。 以上，得到三种交通方式的分担率如下： (14) (15) (16) 在本地返程出行需求 以及外地临时出行需求 的前提下，分别计算不同出行需求下交通流分配量，再进行加和处理，得到三种出行方式的交通流量公式如下： (17) (18) (19)
system: [SYSTEM]

user: 4. 模型的求解 以上假设符号中，交通流 与出行时间 为变量，且两者相关，将其它暂定为常量。这里，出行支付的费用可以直接由已知项计算得出，其中小汽车油耗费率、停车费、公交与高铁票价均为固定值，在给定拥挤收费费率与额外通行费费率时，通过公式(5)、(6)、(7)、(8)可以得到每种出行方式用户需要支付的费用 。而时间成本是由出行时间与交通流量共同决定的，以交通量 与出行时间 为变量，且两者互为影响，再给定拥挤收费与外地车通行费，通过迭代得到不同收费价格组合下的三种交通方式的流量。具体计算过程如下： 第一步，初始化，设交通流初始值 ，其中 ， ，( 、 分别代表选择出行方式①、②的初始流量值， 、 分别代表的是返程出行者， 、 分别代表的是外地临时出行者)； 第二步，将 与 代入公式(10)可以得到相对应的出行时间 与 ； 第三步，利用公式(11)、(12)和(13)计算得到出行方式的时间成本 ； 第四步， 与 代入公式(4)后，将得到的效用值再代入公式(1)得出本地返程出行者选择各出行方式的概率 ，外地临时出行者选择各出行方式的概率 。 第五步，通过以下公式(14)计算得出方式①、②的交通流 、 ： (14) 若计算得到的 ， ，则终止计算；若不是，则重复以上步骤二到五，直到 为止。
system: [SYSTEM]

user: 5. 算例分析 本节应用上述模型来分析苏州至上海在采取拥挤收费与外地车通行费前后的各出行方式分担率变化情况。模型的各个参数如下： ， ， ， ， ， ， ， ， ，选取上海市2014年GDP总量为23560.94亿元， ， ，得到 ， ， ， 。求解路径①、②、③的流量值如表1~3所示。 使用Matlab作等高线图，如图2~4所示，从图2可以看出每小时车流量大于8000的区域道路状态为拥挤，相反地，流量小于8000的区域道路状态为不拥挤。当流量等于8000时，道路饱和，此时这条等高线上所有的 组合是道路饱和状态下的拥挤收费与额外通行费组合，图中标注出点A、点B与点C分别是三种不同的收费组合，坐标依次为 、 、 。 从以下三个等高线图可以得出以下结论：拥挤收费不变，增加额外通行费或额外通行费不变，增加拥挤收费时，路径①的车流量减少，特别是调整拥挤收费的情况下车流量明显减少，而路径②、③的车流量增加。路径①中的车流量是随着拥挤收费和额外通行费的增加而减少，减少的车流量转移到另外两条路径中。 Table 1 Path ① flow chang 1 1.5 2 2.5 3 10 10252 7222 5012 3441 2345 20 9785 6878 4766 3269 2226 30 9351 6562 4542 3112 2118 40 8948 6271 4336 2969 2020 50 8576 6004 4148 2839 1930 表1. 路径①流量变化表 Table 2 Path ② flow chang 1 1.5 2 2.5 3 10 21780 22885 23691 24263 24663 20 21951 23010 23780 24326 24706 30 22109 23125 23862 24383 24745 40 22255 23231 23937 24435 24781 50 22391 23329 24005 24483 24814 表2. 路径②流量变化表 Table 3 Path ③ flow chang 1 1.5 2 2.5 3 10 37968 39893 41298 42296 42993 20 38265 40112 41454 42405 43068 30 38541 40313 41596 42505 43137 40 38796 40498 41727 42596 43199 50 39033 40667 41847 42678 43256 表3. 路径③流量变化表 图2. 路径①流量变化图
system: [SYSTEM]

user: 6. 结语 本文分析了管理城市外来车辆的经济手段，包括拥挤收费和外地车额外通行费，以及鼓励公交出行的多种方法，具体是在城市间多种交通方式通行的前提下，以拥挤收费与额外通行费为变量，建立多项Logit模型以预测城际各出行模式的分担率，通过依次调整变量得到不同路径对应的流量值，计算结果说 图3. 路径②流量变化图 图4. 路径③流量变化图 明该模型是可行的。实际应用中，增加拥挤收费与外地车通行费时，用户选择小汽车出行的概率降低，而停车换乘公交和高铁出行的比例均会增加。因此，本文通过经济手段达到限制进入大城市的外地车和以此来鼓励公共交通出行是可行的。
system: [SYSTEM]

user: 摘 要 当今社会，随着全国普通高校毕业生人数逐年增加，大学生就业难已成为一个棘手的问题。贵州省处于我国的西南地区的经济及教育相对落后的省份，从理论上而言，西部大开发的浪潮中急需各类人才，但在对高校毕业生就业难及对策分析中，贵州高校毕业生就业难却比东部发达省更为突出。本文运用了时间序列、聚类、抽样调查等知识，以贵州高校毕业生为例对贵州高校毕业生就业难及对策分析，研究贵州高校毕业生就业难的原因及对策，通过全国的就业情况和贵州的就业情况作对比。提出一些对贵州高校就业难的对策及建议。 关键词 :高校毕业生就业难，就业对策，聚类，ARIMA模型