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

user: 4. 小结与讨论 采用生物测定方法，研究了硒和硅与杀菌剂混合使用对水稻纹枯病菌、稻瘟病菌和稻曲病菌具有增效作用的复配组合，结果表明，亚硒酸钠对稻瘟病菌表现出较好的抑制效果，对水稻纹枯病菌和稻曲病菌的抑制效果较差，硅对水稻纹枯病菌、稻瘟病菌和稻曲病菌抑制效果均较差。硒与苯醚甲环唑复配组合对水稻纹枯病菌和稻瘟病菌具有明显增效作用，增效系数SR分别在7.5766~29.2560和1.8484~5.7502之间，硒与三环唑复配组合对稻瘟病菌具有明显增效作用，增效系数SR在1.5433~6.6283之间；硒与戊唑醇复配组合对稻曲病菌具有明显增效作用，增效系数SR在3.5137~8.4665之间。硅分别与咪鲜胺、吡唑醚菌酯和戊唑醇复配组合对纹枯病菌具有增效作用，增效系数SR分别在16.7488~34.9892、1.5287~2.5754和1.5102~1.5142之间；硅分别与吡唑醚菌酯、咪鲜胺、苯醚甲环唑和三环唑四种杀菌剂复配组合对稻瘟病菌具有增效作用，增效系数SR分别在1.5189~2.7280、3.6042~6.0069、5.8652~36.5623和15.9847~26.4874之间；硅与吡唑醚菌酯复配组合对稻曲病菌具有增效作用，增效系数SR在1.5221~2.6170之间。 本研究通过测定硒或硅与杀菌剂联合使用对水稻三大病原菌的毒力作用，通过计算增效系数(SR)，筛选出了具有抑制水稻病原菌生长的增效作用复配组合，相比于使用单一的杀菌剂不容易产生抗性，可以减少农药使用量，减少农药给环境带来的污染。已有研究表明，长期使用同一种药剂，会产生抗药性 [ 1 ] [ 3 ] [ 6 ] ，如水稻纹枯病菌对井冈霉素已经产生抗药性。但室内生物测定实验完全是在没有寄主植物的条件下展开进行的，复配组合的增效作用，应该在经过田间试验的检测条件下，才可以对复配组合的作用进行药效评价。 硅是一种有益元素，在作物抗病性方面发挥着一定的重要作用，同时施硅还可以提高作物产量 [ 9 ] [ 10 ] 。国内外已有的研究表明，在相同环境条件下，通过施用硅肥，不论水稻品种抗性是否有差异，水稻稻瘟病及纹枯病的发病率和病斑大小相比于不施用硅肥的水稻植株明显降低，植株硅含量有不同程度的增加 [ 11 ] [ 12 ] [ 13 ] [ 14 ] 。硒可以增强植物对病虫害及不同逆境的抵抗能力。因此把硒和硅与农药复配使用可以诱导水稻增强抗病能力，提高杀菌剂的防病效果，可以为水稻病害绿色防控和化学农药减量控害增效提供理论依据。
system: [SYSTEM]

user: 摘 要 利用MICAPS产品的中央气象台物理量格点数据、高空、地面等气象资料和双线性插值算法对2017年8月2日廊坊市一次区域性暴雨天气过程及其六种对流指数进行了深入分析，结果表明：本次区域暴雨过程中，造成南北部暴雨的影响系统明显不同，中北部暴雨的主要影响系统是短波槽，南部大城的大暴雨主要是登陆台风减弱后的低值系统影响。在南北暴雨产生的共同时段内，各对流指数显示南部强于中北部，对大城的大暴雨有较好的预报指示意义，北部的暴雨较南部弱，其对流指数的变化与降水的持续时间基本一致。对流指数的强弱程度、分布范围、发展变化与暴雨的强弱、分布范围、发生发展有较好的一致性，具有重要的参考价值。 关键词 :暴雨，对流指数，参考价值 Copyright © 2019 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. 引言 暴雨是廊坊市主要的灾害性天气之一，尤其是持续时间长、范围大的暴雨有时会诱发泥石流、山体滑坡等次生灾害，给人民的生活、生产以及城市的交通等带来一定的影响甚至是严重的损失。因此，深入研究暴雨的发生、发展规律，探索暴雨过程的大气特征指标，进而准确预报暴雨，防御暴雨灾害具有重要意义。 近些年来，随着科学技术、计算机的快速发展，气象资料的充分应用越来越广泛。如：刘玉玲 [ 1 ] 介绍了对流有效位能(CAPE)、粗里查逊数(BRN)、相对螺旋度(SRH)和能量螺旋指数(EHI)的计算方法和物理意义，并分析了这些参数在强对流天气中的应用。黄庆国等 [ 2 ] 指出暴雨的发生与各物理量关系密切，有助于找准暴雨落点和时间。唐钱奎等 [ 3 ] 指出对流参数的突变能够作为预报短时暴雨的预报指标。王立荣等 [ 4 ] 将地面资料和探空资料相结合，计算的对流参数能够较好的反映出强对流的特征。李勇等 [ 5 ] 发现当强对流天气发生时，不同区域对应的对流参数相对集中在一个特定区域内。林丽等 [ 6 ] 的研究指出，在暴雨过程中，稳定度及能量参数对于暴雨的发生及发展具有一定的指示意义。王盛繁等 [ 7 ] 指出大多物理量对于暴雨的落区有较好的对应关系。韦春苗 [ 8 ] 研究表明物理量场与强降水均有较好的对应关系，刘煜等 [ 9 ] 指出K指数能够很好的反应大气层结的稳定性和不稳定能量的年积聚程度。此外，还有许多气象学者也深入研究了对流指数对于强对流天气预报的重要性 [ 10 ] - [ 16 ] 。 上述研究成果揭示了对流参数是暴雨、强对流天气等的重要参考要素之一，对准确预报暴雨、强对流天气具有一定的参考价值意义。但是目前由于气象探空站的分布稀疏，更多的气象台站需要进行插值技术处理，才能得到相关的对流指数。本文即在双线性插值技术的基础上以2017年8月2日廊坊市一次区域暴雨过程为例，分析并寻找插值计算的K指数、沙氏指数(SI)、湿对流有效位能(CAPE)、风暴强度指数(SSI)、抬升指数(LI)、粗理查迅数(BRN)等对流指数在暴雨中的预报指示意义。
system: [SYSTEM]

