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

user: 3. 实验结果分析 为探索航空发动机滑油系统中磨粒的静电荷电情况，将不同尺寸的金属材料铝(50 μm、200 μm、3 mm)，分别进行不同荷电时间的多次试验，以探寻不同尺寸、不同摩擦时间颗粒的荷电规律。 3.1. 颗粒荷电量与颗粒直径关系 通过对磨粒荷电量与磨粒尺寸影响分析可知，该关系式同样可以适用于本试验条件下的空气中颗粒摩擦荷电情形，荷电量与颗粒等效直径间存在如下指数关系 [ 6 ] ： Q p = α d p γ 式中： α 为与颗粒材料和荷电介质等有关的常数； d p 为颗粒等效直径； γ 为由试验确定的数。式子表明颗粒荷电量与颗粒直径存在相关关系。 3.2. 实验数据分析 对三种尺寸的铝颗粒(50 μm、200 μm、3 mm)进行不同接触摩擦时间(60 s、120 s、180 s和240 s)的摩擦荷电试验，每一测试时间进行了5次独立试验(分别用测量序号1、2、3、4、5来表示)，应用origin软件对试验数据进行处理得结果如图4~7。 Table 1 Electrometer parameter of type 6517 电流测量 范围 电荷测 量范围 电压测量 范围 最小电流量输 入压降(V) 输入阻 抗/(TΩ) 偏置电流/ (fA) 读数率/(rdgs/s) 20 pA~20 mA 2 nC~2 uC 2 V~200 V <20 200 <3 125 表1. 6517B型静电计参数 图4. 直径50 μm的铝颗粒 图5. 直径200 μm的铝颗粒 图6. 直径3 mm的铝颗粒 从图4~6中可以看出，铝颗粒的荷电量与振动荷电时间在一定时间范围内存在线性关系。总体来看随着摩擦振动时间的增加，铝颗粒的荷电量增大，增大到一定程度后，铝颗粒的荷电量有减小的趋势。其中3 mm的铝颗粒在摩擦振动180 s时电荷量达到最大(饱和)，摩擦振动240 s时电荷量减小。图4 图7. 不同尺寸铝颗粒的荷电情况(180 s) 中摩擦振动时间为120 s时测得颗粒的荷电量差异略大，可能是前两次试验的颗粒放电不完全所致。 颗粒摩擦振动的电荷量单位为nc，电荷量非常小，同一尺寸在相同的摩擦振动时间时的荷电量随机性比较强，无明显规律。从图7中可以看出，在相同的摩擦振动时间下(180 s)，铝颗粒的荷电量与颗粒直径存在线性关系，颗粒的直径越大，荷电量越多。 本文的创新之处是采用新的荷电方式，振动电机可以精准的控制颗粒的振动摩擦时间和振动摩擦频率，且操作简单荷电效果明显。不足之处是空气中的静电监测技术会受工作环境(温度、湿度)等因素影响，应进一步提高独立试验的次数。因此，本文虽然初步得出了铝颗粒的荷电规律，但是其中的相关实验数据仅供相关技术人员参考。 在本工作的基础上，将来还继续在以下几个方面进行提高：对其他材料不同尺寸的颗粒，如铁、铬、铜等金属及碳化硅、陶瓷等非金属的荷电特性进行研究；研究颗粒的荷电量与摩擦振动时间之间的规律；在实验基础上发展相应的物理模型，为发动机滑油系统磨粒的静电监测提供参考依据。
system: [SYSTEM]

user: 摘 要 通过对2015年9月22~24日在青海湖进行水温、溶解氧、pH、叶绿素a浓度、浊度垂直剖面监测，同时采集湖水样通过实验测定湖水总磷、总氮含量，采集各入湖河流进行营养盐测定，结合青海湖管理局提供的数据进行对比，分析了青海湖水体理化状况及湖水营养状况。结果显示，各监测区域水体理化参数、营养化程度存在一定差异，受风力及湖流扰动影响，湖心处存在较弱的分层现象；湖心处溶解氧浓度较低，受温度分层影响出现溶解氧分层现象；青海湖高盐度、高离子浓度是控制其pH并对溶解氧浓度及浊度等产生较大影响的主要因素，温度及湖泊水循环引起的底泥释放使得浮游植物多集中在中下层水体，沉水植物具有较好的生长条件。青海湖水体营养水平不高，但总磷浓度在局部有不断增加的趋势，外源输入是影响湖泊营养化程度的主要原因。人类活动的加剧，使青海湖水质存在恶化的风险。 关键词 :青海湖，水温，溶解氧，pH，叶绿素a，浊度，营养程度，人类活动 Copyright © 2018 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. 引言 湖泊是一个相对独立的自然有机体，它的发展变化与大气圈、岩石圈、生物圈和陆地水圈密切相关，对于自然过程的变化有敏感的响应，是气候、环境及其生物发生变化和演变信息的良好载体 [ 1 ] 。湖泊水体理化参数以及营养盐特征，是气候变化、人类活动以及流域内土壤沉积特征等相互作用的结果，也是评价水质水环境的重要指标。 湖水的热量分布决定了湖泊分层与混合的状态。湖水的温度是湖水的重要物理属性之一，它反映湖泊的热学状况，制约着湖泊的生物化学过程 [ 2 ] 。湖水理化参数的特征及变化，直接反映了流域特定的环境下，温度对湖泊水体水质变化的影响。王斌等对天山天池监测得出：天山天池水体受水温分层影响，水体溶解氧浓度、电导率、pH值、叶绿素a浓度和蓝绿藻细胞密度在水体中也出现明显的分层现象 [ 3 ] 。黄磊等 [ 4 ] 针对纳木错水温变化及热力学分层进行深入研究，发现纳木错为典型双季对流、完全混合型湖泊，不同湖盆形状及水深分布是造成其中部与东部两个湖盆热力学特征差异的主要原因。赵雪枫 [ 5 ] 、文新宇 [ 6 ] 等对泸沽湖温度分层季节变化及其环境效应的研究，其结果揭示了泸沽湖季节变化的过程。以往对水质参数及变化规律的研究，主要集中于青藏高原、云贵高原及长江流域等地区的淡水湖泊及水库。相较于淡水湖泊，咸水湖受水体溶解盐浓度、湖泊水体循环等差异的影响，水质理化参数的特征及变化规律与淡水湖不尽相同。针对咸水湖泊水质参数的资料积累及数据资料的分析解译明显不足，丞待加强观测和分析研究。 青海湖是我国最大的内陆半咸水湖，是维系青藏高原北部生态安全的重要水体 [ 7 ] ，是控制西部荒漠风沙向东蔓延的天然屏障。因为独特的高原、水文、气候等环境条件，加之流域内没有修建拦水、引水工程，因此青海湖流域的水文过程、特征以及湖泊水量和水位变化在半干旱区的流域中具有很好的区域代表性 [ 8 ] 。对青海湖的研究主要针对于其水量变化 [ 9 ] [ 10 ] [ 11 ] 、沉积物特征 [ 12 ] [ 13 ] [ 14 ] [ 15 ] 、地质构造 [ 16 ] 、以及生态环境保护 [ 7 ] [ 17 ] 、流域土地利用 [ 18 ] 、环境演化 [ 19 ] - [ 24 ] 、水化学特征 [ 25 ] [ 26 ] [ 27 ] 、浮游植物分布 [ 28 ] 、营养盐状况 [ 29 ] [ 30 ] 等方面，但通过多监测点水质分析，对青海湖水体循环特征、水质变化的原因讨论及报道相对较少。本文通过2015年9月实测水质参数的分布特征，结合不同时期的数据，讨论青海湖水体动力特征及营养状况，并分析营养物质来源、讨论水体营养变化和水位变化的影响因素及意义。
system: [SYSTEM]

