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

user: 2. 鱼道进口研究现状及存在问题分析 Videler等人的研究，给出了鱼道进口流速的参考值——1.5 m/s至2.0 m/s，同时，他们认为在允许范围内，鱼道进口的流速流量越高越好 [ 5 ] ；Alvarez-Vázquez等人的研究表明，鱼道进口处的最低流速，大约为1.0 m/s，相对应的，鱼道进口处的水位落差应该控制在0.2 m至0.3 m之间 [ 6 ] ；Larinier通过分析德国莱茵河畔某鱼道工程的进口设计方案，认为鱼道的吸引力与其相对障碍物的位置，尤其是与其进口的位置及进口附近的水力状况有关，进口处必须不受涡轮机或溢洪道的水流影响，也不得在环流区或静水区 [ 7 ] 。Abad等人对加拿大北支河下鱼道进口与下游河道的相关关系进行了研究，并利用FLOW-3D软件，采用k-ε模型和VOF模型进行了相关模拟，对该鱼道进口的选择和鱼道结构的改进提出了建议 [ 8 ] 。有研究者采用k-ε模型和VOF模型对美国某低水头坝的鱼道整体进行了模拟，建议控制进口流速在2.0 m/s左右，并认为要适当引进补水措施，来适宜不同时期河道的流量变化 [ 9 ] 。Caisley采用k-ε模型和VOF模型，对美国某主要通过鲑科鱼类的鱼道进口流态进行了模拟，认为鱼道进口的水位差不超过0.30 m，相对最大流速不超过2.4 m/s [ 10 ] 。史斌等人用模型实验的方法对楠溪江水闸鱼道的进行研究，并在缩放的模型上进行了放鱼实验，对鱼道进口水力学指标进行了相应验证 [ 11 ] 。黎贤访等人采用k-ε模型和VOF模型研究了鱼道进口轴线与河岸成不同角度的情况下，鱼道进口的流场分布 [ 12 ] 。 以上相关研究，表明了：1) 现阶段研究鱼道进口的办法主要是依托某些特定工程，研究手段除了大量的资料分析和实地考察之外，主要应用k-ε模型和VOF模型等数学模型对相关工程进行模拟分析，通过分析这些特定工程案例，找出该案例中鱼道进口布置的成功或不足之处，重点分析鱼道进口处的流速、水位等相关水力学指标，但是这些水力学指标主要是针对过鱼对象的个体游泳能力进行分析，而个体鱼类游泳能力的测试结果与实际情况相比是有一定差距的。因此，鱼类游泳能力与鱼道进口处的水力学指标之间的联系并没有得到充分的考虑。2) 大部分研究缺乏放鱼实验来验证鱼道进口的水力学条件，就算适应了放鱼实验的少数研究，也是在缩小了比例的模型上进行实验，并且是利用人工饲养的实验用鱼进行放鱼实验，但即使鱼道进口、河道等可以按比例缩小从而获取水力学要素，但是鱼类活体是不能进行缩小的，且人工饲养实验用鱼和野生原鱼相比，其游泳能力又有显著差异。因此，目前这方面的研究较为缺乏。3) 相对于宽阔的河道而言，鱼道通常是比较小的结构，宽度通常在5 m之内，因此具有“针眼”的特点，对于大江大河尤其明显。因此，找准鱼道进口的位置，让鱼类轻松找到进口并进入鱼道，具有至关重要的意义，虽然相关文献表明，大多数鱼道进口设计利用水下音响、光屏、气泡装置等附加措施来进行诱鱼导鱼，能取得一些成果 [ 13 ] ；但关于鱼道进口的最适合位置及体型，只是提到了鱼道进口的位置应该在岸边，与江河的主要流向平行，并尽量接近发电尾水 [ 1 ] 。归根结底，鱼道的位置选择并没有一个详细可行的指导原则，因此，更多情况下，由于缺乏对鱼类生态学及行为学等方面的认识，鱼道进口的设计不能很好适应鱼类生活习性及洄游规律，导致鱼类始终无法顺利找到鱼道进口。 归纳起来，根据鱼道进口研究的分析，总体来看，鱼道进口方面的研究缺乏统一的分析方法和手段，不同的工程由于受河流流量，地形，运行方式的影响，对应的结果差异大，得到的结果无法进行有效推广。同时，单一的以鱼类个体游泳能力作为指标是不完备的，实际上自然界中的鱼类洄游多是采用集群洄游的方式，相关研究给出了佐证：Weihs应用流体力学和节能的原理，研究出群体中的每一尾鱼在交错排列的行列中游泳，可利用周围鱼群产生的漩涡而使本身游泳的摩擦力或阻力降低，并利用群体产生的与游动方向同向的力来推动自身向前，因此，相比于单个鱼类个体，鱼类集群能适应更大的流速，有利于鱼类的洄游 [ 14 ] ；Partirdge的观察记录表明，绿线鳕采用集群的方式，在洄游时将自身所能承受的最大流速提升到了35%以上 [ 15 ] 。另外，针对鱼类活体不能缩放这一事实，比例缩小后的模型实验及在此模型上进行的放鱼实验得出的实验结果，并不能有效推广 [ 16 ] 。 实际上，鱼类游泳能力被认为是决定许多种鱼类和水生生物生存的主要特征，表征鱼类游泳能力的指标主要有三类：感应流速，临界游泳速度，突进游泳速度。感应流速指鱼类开始产生反应的流速值，这种产生反应的标准通常是鱼类改变游动的方向；临界游泳速度是鱼类在一段特定时间内保持的最大速度，也是鱼类稳定式游动和“冲刺—滑行式”游动的边界速度；突进游泳速度则是鱼类能够达到的最大速度，此状态只能够维持较短的时间(通常持续时间小于20秒) [ 17 ] [ 18 ] 。 再者，通过对前期研究的调研发现——鱼类集群行为是个体对外部环境的刺激作出的反应和个体间相互刺激所产生的自动反应的结果，是大部分洄游鱼类的天性；针对不同种鱼类早期发育时出现的集群现象与相关水力学参数的响应机制，国内外大量研究都表明了鱼类集群行为在很多鱼类发育早期就已具备：Fukuda等人研究发现了金枪鱼幼体在发育阶段集群行为的形成，变化，以及与流速的响应关系 [ 19 ] ；Torisawa等人通过研究，发现了蓝鳍金枪鱼幼体在发育阶段的集群行为与水体弗雷德数的关系 [ 20 ] 。Gallego等人认为幼鱼发育过程中，集群行为的出现和发展与鱼类的全长雷诺数相关 [ 21 ] ；Zhuang等人对比分析了黑龙江中3种代表性鱼类在发育阶段的集群行为，认为流速和紊动能是相当重要的水力学影响指标 [ 22 ] ；Clark等人认为当幼鱼鱼体的全长雷诺数小于200时，适合间歇高速游泳方式，难以维持与其他鱼的相对位置，不易集体行动，而持续游泳方式有利于集群行为的发生 [ 23 ] 。石小涛等人对胭脂鱼早期发育过程中集群行为的形成，认为在紧凑型鱼类集群行为中，流速具有稳定值 [ 24 ] 。以上研究表明，鱼类集群是表示具有同步游泳行为的鱼类集合体。而这在现有的鱼道进口相关研究资料中，还并没有被列入研究重点。 另一方面，鱼类生态行为对鱼道进口的设计也有着至关重要的影响，但是也并未得到足够的重视 [ 16 ] 。鱼类生态行为，是指鱼类在受到外界或内在环境变化或刺激下的行为反应，包括鱼类的运动、洄游、觅食、逃避等 [ 25 ] 。鱼类在历经长期的适应复杂环境的过程中，其生态行为模式千变万化：不同的鱼类之间，行为不会相同，甚至还会存在很大的差异性，比如鲐鱼会成群地不停游动，鲨鱼也会成群一起活动，但是密度远远低于鲐鱼群，因此每种鱼类的行为都各具特点；同时，即使是同一种鱼类的同一类型行为，也会有许多不同的行为形式，比如齐口裂腹鱼的游泳行为，其既可以是保持鱼体挺直，鱼鳍张开，缓慢摆尾低速游动，也可以高频率摆动尾鳍，其背鳍、胸鳍等都紧贴鱼体，身体弯曲呈波浪形进行冲刺游泳 [ 18 ] 。 本文就鱼道进口研究现状的分析及展望，着重考虑了鱼道使用者——鱼类的集群习性及游泳能力，这将会是鱼道进口研究在生态学方面的重要补充。
system: [SYSTEM]