user: 2. 资料及运用方法介绍 所用资料包括：2017年8月1日至3日廊坊市9个气象观测站降水资料，MICAPS高空、地面资料，加密自动站资料，北京、张家口、邢台三个探空站实测资料与中央台物理量产品。 双线性插值算法：如图1，假如我们想得到未知函数f在点 P = ( x ， y ) 的值，假设已知函数f在 Q 11 = ( x 1 ， y 1 ) ， Q 12 = ( x 1 ， y 2 ) ， Q 21 = ( x 2 ， y 1 ) ， Q 22 = ( x 2 ， y 2 ) 四个点的值，首先在x方向进行线性插值，在 Q 12 ， Q 22 中插入点 R 2 ， Q 11 ， Q 21 中插入点 R 1 ： 图1. 双线性插值算法图示 f ( R 1 ) ≈ x 2 − x x 2 − x 1 f ( Q 11 ) + x − x 1 x 2 − x 1 f (Q21) f ( R 2 ) ≈ x 2 − x x 2 − x 1 f ( Q 12 ) + x − x 1 x 2 − x 1 f (Q22) 然后在y方向进行线性插值，通过第一步计算出的 R 1 与 R 2 在y方向上插值计算出P点： f ( P ) ≈ y 2 − y y 2 − y 1 f ( R 1 ) + y − y 1 y 2 − y 1 f (R2) 不管是先进行x方向上的插值，还是先进行y方向上的插值，最终得到相应的结果，所以，双线性插值的结果与插值进行的先后顺序无关。 文中各指数的计算方案：廊坊市位于北京、天津两大城市之间，根据地理位置首先利用双线性插值算法将2014~2016年间MICAPS中的北京、张家口、邢台三个探空站实测资料与中央台物理量产品进行误差分析，得到平均值，订正到中央台物理量产品的格点数值场中；其次，利用中央台物理量产品插值计算廊坊市辖区9个站点的对流指数并做订正；第三，根据计算的各对流指数，分析验证它们在暴雨过程中的预报指示作用和价值，为今后廊坊市的暴雨预报提供参考。
system: [SYSTEM]

user: 3. 暴雨天气实况 2017年8月1日20时开始至8月2日夜间，受冷暖气流、以及登陆台风“海棠”的外围降雨云系共同影响，廊坊市先后出现降雨天气，暴雨过程中6个站伴有短时雷暴，雨量分布非常不均匀(图2)，全市平均降雨量为37.8毫米，其中5个站达到暴雨，并出现南北两个强降雨中心，南部强降雨中心在大城，雨量普遍为70~200毫米，强降雨发生时段为2日16时至22时，大城中北部有6个乡镇超过110毫米， 图2. 2017年8月1日20时至3日08时廊坊市雨情实况 其中有3个乡镇超过190毫米，最大雨量240.8毫米出现在大城臧屯乡。北部降雨中心分布在三河和大厂北部，降雨量普遍在60~100毫米，强降雨发生时段为2日20时至3日00时，中心最大值出现在三河高楼镇，为108.5毫米；香河、廊坊市区中北部、固安、永清大部、文安中南部雨量多在20~60毫米，其余普遍在20毫米以下。
system: [SYSTEM]

user: 4. 暴雨的大尺度背景条件 从8月1日20时500 hPa高空图上可以看出(图3，图4)，欧亚地区为两槽两脊型，槽分别位于新疆东部和河套地区，脊分为位于内蒙古西部和大兴安岭一带，副热带高压呈块状，南北向脊线位于127˚E附近，584、588外围线位于河北省的北部到东部一带，副热带高压的形状及位置对高空槽系统东移具有阻挡作用，1日20时至2日08时，在河套低槽和副高外围暖湿气流的共同影响下，廊坊市中北部区域出现第一阶段降水过程，最大雨量出现在固安，为15.8毫米；2日08时至2日20时，由于台风“海棠”登陆，沿着116˚E持续北上，廊坊市位于台风倒槽顶部，在短波槽、登陆台风减弱后的低值系统携带的暖湿气流共同影响下，造成我市第二段降水，最大雨量出现在大城，为133.4毫米，此时段强降水中心主要位于廊坊市南部地区；2日20时至3日08时，随着短波槽的东移和登陆减弱北上台风低压的东移，两个影响系统的降雨云系在廊坊市北部地区合并，配合着副高外围的暖湿气流造成我市的第三段降水，最大雨量出现在大厂，为46.6毫米，此时强降水中心位于北部地区。 图3. (a) 2日20时500 hPa高度场和风场及高空槽的演变；(b) 500 hPa高度场584高度线位置变化；(c) 2日20时700 hPa高度场和风场及切变线的演变；(d) 2日20时850 hPa高度场和风场及切变线的演变(演变时间为1日20时至3日08时) 图4. 8月1日~3日地面形势场((a) 1日20时，(b) 2日08时，(c) 2日20时，(d) 3日08时) 3日08时500 hPa高空槽移速加快，移至河北中部，副高584线东退至渤海海面，廊坊市转为西北气流，降水结束。由此可以看出，廊坊市北部和南部的暴雨天气主要是登陆台风“海棠”的外围降雨云系、河套高空槽和副高外围的暖湿气流共同影响造成的。
system: [SYSTEM]

user: 6. 小结 本次暴雨过程分为三个阶段：第一阶段，受河套地区东移短波槽与副高外围暖湿气流共同影响，造成廊坊市普遍出现降水天气，降水量级为小到中雨；第二阶段，受短波槽、登陆台风减弱的低值系统影响造成廊坊市南部暴雨，其余地区受其外围影响，均有小到中雨的降水；第三阶段，高空槽、台风减弱低压东移过程中合并造成廊坊市第三段降水，此时南部降水已逐渐减弱，而中北部地区出现大到暴雨天气；在暴雨开始前，各站对流指数均指示大气有一定的不稳定能量积聚，层结不稳定特征，随降水产生，不稳定能量释放，对流指数的突变与暴雨发生的时间基本一致；其中CAPE、K、SI、BRN指数在暴雨发生前达到最大(小)值，LI、SSI指数具有一定的超前性指示意义，在暴雨开始前12小时就达到了最大(小)值；通过北、中、南三个站点对流指数和实际降水量的对比分析可以看出，对流指数的强弱程度、分布范围、发展变化与暴雨的强弱、分布范围、发生发展有较好的一致性，具有重要的参考价值。 此外，经过分析可以看出，利用双线性插值技术订正的中央台各站点对流指数产品，对廊坊市暴雨过程具有一定的预报指示意义和参考价值，也需要在今后的实际预报业务中不断使用和验证，以期取得较好效果。
system: [SYSTEM]