user: 2. 研究区域概况 青海湖位于青藏高原东北部青海湖盆地，湖区介于东经99˚30'~100˚50'，北纬36˚15'~38˚20'。湖泊面积4400 km 2 ，流域面积29，660 km 2 [ 12 ] ，是我国面积最大的内陆咸水湖 [ 31 ] 。湖泊西宽东窄，东西最长106 km，南北最宽63 km，最窄处约20 km，湖周长约360 km，水容量7.39 × 10 10 m 3 ，2013年8月实测湖水最大水深31.4 m (对应湖面海拔高度3198 m)。 青海湖地处东亚季风区、西北部干旱区和青藏高原高寒区的交汇地带，其气候类型为半干旱的温带大陆性气候。气温偏低，寒冷期长，年平均气温在−1.0℃~1.5℃之间 [ 32 ] 。四季多风，风力强劲，日照充足，太阳辐射强，降水稀少，年降水量平均值在300~500 mm之间，降水集中于每年6~9月，约占全年降雨量70%。常年蒸发量大，达1300~2000 mm。青海湖入湖河流大小约50条，多为季节性河流，集中在湖泊西、北部，呈明显不对称分布。主要河流有布哈河、沙柳河、泉吉河、哈尔盖河、甘孜河、黑马河等，其中以布哈河最大，约占入湖径流总量的60% [ 32 ] 。
system: [SYSTEM]

user: 3. 监测点选择及采样方法 3.1. 监测、采样点选择 本次测量在靠近湖心岛屿及渔场共5个工作点进行实地监测，分别位于海心山(A点、B点)、三块石(C)、二郎剑(D点：、E点)附近。在海心山处(A点)、二郎剑(D点)、靠码头点(点1)、三块石(点2)四个点以1 m为间隔采集水柱，并在布哈河、沙流河、泉吉河、哈尔盖河、莱挤河、黑马河等入湖河流采集河水样共27个，低温保存带回实验室，通过分光光度计法测定其氮磷含量。同时，结合青海湖管理局提供的2011年5月、8月，2012年6月、8月青海湖及其子湖、入湖河流共计25个湖水表层水化学数据进行对比分析。 3.2. 采样及分析方法 本文所涉及的主要水质监测工作2015年9月22日~9月24日在青海湖开展。采样点由手持GPS确定(图1)。运用美国维赛YSI6600V多参数水质监测仪在监测点以1 m为间隔测定水体中的水温、叶绿素a、溶解氧、pH值、浊度等水质参数，每次检测前对仪器进行交叉校正，保证数据可靠性。数据处理采用Excel2007、ArcGIS和Grapher等软件进行统计分析处理。同时采得水样低温保存，带回云南师范大学高原湖泊生态与全球变化实验室，通过分光光度计法测定水体中总氮、总磷含量，用于分析湖泊营养状况。气象数据的来源用逐月气象数据求算研究区的逐年平均气温、年平均降水量。
system: [SYSTEM]

user: 5. 结论 青海湖独特的地理位置和气候条件，以及内陆咸水湖盐度高、扰动强等因素，进入丰水期，湖泊各监测点水体理化特征具有明显的差异性。温度出现湖心处弱分层而湖滨不分层现象，受风力扰动与湖水波动差异，溶解氧在各点垂直分布规律与温度相类似，这一时期风力扰动和湖水波动的作用是影响水体热力学状况的主要因素，并对溶解氧产生一定影响。较高的盐度是控制水体理化性质的主要原因之一，受高盐度影响，青海湖水体溶解氧水平较低，水体pH较高，达9.0以上，在监测各点pH值不存在明显差异，过高的pH对底泥的扩散起到促进作用，青海湖溶解态离子及颗粒之间的络合沉淀作用使悬浮胶体颗粒易于沉淀，水体浊度整体较低，透明度高，为沉水植物生长提供了有利条件，浮游植物也更多出现在底层水体。底层水体湍流易引起底泥释放，底泥释放是影响青海湖TP的原因之一，磷是青海湖藻类生长的制约因素，近几年青海湖水体磷浓度出现了较大程度的增高，水体营养化程度有一定的上升，水质有向着不利于湖泊良性循环的方向发展的趋势。各监测点理化差异与风力、湍流的作用说明该时期湖泊处于半混合状态。青海湖入湖河流营养盐浓度远高于湖泊水体，外源污染是青海湖水质变化的主要影响因子。人类活动强度的加剧和污染排放的增加，是造成青海湖水质下降的主要原因。尽管就目前而言，人类活动尚不是影响湖泊水位变化的主要因素，但青海湖湖泊水量与水质的变化，关系到我国西北干旱地区整体的环境状况与当地人民生产生活条件，因此需要人们更多的关注与保护行动。
system: [SYSTEM]

user: 摘 要 贵州省黔南州布依族苗族自治州岩溶山区喀斯特地貌发育且岩层透水性强，造成地表水匮乏，引起生态环境的失调。本文基于2000~2015年《黔南州水资源公报》以及《黔南州水利志》所记录的截至1995年的水资源数据，利用GIS技术，从研究区的水资源量、水资源质量以及水资源利用三方面进行评价。研究结果表明：1) 岩溶发育强烈、降雨下渗率大，造成地表缺水，因此研究区水资源量时空分布不均衡，有明显的中部、南部多，北部少的区域特征；2) 黔南州水质监测管理，逐年完善加强，农村饮用水水质有待提高；城市及工矿企业附近的部分河段污染严重，污染物主要为氨氮；3) 水资源利用具有地区特色，水利风景区规划建设，解决了水资源利用与旅游业发展的问题；4) 从2013年开始实行最严格水资源管理制度取得了有效的成果，当年水资源利用率为7.97%。该研究可为黔南州水资源的综合利用提供参考数据。 关键词 :黔南州，水资源，综合评价 Copyright © 2018 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. 引言 水资源是人类赖以生存的重要资源，在经济社会的快速发展的背景下，水资源利用不当所引起的问题日益增多，并成为水文学与水资源科学领域的热点话题之一。中国水资源利用正面临巨大的挑战，在水资源利用过程中区域水资源的脆弱性判断尤为重要，同时岩溶山区的水资源利用也面临着巨大困难 [ 1 ] [ 2 ] [ 3 ] 。水资源的合理开发利用是国家社会、经济发展需求以及可持续发展的保证 [ 4 ] 。因此对水资源的进行合理客观的评价是区域水资源利用的重要前提。焦雯珺等 [ 5 ] 以生态足迹理论为基础评估了湖州市水生态承载力；彭海琴等 [ 6 ] 基于GIS技术以上海18个区县为研究对象进行水资源承载力评价分析；李素丽等 [ 7 ] 基于生态水文学原理对水资源进行评价。目前对水资源的评价方式有：结构熵权法通过定性分析与定量分析相结合确定指标权重，结合模糊综合评价法评价水资源脆弱性 [ 8 ] [ 9 ] ；改进序关系法通过确定指标权重，使得主客观权重分配的问题也得到了较好的解决，进而更加科学地评价水资源可持续利用情况 [ 10 ] ；改进层次分析法探讨了判断矩阵一致性的修正方法，将加速遗传算法运用到实际区域水资源可持续利用系统评价中 [ 11 ] [ 12 ] [ 13 ] 。 贵州省黔南州布依族苗族自治州(以下简称黔南州)岩溶山区喀斯特地貌发育、岩层透水性强，从而造成地表水匮乏，从而引起生态环境的失调。水资源利用不当引发的水土流失和水环境污染等系列问题频繁引起人们的广泛关注。邵骏等 [ 14 ] 对长江流域水资源安全的评价显示贵州省水资源较不安全。2013年黔南州开始在公报中首次公开“最严格水资源管理制度”的考核结果，加大对水资源的利用与管理，取得了较好的效果。鉴于此，选择喀斯特地貌的典型代表区黔南州作为研究区域，基于2000~2015年《黔南州水资源公报》以及《黔南州水利志》所记录的截至1995年的水资源数据，利用GIS技术，从研究区的水资源量、水资源质量以及水资源利用三方面进行综合评价，并为区域的可持续发展提供基础科学支持。
system: [SYSTEM]