user: 3. 鱼道进口研究思路展望 针对上述研究现状及存在问题，未来对鱼道进口进行研究的思路可从以下方向入手：1) 充分考虑鱼类游泳能力与鱼道进口处的水力学指标之间的联系，即建立鱼道进口生态水力学指标；2) 充分考虑鱼类集群与鱼道进口设计的联系；3) 放鱼实验应进行原型观测，同时，不采用人工饲养鱼，而是将野生原鱼作为实验用鱼。 3.1. 鱼道进口生态水力学指标的建立 在考虑鱼类游泳能力与鱼道进口处的水力学指标之间的联系时，可通过建立一系列生态水力学指标，将鱼类的游泳能力还原至水力学指标，通过工程措施来更好满足鱼类洄游需求。具体如下： 首先，鱼类能通过鱼道洄游的前提条件是——鱼类能够顺利找到鱼道进口进入鱼道。因此，建议将鱼道进口附近流速塑造为“诱鱼流速”，即鱼道进口处的流速能让鱼类感知，从而被吸引过来，并让它们继续往鱼道洄游。最小的“诱鱼流速”是感应流速，临界游泳速度则是最佳的“诱鱼流速”。 鱼道进口也即水流出口，当鱼类被“诱鱼流速”吸引到鱼道进口时，鱼类会持续往上洄游，故建议“鱼道进口流速”应该在临界游泳速度和突进游泳速度之间。其中，临界游泳速度为鱼道进口最低流速，突进游泳速度为鱼道进口最大流速。 3.2. 充分考虑鱼类集群与鱼道进口设计的联系 正如前文所述：鱼类集群的习性对于鱼道设计有着非常大的影响。鱼类集群表示具有同步游泳行为的鱼类集合体。这种同步性表现在鱼群中的个体具有相近的泳速，相同的方向，并保持着相对稳定的空间距离，这是鱼类对外部环境变化做出的集体响应。可见鱼类集群体能准确的反映鱼类对河流水力学环境的适宜情况。因此，建议在设计鱼道进口时，充分考虑鱼类集群的影响，研究鱼类集群时对水流流速、紊动能、雷诺数、弗雷德数等水力学指标的响应情况。 3.3. 放鱼实验验证鱼道进口处水力学条件 鱼类是鱼道的主要使用者，鱼类本身对鱼道进口设计的重要性毋庸置疑，为了将此重要因素考虑周全，建议在鱼道进口设计时要进行放鱼实验，研究鱼类的生态行为与鱼道进口处流速、紊动能等水力学要素之间的联系，这对鱼道进口的设计与优化具有重要的参考意义。另外，在进行放鱼实验时必须考虑到，对于人工饲养的实验用鱼，其游泳能力与天然河流中的野生原鱼相比，肯定会有差异；同时，即使鱼道进口、河道等可以按比例缩小从而获取相关的水力学要素，但是鱼类活体是不能进行缩小的。因此，建议使用野生原鱼在原型上进行放鱼实验，做原型观测；如果无法在原型上进行，至少将模型做成与原型1:1的比例。
system: [SYSTEM]

user: 摘 要 假设G是一个有限非交换p-群，并且G的阶大于 ，如果 整除 ，那么称G为LA-群。本文考虑了二元生成的有限p-群 ，并且满足 ，其中素数 。我们证明了这样的有限p-群是LA-群。 关键词 :有限p-群，LA-群，自同构群 Copyright © 2017 by authors 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. 引言 设 是一个， 是 的正规子群。在本文中我们用 ， ， 和 分别表示群 的导群，自同构群，中心和商群。用 表示群 的阶。 假设群 是一个有限非循环p-群，并且 的阶大于 ，如果 整除 ，那么我们称这个p-群 为LA-群。对LA-群的研究有很久的历史。下面我们列出一些关于LA-群的一些结果：假设 是一个阶 的有限非循环p-群，并且 。如果 满足下列条件之一，那么 是LA-群。 1) 是一个PN-群 和一个交换群 的直积，并且 整除 (见 [ 1 ] )； 2) 是p-交换p-群(见 [ 2 ] )； 3) ，并且 是亚循环的(见 [ 3 ] )； 4) (见 [ 4 ] [ 5 ] )； 5) (见 [ 6 ] )； 6) ，并且 是有限的模p-群(见 [ 7 ] )； 7) Frattini子群 循环(见 [ 8 ] )； 8) 是一个指数为 的循环子群(见 [ 9 ] )； 9) 是一个极大类p-群(见 [ 1 ] )； 10) 对任意的 ， (见 [ 10 ] )； 11) (见 [ 11 ] )； 12) 是余类为2的p-群(见 [ 12 ] )。 此外，在文献 [ 13 ] 中，作者刻画了满足 的极大类p-群 ，其中 表示 的Sylow-p子群的阶。再者满足 的p-群 在文献 [ 14 ] 中被分类。 本文我们将LA-群推广到一类p-群 上：满足 ， ，其中 为素数。现在我们陈述本文的主要结果。 定理1.1. 假设 是一个阶大于等于 的有限非循环p-群， 为素数，并且满足 ，则 整除 ，即 为LA-群。 注1.1. 由引理2.1，我们可以假设群 的幂零类 大于2。进一步，由文献 和 ，我们可以假设 不是p-交换的，并且 。
system: [SYSTEM]

user: 2. 预备引理 在本小节，我们将给出一些必要的预备结果。 首先，我们给出两个关于LA-群的结果，见文献 [ 15 ] [ 16 ] 。 引理2.1. ( [ 16 ] ， THEOREM])假设 是一个有限非交换p-群，幂零类 ，则 的阶整除于 的阶。 引理2.2. ( [ 15 ] ， THEOREM])假设 是一个有限p-群 ，并且满足 是一个非平凡的亚循环，则 整除 。 接下来的引理给出了有限亚循环p-群的判别准则。 引理2.3. ( [ 17 ] ， K.III， S.11.4])假设 是一个有限p-群 ，则 是亚循环的当且仅当 ，其中 。 最后我们给出有限p-群正则的判别准则。 引理2.4. 假设 是一个有限p-群， 1) 如果 ，那么 正则； 2) 如果 ，那么 正则； 3) 如果 ，并且 循环，那么 正则； 4) 如果 ，那么 正则。
system: [SYSTEM]