user: 摘 要 目前，基于蓝牙的手机和计算机文本信息传输，尤其是大文件传输存在着严重的传输不稳定的问题。针对这一问题，本文在分析了蓝牙底层协议基础上，采用了BlueSoleil SDK，提出了一种基于FTP的文件传输方法，设计了蓝牙大文件重传机制，解决了蓝牙传输大文件效率不稳定问题。实验结果表明，相比于直接调用Obex协议，采用BlueSoleil + FTP这种方法传输速度提高了1倍，达到141.51 k/s。 关键词 :蓝牙，OBEX，FTP，大文件 Copyright © 2019 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. 引言 在全球通信网络技术快速发展的今天，平板电脑和智能手机等新型无线设备的出现已经逐渐取代了电脑、打印机、传真机和移动电话等设备传统的有线链接 [ 1 ] 。现在市场上已有的无线通信技术，比如像3G、4G、Bluetooth、HomeRF、UWB等无线通信链接技术，都有其各自的优势和应用定位 [ 2 ] 。爱立信公司在1998年提出了一种低成本、低功耗的无线链接技术——蓝牙(Bluetooth)技术。它也是短距离的无线通信技术，工作在2.4 GHz~2.485 GHz的ISM频段 [ 3 ] ，是基于数据包、有着f主从架构的协议，采用跳频技术，将要传输的数据分割成数据包，再进行传输，数据传输可以随时在主设备和其他设备之间进行。蓝牙技术也具有很强的可移植性，可以应用于很多通信场合 [ 4 ] 。比如像耳机、名片交换、无线拨号上网等。蓝牙可以构成固定设备和移动设备在通信信息传递中的资源共用 [ 5 ] 。它集成的电路也非常简单，容易实现，易于推广，方便应用于全球范围内的无线通信链接。 针对基于蓝牙的手机和计算机直接的通信，市场上产品很多，但大多是商家提供的基于硬件的产品 [ 6 ] ，比如车载电话、蓝牙耳机、蓝牙音箱等，用蓝牙实现手机和计算机文本信息和大文件的资料却很少。移动通信技术的发展越来越迅速，推动了信息时代的发展，在移动通讯技术中，蓝牙技术成为一项重要技术，蓝牙技术为移动技术的发展提供了广阔的前景，蓝牙技术在手机中的应用，能够实现手机在无线连接的方式下传输文件，实现了无线通信。 目前基于蓝牙的手机和计算机文本信息传输，尤其是大文件传输存在着严重的传输不稳定的问题，大文件传输主要采用直接调用Obex协议的方法，用这种方法传输大文件速率不高，效率也不稳定。论文致力于解决蓝牙传输大文件效率不稳定的问题，在分析复杂的蓝牙底层协议基础上，自行开发了相对应的通信程序。设计了蓝牙大文件重传机制，解决了蓝牙传输大文件效率不稳定问题。蓝牙的传输速率为1 Mb/s，传输大文件容易产生丢包现象，需要在传输过程中采取重传机制保证传输质量。
system: [SYSTEM]

user: 2. 蓝牙通信数据交换模块设计 OBEX为Object Exchange，用于在蓝牙设备间传数据对象，来源于红外定义的协议，后被蓝牙采用 [ 7 ] 。OBEX在蓝牙协议层中的位置如图1所示(在之前的OBEX版本中，OBEX是通过RFCOMM挂在L2CAP上的)。 2.1. 蓝牙Object Model OBEX定义了Object model来进行数据的交换，形式为Request-Response。OBEX定义了Headers来描述数据，结构如下： 1byte n byte 由HI和HV两部分组成。HI的最高两位表示这个Header的编码形式，低6位表示header的类型，HV表示数据实体。 高两位的编码如图2所示。 图1. OBEX在蓝牙协议层中的位置 图2. Object model高两位编码 0x00和0x40两种后面会跟上2字节的length(length prefixed)，表示的是整个Header的长度，包括HI和HV [ 8 ] 。 低6位的定义类型如图3所示。 提一下End-Of-Body，用来表示数据传输的最后一个data chunk。 2.2. 蓝牙通信Request和Response 在OBEX的规定中，Client和Server通过request-response的形式来进行对话，交换的数据包含在这两种包中 [ 9 ] ，分别定义如下： 参数opcode表示该request的类型，length表示整个request的字节数，最后跟着的是第2节中定义的各种Headers 图3. 低6位的定义 1) Opcode有如下几种形式，如图4所示。 图4. Opcode的几种形式 2) Opcode的最高位称为Final bit，用来表示某一个request的最后一个packrt，这个在下面的例子中说明。 Response format 参数response code表示该response的类型，length表示整个request的字节数，最后跟着的是第2节中定义的各种Headers。 3) response code的最高位称为Final bit，用来表示可以继续传输数据 [ 11 ] ，这个在下面的例子中说明，其有如下几种，如图5所示。 图5. Response code图
system: [SYSTEM]

user: 3. 基于BlueSolei的蓝牙设备二次开发 利用OBEX协议自行开发的蓝牙传输系统传输速度为15 s/M，而采用BlueSolei的商业蓝牙产品，速度可以达到7 s/M。但这些设备需要手动操作完成文件传输等功能。因此，需要对商业蓝牙适配器进行二次开发，实现由程序控制文件等信息的处理。 论文采用基于BlueSolei的商业千月QY015蓝牙适配器4.0进行二次开发，实现文件传输原理是在手机端开启文件传输协议(Ftp)服务，计算机端访问Ftp服务。 3.1. 流程图设计 基于BlueSolei的蓝牙设备二次开发的流程图如图6所示。 图6. 基于BlueSolei的蓝牙设备二次开发的流程图 第一步，下载BlueSolei PC平台SDK，网址为： http://www.bluesoleil.com/products/S000120140708-0001.html 第二步，开发文件传输功能模块，产生独立可执行文件； 第三步，在手机端安装BlueToothFTP服务软件http://www.medieval.it/blueftp-pc/menu-id-70.html； 第四步，手机端开启ftp服务，pc端通过ftp功能完成文件的传输。 3.2. 文件传送与接收程序设计 @Override //获取远程FTP服务器文件 public String pull(String localDoc， String androidDoc) { cu.runConsole(new String[ ]{BLEFTP 4 F +path+localDoc+ + androidDoc}); logger.info(pull BLEFTP 4 F +path+localDoc+ + androidDoc); return cu.input; } //传送本地文件到远程FTP服务器 @Override public String push(String localDoc， String androidDoc) { cu.runConsole(new String[ ]{BLEFTP 5 F +path+localDoc+ + androidDoc}); logger.info(push BLEFTP 5 F +path+localDoc+ + androidDoc); return cu.input; }
system: [SYSTEM]

user: 4. 重传机制 手机端每次只能向计算机发20字节数据，如果要连续发送几百字节，如果不进行流量控制，就会丢包。根据规范，每次向SDK层写一包数据，SDK发送成功后，会有一个接口通知应用层。但在实际测试发现，某些手机采用这种方式控制流量，还是会丢包，只能在两包数据之间认为延迟50ms左右。在用蓝牙传输大文件，更容易产生丢包现象，为提高传输质量，设计了重传机制。 4.1. 重传机制流程图设计 重传机制流程图，如图7所示。 图7. 重传机制流程图 第一步：传输 计算机通过蓝牙传输文件给手机，等待手机确认。 第二步：确认 计算机远程确认手机是否存在要传输的文件，如果存在，则告诉计算机传输结束，如果不存在，再进入重传过程。 第三步：重传 找到没有传输成功的文件，进入第一步。如果三次重传都没有成功，则提示传输失败。 4.2. 重传机制程序设计 int isok = 0; //定义isok为重传标志 int isdownloadAllTeskXMLok = 0; //定义isdownloadAllTeskXMLok为文件存在标志 do{ isok++; isdownloadAllTeskXMLok = xs.downloadAllTeskXML(); if(isdownloadAllTeskXMLok != 0 ){ //判断是否传输成功 isok=5; } Thread.sleep(1000); }while(isok<=3);//三次重传
system: [SYSTEM]