user: 2. 数据与方法 2.1. 研究区概况 黔南州地理位置为东经106˚12'~108˚18'、北纬25˚04'~27˚29'，位于贵州省中南部，全州包含都匀(包括开发区)和福泉二市，惠水、平塘、独山、荔波、三都、瓮安、贵定、龙里、长顺、罗甸十县。南北长249.5 km，东西宽207.6 km，总面积26，195 km 2 。黔南州属于亚热带季风气候，雨热同期，年内温差较小，属于典型喀斯特地貌地区，岩溶与常态地貌交错分布，以山地地形为主 [ 15 ] 。 黔南州境内水资源较为丰富(图1)，但由于岩溶地貌发育强烈导致降雨后降水的下渗率大 [ 16 ] 。依据《黔南水利志》记载，1958~1985年底，全州的水土流失面积达4000~4200 km 2 ，水土流失最终导致土壤肥力下降，山地出现裸岩石林，耕地石化等现象给人类的生产生活带来了极大的不便。由于黔南州地处岩溶山区，区域内河网密度高、水资源的时空分布不均匀，易引发灾害。1949~1992年44年中有8个年份旱灾，5个年份水灾，31个年份旱涝交替并发。 2.2. 数据来源 本文分析数据来源于《2000~2015年黔南州水资源公报》、《黔南州水利志》(含记载以来到1995年数据)，地图数据来源于2016年黔南州卫星影像数据，经过ArcGIS目视解译处理后所得。 图1. 黔南州水系分布
system: [SYSTEM]

user: 4. 结论 本文基于2000~2015年《黔南州水资源公报》以及《黔南州水利志》里所记录的截至1995年的水资源数据， 图6. 2004~2015年黔南州供水量(a)、用水量(b)和耗水量(c)变化过程 利用GIS手段，从水资源量、水资源质量以及水资源利用三方面对黔南州水资源进行简单概况，其主要结论如下： 1) 黔南州属于岩溶地貌的典型代表区域之一，水资源总量与人均水量都不低，但是岩溶地下水在时空上极易受大气降水影响，因此水资源量分布不均衡。岩溶发育强烈、降雨下渗率大，造成地表缺水。 2) 黔南州的水质监测管理，逐年完善加强。部分河段污染严重，主要为要为清水江都匀市小围寨镇油行村河段、鱼梁河福泉市三江口河段，污染物主要为氨氮。农村饮用水水质有待提高。 3) 黔南州水资源利用具有地区特色，水利风景区规划建设，解决了水资源利用与旅游业发展的问题。 4) 黔南州从2013年开始实行最严格水资源管理制度并取得了有效的成果。供用耗水量得到了明显控制，但水资源利用率很低，最高仅为7.97%，可以大力发展水资源，提高水资源利用率。
system: [SYSTEM]

user: 摘 要 分析了2013年7月22日甘肃岷县6.6级地震前甘肃地区的水位、流量和水温资料的变化情况，结果发现在这次地震前两个测点的资料存在明显的震前异常，其中清水李沟流量为中长期异常，清水温泉水温为短临异常。另外部分水位、流量和水温测点的资料记录到不同程度的同震效应，形态有突升、突降和缓变型等，持续时间不等，其中数字化水位、水温均在地震后10分钟至数小时之内恢复，而传统的人工流量观测持续1到2个月。记录同震响应的测点与震中位置、方向、距离无明显规律。 关键词 :岷县地震，震前异常，同震响应 Copyright © 2018 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. 引言 地下水位(流量)和水温观测一直作为地震前兆观测的重要测项，在我国已有几十年的历史，取得了许多宝贵的观测资料和一些震例资料。数字化下水位和水温观测在我国已有十多年的历史，“九五”和“十五”期间中国地震局对水位和水温观测台网进行了数字化改造，甘肃地区也建立起比较完整的地下流体观测网。 国内外地震学者曾以大量的观测事实论证了水位动态不仅可以直接反映受力状态变化引起的孔隙压力的变化，而且还可以反映出含水层地下水径流的速度与流量等的变化；不仅水位对含水层受力有所反映，对井水微温度也会有灵敏的响应。井–含水层系统所受的动力加载作用方式有多种，地震波作用就是重要的一种，地下流体观测中水位与水温对大震的同震响应是地震波作用于井–含水层系统最直接的体现 [ 1 ] [ 2 ] [ 3 ] 。近几年来，大震引起地震地下流体同震响应的现象受到不少学者的关注，刘耀炜等 [ 1 ] [ 4 ] 、孙小龙等 [ 2 ] 、张昱等 [ 5 ] 、刘成龙等 [ 6 ] 、周志华等 [ 7 ] 分别分析了不同地震水位与水温的同震响应特征。 据前人研究，地下水位的震时和震后效应，从形态上分为两类，一类是急速的阶跃变化，这主要是近震的井水位效应；另一类是水位的振荡变化，即为水震波效应，这种变化一般在震中距大于2000 km的井孔中比较常见 [ 4 ] - [ 9 ] 。水温同震响应主要是地震波作用引起的含水层介质形变，使其孔隙压力发生变化，这种孔隙压力的变化会导致水流速度及水体与围岩间的热量变化，而各水体间及水体与围岩的热量交换既有加强也有减弱，从而导致观测井内水体温度产生变化 [ 2 ] [ 9 ] [ 10 ] 。另外，井水温度的变化与井–含水层系统参数改变密切相关。 本文分析了2013年7月22日甘肃岷县–漳县6.6级地震前后甘肃地区的水位、流量及水温资料，结果发现在这次地震前两个测点的资料存在明显的震前异常 [ 8 ] ，部分测点也出现不同程度的同震响应。
system: [SYSTEM]