user: 3. 定理证明 首先，我们考虑正则的情形： 是一个正则p-群，其中素数p没有限制。 引理3.1. 假设 是一有限非循环p-群，满足 ，则 整除 。 证明：假设 是一个正则p-群。注意到正则2-群是交换的，因此 。因为 不是p-交换的，所以我们有 。又因为 正则，所以 ， 。因此 并且 。接下来我们有： 和 的交非平凡。事实，如果假设 ，那么存在 满足 ，因此 ，与前面的事实矛盾。若假设 ，则很容易可得 并且 。进一步，由前面的事实可得 ，所以 。从而由引理2.3，我们可得 是亚循环的。因此由引理2.2，定理得证。 即使 是一个非正则p-群， 也是亚循环的。 命题3.2. 假设 是一个阶大于等于 的有限非循环p-群，并且满足 ， ，则 是亚交换的。 证明：由前面的讨论我们可知 具有下面的子群链： 。因此我们有 或者 。如果 是p阶的循环群，那么 交换，所以 是亚交换的；接下来，假设 其中 。如果 ，由文献( [ 17 ] ， K.III， H.2.11， b])，那么我们可以在 中选择 和 满足 在 中，如果 ，那么可以在 中选择 ，在 中选择 满足 属于 ；最后，如果 ，你们可以在 中选择 ，在 中选择 满足 属于 。因为 ，所以 是交换的，因此 是亚交换的。 定理1.1的证明。注意到 的幂零类 或者5。由于 ，所以 是正则的。因此由引理3.1可得定理1.1对所以的素数 均成立。 定理1. 的证明已完成，接下来我们给出一个推论。 推论3.3. 假设 是一个有限非循环p-群，满足 并且 ，则 整除 。 证明：注意到 ，所以 。由定理1.1和文献 ，推论得证。 本文中，我们仅仅只考虑了这种情形： ，其中 。但是由引理3.1，我们可知定理1.1对这种情况也是成立的： 是正则的p-群，其中对素数p没有限制。因此，自然地我们有下面可以考虑的问题。 问题：定理1.1对这种情形是否成立： 是一个非正则的2-群，非正则3-群或者非正则5-群。对于这个问题我们也在进一步研究。我们可以预见到这种情形的复杂性。这将是一个巨大的工作。
system: [SYSTEM]

user: 摘 要 本文通过对星载51系列单片机定时器常见问题进行分析，归纳出三类典型问题，分别给出解决方案，并在此基础上总结出一套基于C51语言的星载嵌入式软件定时器管理方法，该方法可以解决因中断冲突和定时器进位而产生的问题，同时可推广到其他嵌入式领域的定时器使用中。 关键词 :嵌入式软件，C51语言，定时器 Copyright © 2017 by authors 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. 引言 在航天嵌入式软件领域，尤其是星载51系列单片机软件中，采用C51语言进行开发的配置项一直占有较高的比例 [ 1 ] ，其中对于定时器的使用极为常见，是完成某些功能的必要手段。定时器可使某些行为在特定时间执行，也可针对脉冲进行计数从而完成某些功能。但定时器的使用也是航天器软件问题较为集中之处，有关定时器的使用曾发生过多次质量问题。这类问题与时序相关，出现概率低，难复现，甚至在整个动态测试周期都不会出现 [ 2 ] ，那么针对该类型问题，通过动态测试方法一般不能保证对所有故障情况的覆盖 [ 3 ] ，我们采用静态分析的方式进行归纳总结，发现其根源主要集中出现在：① 有中断出现时的定时器读写操作② 读取定时器时间码时有进位发生。 本文结合实例对上述问题进行机理分析，根据不同情况，给出有效的解决方法，并结合航天器软件的设计要求，给出一种通用且可靠的定时器管理方法。
system: [SYSTEM]

user: 2. 51系列单片机定时器简述 51系列单片机硬件集成有16位可编程定时器。使用最多的是2个通用定时器，即定时器T0和T1。其核心是一个16位的加计数器，由2个8位计数器组成的，即T0由TH0和TL0构成，T1由TH1和TL1构成 [ 4 ] 。每输入一个脉冲，计数器加1。当低8位计数器增至255时，再有脉冲输入，低8位计数器数值清零，高8位计数器数值加1，按照该形式累加，当计数器全为1时，如再有脉冲输入，计数器将溢出，此时计数器清零，控制寄存器TCON中置位中断标志位向CPU发出中断处理申请。当使用计数功能时，计数脉冲来自于外部输入引脚T0或T1。当输入信号有负跳变脉冲时计数器加1。当使用定时器方式时，T0和T1的定时功能也是通过计数实现的，只不过此时计数脉冲来自于单片机的内部时钟脉冲。其内部结构图如图1所示。
system: [SYSTEM]