user: 5. 性能测试 实测表明，用BlueSoleil + FTP这种方法比直接调用Obex协议传输速度提高了1倍，达到141.51 k/s。具体性能测试结果如表1所示： Table 1 Performance test resul 文件 Obex协议传输时间 Obex + FTP传输时间 2.2 M 33 s 16 s 5.1 M 76 s 37 s 10.1 M 153 s 72 s 20.3 M 310 s 148 s 表1. 性能测试结果 由表1性能测试结果可知，针对大文件的传输，采用直接调用Obex协议的方法传输时间较长，而采用BlueSoleil + FTP这种方法传输时间缩短了一半。实验结果表明，相比于直接调用Obex协议，采用BlueSoleil + FTP这种方法传输速度提高了1倍，达到141.51 k/s。
system: [SYSTEM]

user: 6. 结束语 Bluetooth是近年来发展迅速的无线通信技术，它具有低成本、低功耗、简单方便的特点。文章首先分析了蓝牙OBEX传输协议，针对大文件传输问题，提出了BlueSoleil + FTP的大文件传输方法，并且设计三次重传机制保证了传输的稳定性。企业实际应用表明该方法性能优良，解决了蓝牙大文件传输问题。
system: [SYSTEM]

user: 摘 要 依据航天型号FPGA软件特点研究FPGA软件可靠性安全性测试技术，在软件剖面分析的方法基础上，形成适用于航天型号FPGA软件的运行剖面可靠性安全性测试方法，利用仿真工具对各种故障进行模拟并自动对输出的结果进行采集，获取FPGA失效率等度量数据。依据该方法开发了基于运行剖面的可靠性安全性测试工具，可用于FPGA软件可靠性安全性测试脚本的生成，以及获取FPGA软件可靠性安全性度量模型所需要的度量基础数据，有效地提高了航天型号FPGA软件可靠性安全性测试效率。 关键词 :FPGA软件，可靠性安全性测试，运行剖面，测试工具 Copyright © 2019 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. 引言 由于FPGA具有集成度高、体积小、功耗低、速度快等诸多优点，在航空、航天军用产品领域中获得了广泛应用，安全关键程度普遍较高。未来航空、航天领域FPGA的应用将呈现快速增长的趋势，FPGA软件质量成为影响装备质量和战斗力生成的重要因素。与传统软件不同，FPGA的设计过程繁杂，涉及的工具较多，因此容易在设计过程中引入影响安全性可靠性的问题。 目前软件可靠性安全性理论包括运行剖面、随机过程、软件可靠性模型、统计估计和顺序采样理论等方面。但在型号研制中，这些理论大多过于抽象、操作性较差，实际应用的效果并不理想。因此，课题中选取故障发生概率作为可靠性度量元，主要通过基于运行剖面的可靠性安全性测试方法来获取。 FPGA与传统软件的运行方式不同，它采用的是并行执行的处理方式，在航天型号中，多用于配合处理器进行底层的协处理操作。航天型号FPGA与其它领域的FPGA及软件在安全性可靠性上有所差别，传统的剖面分析方法并不适用于航天型号FPGA软件的风险分析。因此，需根据航天型号FPGA运行特点，在软件剖面分析的方法基础上，形成适用于航天型号FPGA的剖面运行方法。同时利用仿真工具对各种故障进行模拟并自动对输出的结果进行采集，获取FPGA失效率等可靠性安全性度量数据。
system: [SYSTEM]

user: 2. 软件运行剖面构造方法及充分性分析 2.1. 软件运行剖面构造方法 在软件可靠性安全性测试领域，运行剖面一直是研究的核心内容，美国的AT&T实验室的Musa教授提出了运行剖面及其构造方法，将软件运行剖面定义为“操作和它们的发生概率的简单集合” [ 1 ] ，在运行剖面的建立过程包括：构建客户剖面、用户剖面、系统模式剖面、功能剖面和运行剖面。 一般情况下，软件可靠性安全性测试都是按照用户实际使用软件方式来进行测试 [ 2 ] ，最常用的用户实际使用软件方式是用运行剖面来实现的，这一方法有助于生成软件可靠性测试数据，支持测试的执行。国际上最常用的运行剖面是由Musa提出的，包括构建运行剖面的五个步骤 [ 1 ] ，分别是：确定客户剖面、定义用户剖面、定义系统模式剖面、确定功能剖面和确定运行剖面。Musa定义的运行剖面主要强调操作及其发生概率，而不严格强调输入之间的相互约束和时序关系。 2.2. 测试充分性 基于Musa运行剖面的软件可靠性安全性测试是以失效率这一软件可靠性指标是否满需要求作为测试充分性的判定标准。失效率是指单位时间内发生的失效数 [ 3 ] ，数学表达式为： F I = f t (1) FI (failure intensity)代表故障率，f代表发生故障总数，t代表软件的执行时间。基于运行剖面的测试中，设运行剖面 O P = { ( O 1 ， P 1 ) ， ( O 2 ， P 2 ) ， ... ( O n ， P n ) } ，f i 为操作O i 发生的概率，t i 为操作O i 测试过程中的执行总时间。则失效强度可以表示为： F I = ∑ i = 1 n f i p i t i (2) 由于运行剖面的精确性对失效率估计的准确性影响较低 [ 4 ] 。测试得到时效率可以视为软件实际的故障强度，因此可以用失效强度作为可靠性测试充分性的判定指标 [ 5 ] 。这样既考虑了软件自身的功能性，也考虑了使用方式等外部因素对软件可靠性安全性的影响。
system: [SYSTEM]