user: 2. 本次地震的基本参数及观测资料概况 2.1. 地震基本参数 本次地震的发震时刻为：2013年07月22日07时45分，震中位置位于甘肃省岷县漳县交界，地理坐标为：北纬34.5˚，东经104.2˚，震源深度20 km；发生在西秦岭断裂带南侧的临潭–宕昌断裂上，极震区烈度为VIII，VIII度区西北自岷县中寨镇，东南至岷县禾驮乡东南、东北自岷县禾驮乡东北、西南至岷县禾驮乡西南，长轴为40 km，短轴为21 km，面积706 km 2 。 该地震灾区主要涉及甘肃定西市岷县、漳县、临洮县、渭源县、陇西县，甘南州临潭县、卓尼县、迭部县、舟曲县，陇南市宕昌县、礼县，临夏州康乐县和天水市武山县等13个县区。灾区总面积约16，432 km 2 ，灾区人口约2，359，126人、589，782户，其中，乡村失去住所人数为279，684人，69，921户，城镇失去住所人数为34，436人，8609户。 2.2. 观测资料概况 甘肃地震地下流体(水物理)观测至2013年7月22日地震前的资料包括水位、流量、水温3种观测手段，42个测项；其中流量3项，水位16项，水温23项；观测资料最早为1985年1月开始的人工流量观测、之后为“九五”、“十五”数字化改造、直至汶川地震灾后恢复重建，观测最短的为2011年11月至12月开始。水位均为静水位观测，流量观测为流满1升水需要的时间。表1为测点与震中的大概距离，图1为震中、观测点及同震测点位置。 Table 1 Epicenter distance of measuring point 测点 震中距km 测点 震中距km 测点 震中距km 礼县 97 武都 150 天水 155 临夏 155 成县 170 清水 180 静宁 185 华亭 230 永登 255 平凉 250 景泰 290 庆阳 320 古浪 350 高台 660 表1. 测点与震中的距离 图1. 水位(流量)、水温观测点及同震测点分布图
system: [SYSTEM]

user: 3. 6.6级地震震前异常分析讨论 对所有观测资料进行了分析，发现只有清水李沟流量和清水温泉水温出现比较明显的震前异常。 3.1. 清水李沟流量 清水李沟流量观测井位于甘肃省清水县城以西6 km，处于西秦岭北缘断裂的北侧。观测资料始于1985年1月，多年来观测资料整体呈下降趋势，观测以来，附近地区的多次中强震前出现比较明显的异常，而以往震例为在高值下降的基础上发生地震，只是以往异常幅度较小，而2003年甘肃民乐–山丹6.1级地震和2013年甘肃岷县–漳县6.6级地震异常幅度明显较大。 由于2008年汶川地震引起清水流量的同震效应幅度较大，我们截取2009年以来的资料进行分析 [ 4 ] ，并对观测资料进行了趋势拟合分析(图2)，从图中看出，无论是原始观测曲线还是趋势分析后的曲线，2012年4月出现的高值异常均比较明显，持续时间为3个月，至2013年7月下旬结束(在这期间，进行过现场调查，未发现环境干扰和人为影响，异常可靠)，总体上升幅度达到26秒(每天观测为流满 1 升 水需要的时间)，以往该测点出现异常持续结束后，到发震最长时间为9个月，这次在异常结束一年后发生地震，属中长期异常，距离较近，为180 km，地震之后的上升为同震引起。 3.2. 清水温泉水温 清水温泉水温观测点位于甘肃省清水县城东北的汤峪河峡谷内，观测井深443.3 m，观测井水位、水温不受降水影响。该测点为“十五”数字化观测，观测资料始于2007年7月，从图中看出(图3)，多年来比较稳定，整体呈上升趋势。2011年初观测资料出现过低值过程，但附近地区并未发生5.0级以上地震，岷县6.6级地震前11天观测资料出现下降，下降幅度为0.005℃，显示出震前短临异常(据调查，观测仪器正常，环境无干扰)。
system: [SYSTEM]

user: 4. 水位(流量)观测同震响应特征及分析 本次地震，所有水位(流量)观测资料中，只有清水李沟流量、礼县流量、平凉柳湖水位3个测项记录到比较明显的同震现象，另外5个测项记录到很微弱的同震现象，其它11个测项没有记录到同震响应。分析发现，这些测点与震中位置、方向、距离无明显规律。 图2. 清水流量观测曲线 清水李沟流量2013年以来观测资料比较平稳，每天早上8点钟观测，地震为7时45分，所以，当天观测时就观测到明显的同震效应，上升幅度为15S/L，以往观测资料在正常时段(环境无干扰、无异常)不会出现这么大幅度的变化，持续时间为40天左右，之后略有恢复(图4)。 礼县流量观测井位于甘肃省礼县石桥镇，处于西秦岭北缘断裂的北侧。观测含水层的封闭性较好。以往观测资料日变幅较大，每天观测时间为早上8点钟，2013年观测资料总体较平稳，地震之前观测资料比较稳定，当天观测是在地震后，观测到31S/L的上升变化，持续时间较短，20天左右恢复到上升前的水平(图4)。 平凉柳湖井原为自流井，2007年断流，2008年汶川地震之后灾后重建，架设水位观测，现有观测资料始于2011年11月。该井水位观测资料虽然在趋势上受当地开采的影响，还是能记录到一定的潮汐，在以往大震时水位和水温也记录到同震响应现象。这次地震时记录到比较明显的同震现象，地震之后观测资料快速下降，3小时之后基本恢复原来的上升趋势(图4，其中图4上、中时间坐标为日值，图4下时间坐标为分钟值)。 地下水位(流量)的同震变化，反应了地壳形变和地面震动引起地下介质贮层变形、孔隙疏通、裂缝的清理、产生裂缝等变化。地震引起水位同震变化主要有振荡和阶变两种形态，也有振荡中出现上升或下降变化的，也上升或下降之后随之发生振荡的。振荡型变化是指在地震波作用下水位快速来回波动，地下水位出现类似地震波的高频振荡，地震波经过后水位很快平静下来。阶变型的同震变化是指在地震振动的作用下，地下水位阶变式的上升或下降变化，它反映了地下介质的孔隙、裂隙被疏通或地下水力学特征发生改变，可能是塑性变化的 图3. 清水温泉水温观测曲线 图4. 清水和礼县流量与平凉柳湖水位同震图 结果。这种变化通常需要十几分钟至几个月的时间才能恢复，也有恢复不了，为台阶式永久性的变化 [ 7 ] 。
system: [SYSTEM]