user: 3. 定时器使用问题分析 通过对近年来航天器C51软件定时器问题进行总结，归纳出因定时器产生的问题主要分为3类，分别为：中断冲突下定时器操作错误，非中断冲突下定时器操作错误，定时器时间码读取错误。某些情况下这三种情况会叠加出现，为简化论述，分别对其进行分析。 3.1. 中断冲突下定时器操作错误 目前航天器软件多采用中断驱动型架构，该架构下，当主程序及中断程序存在共用资源 [ 1 ] ，如共享全局变量、TH0、TL0、TH1、TL1等，若软件设计不当，会出现访问冲突。共用资源冲突形式多样，但 图1. 51系列单片机定时器内部框图 究其根源在于对共用资源的非预期更改上 [ 5 ] 。我们从代码层面进行归纳，将存在共用资源的情况进行分类，得到表1中的8种工况。 当发生如下低概率事件：中断出现时刻恰为箭头指向位置。则在MAIN()与INT()中会出现对共享资源的操作，则会出现如下几种工况： 工况1：中断函数INT()中读取的全局变量tm，其数据高8位为新数据，而低8位由于还未执行tm.byte.l = TL0语句，依旧是旧数据。工况4：主程序MAIN()中获得的tm，其数据低8位是中断函数INT()中获取的新数据，而高8位是旧数据。工况6：主程序MAIN()中读取的定时/计数器数据中，低8位TL0是中断函数中获得的新数据，而高8位TH0则是旧数据。工况7：中断函数INT()中读取的定时/计数器，其数据高8位为新数据，而低8位则由于还未执行TL0 = tm.byte.l操作，仍然为旧数据。工况1、4、6、7均出现由新旧数据拼成的16位非预期数据。工况2和8：MAIN()与INT()均对共享资源tm或定时器执行写操作，该工况一定会出现非预期数据。工况3：INT()中对定时器进行读操作，虽然不更改TH0与TL0，但中断函数自身存在执行时间，会造成时延，导致主程序中最终赋值给tm的定时器数据不是同一时刻数据，也属非预期数据，这也是定时器区别于普通共享资源的一个重要特征。工况5：MAIN()及INT()均不改变tm取值，主程序中对TH0及TL0的重新赋值不受影响，该工况下不存在冲突问题。 由分析可知，上述8种工况中有7种存在共用资源冲突的可能性。此外，上述案例伪码针对定时器操作均是先高后低，如果实际代码中顺序相反，结论依然成立。 3.2. 非中断冲突下定时器操作错误 区别于3.1节，本节针对非中断冲突下定时器操作错误进行分析，即主程序及中断函数不存在共享资源的情况下易出现的时序问题。与3.1节对应，同样分为两类进行分析，见表2。 工况1：主程序赋值过程中高8位赋值完毕，低8位尚未赋值之时有中断到来。即使中断函数中不存在对tm、TH0、TL0的任何操作，但因中断函数自身存在执行时间，导致最终赋值给tm的高低8位不为同一时刻数据，是非预期数据。工况2：在箭头处有中断到来，中断函数中不存在对tm、TH、TL0的任何操作，tm 数据不会变化，tm无随时间变化的特性，故最终赋值给TH0、TL0的数据是正常数据。 Table 1 Timer operation case classification in Interrupt conflic 工况1 工况2 工况3 工况4 工况5 工况6 工况7 工况8 中断函数INT() 读共享全局变量tm 写共享全局变量tm 读定时器T0 写定时器T0 读共享全局变量tm 写共享全局变量tm 读定时器T0 写定时器T0 主程序MAIN() 定时器数据赋值给某共享全局变量 tm.byte.h = TH0; tm.byte.l = TL0; 共享全局变量赋值给定时器数据 TH0 = tm.byte.h; TL0 = tm.byte.l; 表1. 中断冲突下定时器操作工况分类 注：tm为16位无符号整形全局变量，中断出现时机为箭头指向位置，以T0为例，下同。 Table 2 Timer operation case classification in Noninterrupt conflic 工况1：主程序中将定时器数据赋值给变量tm 工况2：主程序中将变量tm赋值给TH0与TL0 tm.byte.h = TH0; tm.byte.l = TL0; TH0 = tm.byte.h; TL0 = tm.byte.l; 表2. 非中断冲突下定时器操作工况分类 3.3. 定时器时间码读取错误 1) 16位时间码读取错误 定时器使用中，除上述两类因中断出现的问题外，存在另一种易忽略的低概率事件导致读取定时器错误。以T0为例，定时器是自加计数，读取T0过程中，当有进位情况出现，即低8位TL0由255变为0，高8位TH0加1，如果进位恰好出现在T0高8位读取完毕，而低8位还未读取时，则读取的数据与真实计数器数据最多会出现255的差别。如下述代码： 假设执行语句tm.byte.h = TH0时，其真实时刻为0x03ff(即TH0 为 0x03；TL0 为 0xff)，则读取的定时器高8位为0x03，而执行tm.byte.l = TL0语句时，因为定时器继续自增产生进位，所以当前真实时刻为0x0400(TH0 = 0x04；TL0 = 0x00)，而读取的定时器低8位为0x00，因此最终读取的16位数据为0x0300，与真实时刻0x0400相差256，读取时间码错误。 2) 32位时间码读取错误 对上述工况扩展，如软件所需时间度量较大，16位定时器量程不够，通常采用32位整形表示时间或计数。如图2所示。 该32位时间码的高16位为中断溢出次数，低16位为定时器，因此不仅存在D0~D7与D8～D15的进位问题，同时也存在D0~D15与D16~D31的定时器溢出进位问题。原理同上，当低16位定时器溢出清零时刻读取时间码，将导致最终读取的数据与真实定时器数据间出现65536的差别，引入计算会发生非预期的结果。
system: [SYSTEM]

user: 4. 定时器使用问题解决方法 针对第3节中提出的定时器使用问题，我们按照是否因中断引发将其分为2类：定时器读写操作过程中有中断出现，即3.1节、3.2节所述问题；读取时间码时有进位发生，即3.3节所述问题。下面就解决方案分别进行描述。 图2. 扩展的32位时间码 4.1. 中断导致定时器读写错误的解决方案 针对由中断导致的定时器读写操作错误问题，即3.1节提到的8种工况，可以采用如下两种方式解决。 1) 在执行定时器读写操作时关闭中断，避免因中断出现而导致定时器读写异常。其伪码如下： 该处理方式有较多应用，简单便捷，是解决中断冲突的首选方法。但若工程应用中对中断响应实时性需求较高，不允许关闭中断，考虑下一种解决方案。 2) 设立中断标志Intflag，在中断函数中置为真，在主程序读写定时器之前将中断标志设置为假，在读写操作后判断flag，若为真，则可判定在读写定时器过程中有中断到来，认为操作无效，重新读写定时器，其伪码如下： 4.2. 进位导致读取时间码错误的解决方案 针对3.3节提出的2类问题分别给出解决方案。 1) 16位时间码读取错误解决方案:前后读取两遍定时器数据，利用数值判断首次读取过程中是否有进位产生，如果存在进位，则进行补偿。其伪码如下： 2) 32位时间码读取错误的解决方案：扩展到32位时间码后，需获取低16位时间码进位情况，采用判断定时器溢出标志的方式，当标志为真，存在进位，则需要考虑补偿。因高低8位时间码仍然存在进位可能，将上述伪码进行改进，同时避免高低8位及高低16位进位的影响，其伪码如下：
system: [SYSTEM]

user: 5. C51定时器通用读写方法 第4节针对定时器/计数器使用中的问题提出解决方案，所述问题与时序相关，出现概率极低，我们针对其问题总结如下3条原则： 原则1：主程序与中断函数中存在共用资源时需考虑保护，不仅包括“读写”、“写读”、“写写” [ 6 ] ，针对“读读”形式也需要保护(定时器特有)。原则2：主程序与中断函数中不存在共用资源时，主程序中的读定时器操作同样需要保护。原则3：无论所处位置是主程序还是中断函数，所有定时器读操作需要进位保护。 基于上述原则，总结出一套针对定时器读写操作的通用管理方法。 1) 将主程序及中断函数中涉及定时器读写操作遍历出来 2) 针对不同的操作进行判断 ① 若主程序中“定时器数据赋值给共享全局变量”且存在共用资源，中断函数中存在如下4类行为需要保护：a读共享全局变量；b写共享全局变量；c读定时器；d写定时器。则主程序中对定时器的读操作需要保护，首选关中断方式进行保护，如有特殊需求不允许关中断，则采用设立中断标志，使用重新读写的方式进行保护。 ② 若主程序中“共享全局变量赋值给定时器数据”且存在共用资源，中断函数中存在如下3类行为需要保护：a写共享全局变量；b读定时器；c写定时器。则主程序中对定时器的写操作需要保护，保护方式同上。 ③ 若主程序中“将定时器数据赋值给某变量”且不存在共用资源，主程序中的定时器读操作同样需要进行保护，保护方式同上。 3) 针对步骤1中遍历出来的读定时器操作，无论位于主程序还是中断函数，均需进行定时器进位保护，按照使用的具体情况，分别对16位时间码及32位时间码进行进位保护。具体保护方式的伪码见4.2节。 定时器读写操作通用方法流程图如下，见图3及图4。 图3. 中断保护通用方法流程图 图4. 进位保护通用方法流程图 为简化论述，我们将中断保护及进位保护分别论述，真实状态下两类保护方式应叠加出现，即进位保护通用方法应出现在所有进行定时器读取之处。其具体实现方式的伪码见4.1及4.2节。该方法具有可扩展性，当中断存在嵌套时，采用该方式同样可完成定时器管理操作。
system: [SYSTEM]