user: 3. FPGA软件特点分析及运行剖面构造方法 3.1. FPGA软件特点分析 FPGA (Field Program Gate Array)软件为高层次的硬件描述语言，完成逻辑功能设计，加上约束文件经过综合和布局布线，生成烧写文件，下载到FPGA芯片上，完成所需要的逻辑功能。FPGA实时高效性、硬件的相关依赖性等方面的特点和嵌入式软件系统相似，但是FPGA软件的专业背景很强，根据其特点从接口数据、实现过程及运行环境三个方面与嵌入式软件进行比对分析，如表1所示。 Table 1 Comparison between embedded software and FPGA Softwar 比较点 嵌入式软件 FPGA软件 接口数据 输入数据有约束关系，无参数时序要求 输入数据有约束关系，且遵循一定的接口参数时序要求 实现过程 包括源代码设计及集成两个阶段 包括源代码设计、逻辑综合、布局布线及配置文件加载四个过程 运行环境 运行环境与硬件密切相关 FPGA运行环境与硬件密切相关，FPGA本身是硬件电路 表1. 嵌入式软件与FPGA软件特点比较 3.2. FPGA软件运行剖面构造方法 根据航天型号FPGA运行特点，在软件剖面分析的方法基础上，可形成适用于航天型号FPGA的剖面运行方法。首先按照功能层次结构，自顶向下的把用户使用软件的输入空间划分为系统模式剖面，把系统模式剖面划分为功能剖面，最后把功能剖面划分为运行剖面 [ 6 ] 。依据FPGA的运行剖面，开展测试用例的设计。根据不同功能的使用概率，合理的分配测试用例，使发生概率高的功能分配到更多的测试用例。 构造运行剖面的步骤如下： · 首先，按照需求规格说明中的功能要求分解为若干的被测功能，生成一个功能清单。 · 其次，为每个被测功能确定与接口激励之间的因果关系，构造功能剖面。 · 最后，确定每一个激励发生的概率，完成运行剖面的构造。 由于FPGA在运行过程中各个接口工作并行度非常高 [ 7 ] ，且航天型号FPGA与其它领域的FPGA及软件在安全性可靠性上有所差别，在进行剖面分析的时候需要同时分析各个接口的作用和影响，以形成对可靠性安全性产生影响的运行场景，如图1所示。 图1. 航天型号FPGA软件风险剖面分析 分析结束后，需要构建大量的场景级测试用例并执行。传统方法对于FPGA的测试一般是采用实物测试的方式，由于FPGA芯片工作在电路版上，在开展实物测试过程中，验证的剖面只能基于FPGA的接口运行剖面。而对于FPGA的危险剖面和原因事件剖面，往往由于缺少故障注入或结果采集的手段而难以被验证，导致测试不充分，无法获取到开展可靠性安全性评估所需要的度量元基础数据。 采用EDA仿真测试方法对FPGA软件开展可靠性安全性测试。通过借助EDA仿真工具，我们能够在数字化的环境中，对FPGA的程序开展测试。在数字化环境中，我们可以通过编程的方式很容易的实现对各种故障的模拟 [ 8 ] ，从而充分的验证FPGA实现的功能。 在仿真时，我们能够按照所设置的约束条件自动生成FPGA的测试激励，利用仿真工具能够自动对输出的结果进行采集，再通过计算得出某一故障的发生概率，即可用于FPGA可靠性安全性度量元的计算。例如，针对单粒子事件的模拟，可以约束单粒子事件发生的概率，随机在门级网表中注入该故障，在TESTBENCH工具中自动对功能模块的输出结果与预期结果进行比较，统计一段时间内发生错误的次数，即可得到该功能模块的失效率。 采用EDA仿真测试方法针对FPGA接口测试时，还可以结合所积累的典型测试用例库以及典型仿真接口模型库，通过对测试用例以及测试激励的重用，使测试的效率获得大幅的提高。另外，由于脱离了硬件环境，仿真工作还能够在多台计算机上同时开展，使所需的测试时间进一步被缩短。
system: [SYSTEM]

user: 4. 基于运行剖面的可靠性安全性测试工具 由于在不同的航天型号的通讯过程中存在各种不同类型接口的数据帧和命令帧，不同种类的I/O指令，它们的数据体的格式、边界、类型可能各不相同，相关的I/O指令发出时刻以及约束条件区别很大。在实施相关动态测试用例时，他们均需要准确定义。在可靠性安全性测试时，这些数据的数据量是庞大的，靠人工生成会导致工作效率低下且可能测试用例不充分的情况，所以开展基于运行剖面的可靠性安全性测试，需研制基于运行剖面的可靠性安全性测试工具。 基于运行剖面的可靠性安全性测试工具主要包括：FPGA激励注入功能、半自动化的测试数据生成功能、测试用例选择功能、测试结果分析功能、数据导入导出功能和测试数据事后处理功能。测试工具的功能框图如图2所示。 图2. 基于运行剖面的可靠性安全性测试工具功能框图 主要完成的功能如下： 1) FPGA激励注入功能 针对FPGA设计中典型功能、典型协议、典型接口及硬件环境，利用FPGA仿真接口模型搭建配置项仿真测试环境，结合测试数据生成功能产生的测试数据，实现故障注入功能。故障树分析功能图如图3所示。 图3. 故障树分析功能图 2) 半自动化的测试数据生成功能 依据数据规则模型，定义待生成数据规则。依据数据生成规则，通过解析数据规则信息和选择待生成的数据类型，生成指定数量的数据。待生成的数据为正常数据时，系统从规则定义各字段正常值中自动选择对应数据类型的正常值；若生成为异常数据，可自定义需生成异常数据的字段，系统从规则定义各字段正常值范围外自动选择对应数据类型的异常值。测试用例设计功能图如图4所示。 图4. 测试用例设计功能图 3) 测试用例选择功能 根据对应的功能执行层次以及执行概率，按既定的规则或随机选择测试用例，直到执行完整个软件的所有运行剖面。测试用例选择功能图如图5所示。 图5. 测试用例选择功能图 用例选择过程的基本步骤如下： 第一步：根据任务书以及需求规格说明书，人工创建软件功能列表，将各功能以唯一标志区分出来； 第二步：根据各上级功能要求，创建该功能条件下的子功能列表，将他们以唯一标志区分开来，并与其上级功能绑定在一起； 第三步：如果还有下级子功能，则继续第二步； 第四步：建立功能间以及功能本身的约束条件，可能包含以下内容：a) 功能1是功能2或功能3的必要条件；b) 功能2需要功能3的执行结果；c) 在某一段时间内，若不执行功能1则执行功能2；d) 可以单独执行的子功能；e) 必须在主功能执行成功的条件下，才能使用相应子功能；f) 某一功能需重复执行多次；g) 在功能1执行不成功的情况下，不能执行功能2。约束条件在生成用例序列时候可以用来判断该序列是否符合要求。 第五步：根据用户对测试对象的使用情况，生成运行剖面树，对于该树的每一个节点目前暂定有3个属性：a) 该功能在当前条件下的执行概率，b) 执行该功能时，正确执行所有操作的概率和出错的概率，c) 执行该功能所需要的时间。 第六步：根据运行剖面树，结合该树的第五步中的各项属性以及第四步的功能约束条件生成测试用例序列，直到树的顶端，并且可以按照设定的循环次数选择多次循环，生成不同的用例序列。 4) 测试结果分析功能 能够人工输入测试用例的预期输出结果以及通过准则，系统能够根据预期输出结果及通过准则自动对实测结果进行判断，确定实际输出结果是否正确，并给出测试用例通过与否的标志。 5) 数据导入导出功能 数据导入导出功能主要实现基于运行剖面的可靠性安全性测试工具与仿真工具之间的数据交换，将工具产生的用例信息转换为仿真工具能够识别的文件格式，由仿真工具来执行测试用例，在用例执行完毕后，再将测试结果文件读入到基于运行剖面的可靠性安全性测试工具中，以便进行结果分析。 6) 测试数据事后处理功能 为了计算软件可靠性，需要对测试过程中生成的故障数据进行计算，从大量的测试数据中找出导致软件故障的测试用例及相应的测试结果，根据故障数据进行某一故障的发生概率计算，并作为可靠性度量元。
system: [SYSTEM]

user: 5. 结语 本文依据FPGA软件的特点提出了基于运行剖面的FPGA软件可靠性安全性测试方法，并根据此方法开发了FPGA软件可靠性安全性测试工具，使用该测试工具生成测试用例效率高、功能覆盖全面。下一步工作将在本论文测试工具获取的可靠性度量元基础上，对FPGA软件可靠性安全性度量模型进行研究。
system: [SYSTEM]