user: 5. 水温同震响应及分析讨论 水温观测资料中，只有平凉柳湖水温和成县水温在这次地震中出现比较明显的同震响应，其余资料基本不明显。这两个测点与震中位置、方向、距离无明显规律 平凉柳湖水温观测时间为2011年11月，观测资料变幅较大，但地震前后资料比较平稳，地震后快速下降，8时11分左右下降至最低，下降幅度为0.025℃，之后缓慢恢复，两小时之内基本恢复正常(图5)。成县水温观测资料始于2007年6月，多年来观测资料比较稳定，整体呈上升趋势。地震之后缓慢下降，下午14时之后快速恢复，20时开始基本恢复至正常水平，下降幅度为0.011℃ (图5)。 水位同震变化已有比较多的研究，而水温的同震响应现象近年来才引起地震学家的关注，其机理的研究目前也处于探讨阶段，而且比较复杂。另外，前人研究的水温同震响应特征 [ 2 ] [ 5 ] [ 9 ] ，多数以水温阶变下降为主，也有波动或上升变化，这也说明水温的同震响应受多种因素的制约。 地震波作用引起的含水层介质形变可促使其孔隙压力发生变化，这种孔隙压力的变化会导致水流速度及水体与围岩间的热量变化。如果这种作用持续时间较长，则观测井内水体温度是一持续变化的过程；如果井–含水层系统在地震波作用下发生了塑性形变，那么井–含水层系统会在短时间内达到新的平衡，则井水温度会很快达到新的稳定状态。当然，井水温度的变化与井–含水层系统参数改变密切相关。地震发生时，地震波作用于含水层系统后，使其介质发生了变形所致，这种应力作用一方面激活了孔隙、裂隙中的充填物(如气体、滞水等)，使得在空隙内运移的水体流动状态发生变化，导致各水体间及水体与围岩的热量交换加强或减弱，从而导致观测井内水体温度产生变化 [ 9 ] 。
system: [SYSTEM]

user: 6. 结论与讨论 这次6.6级地震的震中距离多数观测点在400 km以内，从以上的讨论知道，出现明显异常的测项只有两项，这说明地震前兆异常的复杂性，当然，也可能关系到多个方面的问题，比如，观测仪器的稳定性、观测环境的好坏、还有观测井点的条件等等，但是，只要某种观测手段在震前能观测到一些异常，我们可以与其它观测手段和学科的资料综合，也可能对地震预报有一定的借鉴意义。 该地震有10个测项记录到不同程度的同震响应，其中5个测项反映比较明显，另外5个测项记录到比较微 图5. 平凉柳湖水温与成县水温同震效应图 弱的同震响应，其余测项没有记录到，而这些井点中也有在其它大震时记录到过同震响应的例子，这也说明地下水观测的同震响应受发震地点、震级、震中位置、地震波到观测井的传播路径及发震构造等多种因素的影响。 由于水位动态的物理意义明显，含水层受压时水位上升，受拉张时下降，因此震后阶跃上升的水井水位可能包含有区域应力场的信息，水位的同震阶变可视为大震后区域应力调整的表现，水位阶跃上升集中区可能也是区域压应力相对集中区，对未来该区域发生较显著的地震具有空间上的指示意义。
system: [SYSTEM]

user: 摘 要 群论是代数系统中的重要组成部分。本文提出一种使用Alloy验证群论中定理的新方法。使用Alloy对群的两种定义进行了形式化描述，并通过Alloy分析器实现了对这两种群定义的自动化验证。实验结果表明，该方法可行并且具有较高的效率。 关键词 :群论，Alloy，形式化描述，自动化验证 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. 引言 有关群论定理的机器验证一直是自动推理领域内一个基本课题，其研究结果及其方法在代数学、计算机科学、物理等学科中都有重要的应用 [ 1 ] 。 许多学者都在关注着群论定理的机器验证。1993年，Slaney使用计算机程序FINDER验证了一些半群和拟群的定理 [ 2 ] 。1994年，张健、Stickel等人又在计算机上使用FALCON解决了几个群论开问题 [ 3 ] ；随后，他们又使用更高效的程序LDPP和SATO在计算机上解决了多个拟群的开问题 [ 4 ] 。这些工作推动了群论定理机器验证的发展，为机器验证更难的群论开问题提供了一种可行的道路。 FINDER、FALCON、LDPP、SATO等都属于早期的原型程序，到目前为止都已经没有了后续的工作。这些程序使用的语言表达能力有限。FINDER由于无法通过消除同构的方式来减小搜索空间，在计算机上运行的时间相对较长，不能高效地处理有关同构的群论定理。FALCON主要用于验证等式理论，只能应用于部分的群论定理。LDPP、SATO无法描述包含较长公式的定理 [ 5 ] [ 6 ] 。总之，这些工具在验证群论定理的过程中都有一定的缺陷。 本文使用Alloy来验证群的两种不同定义的等价性。Alloy是一个基于关系的一阶语言，表达能力很强，非常适合于描述群论中的定理。它的分析器使用了一种高效的消除对称性(breaking symmetry)算法 [ 7 ] ，这种算法对具有高度对称性的群论定理能显著地提高验证效率。另外，它的分析器能在有限范围内自动查找模型，并能将查找到的模型以图形的方式可视化地显示给用户 [ 8 ] 。我们希望这些优点能使Alloy成为一个验证群论定理的利器，可能会对今后群论中开问题或猜想的研究有所帮助。
system: [SYSTEM]

user: 2. 预备知识 2.1. Alloy语言及Alloy分析器 Alloy语言是一种轻量级、基于关系的一阶逻辑语言，同时它也是说明性的建模语言。使用Alloy语言描述模型非常简洁，而且它可以表示所有数据类型的关系，包括集合、标量和元组，并通过列出属性和约束来描述一个系统的状态和行为，具有极强的描述能力 [ 9 ] [ 10 ] 。其所建立的模型可以由Alloy分析器进行自动验证，并给出可视化结果。 Alloy分析器由MIT软件设计组开发，是基于模型检验理论的模型分析工具。它将模型转化为布尔表达式，然后使用可满足性理论(SAT Technology)对模型进行分析，进而进行模型检验 [ 11 ] 。Alloy分析器实际上是一个“模型查找”工具。只要给出一个Alloy语言的逻辑表达式，分析器将会在指定的范围内查找符合该逻辑表达式的模型，而这种逻辑表达式就是需要满足的属性。当这种属性不满足时，Alloy分析器就会产生对应的反例，用于辅助查找为什么会产生该属性不满足的现象。 新版本的Alloy分析器使用Kodkod [ 12 ] 作为分析引擎。首先将Alloy的形式化描述自动转化成Kodkod API的Java程序，然后再对模型进行求解。Kodkod擅长对一阶谓词逻辑表示的关系、传递闭包和部分解的推理计算，因此极大地减少了在计算机上运行的时间。 2.2. 群的概念 群论的主要是研究对象是“群”这个代数结构。我们首先要来了解什么是群，即群的定义是什么。定义一个群有多种不同的方式 [ 13 ] 。 定义1：设G是一个非空集合，如果在G中定义了一个二元运算，称为乘法，它满足以下条件，那么称G为一个群： (1) 结合律： ( a b ) c = a ( b c ) ，   a ， b ， c ∈ G ； (2) 存在单位元素：存在 1 ∈ G ，使对任意的 a ∈ G ，恒有 1 a = a 1 = a ； (3) 存在逆元素：对任意的 a ∈ G ，存在 a − 1 ∈ G ，使得 a − 1 a = a a − 1 = 1 。 若将上述条件中的(2)，(3)分别减弱为(2’)，(3’)，则有 定义2：设G是一个非空集合，如果在G中定义了一个二元运算，称为乘法，它满足以下条件，那么称G为一个群： (1) 结合律： ( a b ) c = a ( b c ) ，   a ， b ， c ∈ G ； (2’) 存在左(右)单位元素：存在 1 ∈ G ，使对任意的 a ∈ G ，恒有 1 a = a ( a 1 = a ) ； (3’) 存在左(右)逆元素：对任意的 a ∈ G ，存在 a − 1 ∈ G ，使得 a − 1 a = 1 ( a a − 1 = 1 ) 。
system: [SYSTEM]