user: 6. 总结 本文描述了航天器星载51系列单片机软件中定时器使用问题，该类问题存在偶发性，与时序相关。文中按照问题产生机理将其分为3类，采用静态分析的方式详细解析了问题成因并提出解决方案，给出一种可靠的定时器管理方法，成功应用于实际型号工作中，极大地提升了定时器使用的可靠性。文中提及的关于定时器的一些使用方法和保护原则可以推广到其他嵌入式工业领域的定时器的研制使用中。
system: [SYSTEM]

user: 摘 要 以ZK物流工程专业学位硕士研究生为研究对象，从基础能力、实践能力、创新创业能力、生涯规划能力、求职能力5个方面提出专业学位硕士研究生就业能力评价指标体系；其次，采用层次分析法按照重要性对指标进行排序，使其在专业学位研究生就业能力建设实践中更具指导性和可行性；此外，结合ZK物流工程专业学位硕士研究生的特点及实际，对其进行就业能力综合评价；最后，根据评价结果，提出了提升ZK物流工程专业学位硕士研究生就业能力的具体措施。 关键词 :物流工程，专业学位研究生，就业能力评价，提升策略 Copyright © 2017 by authors 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. 引言 据统计预算2017年全国高校毕业生超过700万，即将又面临着严峻的就业形势，随着就业人数的增加，学历严重贬值，再加上出国回来没来得及找到工作的往届毕业生，据预算将近有1000+万大学生将同时竞争。面对不断攀升的毕业生人数和日益严峻的就业形势，硕士研究生群体正渐渐失去昔日的竞争优势，其就业能力越来越引起人们的广泛关注和高度重视。本文综合国内外研究现状，构建了专业学位硕士研究生就业能力评价指标体系，并采用AHP方法，确定了各评价指标体系的权重，对ZK大学物流工程专业学位研究生就业能力进行了综合评价，以期更加深入地了解物流工程专业学位硕士研究生就业能力的现状及问题，从而为提高ZK大学物流工程专业学位硕士研究生就业能力的实践活动提供若干对策建议。
system: [SYSTEM]

user: 2. 文献综述 2.1. 专业学位研究生 专业学位是相对于学术性学位而言的一种学位类型，要更深刻地理解专业学位研究生培养模式和一般人才培养模式的不同，首先要了解专业学位尤其是专业学位研究生的培养特点。专业学位与学术性学位在培养目标、培养特点、入学形式、教学方式、以及论文写作等等方面都有很多的不同，而造成二者差异的根本原因在于他们有着不同的培养目标：学术性学位的培养目标在于培养教学和科研人员，而专业学位的培养目标在于培养高层次、应用型的专业人才 [ 1 ] 。 2.2. 就业能力研究综述 国内外关于大学生就业能力的研究集中在“就业能力概念与内涵研究、就业能力结构模型研究、就业能力形成机制研究、就业力测评方法研究”等四个方面。 2.2.1. 就业能力概念与内涵研究 Beveridge (1909)首先提出就业能力这个汇，指以完成了能力植入的成熟劳动力的可利用性为依据，用来辨别人们是否具有劳动能力以及失业者是否能够被雇佣，且就业能力不是一种特定的工作能力，而是一种横向上和行业相关、纵向上和职位相关的能力 [ 2 ] 。郑晓明(2002)认为大学生就业能力是指大学毕业生在校期间通过知识的学习和综合素质的开发获得的能够实现就业理想、满足社会需求、在社会生活中实现自身价值的“本领” [ 3 ] ；余新丽等(2006)从能力结构的组成的角度将大学生就业能力界定为毕业生所具备的知识、技能、身体素质和其他职业相关能力的整合 [ 4 ] 。 2.2.2. 就业能力结构模型研究 Fugate、Kinicki和Ashforth (2004)认为就业力包含生涯认同、个人适应性以及社会与人力资本三个维度 [ 5 ] ；陈非，赵西萍(2009)认为大学生就业能力包含显性和隐性这两个因素 [ 6 ] ；王霆等(2011)提出包括知识、技能和态度等三个维度 [ 7 ] ；王培君(2009)构建了包含分析力、求职力、从业力、胜任力、道德力的五要素模型 [ 8 ] ；罗峥(2010)等人发展了“内省性”、“团队合作力”、“问题解决能力”、“专业技能”、“实践经验”、“就业信息获取”、“求职方法”、“职业动机”和“自我定位”的就业能力九因素模型 [ 9 ] 。张丽华和刘晟楠(2005)以为，一共有五个维度构成大学生就业能力，他们分别是应用能力、社会适应能力、自主能力、社会实践能力和思维能力，并阐明了就业能力产生的差异会因为年级不同而产生 [ 10 ] 。 2.2.3. 就业能力形成机制研究 Knight和Yorke (2004)提出高校应该将就业能力嵌入到大学课程的教学过程中，在课程教学中不仅注重专业能力的培养，还应注重通用能力的培养 [ 11 ] ；Lee Harvey (2001)将就业能力培养视为大学毕业生从学校到工作岗位转变的能力提升过程，指出雇主在大学生就业能力的培养方面起着重要的作用 [ 12 ] ；朱若霞、马小洁(2004)指出高校应该加强与雇主的联系，为在校大学生提供更多实习与实践的机会 [ 13 ] ；周淑琴(2011)指出要通过明确办学定位和凝练办学特色、提高专业设置的准确性、优化课程体系、加强实践教学、强化素质教育、提高就业指导等来形成就业能力 [ 14 ] 。 2.2.4. 就业力测评方法研究 Rothwell和Arnold (2007)透过文献整理与调查200名英国人力资源领域的专家，发展自我知觉就业力量表 [ 15 ] ；Pons D. J. (2011)认为，影响就业力的因素尚包含了组织的气氛与管理人员的部份，在他们的研究中透过工作者的自陈式就业力报告与管理人员的就业力调查，验证两个年龄世代的团体在生涯成功与就业力之间的差异与关联 [ 16 ] ；谭亚莉(2007)概括了现代学生综合测评的基本待征，从对学生的认知评价扩展为对学生全面综合的评价 [ 17 ] ；李冬红等人(2005)借助模糊数学的理论，针对大学生的就业竞争力，建立了的科学的评价体系，提出了影响学生就业的各项因素的权重 [ 18 ] 。 总之，国内外学者针对大学生就业能力展开了基于个人能力结构、关注就业结果的两类视角的一系列研究，取得了重大的理论成果和实践价值，为我们进一步开展硕士研究生就业能力研究，指导研究生就业能力培养开辟了道路，打下了坚实基础；然而，国内在大学生就业能力评价问题研究上尚处在初级阶段：对研究生尤其是专业学位研究生就业能力内涵的界定与就业能力结构的构建没有统一的清晰的结论；基于专业学位硕士研究生就业能力开发视角研究就业能力评价的文献较少，且没有进行系统全面的研究；对专业学位硕士研究生就业能力影响因素与就业能力结构要素之间的影响关系的研究不够深入和系统，没有做定量的分析，只是从定性分析到定性分析，也缺少典型案例的研究，因此在研究方法上可以做新的探索；探讨专业学位硕士研究生就业能力开发路径方面的研究不足。
system: [SYSTEM]