user: 摘 要 有限群论中S 3 -猜想是一个非常古老的公开问题。本文证明了有限非交换单群至少有2个长度相同的共轭类，因此它们都不是S 3 -猜想的反例。 关键词 :有限群论，S 3 -猜想，单群，共轭类 Copyright © 2019 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. 引言 有限群论是数学的一个分支，是代数学的基础组成部分。迄今为止，有限群论已经日渐完善，但仍有越来越多的问题尚待解决。近几十年，群论中的大多数公开问题及其进展都收集在The Kourovka Notebook系列丛书中，目前已经到第19版，详见 [ 1 ] 。在有限群论研究中，一个非常本质的课题是如何理解共轭类，其中Burnside、Poland、Ito等数学家特别从数量角度研究共轭类长对于群结构的影响。关于这方面研究，有一个老而著名的问题，现被称为S 3 -猜想，见( [ 1 ] ， 16.3)： S 3 -猜想：若有限群G的共轭类长度各不相同，则 G ≅ S 3 。 1994年，我国著名有限群论专家张继平教授 [ 2 ] 证明了可解情形下S 3 -猜想。1995年Knörr，Lempken 以及Thielcke [ 3 ] 也独立证明了这一情形。要特别提到的是，1994年，Arad，Muzychuk，Oliver [ 4 ] 应用特征标理论证明了如果G是S 3 -猜想的极小反例，那么G的非交换底柱(socle)要么平凡要么同构于下列群之一： A 5 a ， P S L ( 3 ， 4 ) e ，其中 3 ≤ a ≤ 5 ， 1 ≤ e ≤ 10 。根据单群分类定理以及有限单群的共轭类长，本文主要证明下述定理： 定理1：任一非交换有限单群至少有两个长度相同的共轭类。因此，若非交换有限群G的共轭类长度各不相同，则G非单。
system: [SYSTEM]

user: 2. 预备知识 为了方便起见，本文用到的已知结论均以引理的形式给出。除特别指出，所用的记号都是标准的，参见 [ 5 ] 。 引理2.1：若 n > 19 ，则 ϕ ( n ) 2 > 2 n ，其中 ϕ 为欧拉函数。 引理2.2：令 n = q l + 1 − 1 ( q − 1 ) gcd ( l + 1 ， q − 1 ) ，则 n > 2 ( l + 1 ) 2 ，除非 ( l + 1 ， q ) 为下列形式： ( 2 ， 4 ) ， ( 2 ， 5 ) ， ( 2 ， 7 ) ， ( 2 ， 9 ) ， ( 2 ， 11 ) ， ( 2 ， 13 ) ， ( 3 ， 2 ) ， ( 3 ， 3 ) ， ( 3 ， 4 ) ， ( 4 ， 2 ) ， ( 4 ， 3 ) ， ( 5 ， 2 ) ， ( 6 ， 2 ) 。 证明：这是( [ 6 ] ，引理2)。 □ 引理2.3：令 n = q l + 1 − ( − 1 ) l + 1 ( q + 1 ) gcd ( l + 1 ， q + 1 ) ，其中 l + 1 ≥ 3 ，则 n > 2 ( l + 1 ) 2 ，除非 ( l + 1 ， q ) 下列形式： ( 3 ， 2 ) ， ( 4 ， 2 ) ， ( 5 ， 2 ) ， ( 6 ， 2 ) ， ( 7 ， 2 ) ， ( 8 ， 2 ) ， ( 9 ， 2 ) ， ( 3 ， 3 ) ， ( 4 ， 3 ) ， ( 3 ， 4 ) ， ( 5 ， 4 ) ， ( 3 ， 5 ) 。 证明：这是( [ 6 ] ，引理3)。 □ 引理2.4：令q为素数方幂，l为正整数，则 ϕ ( q l − 1 ) ≥ 24 ( l + 1 ) ，除非 ( l ， q ) 为下列形式： 1) l = 2 ， q ∈ { 2 ， 3 ， 4 ， 5 ， 7 ， 8 ， 9 ， 11 ， 13 } ；2) l = 3 ， q ∈ { 2 ， 3 ， 4 ， 5 } ；3) l ∈ { 4 ， 5 } ， q ∈ { 2 ， 3 } ；4) l ∈ { 6 ， 7 ， 8 } ， q = 2 。 证明：这是( [ 6 ] ，引理6)。 □ 引理2.5：设 G = P S L ( n ， q ) ， P S U ( n ， q ) ， P S P ( 2 n ， q ) ， P S O ( 2 n + 1 ， q ) ， P S O + ( 2 n ， q ) 或 P S O − ( 2 n ， q ) ，则G有一个半单元素，阶为 ( q n − 1 ) / n ( q − 1 ) ， ( q n / 2 − 1 ) / n ， ( q n − 1 ) / 2 ， ( q n − 1 ) / 2 ， ( q n − 1 ) / 2 ， ( q n − 1 − 1 ) / 2 ，并且至多分别共轭 n ， n ， 2 n ， 2 n + 1 ， 2 n ， 2 n 个半单元素的幂。 证明：这是( [ 7 ] ，推论3.4)。 □ 引理2.6：设 σ ∈ A n ， K σ 是 A n 中所有与 σ 有相同类型置换的集合，考虑 σ 在 S n 中的中心化子 C S n ( σ ) ，则：① 当 C S n ( σ ) 含有一个奇置换时， K σ 是 A n 的一个共轭类；② 当 C S n ( σ ) 不含有奇置换时， K σ 在 A n 中分裂为以下两个长度相同的共轭类： K ′ σ = { τ σ τ − 1 | τ ∈ S n ， τ 是 偶 置 换 } ； K ″ σ = { τ σ τ − 1 | τ ∈ S n ， τ 是 奇 置 换 } . 证明：这是( [ 10 ] ，定理2.7.6)。 □
system: [SYSTEM]

user: 摘 要 胰岛素样生长因子-1 (insulin-like growth factor 1， IGF-1)是一种多功能细胞增殖调控因子，广泛分布于各个组织当中，在细胞的分化增殖个体的生长发育中具有重要的作用。研究表明，IGF-1在心血管疾病、糖尿病及创面修复等相关领域具有重要作用，现将其研究现状与进展予以综述，旨在为IGF-1的进一步研究提供思路与方向。 关键词 :胰岛素样生长因子，心肌梗死，创面修复，进展，综述 Copyright © 2019 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. 引言 胰岛素样生长因子-1 (insulin-like growth factor 1， IGF-1)：是由70个氨基酸组成的小分子多肽，相对分子质量约为7500。广泛分布于各个组织当中，主要分布在肝脏中，其与IGF-2、胰岛素及其受体一起构成了胰岛素样生长因子家族 [ 1 ]，其对细胞生长和代谢具有多效作用。研究显示：胰岛素样生长因子-1 (IGF-1)在心血管疾病、糖尿病及创面修复等相关领域具有重要作用 [ 2 ] [ 3 ]，现将其研究现状与进展综述如下。
system: [SYSTEM]