user: 3. 基于Alloy的群定义等价问题 在数学中，我们已经可以证明定义1与定义2是等价的。下文我们将通过Alloy对群的定义进行形式化描述从而建立模型 [ 14 ] 。再由Alloy分析器进行自动分析验证，对得到的可视化结果进行对比分析后，来验证该定理是成立的。 3.1. 构建模型 由定义1和定义2可以发现，群的定义有三个约束，基于Alloy语言，现在建立定义1的群的模型(以含有三个元素的群为例)，形式化语言描述如下所示： 上述语句的描述及实现的功能如下： (1) 定义对象集合(Element及Group)，定义群中元素的三种关系(unit， mult， inv)； (2) 描述了定义1中的三种约束关系； (3) 谓词(AGroup)语句，生成一个具有三个元素的群(#在Alloy语言中代表个数)； (4) 断言(Inverse)语句，在规定范围内检测上述群是否具有逆元唯一性质； (5) 断言(Unit)语句，在规定范围内检测上述群是否具有单位元唯一性质。 定义2与定义1的区别在于，弱化了定义1中的后两个条件，即将“存在单位元”和“存在逆元素”弱化为“存在左(右)单位元”和“存在左(右)逆元素”。因此，在使用Alloy语言形式化描述时，只需将描述约束关系的部分进行部分改变即可。再次建立模型，形式化描述语言如下： 3.2. 实验结果 使用Alloy分析器分别自动分析上述两个模型，将会得到模型的可视化结果以及分析过程的时间。由结果显示可知，在断言检测中，二者都没有发现反例。在谓词检测中，两个模型都存在着满足约束条件的实例。对比两个实例的可视化结果可以发现，两个实例是一模一样的，即定义1与定义2生成的群的实例是同一个群。这足以说明二者是是等价的，即原命题得以验证。 如图1所示，为生成的具有三个元素的群的实例。 用 G r o u p 表示一个群， E 0   ， E 1   ， E 2 分别表示群中的三个元素。观察上图中群的实例可知，其中 E 2 表示该群中的单位元(unit)， E 0   ， E 1 互为逆元(inv)，且满足单位元唯一和逆元唯一的性质。 为说明Alloy验证结果的准确性，现在将谓词(Agroup)语句中的# G.elements = 3语句分别改为# G.elements = 5，# G.elements = 10，# G.elements = 15等，即增加群中元素的数量。分别在定义1和定义2的形式化描述下，使用Alloy分析器进行验证，生成具有5个元素的群，具有10个元素的群及具有15个元素的群的实例，进而对结果进行对比分析。 如图2所示，为生成的具有五个元素的群的实例。 用 E 0   ， E 1   ， E 2   ， E 3   ， E 4 分别表示群中的五个元素。观察图中群的实例可知，其中 E 4 表示该群中的单位元 图1. 实例 图2. 实例 (unit)， E 0   ， E 1 互为逆元(inv)， E 2   ， E 3 互为逆元(inv)，且满足单位元唯一和逆元唯一的性质。 对得到的结果进行对比分析，定义1和定义2生成的具有10个和15个元素的群同样是相同的。此外，我们还验证了具有更多元素的群，均能得到相同的结果。由此，可证明使用Alloy验证群定义是可行的。并且运行的时间虽然随元素的增加而增长，但均能在几分钟甚至几秒内解决。
system: [SYSTEM]

user: 4. 结论 通过上述对群定义的建模与等价性的验证，可以发现，使用Alloy对群定义进行建模是可行的。只需要将问题的约束条件描述清楚，再由Alloy分析器对模型进行自动分析，通过对比产生的可视化结果即可将问题解决。并且自动分析模型的时间较短，有效地提高了机器验证的效率。由此可知，Alloy语言是一种非常有效的形式化分析语言，对群基本问题的分析与验证有着十分显著的作用。希望本文所提出的方法，将对群论中至今未解决的猜想研究起到重要作用，有关使用Alloy语言解决群的复杂性问题还有待继续分析研究。
system: [SYSTEM]

user: 摘 要 借助Hermite变换、白噪声理论和Riccati方程的有理指数函数解，获得了Wick型随机mKdV方程带多参量的广义的有理指数函数解，借助这个解可以揭示出不同的Riccati方程约束条件下，不同的参量的变化对Wick型随机mKdV方程动力学行为产生的影响及变化规律。它为深入研究外部条件和内部因素对非线性随机模式行为产生的影响，提供了一种更加有效的方法。 关键词 :Wick型随机mKdV方程，有理指数函数解，白噪声理论，Hermite变换 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. 引言 Wadati最先研究了随机偏微分KdV方程和在高斯白噪声条件下KdV方程的孤子色散 [ 1 ] ，接着研究了高斯白噪声条件下有阻尼和无阻尼KdV方程 [ 2 ] ，随后提出了一种描述波在任意介质传播的非线性偏分方程 [ 3 ] 。此外，de Bouard [ 4 ] [ 5 ] 、Debussche [ 6 ] [ 7 ] 、Konotop [ 8 ] 、Printems [ 9 ] 、Holden [ 10 ] 等人对随机偏微分方程的研究也做大量的工作。 近来，许多研究者把白噪声函数方法应用到随机偏微分方程并获得许多随机偏微分方程的解析解，如谢英超 [ 11 ] [ 12 ] 、韦才敏 [ 13 ] 、戴朝卿 [ 14 ] [ 15 ] 和留庆 [ 16 ] [ 17 ] [ 18 ] [ 19 ] 等，借助Hermite变换和各种方法，获得了多个Wick型随机方程不同类型的解析解。 在这篇论文中，下列Wick型随机mKdV方程被给出 [ 17 ] U t − K 1 ( t ) ⋄ ( U x x x − 6 U ⋄ 2 ⋄ U x ) − 4 K 2 ( t ) ⋄ U x + H ( t ) ⋄ ( U + x U x ) = 0 ， (1) 其中 H ( t ) 和 K i ( t )   ( i = 1 ， 2 ) 是白噪声函数， ⋄ 是在Hida分布空间的Wick积。 本论文利用Hermite变换和Riccati方程的有理指数函数解，方程(1)带有多个任意参量的有理指数函数解被得到。借助高斯白噪声理论，我们得到了在高斯白噪声条件下，Wick型随机mKdV方程带有多个任意参量的有理指数函数解。通过选择设置这个有理指数函数解中包含的多个参量的不同值，Wick型随机mKdV方程丰富的有理指数函数解被得到。进而揭示出了不同约束条件下，不同因素参量变化对Wick型随机方程(1)动力学行为产生的影响。由此，提出借助带有多个任意参量的有理指数函数解，研究不同条件的变化对Wick型随机模型动力学行为影响新的思路。 论文的结构如下，第2节简述在高斯白噪声条件下，求解Wick型随机方程带有多个任意参量有理指数函数解的主要步骤。第3节，把这种方法用于研究Wick型随机mKdV方程，并得到了该方程带有多个任意参量的有理指数函数解。最后一节，对本工作研究的总结。
system: [SYSTEM]

user: 2. 主要步骤 步骤一. 借助Hermite变换，把下列Wick型随机方程 A ⋄ ( t ， x ， ∂ t ， ∇ x ， U ， ω ) = 0 ， (2) 转化成下普通积的 A ˜ ( t ， x ， ∂ t ， ∇ x ， U ˜ ， z 1 ， z 2 ， ⋯ ) = 0 ， (3) 变系数偏微分方程。 步骤二. 通过下列变换 U ˜ ( t ， x ， z ) = u ( t ， x ， z ) = u ( ξ ) ，   ξ = f ( t ， z ) x + g ( t ， z ) ， (4) 其中 f ( t ， z ) 和 g ( t ， z ) 待定函数。把偏微分方程(3)化简为下列常微分方程 A ( u ， u ξ ， u ξ ξ ， u ξ ξ ξ ， ⋯ ) = 0 ， (5) 步骤三. 假设方程(5)有下列形式的解 u ( ξ ) = Σ i = 0 n a i ( t ， z ) F i ( ξ ) ， (6) 而变量 F ( ξ ) 是下列Riccati方程 k F ξ = q + p F 2 ( ξ ) ， (7) 步骤四. 通过平衡方程(5)最高阶微分项和最高阶非线性项，得到n的值。把n的值代入方程(6)，写出方程(5)解的具体形式 u ( ξ ) = a 0 ( t ， z ) + a 1 ( t ， z ) F ( ξ ) + ⋯ + a n ( t ， z ) F n ( ξ ) . (8) 步骤五. 把方程(8)和方程(7)代入方程(5)，并设 F i ， x F i 所有幂的系数为零，得到一组方程。求解这组方程得到参量 f ， g ， a i   ( i = 0 ， 1 ， ⋯ ， n ) 的函数表达式。把求得的这些结果连同Riccati方程的有理指数解和 ξ = f ( t ， z ) x + g ( t ， z ) 一起代入方程(8)，得到 u ( t ， x ， z ) 为方程(3)带多参量的有理指数函数解。 步骤六. 对步骤五得到 u ( t ， x ， z ) 进行逆Hermite变换，获得 U ( t ， x ) 。这个 U ( t ， x ) 就是Wick型随机方程(2)的解。 步骤七. 利用高斯白噪声和布朗运动之间的关系，以及斯科罗霍德积分，得到方程(2)的带多参量的有理指数孤波解。
system: [SYSTEM]

user: 4. 结论 借助Hermite变换、白噪声理论和Riccati方程的有理指数函数解，随机mKdV方程一种带多参量的广义的有理指数函数解被得到。由于这个有理指数函数解中包含多个任意参量，对应不同的参量值，可以写出不同解析解，这样的解实际上可以写出无穷多个。这些解实际上表示不同Riccati方程约束条件下，不同内部因素作用下随机mKdV方程的动力行为的变化规律。这给我们提供了一个重要的启示，可以借助这个带多参量的广义的有理指数函数解来研究在不同的Riccati方程约束条件下，不同的参量的变化下，Wick型随机mKdV方程动力学行为的变化规律。这种方法也能被推广用于其它的Wick型随机方程的动力行为的研究。 本论文研究了求解随机方程带多参量的广义的有理指数函数解方法，并得到了随机mKdV方程一种带多参量的广义的有理指数函数解。但没有具体研究不同Riccati方程约束条件和不同参量变化，对其行为的影响，以及变化规律，这些重要的课题有待进一步研究。
system: [SYSTEM]

user: 摘 要 长链非编码RNA是长度超过200个核苷酸的非编码RNA分子，在神经系统发育、神经元分化、突触可塑性等生物过程中发挥重要作用，参与了多种神经系统疾病的发生发展过程。本文主要阐述lncRNA在神经系统疾病包括缺血性脑卒中、帕金森氏病、多发性硬化中的研究进展。 关键词 :长链非编码RNA，缺血性脑卒中，帕金森氏病，多发性硬化 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. 引言 长链非编码RNA (Long noncoding RNA， LncRNA)是长度超过200个核苷酸的RNA分子，不编码蛋白质。近年来，越来越多的研究显示长链非编码RNA参与了多种生物过程，如神经系统发育、神经元分化、突触可塑性 [ 1 ] ，并在脑卒中、神经退行性疾病及脑肿瘤中发挥显著作用 [ 2 ] 。LncRNA与神经系统疾病密切相关，有望成为神经系统疾病的新的生物标志物及治疗靶点。本文主要就lncRNA在缺血性脑卒中、帕金森氏病及多发性硬化中的研究进展作一综述。
system: [SYSTEM]

user: 2. lncRNA简介 哺乳动物基因组绝大多数被转录成RNA，然而只有2%左右的基因编码蛋白质，那些不编码蛋白质的基因的转录产物称为“非编码RNA (ncRNA)”。长链非编码RNA是长度超过200个核苷酸的非编码RNA分子，人们曾普遍认为，lncRNAs是“垃圾RNA”，不发挥生物学作用 [ 3 ] 。近年来研究发现，长链非编码RNA在细胞发育、功能维持、凋亡及疾病的发病机制中发挥关键作用。LncRNA可通过多种方式在各个阶段调控基因的表达，包括染色质修饰、基因的转录、mRNA的翻译及表观遗传调控，此外，lncRNA还能够作为竞争性内源性RNA与miRNA结合抑制miRNA的表达。
system: [SYSTEM]

user: 3. lncRNA与神经系统疾病 3.1. lncRNA在缺血性脑卒中中的作用 脑卒中是全球第二死亡疾病和第三致残疾病，包括缺血性脑卒中与出血性脑卒中。每年约有95.5万人出现新的或复发性脑卒中，其中87%的脑卒中是缺血性的 [ 4 ] 。最近，越来越多的证据表明非编码RNA在缺血性卒中中发挥神经保护作用。卒中后，lncRNA的表达谱发生改变。研究表明，局灶性缺血上调LncRNA FosDT的表达，进一步研究发现，局灶性缺血会增加FosDT与REST的抑制因子coREST和Sin3a的结合，而下调FosDT可抑制REST下游基因，减少缺血后梗死和运动功能障碍 [ 5 ] 。在缺血/再灌注损伤后，微阵列分析检测到数百种差异表达的lncRNA。在局灶性脑缺血/再灌注小鼠模型中lncRNA C2dat1显著上调，实验证明，C2dat1诱导CaMKIIδ的表达，进而激活NF-κB信号通路促进神经元的存活 [ 6 ] 。lncRNA-N1LR被证明可能通过抑制p53的磷酸化促进对缺血性卒中的神经保护作用，可能作为缺血性脑损伤后治疗性干预的潜在靶标 [ 7 ] 。 缺血性脑损伤后的血管生成有助于缺血区血液供应的恢复，改善血管生成可能有助于卒中后的功能恢复。脑卒中后的血管生成受血管生成因子和抗血管生成因子如VEGF、BDNF和bFGF的调节，研究表明，长链非编码RNA与血管形成的关键调节因子相关 [ 8 ] 。研究发现，过表达lncRNA ANRIL通过激活NF-κB信号通路上调大鼠VEGF表达、促进血管生成 [ 9 ] 。缺血性脑卒中后大鼠的lncRNAs Meg3表达显著降低，进一步上调Meg3的表达可以抑制缺血性卒中后的功能恢复及降低毛细血管密度，下调Meg3表达能改善卒中后脑损伤，增加血管生成；并且发现，下调Meg3的促血管生成作用机制可能与Notch信号的激活有关 [ 8 ] 。 3.2. lncRNA在帕金森氏病中的作用 随着人口老龄化的增加，神经退行性疾病对家庭和社会造成了巨大负担 [ 10 ] 。帕金森氏病(Parkinson’s disease， PD)是一种常见的慢性进行性神经退行性疾病，导致运动缓慢、震颤、步态和平衡障碍等运动功能受损及多种非运动症状，如直立性低血压、便秘、睡眠障碍 [ 11 ] 。以前，帕金森氏病被认为主要是由环境因素引起的，但研究表明，帕金森氏病是由基因与环境因素的复杂的相互作用所致 [ 12 ] 。LncRNA表达谱分析显示，帕金森氏病患者的脑组织标本中有5种lncRNA表达具有显著差异，包括H19、lincRNA-p21、Malat1、SNHG1和TncRNA；分析显示，这些差异表达的lncRNA在帕金森氏病的早期阶段已经被改变，并先于PD进程，可能称为帕金森氏病新的潜在生物标志物 [ 13 ] 。MPP+处理SH-SY5Y建立PD的体外细胞模型，发现MPP+显著上调了细胞中lncRNA MALAT1及α-突触核蛋白表达水平，进一步实验显示，MALAT1的过表达能上调α-突触核蛋白表达水平，而敲低MALAT1能显著下调α-突触核蛋白表达水平 [ 14 ] ；表明lncRNA MALAT1参与了帕金森氏病的病理生理过程。对帕金森氏病患者黑质的lncRNA表达谱进行分析，发现lncRNA AL049437和lncRNA AK021630表达水平变化最明显，AL049437在PD患者黑质样本中上调，而AK021630则下调，紧接着实验发现lncRNA AL049437可能增加患PD的风险，而lncRNA AK021630可能抑制PD的发生 [ 15 ] 。在帕金森氏病小鼠模型的中脑中，lncRNA HOTAIR表达上调，进一步研究发现HOTAIR通过调节LRRK2表达促进MPTP诱导的PD [ 16 ] 。 由与正义链互补配对的反义链转录而来的RNA分子称为反义转录物，反义lncRNA能够在不同水平调控基因的表达。UCHL1/PARK5的错义突变与早发性家族性PD有关，lncRNA AS Uchl1是UCHL1的反义转录物，通过作用于Uchl1 mRNA增加Uchl1蛋白的表达，因此调控AS Uchl1的表达可能作为帕金森氏病治疗干预的工具 [ 17 ] 。微管相关蛋白tau (MAPT)基因是散发性PD相关基因，其编码的蛋白质有助于稳定轴突细胞骨架。已证明在帕金森氏病患者的白细胞和脑组织中，MAPT启动子发生异常甲基化 [ 18 ] 。另有研究表明，MAPT的高表达可能导致神经变性的增加 [ 19 ] 。MAPT-AS1是从MAPT启动子区域的反义链转录的长840 bp的lncRNA，能够调节MAPT启动子活性及甲基化，被认为是PD中MAPT表达的潜在的表观遗传调控因子 [ 20 ] 。 3.3. lncRNA与多发性硬化 多发性硬化(MS)是中枢神经系统的慢性炎性脱髓鞘疾病，以轴索变性和神经胶质细胞增生为特征，导致严重的神经功能障碍。与健康对照组相比，多发性硬化患者血清中有84种lncRNA已验证或预测能够调节促炎基因、抗炎基因和微小RNA的表达，其中RN7SK RNA、TUG1和NEAT1的表达显着上调 [ 21 ] 。实验发现，多发性硬化患者循环血细胞中有三种lncRNA表达失调，PVT1和FAS-AS1表达显著下调，THRIL表达显著上调，但这些lncRNA的具体调节机制需要进一步探究 [ 22 ] 。维生素D作为免疫调节剂被广泛用于多发性硬化患者，数据显示，lncRNA HOTAIR可能与MS的发病机制密切相关，但其作用机制尚不明确，而炎症和VD可能通过影响HOTAIR的表达影响HOTAIR相关机制 [ 23 ] 。 3.4. lncRNA与神经系统其他疾病 此外，lncRNA也在阿尔茨海默病、亨廷顿病、肌萎缩侧索硬化症、脑膜瘤、神经胶质瘤的发生、发展中起重要作用。
system: [SYSTEM]

user: 4. 小结 长链非编码RNA在神经系统疾病包括脑卒中、帕金森氏病、多发性硬化等的发生、发展中扮演着重要角色。随着高通里测序技术和生物信息学的发展，对lncRNA在神经系统疾病中的作用机制的研究将不断深入，其可能成为神经系统疾病的新的RNA分子标记物，并为神经系统疾病的预防和治疗提供更多的理论指导。
system: [SYSTEM]

user: 摘 要 自噬为真核细胞独有的代谢过程，基础自噬通过清除衰老的细胞器和异常堆积的蛋白，保证其正常的细胞功能。然而失调的自噬或者过多的自噬都会导致细胞死亡。在AD患者或转基因AD鼠的神经细胞中存在大量的自噬囊泡，表明自噬可能参与了阿尔茨海默病的发生、发展。因此，明确自噬在AD 发病不同阶段的确切作用可能有助于发现更为有效的治疗靶点。 关键词 :自噬，阿尔茨海默氏病 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. 引言 阿尔茨海默病(Alzheimer’s disease， AD)是一种起病隐匿的进行性发展的神经系统退行性疾病，目前学者们普遍认为神经细胞外出现β淀粉样蛋白(amyloidβ-protein， Aβ)异常聚集形成的老年斑(senile plaque， SP)、神经细胞内异常聚集的Tau蛋白形成的神经纤维缠结(neurofibrillary tangle， NFT)及神经元丢失为其主要的病理特征。全球AD患者逐年增多，是老年期痴呆最常见的一种类型，给个人、家庭及社会带来沉重的负担。有鉴于此，人们对其进行了长时间和高投入的密集研究，但其发病机制、行之有效的治疗方法仍然是个谜。新近的研究表明，在AD的发生发展中，自噬可能参与了其发生、发展过程。