user: 3. ZK物流工程专业学位研究生就业能力现状评价 3.1. 评价指标体系构建 首先通过查阅和收集国内外现有的关于大学生就业能力现状的相关文献，然后再运用频度统计法、理论分析法等方法建立专业学位硕士研究生就业能力评价的一般指标体系。频度分析法主要是对收集的目前大学生就业能力评价指标体系评价研究的论文、报告等进行频度统计，选择那些使用频度较高的指标；理论分析法主要是对物流工程专业学位硕士研究生就业能力评价指标体系的原则、功能和特点进行分析和比较，选择那些重要的、信息覆盖全的指标。然后，对长期从事大学生就业能力的专家学者、学校和学院负责研究生就业的职能部门教师、物流工程专业学位研究生就业单位部门负责人进行实际访谈，对专业学位硕士研究生就业能力提出综合评价指标体系(图1)。 图1. 专业学位硕士研究生就业能力评价指标体系层次结构 3.2. 评价指标权重确定 3.2.1. 构造判断矩阵并进行一致性检验 通过对ZK物流工程专业学位硕士研究生就业能力的相关数据分析和专家评分对各种影响因素的相对重要性进行实证分析，构造判断矩阵、计算判断矩阵的最大特征值 、一致性指标 和相对一致性指标 ，并进行一致性检验。 ①判断矩阵如下所示： 构造 层判断矩阵如表1所示。 Table 1 A-B Layer judgment matri 1 1/3 1/2 1/3 1/4 3 1 2 1 1/2 2 1/2 1 1/2 1/3 3 1 2 1 1/2 4 2 3 2 1 表1. 层判断矩阵 ②将列向量归一化处理得矩阵： ③将归一化后的矩阵行向量相加得： ④将向量进行归一化处理得特征向量 ，即： ； ； ； ； ⑤计算判断矩阵最大特征根 ： ⑥进行一致性检验： ，符合一致性检验。 3.2.2. 指标层对准则层的权重计算过程 ① B1-C的比较判断矩阵及其特征值： ② B2-C的比较判断矩阵及其特征值： ③ B3-C的比较判断矩阵及其特征值： ④ B4-C的比较判断矩阵及其特征值： ⑤ B5-C的比较判断矩阵及其特征值： 3.2.3. 计算组合权向量 下面我们由第二层对目标的权向量 和第三层对第二层的每一准则的权向量 ，计算第三层对目标层的权向量，称为组合权向量，记作 。组合权向量计算公式如下： 其中 。 将3.3.2节计算结果代入上式可得： 3.2.4. 组合一致性检验 将3.3.2节计算结果代入下式 所以 ，第三层通过一致性检验。 对整个层次结构进行组合一致性检验： 由此可见，组合一致性指标足够小，通过一致性检验，前面得到的权向量可以作为最终决策的依据。 3.3. ZK物流工程专业学位硕士研究生就业能力综合评价 3.3.1. 确立指标体系权重 根据3.2计算结果，得出一级指标和二级指标的权重如表2所示。 Table 2 The weight of the evaluation index system of employability of ZK university logistics engineering professional degree postgraduat 就业能力综合评价指标及权重(A) 一级指标 权重 二级指标 权重 基础能力(B1) 0.0741 专业技能(C11) 0.6667 专业知识(C12) 0.3333 实践能力(B2) 0.2147 实践经历(C21) 0.51416 学以致用能力(C22) 0.30595 技术应用能力(C23) 0.1124 社会适应能力(C24) 0.06749 创新创业能力(B3) 0.1215 创新创业思维(C31) 0.230 创新创业技能(C32) 0.648 创新创业知识(C33) 0.122 生涯规划能力(B4) 0.2147 自我能力评估(C41) 0.1638 环境影响评估(C42) 0.2973 职业能力提升(C43) 0.5389 求职能力(B5) 0.3750 把握机遇的能力(C51) 0.3333 表达与决策能力(C52) 0.6667 表2. ZK物流工程专业学位研究生就业能力评价指标体系权重 3.3.2. 基于5因素的ZK物流工程专业学位硕士研究生就业能力综合评价 根据评价因子影响就业能力开发的程度，把每个评价因子指标作模糊等级划分，即优秀、良好、中等、较差、极差5个等级，并对每一等级赋以连续的实数区间表示指标分值的变化，其中优秀为[100~90)；良好为[90~80)；中等为[80~70)；较差为[70~60)；极差为[60~0) (见表3)，再由被调查的每一个学生根据已确定上述评价等级标准对每个评价因子进行评分，并采用算术平均值计算出每个评价因子的分值。 3.3.3. 综合评价结果 根据该评价的相关要求，对ZK物流工程2017届专业学位研究生进行调研，通过调研问卷，收集每位学生在就业能力5个维度的分值，并计算各评价指标的平均值，结果如表4。 3.3.4. ZK物流工程专业学位研究生就业能力综合评价等级 从表4中可以看出，ZK物流工程专业学位研究生就业能力最终评价得分为76.95分，等级在中等的位置。在就业能力维度的各项评价中，学生基本能力得分最高，为81.48分，处于良好水平。学生生涯 Table 3 The level interval of employability’s comprehensive evaluatio 序号 分值 等级 1 综合评分为90~100分 优秀 2 综合评分为80~90分(含90分) 良好 3 综合评分为70~80分(含80分) 中等 4 综合评分为60~70分(含70分) 较差 5 综合评分为60分以下(含60分) 极差 表3. 就业能力综合评价等级区间 Table 4 The employability evaluation index score of ZK university logistics engineering professional degree postgraduat 一级指标 二级指标 三级指标 评价指标分值 就业能力综合评价 (A) 基础能力(B1) 专业技能(C11) 81.48 专业知识(C12) 实践能力(B2) 实践经历(C21) 79.47 学以致用能力(C22) 技术应用能力(C23) 社会适应能力(C24) 创新创业能力(B3) 创新创业思维(C31) 75.31 创新创业技能(C32) 创新创业知识(C33) 生涯规划能力(B4) 自我能力评估(C41) 72.56 环境影响评估(C42) 职业能力提升(C43) 求职能力(B5) 识别和抓住机遇的能力(C51) 77.65 表达与决策能力(C52) 综合评价得分 76.95 表4. ZK物流工程专业学位研究生就业能力评价各指标分值 规划能力得分最低，为72.56分。各维度能力评价结果表明，ZK物流工程专业学位研究生基本能力较为优秀，学院对学生基本能力培养较为重视、教学效果好。同时，该评价结果也暴露出该校物流工程专业学位研究生其他能力的不足，如职业生涯规划能力、创新创业能力和应聘能力，这三项能力基本处于中等水平。在办学过程中，学校、学院应重视这三项能力的培养，尤其是应该加强对学生职业生涯规划能力的提升。
system: [SYSTEM]