user: 2. IGF-1与心肌梗死 研究证实，血浆中IGF-1水平与心血管疾病的发展密切相关。Lisa [ 4 ] 通过实验证实，在心肌梗塞中用胰岛素样生长因子-1(IGF-1)治疗显着增加循环血管生成生长因子如IGF-1，VEGF和TGFβ，从而防止心肌缺血。同样，Stavropoulou等通过对冠状动脉梗塞后大鼠的模型研究发现，在梗死后大鼠心肌梗塞后期(4至8周)，IGF-1Ea和MGF表达在转录和翻译水平显著增加(均P < 0.05)。与假手术大鼠相比，梗塞大鼠血清IGF-1水平的测量最初降低(24小时至1周)，但在整个晚期实验期(4至8周)保持不变。证实了心肌梗塞后心肌中IGF-1的表达增加 [ 5 ]。Mavrommatis等的研究发现，胰岛素样生长因子-1 (IGF-1)次要同种型机械生长因子(MGF)的表达对细胞应激有反应。(MGF)E结构域肽的施用可以提供调节局部组织IGF-1自分泌/旁分泌作用的手段，以保护心脏功能，防止细胞死亡和心脏中的病理性重塑 [ 6 ]。
system: [SYSTEM]

user: 3. IGF-1与糖尿病肾病 糖尿病肾病(T2DN)属于II型糖尿病(T2DM)严重的常见并发症，病死率远高于单纯T2DM。T2DN主要见于糖尿病病史长血糖控制不佳版友高血压的人群，若不积极治疗，最终导致尿毒症的发生。威胁患者生命。 沈宁阳等研究表明：IGF-1、VEGF、MCP-1表达升高是糖尿病肾微血管病变发生的独立危险因素。老年糖尿病患者血清IGF-1、VEGF、MCP-1水平随尿蛋白增高而增高，意味着血清IGF-1、VEGF、MCP-1水平可能与糖尿病患者肾功能发生及进展有密切关系 [ 7 ]。朱虹等研究发现，IGF-1与DN存在一定的关系，IGF-1水平在T2DN患者中明显高于单纯的T2DM患者 [ 8 ]。Li xiang [ 9 ] 研究血清中胰岛素样生长因子-1(IGF-1)，肿瘤坏死因子-α (TNF-α)和血管内皮生长因子165 (VEGF165)表达与发生发展的关系中发现。T2DN患者血清IGF-1，TNF-α和VEGF165的表达与尿白蛋白/肌酐比率(UALB/Cr)呈正相关(均P < 0.05)。随着T2DN的恶化，血清IGF-1，TNF-α和VEGF165的表达增加，T2DN严重程度与血清IGF-1，TNF-α和VEGF165浓度呈正相关。IGF-1和VEGF165与DN的进展相关；血清IGF-1，TNF-α和VEGF165的表达水平升高可能加剧T2DN。 此外，张文川 [ 10 ] 等也通过实验证实，DN患者病情程度和血清内IGF-1水平有密切联系，并且认为IGF-1可作为预测糖尿病患者出现糖尿病肾病前期指标。
system: [SYSTEM]

user: 4. IGF-1与骨组织 IGF-1是成骨细胞的促有丝分裂剂，可促进成骨细胞分化、增殖、募集。IGF-1可与成骨细胞上的IGF受体结合直接作用于破骨细胞抑制胶原酶的合成，可不依赖促有丝分裂作用促进骨基质合成与矿化，影响骨代谢 [ 11 ]。在骨的微环境中，软骨细胞可产生胰岛素样生长因子(IGF-1)，并成为调节骨骼生长的重要生长因子 [ 12 ]。在病理情况下，表达IGF-1的间充质干细胞能促进骨的矿化，从而促进骨折愈合，并且能增加骨折愈合部位的机械强度。 有研究表明，血清IGF-1的终身减少会影响骨骼的发育，导致骨骼变细;它们还与衰老期间皮质内骨重建减少和骨强度保持有关。在该研究中，将老年WT C57BL/6J雄性小鼠的骨表型与具有由igfals基因缺失(ALS敲除(ALSKO))引起的血清IGF-1水平降低的C57BL/6J小鼠的骨表型进行了比较。在衰老过程中，WT小鼠显示脂肪量增加并减少体重，而ALSKO小鼠具有稳定的体重和脂肪质量值。来自WT小鼠的股骨的骨骼分析显示骨髓区域的扩张和与皮质内重塑增加相关的皮质内孔隙的显著积累。相比之下，ALSKO小鼠在2岁时仅表现出与年龄相关的皮质骨组织量的下降和最小的皮质内孔隙度。因此，与来自ALSKO小鼠的骨相比，来自2岁WT小鼠的股骨的机械测试显示强度明显高于2岁ALSKO小鼠 [ 13 ]。 Gustavo A. Rico [ 13 ] 单独或组合比较了BMP-2，BMP-6或胰岛素样生长因子-1(IGF-1)的作用。用15 nM IGF-1和/或6 nM BMP-2或-6处理小鼠前成骨细胞，并分析体外成骨标志物基因，增殖和碱性磷酸酶(ALP)活性的表达。结果表明，IGF-1通常大大增强了BMP诱导的这些细胞的成骨分化，并且当与BMP-6组合时，培养物中的ALP活性高于BMP-2。此外，将25 pmole的IGF-1和/或10 pmole的BMP-2或-6加载到可吸收的胶原海绵上并将它们植入大鼠的异位骨形成模型中来体内测试这些治疗的成骨潜能。该研究显示，只有BMP-6能够在使用剂量下诱导骨形成，并且IGF-1的添加有助于植入物中矿化的增加。 因此，对于整形外科手术或骨组织工程方法，BMP-6与IGF-1的组合可能是比BMP-2更好的替代方案。
system: [SYSTEM]