user: 4. ZK物流工程专业学位硕士研究生就业能力提升策略措施 根据上述评价结果，结合ZK物流工程专业学位研究生培养具体特点，提出就业能力提升具体措施。 4.1. 强化职业生涯规划意识与求职能力训练 对于物流工程专业学位研究生而言，明确自身的职业生涯规划就是要求了解此专业目前的就业形势，合理安排研究生期间的学习科研任务，明确自身未来职业发展方向和人生的目标，结合自身的特点、根据社会的需求，为自己设计最适合的职业发展道路。其次学院在研究生入学时可以开展职业生涯规划的相关讲座或开设相关的课程，以提升研究生职业生涯规划意识。在学生培养过程中强化职业生涯的分析与现状评价，毕业前通过讲座、专题、模拟训练等方式提升物流工程专业学位研究生求职面试能力。 4.2. 夯实科研与实践 ZK物流工程专业学位项目需要依托大型煤炭企业和当地工程机械集群基地条件，加强校企联合，实现物流专业和煤炭等相关产业人才需求对接，以专业核心实践课程群为基础，采取校外实习基地和校内模拟实训等多样式的形式，共享各专业的特色实践方式。以学校国家和省级实验中心和技术中心为基础，以拓展学生以能源为核心的专业实践能力，加大实践教学关节的比重，培养优秀的实践教学师资和学生，建设优越的实践教学模式。同时，在落实和增加实习实训基地建设的基础上，校企之间进一步完善现场教师聘任、科研合作、人员挂职锻炼等事项，并就合作建设适应未来需要的专业基础课程、独立开设的专业课程与实践项目、毕业生项目设计内容、学生创新活动计划、学生评价方法和考核机制、学生在企业期间有关人身安全保护、知识产权保护管理办法等方面进行深入探讨，拓展和深化与企业的实质性合作，为学生高质量企业学习经历提供了有力保障。此外，在培养方案中增加除了培养计划、学术研讨与报告、开题报告、中期考核、学科综合考试(仅限博士生)外的实践训练环节，并规定实践训练的形式和考核要求。 4.3. 开展创新创业教育 一是广泛开展创新创业竞赛。大力开展“挑战杯”、互联网+、创业计划大赛、商业计划书等创新创业竞赛活动，以提高物流工程专业学位研究生知识运用、实践操作、创新创业等能力，增强研究生的综合素质。二是积极推进研究生创新计划。运用好教育厅、学校的研究生培养创新工程项目基金，组织研究生自主申报创新创业项目或参与导师科研项目，提高研究生的业务水平和科研水平，培养研究生的创新能力，为职业发展提供重要基础。三是重点搭建实践活动平台。有效整合学校和社会资源，加强与物流企业、科研院所、物流管理部门的合作，建立多样化的创新创业实践平台，为物流工程专业学位研究生实践教学、实验研究、创新创业等提供良好条件，逐步构建产学研一体的物流工程专业学位研究生创新创业实践基地。 4.4. 加强师资队伍建设 加强校企合作提高教师队伍建设，聘请了企业技术专家、高级管理人员担任讲座教授，聘请企业经营管理人员为物流工程卓越工程师兼职教师，聘请了具有丰富实践经验的一线管理人员为物流工程硕士实习指导教师。针对卓越工程师培养计划教学中项目的核心作用，着力加强校内师资，特别是青年教师的工程实践能力的培养与训练。通过培养和引进的方式，使本专业人才队伍在年龄上实现老中青结合，在职称上实现高中初匹配。人才梯队结构按3:5:2 (专业带头人、骨干教师、一般专业教师)的比例建设，年龄结构按老中青1:3:6方式配齐。
system: [SYSTEM]

user: 摘 要 我国高校合并布局和结构调整之后，高校图书馆规模扩大，一校多馆的情况普遍存在。本文通过介绍美国伯克利大学图书馆管理的经验，为我国高校图书馆总/分馆管理模式下的学科服务提供借鉴。 关键词 :图书馆，一校多馆，总/分馆，学科服务 Copyright © 2017 by author 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. 引言 随着复合型人才的需求，20世纪80年代末，中国高教体制改革提上日程。1992年起，按照“共建、调整、合作、合并”的方针，中国高等院校合并布局和结构调整拉开序幕，2000年以来我国高等教育管理体制改革不断向纵深推进，通过合并组建了一批文、理、工、农、医等各大学科门类比较齐全、规模较大的综合性大学。高校合并实质上是对教育资源的重组，高校规模扩大，复合型学科纷纷设立，高校图书馆纷纷出现一校多馆的情况。多校区分馆、学科分馆、资料室之间面临协调、整合和变革，这是个相对复杂且又势在必行的系统工程。
system: [SYSTEM]

user: 2. 图书馆总/分馆管理模式溯源 图书馆的总/分馆制由来已久，由欧美国家的公共图书馆兴起。为了公民的“公平的阅读”和“平等获取信息”，根据服务的区域半径和人口数量，美国不少公共图书馆建馆之初，为了资源共享、服务效益和地域影响，设立分馆的现象很是普遍，而且欧洲、澳大利亚、日本的公共图书馆设立分馆的也不在少数。目前西方公共图书馆总分馆制度经过不断修正，已是非常完善。 图书馆的总/分馆制度被高校图书馆借鉴、推广成“一校多馆”模式，即大学图书馆由一个总馆和许多分馆以及(或)院、系资料室(或分馆)组成。美国高校图书馆规模最大的当属哈佛大学，设有侧重不同领域的近百个分馆，哥伦比亚大学图书馆设有各具特色的20多座分馆，英国剑桥大学设有包括各院系专业图书馆在内的90多个分馆。 高等学校图书馆被称为“大学的心脏”，多设分馆能提供教学和科研不可缺少的动力保障。
system: [SYSTEM]

user: 3. 美国伯克利大学图书馆学科服务经验借鉴 伯克利大学是美国著名公立研究型大学，在学术界享有盛誉。伯克利图书馆设有主图书馆、分科图书馆及附属图书馆，藏书超过1000万册。这三类图书馆的馆藏相互补充，共同满足伯克利大学教职员工和学生的信息需求。 3.1. 伯克利大学图书馆总/分馆设置 1) 主图书馆 包括纪念图书馆(Doe Memorial Library)、莫菲特本科生图书馆(Moffitt Undergraduate Library)、加德纳密集书库(Main (Gardner) Stacks)、班克罗夫特图书馆(The Bancroft Library)。 从功能上看，Doe图书馆为艺术与人文、社会科学、国际与地区以及50多个学科提供教学、科研咨询与指导服务，是图书馆系统的行政中心。教学图书馆位于Moffitt图书馆内，其目标是通过教会学生和教师如何利用海量信息资源以增进其信息素质来协助他们取得成功。馆藏主要位于Gardner密集书库。Bancroft图书馆是使用量很高的图书馆，主要包括手稿、珍本和美国国内特藏。 从馆藏特色看，Bancroft图书馆突出马克吐温论文、古纸莎草纸等特色收藏。Doe图书馆有校园内大部分的人文和社会科学馆藏。Moffitt图书馆的馆藏主要用于满足新生和本科生的需求。 2) 附属图书馆 伯克利大学校园内目前有10个附属图书馆，它们具有特定的研究馆藏，通常都是伯克利大学研究所、学术院系所需的唯一且难以查找的资料，主要用于教职员工的教学和研究需要，其中很多也对公众开放使用。 东亚图书馆包含一百万卷的东亚语言馆藏，数量位居美国高校系统前列，使伯克利成为美国东亚研究的一个重镇。 吉恩灰色哈格罗夫音乐库拥有超过260，000册的书籍、乐谱、录音、缩微胶卷和稀有材料。 中文电子文献也很全面，中文数据库就有中国期刊全文数据库、民国时期全文数据库、万方数据库、国家哲社学术期刊数据库、台湾电子期刊服务网等。 3) 系图书馆和阅览室 伯克利大学许多系有自己的信息图书馆和阅览室，供本系教师和学生使用。 3.2. 各馆特色学科服务和全面服务 3.2.1. 数据查找和GIS服务 [ 1 ] 伯克利大学图书馆在提供数据查找和GIS服务上投入诸多关注，主要服务内容见表1：主分馆的特色数据服务。 除了伯克利大学图书馆提供数据服务以外，伯克利大学校园内的数据服务还包括：D-Lab、地理空间创新设施(GIF， Geospatial Innovation Facility)、IS&T研究用数据管理资源(Data Management Resources for Research)、统计系咨询服务(Statistics Department Consulting Service)、UC DATA等。 3.2.2. 开放获取 1) BRII (伯克利研究影响项目) BRII是于2005年由一些伯克利学者和管理人员为了应对学术交流危机而发起的。伯克利大学致力 Table 1 The characteristics of the main branch data service Doe图书馆的图书馆数据实验室服务 提供数值数据查找、推荐和获取 提供软件支持，例如软件包R、Stata、SPSS、SAS和Python 数据分析方面的课程指导与工作站建设 地球科学与地图图书馆的GIS服务 世界各地的GIS数据，尤其注重旧金山海湾地区和加州北部地区的GIS数据收集 地理信息门户网站GeoData@UC Berkeley的建设 科学图书馆的数据管理计划和科研数据服务 提供帮助研究人员管理和存储其表格数据的开源工具DataUp 提供指导用户逐步构建数据管理计划的在线工具DMPTool 帮助用户简便获取和管理数字内容永久标识符的EZID服务 表1. 主分馆的特色数据服务 于使伯克利学术社区的研究利益最大化和推动人们利用知识去改善本地甚至全球的社会生活质量。为了实现这两个目标，BRII努力提高公众对伯克利大学学术成果的获取度。 伯克利研究影响项目BRII支持愿意让自己的研究成果一经发表便立即可以被所有读者免费阅读的教师、博士后、研究生和研究人员。BRII给伯克利作者报销开放获取出版费用，而且在不同程度上给予选择开放获取或付费获取出版的作者补助。 2) eScholarship网站 伯克利大学图书馆参与建设了加利福尼亚数字图书馆eScholarship网站，伯克利大学作者可以选择在eScholarship上发表自己的研究成果而不是交由出版商发布。 3.2.3. 开放教育 伯克利大学为了应对学生教材价格飞涨的关键问题在开放教育资源方面做出了一些努力。2001年，伯克利教学技术服务中心(Educational Technology Services，简称ETS)创办了在线课程网站 (http://webcast.berkeley.edu)，将课程和活动音频(包括.rm格式和.mp3格式等)以流媒体和播客形式免费对外公布；2007年伯克利大学正式宣布将全部授课录像上传到著名视频网站You Tube上，供公众免费享用，并于2009年春天创建了关于教材和读者经济承受能力联合工作组。此外，伯克利大学还是OCW Consortium的会员并参与了Opencast Community Project (一个发布视频和音频内容的开源平台)。校园讲稿内容还将发布在webcast.berkeley.edu、 iTunes University和YouTube上。此外，伯克利大学校园内还有NSF资助的技术促进科学学习中心，该中心通过知识整合环境(Knowledge Integration Environment)研究计划开发了一个免费在线学习平台(Web-based Inquiry Science Environment， WISE)平台。 3.2.4. 学科服务联动项目 伯克利大学图书馆未来问题委员会认为，数字时代的图书馆会是日益多样化和分布式资源的入口。可以肯定的说，由于数字资源数量、规模和复杂性的迅猛增加会对用户的技术和知识增加更多负担，图书馆的中介作用将更加重要，因此图书馆需要应对两方面的挑战：增强用户信息素养和方便导航和访问。 图书馆发起或积极与其他部门联合执行了信息素质计划、数字素质计划(提供数字素质和传统研究工具的培训和支持)、信息访问图书馆和内容组织项目、虚拟研究室项目(虚拟学习指导公文包开发等)。 3.3. 伯克利大学总分馆管理模式的特色 1) 伯克利大学图书馆所发文件和通知都会及时送达各分馆，分馆负责人也会把分馆工作的问题和成效及时向总馆汇报。在行政管理上实现上行下达。 2) 各分馆在业务上听总馆指导，但却各有侧重，相对独立，发挥程度很高。各分馆由专业图书馆馆员管理，并由对应的院长、部门或研究单元主管负责。在业务上实现有的放矢。 3) 伯克利大学图书馆为每个学科都配备有学科馆员，他们都有风格统一的个人信息服务主页，里面有包括个性化资源推荐、文献管理、信息跟踪、预约咨询等服务栏目。学科馆员会参与听课，以更好地提供咨询服务。在图书馆全面的学科服务项目中，还兼顾各馆的馆藏和服务特色。 4) 伯克利大学图书馆搭建有学科服务综合平台，提供各具特色的数据支持和移动图书馆服务，并且整合馆内资源，利用校内环境发动联动项目，扩展资源服务范围和服务群体，增强服务助动力。
system: [SYSTEM]

user: 4. 结语 目前我国高校的图书馆不管是分散办馆模式、统一办馆模式还是统分结合办馆模式 [ 2 ] ，不管是直线式组织结构、网格式组织结构还是矩阵式组织结构 [ 3 ] ，对高校图书馆的建设者、管理者来说，都需要时间和实践去磨合和完善。 借鉴国外成熟的总分馆管理模式，为我国转变思想观念，理清办馆思路。在学科服务的开展方面，也可以做到深层挖掘，有的放矢。 1) 将分馆突显学科特色，设置学科馆员岗位，提供相应学科的深层次信息资源的组织和开发。以多层次服务方式为相关学科读者的教学、科研提供个性化的知识服务 [ 4 ] 。 2) 鼓励学科馆员拓宽知识面，提高学科素质，加强高层次专业学科馆员的培养，注重学科馆员队伍的建设，形成多层知识服务团队。 针对各特色分馆的服务对象和学科特点，以特定任务为导向，细分成不同阶段的工作目标，有效组合总、分馆的工作人员，形成多层知识服务团队 [ 3 ] ，并联合开展馆内服务计划。 3) 充分利用网络平台，建设学科服务综合平台，跨越总分馆的时空限制，畅通学科服务的交流渠道。 学科分馆可通过电话、E-mail、QQ、博客等渠道用直接咨询或在线回馈的方式与用户沟通，也可通过MOOC课程教学、学科网络资源导航等方式提供咨询服务。不管是直接或间接的交流，顺畅地架起学科馆员与用户之间的沟通桥梁是不变的宗旨。
system: [SYSTEM]

user: 摘 要 根据海洋环境下抢修抢建的特殊性，利用海水与海砂制备海工磷酸镁水泥砂浆。通过测试其各龄期抗压强度，获得满足抢修抢建基本性能要求的最佳配合比，在此基础上，对海工磷酸镁混凝土、钢纤维增强海工磷酸镁水泥胶砂、海工磷酸镁水泥胶砂在海洋中的水上及水下两种不同环境的长期强度性能进行了初步研究。结果表明，三种海工磷酸盐水泥基材料在水上和水下的早期强度均能满足海洋环境下抢修抢建需要，但长期的强度变化规律不明显，需要进一步研究拌合海水对材料水化硬化作用以及侵蚀作用的影响。 关键词 :磷酸镁水泥，抢修抢建，海洋环境，海水拌合 Copyright © 2017 by authors and Hans Publishers Inc. This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/