user: 5. IGF-1与创面修复 创面愈合涉及三个阶段，包括炎症，增殖和组织重塑 [ 14 ]。创面愈合受多种因素影响，损伤的程度、组织再生能力、伤口有无坏死组织和异物及是否感染等因素决定修复的方式及时间，其中细胞增殖、创面细胞外基质的产生、细胞因子浓度的变化是创面修复的重要元素。IGF-1由人生长激素(特别是肝脏)刺激，两者共同刺激骨骼软骨和骨骼生长 [ 15 ]。它还可以刺激成纤维细胞，骨细胞和软骨细胞，并可能与PDGF一起发挥作用，增强表皮和真皮的生长。它与胰岛素样生长因子结合蛋白结合，在血液和组织中转运后与I型胰岛素样生长因子受体(IGF-IR)结合发挥作用。因此，IGF-I对伤口愈合的影响取决于可用的游离IGF-I的量。 慢性伤口的特征在于伤口愈合和新生血管形成缺陷。增加新血管生成可明显改善慢性伤口愈合。据报道，胰岛素样生长因子(IGF)-1是角质形成细胞有丝分裂原，并且通过血管内皮生长因子(VEGF)依赖性途径诱导血管生成。Dai等 [ 16 ] 使用新的离体人皮肤上伤口模型和糖尿病受损伤口愈合小鼠模型，通过假设IGF-1 (Ad-IGF-1)的腺病毒过表达将通过VEGF依赖性途径增强伤口愈合和诱导血管生成。在人体外器官培养中，与磷酸盐缓冲盐水相比，腺病毒载体在细胞毒性方面没有表现出任何显著差异。Ad-IGF-1过表达显著增加基底角质形成细胞迁移，对上皮间隙闭合没有显着影响。Ad-IGF-1伤口的毛细血管密度显著增加。与对照相比，Ad-IGF-1样品中的VEGF水平没有影响。在糖尿病受损小鼠伤口中，Ad-IGF-1过表达显著改善上皮间隙闭合和肉芽组织，具有致密的细胞浸润。与对照治疗相比，Ad-IGF-1也增加了毛细血管密度，伤口VEGF水平没有显著差异。在两个不同的模型中，证明了腺病毒介导的基因转移。IGF-1通过VEGF非依赖性途径导致伤口愈合增强并诱导血管生成。说明IGF-1对血管生成影响的潜在机制可能有助于为慢性伤口或以新血管形成缺陷为特征的疾病产生新的治疗方法。
system: [SYSTEM]

user: 6. 前景与展望 综上所述，IGF-1多功能细胞增殖调控因子，对促进心血管疾病糖尿病骨骼疾病的痊愈具有重要的意义；值得注意的是，创面愈合是一个复杂且精密的过程。我们当前的认知和层次远远不够，仍需要研究。另外，血管生成过程复杂，IGF-1不是唯一促进血管生成的因子，与其他促血管生成因子的关系仍需要研究和关注。IGF-1在人体内分布广泛，采用促进或抑制IGF-1表达的方法治疗临床相关疾病的同时，亦有可能损害人体正常组织的生理功能，出现各种不良反应，如何避免此类副作用仍需进一步深入研究探讨。
system: [SYSTEM]

user: 摘 要 RINSIM仿真平台是基于Windows/Linux环境，广泛应用于国内各类核动力装置、核电厂模拟机、工程仿真机及设计仿真验证平台，能够提供核电仿真开发运行维护全寿期支持。S2000是机组数字化仪控系统(DCS)T2000在模拟机上的应用，能够实现全范围模拟机的实物模拟和虚拟实物模拟。本论文介绍了基于RINSIM仿真平台与S2000接口软件的功能和设计实现。在开发过程中采用了面向对象建模、模块化程序设计的方法，使用Visual Studio 2010和UML作为开发工具，利用多线程、Socket网络通讯等技术，实现了RINSIM仿真平台与S2000的常见教控命令及数据通讯。 关键词 :RINSIM仿真平台，S2000，Socket通讯，UML Copyright © 2019 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. 引言 T2000数字仪控系统(DCS，Distributed Control System)广泛应用于国内外很多核电站。实践表明，核电站机组是否能够安全和可靠的运行，在很大程度上依赖于操作员操作DCS的能力及维修工程师设计和维护DCS系统的能力，对于功能负责的T2000系统尤其如此。因此全范围模拟机采用实物模拟和虚拟实物模拟的技术，不仅可完成电厂操纵员的培训和取证考试的相关工作，还能够实现对机组DCS系统进行功能验证、人机界面优化、一二层逻辑组态等技术支持功能 [ 1 ] 。为了实现这样的全范围模拟机，需要设计并开发出基于RINSIM仿真平台的接口通讯软件，实现与S2000仿真系统的运行、冻结、复位IC/BC，同步、故障等教控命令及AI/AO/DI/DO四种类型数据的传递。
system: [SYSTEM]

user: 2. 核电站全范围模拟机接口系统概述 在全范围模拟机系统中，RINSIM仿真平台和DCSFSS的接口软件主要包含如下三个部分： 1) RINSIM仿真平台和非安全级的DCSFSS之间的接口部分，即与S2000系统之间的接口软件； 2) RINSIM仿真平台和安全级的DCSFSS之间的接口部分，即与TXS系统之间的接口软件； 3) RINSIM仿真平台和后备盘台，应急盘台的设备之间的接口软件； RINSIM仿真平台和DCSFSS的接口系统结构如图1。 2.1. RINSIM仿真软件 仿真支撑软件是构筑在Windows/Linux操作系统之上的一个供仿真机开发运行软件环境，是一台仿真平台的基础。仿真支撑软件的建立是为了提供对全范围模拟机开发运行全寿期的支持，它将操作系统的相关系统调用、函数库等与全范围模拟机系统的开发、运行、调试环境集成为一套软件工具，使模拟机开发者不用直接编写与操作系统相关的程序代码就能完成一整套全范围模拟机的开发、调试和运行 [ 2 ] 。RINSIM仿真软件综合起来有以下几个特点： 1) 具有功能强大的仿真数据库。支持网络和分布式数据库。 2) 支持I/O数据管理，具有配置管理功能。 3) 支持同时存在多用户分调测试环境和实时仿真机环境。 图1. RINSIM仿真平台和DCSFSS的接口系统结构 2.2. S2000仿真平台的结构及功能 S2000系统主要有实物仿真Level2 OM690(操纵员终端OT、处理单元PU、历史服务器单元SU等)、虚拟实物仿真的Level1 EMU，工程组态站(ES680，ES685，ENG)等系统组成。其中在EMU服务器上虚拟出实际机组的AS620，负责支持成组或单个控制级别的各项制动控制任务，采集过程控制测量值，完成开环和闭环控制，并传递来之OM690系统的指令。OM690系统为整个电厂的人机接口，是对整个核电站工艺过程进行操作和监测的窗口。ES680与电厂总线(Plant Bus)及终端总线(Terminal Bus)相连，完成AS组态及代码的下装和OM690系统的画面修改、传输等相关功能 [ 3 ] 。 2.3. RINSIM仿真平台与DCSFSS的接口概述 RINSIM仿真平台和S2000系统之间的接口软件采用的是C/S模式，即RINSIM仿真平台上的通讯软件是客户端，S2000系统为服务器端，两者之间的数据交互通过数据通讯程序软件来实现，RINSIM仿真平台与S2000系统的通过教控命令通讯软件。接口软件主要包含以下三个方面的功能： 虚拟实物Level 1仿真系统与RINSIM仿真平台的数据信号的交互； 虚拟实物Level 1仿真系统与教练员工作站软件的教控命令的传递； 二层人机界面(OM690)与教练员工作站软件的教控命令的传递； 二层人机界面与虚拟实物Level 1仿真系统的数据通过UDP发送和接收的方式来实现。 TELEPERM XS系统是核电厂安全级的DCS部分，通过虚拟实物模拟的方式将机组的TXS工程数据集成到RINSIM仿真平台中，TXS模型作为单独的受控模块运行在仿真平台。 盘台接口设备采用研华的工控产品。工控接口计算机通过socket通讯与RINSIM仿真平台进行数据交互，同时通过Modbus通讯协议进行数据的交互。