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

user: 2. 低复杂高精度帧同步算法 本节介绍低复杂高精度帧同步算法的原理以及运行步骤，首先介绍PSS序列的生成过程，再介绍粗同步的原理，在此基础上提出低复杂高精度帧同步算法。 2.1. LTE中同步序列PSS PSS序列是由长度为63点的ZC [ 3 ] 序列(Zadoff-Chu)组成，本身为频域信号，具有自相关性极高互相关性极低的特点，通过IFFT (Inverse Fast Fourier Transformation)转换到时域，所得时域信号也具有同样的特点，适用于加入到无线帧的头部，可用于无线帧同步使用。 a q = exp [ − j 2 π q n ( n + 1 ) / 2 + l * n N Z C ] (1) 公式(1)是ZC序列的生成函数，其中 N Z C 为奇数， q ∈ { 1 ， 2 ， ⋯ ， N Z C − 1 } 是ZC序列的根指数， n = 0 ， 1 ， ⋯ ， N Z C − 1 ， l 可以是任何整数，一般为了简化， l = 0 。 ZC序列有以下特性： 1) ZC序列具有恒定振幅，经过IFFT也是恒定振幅的。这限制了峰均值比，降低了对数据信号的干扰。 2) 任何长度的ZC序列具有极好的循环自相关性。 实际中被选中作为PSS的ZC序列的根指数 q 为29、34、25，具体公式如下： Z C q 63 ( n ) = exp [ − j π q n ( n + 1 ) 63 ] (2) 图1. 无线帧格式 该63点频域复数信号对称地摆放在OFDM符号的中间，其中31号点舍弃，为OFDM信号的直流子载波。 图2为PSS符号的频域幅度图，横轴共2048个点，代表2048个子载波，图中只显示了部分点，纵坐标为PSS信号模值，为恒幅信号。图中可以清楚看到中间点的幅度为0，该点为直流子载波，舍弃不用，PSS频域信号只有62点模值为1，其余点全部为0。 图3取根指数为29的PSS序列经过2048点OFDM调制得到的时域波形的自相关图，图中可以看到在中间位置产生了一个极高的峰值，并且该峰值约为次高峰幅度的3倍，具有极好的自相关性质，完全可用作无线帧帧的搜索与定位。 图2. PSS的频域信号 图3. PSS序列自相关 2.2. 粗同步算法 本OFDM系统粗同步算法为基于PSS序列的帧定时算法，其中误差范围是(−8， +8)。该帧同步算法部署在FPGA上，为了降低复杂度，实际中2048点相关器实现过于复杂，而128点相关器可采用Fir滤波器(Finite Impulse Response，有限长单位冲激响应滤波器)较为方便地实现，对基带信号进行了16倍降采样，在同步精度上会产生一定的误差。算法流程见图4。 步骤一：由ADC采用获取速率为30.72 MHz的基带时域信号，通过低通滤波器，滤波器带宽为PSS信号带宽，从而获取纯净的PSS信号，有利于提高后续互相关器精度，对输出的基带信号进行1/16抽取，降低采样率； 步骤二：对降速后的基带信号输入Fir互相关器，与本地存储的固定PSS信号(已做过1/16抽取)互相关，并检测互相关器输出的峰值，确定峰值的位置，该位置代表同步位置； 步骤三：判断所获取的同步位置的有效性，即确定峰值的幅度是否足够大，峰值的位置是否与前一个无线帧的位置靠近，若通过检测即可得到粗同步位置； 以上是粗同步的算法流程，该算法对PSS信号的捕捉能力极高，同步速度快，采用128点相关器，极大降低了算法复杂度，减少硬件资源消耗，由于加了两个有效性判定的步骤，使该同步算法能达到极高的同步准确率。该算法的不足是同步位置有(−8， +8)的误差，会给系统带来一定的STO。 2.3. 高精度帧同步算法 本OFDM系统高精度帧同步算法基于2.2中的粗同步算法结果，再设计小范围内的2048点PSS序列相关器，找出(−8， +8)误差范围内无线帧的实际位置，即找出实际的无线帧同步位置与粗同步算法位置的偏差，该偏差加上粗同步位置即为实际无线帧同步位置。 图5为OFDM系统高精度帧同步算法的流程图，具体流程如下： 步骤一：对采样后的数据进行低通滤波，进行粗同步，得到粗同步位置； 步骤二：根据粗同步位置，存储PSS序列可能所在位置的全部基带数据，由于误差为(−N，+N)，那么需要在粗同步位置向前N个点，粗同步确定的PSS序列结尾后N个点，以上两点范围内的数据全部存储进存储器，设PSS序列长度为L，则存储L + 2N + 1个点，如图6所示，这些点为基带数据经过低通滤波之后的数据点，但为进行降采样； 步骤三：用存储的序列与本地固定的PSS序列进行2N + 1次L点互相关，L取2048，并搜索峰值，得到峰值位置，相关器的输出序号是1~2N + 1，对应偏置为−N~N； 图4. OFDM系统粗同步算法框图 图5. 高精度帧同步算法的流程 步骤四：把偏置与粗同步位置相加，即可得到精同步位置。 在以上精同步算法流程中，与粗同步相比，关键是引入了对部分数据进行2048点相关运算，该数据是根据粗同步得到的同步位置，在时域基带信号上截取的PSS可能存在的部分数据，其内部包含了整个的PSS信号，仅仅是PSS的具体位置不确定，需要进行2048点互相关进行更加精确的搜索，考虑到一个无线帧307，200个采样点中仅仅需要进行2N + 1 = 17次2048点相关，计算量较小，因而可以采用一个复数乘法器、两个累积起进行两层循环来实现，大大降低了硬件资源的消耗，同时能保证应有的精度。在理想环境下，本同步算法找到的同步位置即为实际的同步位置，不存在误差。
system: [SYSTEM]

user: 4. 应用案例 本文所述低复杂高精度无线帧同步算法已在MIMO-OFDM系统 [ 9 ] 中成功应用，并展现出了优良的效果，系统同步稳定，精度高，为OFDM系统后续的信号处理提供了必要条件。 图13为本算法在MIMO-OFDM系统中的成功运行效果图，在图中用虚线框标注了各个模块，含义如下：模块1，为基站端的信号处理服务器，负责信道估计和信道均衡；模块2，为软件无线电USRP RIO模块组，负责基带数据的采样，本低复杂高精度算法即在该模块上运行，用于捕获天线接收信号中的无线帧同步信号，确定其精确位置；模块3，为基站端的天线阵列，包括16根接收天线；模块4，为用户端的发射天线，共计6根发射天线，代表6个单用户；模块5，为用户端的软件无线电USRP RIO [ 10 ] 模块组，负责产生用户基带信号，并发射到空口；模块6，为摄像头模块，用户获取视频信号，并打包发送到软件无线电模块，发送到基站端。 图13为6 × 16 MIMO-OFDM系统，用户端发射信号符合LTE帧格式(实际做了细节修改，参见图1)，6个用户同步地发送包含PSS信号的OFDM信号，基站端每根天线都接收到基带数据，并进行本论文所述低复杂高精度帧同步算法的处理，找到精确的同步位置，从而基站端可以进行后续信号处理流程。从模块1中可以看到显示器中播放着视频，此视频即为用户端发送的视频，表明该系统能够稳定正确运行。
system: [SYSTEM]

user: 5. 结论 本文提出了一种低复杂度的高精度OFDM系统无线帧同步算法，并使用LabVIEW FPGA语言实现该算法，该算法在粗同步的基础上仅添加一个复数乘法器和两个累加器等逻辑模块，复杂度极低，精确度高，并在实际的MIMO-OFDM系统中部署了该算法，运行效果良好，可以扩展到更多的OFDM系统中。
system: [SYSTEM]

user: 摘 要 随着互联网和我国经济的快速发展，智能化的产品不断被人们所熟知，智能开关是家居智能化的重要组成部分，它已经渐渐取代传统墙壁开关，走入了我们的日常生活中。本文设计了一种基于单片机智能无线WiFi开关控制系统。系统设计以STC89C52处理器作为系统主机控制器电路，单片机的串行口与无线传输模块esp8266wifi模块进行相关通信，人触摸手机发出的控制指令通过WiFi来控制家庭用电器的继电器，继电器开关数据通过WiFi模块发送给手机，从而实现了智能无线控制控制系统中的手机与家用电器的物物连接。设计整套设备的最终目的是实现使用手机APP即可对家庭各用电器开关进行控制，从而来实现家电的数字化和智能化。 关键词 :单片机，WiFi，智能手机，无线开关 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 ] 。无线网络技术的快速发展和日趋成熟，智能手机的普及率越来越高，WiFi技术也得到了非速的发展，已经完全融入了我们的生活，而且随着科学技术的快速发展，人民追求越来越高的生活质量 [ 2 ] [ 3 ] 。目前的室内灯开关的设计和装修大多采用固定式按键和触摸平板的方式，传统的室内灯控制方式已不再满足现代人们对生活水平的需求，而目前的室内灯开关的设计和装修大多采用固定式按键和触摸平板的方式，相比之下，WiFi控制不仅减少了硬件线路成本，易于维修也显得较为方便。因此，利用WiFi传输速度快、覆盖面大、抗干扰能力强等优点，本文设计了无线WiFi的智能开关 [ 4 ] [ 5 ] 。
system: [SYSTEM]

user: 2. 系统总体设计方案 基于WiFi模块的智能开关系统主要三部分组成：一是、智能移动终端。采用Java编写手机APP (TCP)连接，通过手机APP软件实现用户对系统的界面进行控制功能。二是、负责广播信息AP节点。通过AP建立无线wifi网络，手机客户端和家庭各个用电器开关节点模块采用UDP协议广播机制实现数据的交换功能。三是、无线开关控制模块。该部分主要是由串口WiFi模块、单片机、驱动电路组成。单片机作为终端控制设备，主要实现的功能是与串口WiFi模块实现数据的交换及系统终端有用数据的存储。本设计采用STC89C52单片机完成整个系统的控制流程。手机端软件设置操作界面登陆账号，WiFi模块连入网络，实现系统设计(图1)。
system: [SYSTEM]

user: 3. 无线开关控制模块硬件设计 3.1. 无线开关控制模块总体设计框架 无线开关控制模块总体设计框架如图2所示。硬件电路主要由单片机、继电器驱动电路、WiFi模块电路组成。本设计采用STC89C52单片机完成整个系统的控制流程。STC89C52RC是STC公司生产的一种低功耗、高性能CMOS8位微控制器，具有8 K字节系统可编程Flash存储器。STC89C52使用经典的MCS-51内核，但是做了很多的改进使得芯片具有传统51单片机不具备的功能。在单芯片上，拥有灵巧的8位CPU和在系统可编程Flash，使得STC89C52为众多嵌入式控制应用系统提供高灵活、超有效的 图1. 系统总体设计框图 图2. 硬件设计的系统框图 解决方案。手机端软件设置操作界面登陆账号，WiFi模块连入网络，实现系统设计。图3为无线WiFi智能开关电路原理图。 3.2. 控制器的选择 综合考虑到本系统成本及模块体积大小的因素，本设计选用STC89C52单片机。本设计系统的数据传输方式采用串口通信，而此芯片可以直接利用它和WiFi模块进行通信从而实现无线数据的转发，软件程序中通过串口的中断检测一帧的数据是否完成的传送 [ 6 ] 。该单片机的串STC89C52是一种低功耗、高性能CMOS 8位微控制器，具有4 K在系统可编程Flash存储器。在单芯片上，拥有灵巧的8位CPU和在系统可编程Flash，使得STC89C52为众多嵌入式控制应用系统提供高灵活、超有效的解决方案。本文设计的系统采用的是单片机的工作方式1，采用中断方式与WiFi模块进行通信，从而节省了查询方式cpu，速度也更快 [ 6 ] 。 3.3. WiFi模块 esp8266模块是基于UART接口的WiFi无线网络模块，能够实现无线网络和用户串口数之间的交换 [ 7 ] [ 8 ] 。通过串口WiFi模块与手机之间通信，使用的是ASCII码，手机把编码变为ASCII码进行发射，UART-WIFI会接收ASCII码并产生中断给单片机 [ 9 ] [ 10 ] 。此WiFi模块可以通过终端像普通路由器一样设置和修改密码，也可以通过配置软件进行相应设置和修改，其具有较高的安全性。 3.4. 无线WiFi模块esp8266的配置 主要利用UDP通信模式，支持串口配置参数的方式。UDP模式下模块将本地UDP端口收到的所有数据(含其他多个远程端口的数据)报转发至串口 [ 11 ] 。esp8266模块的基本配置如下：创建网络名称：xew026；密码：1xe76；IP地址：103.212.33.134，端口是8129；子网掩码：255.255.255.0；默认网关：192.168.0.1。 图3. 无线WiFi智能开关电路原理图
system: [SYSTEM]

user: 4. 系统软件设计 4.1. 系统的程序流程图 本系统软件设计包含一个主程序和一个中断程序，其中主函数包括六个子函数；主程序的流程图如图4所示。 4.2. Wifi模块程序 图4. 无线WiFi智能开关电路原理图 图5. 现场测试
system: [SYSTEM]

user: 5. 结果测试 实验环境为移动终端采用的OPPO R9，联发科MT6755八核处理器。通过应用商城或者豌豆荚将该上位机软件安装到该手机上。为了方便调试，选用四个LED指示灯(电饭煲开关、儿童房开关、电视机开关、热水器开关)，通过手机上位机程序发送控制指令，能够方便实现对以上四个用电器开关控制，验证了设计的方案(图5)。
system: [SYSTEM]

user: 6. 结束语 本文设计的基于单片机的手机WiFi模块的智能无线开关系统，采用目前较新的控制方式——移动客户端控制 + 无线WiFi，这种方式不仅充分利用WiFi的传输速度快、传输距离远、覆盖面大、抗干扰能力强等优点，而且Android平台开发成本低、价格低廉、使用方便，适应时代发展，具有很好的市场开发前景。
system: [SYSTEM]

user: 摘 要 建立一个科学的职业能力评价体系对高职教育教学实施具有导向、激励和评价功能，全面、科学和公正的评价体系对实现教学目标具有相关重要的作用。通过对缄默知识理论、CBE理论等相关理论的分析，并从电信服务管理专业的职业岗位能力要求出发，对基于职业核心基本能力、关键能力、潜在能力的高职电信服务管理专业职业核心能力评价体系的构建进行了有效探索。 关键词 :电信服务管理专业，职业核心能力，评价体系 Copyright © 2018 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. 理论基础 1.1. 缄默知识理论 缄默知识理论的首次提出是英国哲学家波兰尼于1958年在《个体知识》中对该理论做了初步的描述。他提出知识可分为显性知识和缄默知识。国际社会其他学者对缄默知识做了更为深刻的研究，提出可通过显性知识的自然遗忘、实践活动(如反复操练和训练)的方式、“师徒学艺制”培养模式及他人缄默知识的外显化习得缄默知识。在高职学生职业核心能力的培养过程中，对缄默知识的要求远高于显性知识，包括学生学习习惯、团队协作、沟通交流等都属于缄默知识。 1.2. CBE理论 CBE (Competency-Based Education)理论即能力本位教育理论，以心理学家布鲁姆的“掌握性学习”、“反馈教学原则”和“目标分类理论”为理论依据提出针对于学生能力提升的教学模式。CBE模式具有目标明确、针对性强的特点，专门用于提升受教育者在从事某种职业中所必须的核心能力。 这里提及的能力不能狭义地理解为专业性能力或实践能力，而是一种贯穿于职业生活各方面的综合性的职业能力。CBE理论要求该综合性的职业能力应包含四个方面：首先是知识，是从事该岗位所必须的专业知识；其次是技能，指在解决工作实际问题中所必须具备的实践能力；然后是态度，指从事本岗位的动机、动力、经验、历练，强调情感和活动领域；最后是反馈，即对学习效果的评价机制。参考CBE理论对于综合职业能力的要求，本文研究的职业核心能力正是其中第二、三方面，而涉及的职业核心能力评价体系和综合职业能力的反馈具有相似之处，为后续职业核心能力的评价做好理论铺垫。
system: [SYSTEM]

user: 2. 电信服务管理专业职业能力评价体系构成 职业能力评价体系是一系列与职业能力评价相关的评价指标、评价方法、评价标准以及评价机构等形成的有机整体 [ 1 ] 。构建高职电信服务管理专业职业能力评价体系的主要任务就是要确立一套职业能力评价指标以及评价指标的相关规范。高职电信服务管理职业岗位能力要求即构成了评价指标体系的主要内容。 2.1. 职业核心能力测评的基本要素 在职业核心能力构成要素研究中，有学者将其分为社会能力和方法能力两种，主要是根据职业核心能力的内涵进行分类。本文结合时代背景和相关理论，进一步明确职业核心能力的具体要素，构建三级指标体系对职业核心能力进行测评。 结合目前社会环境对高职学生的具体要求，将职业核心能力的评价指标做了适当变动，使评价结果对于研究对象更具实际意义。首先确定一级指标为职业核心能力本身，同时将该能力分为基本能力、关键能力和潜在能力三项基本指标，将其确定为职业核心能力评价体系的二级指标。通过对二级指标的进一步阐述，在原有评价体系的基础上适当筛选确定三级指标 [ 2 ] 。 基本能力是指电信服务管理专业学生在从事商务相关业务过程中必不可少，但是与电信服务管理专业知识联系又较为松散的技能，它的适用面比较宽，可适用电信行业内的各个岗位。关键能力是从事商务行业相关业务必须或应当具备的能力，是指仅适用于某几个工作岗位的能力。电信服务管理专业学生的职业特定能力是指在从业过程中与电信业务知识直接相关的处理方法、职业技能。电信服务与管理专业学生最重要的社会能力就是与客户打交道，从岗位能力分析反映企业要求从业人员应具备有较强的人际交往能力基本能力、有效理解和反馈能力、与他人协调合作能力、忍受挫折能力、排除干扰能力、自我减压能力等主要指标。潜在能力往往是无形的、无法测量的，能够体现高职学生突破自我实现更高层次发展的速度和可能性，是职业核心能力的较高层次。电信服务与管理专业学生在实训过程中所能反映出来的潜在能力主要包含快速反应能力、灵活处置能力等。 综上所述，以浙江邮电职业技术学院电信服务与管理专业高职学生为测评对象，通过对各级指标的层层分析，可构建如下的高职学生职业核心能力测评要素表1。 2.2. 评价指标权重设置 在构建评价体系时，选择正确的指标体系能够把握评价结果的方向性，个指标权重的确定对于评价结果也有着极为重要的影响同样一套指标体系，各指标权重不同，评价的结果会大相径庭 [ 3 ] 。评价指标体系均为定性指标，评价主体对各项因素的判定存在模糊性和主观性，直接用统计方法进行判断难度较大。本文在考虑不同要素层次性的基础上，采用模糊评价法对学生职业核心能力进行评价 [ 4 ] 。 1) 确定评价的因素集 Table 1 The evaluation factor table of vocational core competence of vocational student 一级指标 二级指标 三级指标 高职学生职业核心能力 基本能力 学习效果 学习习惯 推理判断能力 关键能力 职业行为能力 生存发展能力 有效理解和反馈能力 与他人协调合作能力 忍受挫折能力 排除干扰能力 自我减压能力 潜在能力 快速反应能力 灵活处置能力 表1. 高职学生职业核心能力测评要素表 U = (U1， U2， U3)；其中Ui为二级指标中的第i项指标 U1 = (U11， U12， U13)， U2 = (U21， U22， U23， U24， U25， U26， U27)， U3 = (U31， U32)。其中Uij为二级指标层中第i个指标的第j个子指标。 2) 确定权重集 一级指标权重集：w = 1； 二级指标权重集：w = (w1， w2， w3)，其中wi为二级指标层中第i个指标的权重值； 三级指标权重集：wi = (wi1， wi2，...wim)， 其中wij(i = 1， 2， 3; j = 1， 2，...m)为二级指标层中第i个指标的第j个子指标的权重值。 3) 建立评价集 设评价集为v = (v1， v2， v3，...vp)。对指标的评分标准，一般分为五级，依次为最重要、重要、一般、不太重要、不重要。因此v = (最重要，重要，一般，不太重要，不重要)。
system: [SYSTEM]

user: 3. 职业核心能力评价体系的确定 职业核心能力评价体系的确定能够实现因变量的量化，为实证研究提供基础数据。为进一步提高评价体系各项权重的准确性，电信服务与管理专业教研室深入杭州、绍兴、宁波、嘉兴等地，走访20余家企业，针对该专业学生职业活动所需的职业核心能力进行调研，并采用层次分析法将职业核心能力可分为职业基本能力、关键能力、潜在能力三个层次，这个层次即构成电信服务管理专业学生职业能力评价体系系统层。此外，通过对通信企业人力资源领导、高校教师、高职学生进行分层抽样调查。根据调查结果构建职业核心能力三级指标的评价集。运用SPSS21.0进行因子分析，确定各指标权重，从而得到指标的权重系数见表2。
system: [SYSTEM]

user: 4. 结束语 电信服务管理专业职业能力评价体系的构建是根据行业、企业的岗位需要，结合学校专业自身的内涵与特点，以能力为导向，从基本能力、关键能力、潜在能力三个方面进行综合评价，侧重考察高职学 Table 2 Evaluation index weight distribution table of vocational school students’ vocational core competenc 一级指标 二级指标 三级指标 高职学生职业核心能力 基本能力U1(0.25) 学习效果U11 (0.3) 学习习惯U12 (0.4) 推理判断能力U13 (0.3) 关键能力U2(0.55) 职业行为能力U21 (0.05) 生存发展能力U22 (0.15) 有效理解和反馈能力U23 (0.2) 与他人协调合作能力U24 (0.2) 忍受挫折能力U25 (0.2) 排除干扰能力U26 (0.1) 自我减压能力U27 (0.15) 潜在能力U3(0.2) 快速反应能力U31 (0.5) 灵活处置能力U32 (0.5) 表2. 高职学校学生职业核心能力评价指标权重分布表 生在实践中具备的能力。一个全面科学的职业能力评价体系对教与学起着十分重要的导向和激励功能，但它的形成和成熟不是一簇就，需要经过时间不断的实施和修正。
system: [SYSTEM]

user: 摘 要 网络通断监测方面虽然已经有现成的软件，但存在一定不足，如操作不便，显示不直观，汇总不符合实际需要。基于这样的情况，开发一套能够取其长而舍其短的网络通断监测软件还是很有意义的。本文在现有实际工作基础上，利用WPF技术和MVVM模式来设计实现一个网络通断监测软件。软件主要包含四个模块：表格和图形界面、异步通断测试、文档资料查阅管理、日志查询管理。相比于原有监测系统，该软件在界面、操作性、实用性等方面均有大幅提升。 关键词 :网络监测，WPF，MVVM 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.1. 网络通断监测系统的现状 在基层网络保障单位中，监控各个站点网络通断情况是很重要的工作内容。出现网络阻断要求能够尽快发现查找原因并排除。目前进行网络通断监控的主要方法，一个是每天不同时间段发测试报，还有一个是利用监控软件。现有的监控软件有两套，一套使用表格形式，在表格中列出需要监控的各个点，后台通过一定间隔对各个点使用Ping方法检测，把监测结果显示在表格中。另一套倒是采用图形界面，但操作复杂，并且仅限于特定网络。在实际使用中两套软件都能提供一定的帮助，但都不能很好切合基层工作需要。 1.2. 网络通断监测再次开发的意义 在实际工作中，我们需要一套能够以拓扑图直观显示各个站点通断情况的系统，操作简便，并且能够方便地查看统计历史通断情况；能够查找相关文档；能够形成所需报表等等。换句话说，就是根据单位实际保障需要量身定做，这样可以极大地减少工作量，提高工作效率，更好地完成网络维护保障任务。
system: [SYSTEM]

user: 2. WPF和MVVM简介 WPF全称是Windows Presentation Foundation，是微软新一代图形系统，运行在.NET Framework3.0及以上版本下，为用户界面、2D/3D图形、文档和媒体提供了统一的描述和操作方法。WPF是Windows操作系统中的一次重大变革，与早期的GDI+/GDI不同，WPF是基于DirectX引擎的，支持GPU硬件加速，在不支持硬件加速时也可以使用软件绘制多线程绘制，自动识别显示器分辨率并进行缩放，这都提高了使用者的体验 [ 1 ] 。 MVVM (Model-View-View Model)是MVP (Model-View-Presenter)模式与WPF结合的一种新型架构框架，如图1所示。WPF的数据绑定使得开发人员可以将View和逻辑分离开来，通过ViewModel获得两者之间的松散耦合。MVVM模式的主要目的是分离视图(View)和模型(Model)，它具有低耦合、可重用、独立开发、可测试等多个优点 [ 2 ] 。
system: [SYSTEM]

user: 3. 网络通断监测系统设计与实现 原有的监测系统是用表格视图，如图2所示。而我们的主要目标是能够以拓扑图实时显示各个站点的通断情况，但依然保留表格视图，只是升级成带目录树的表格。图3所示就是我们目前初步完成的表格视图和拓扑图视图。 图1. MVVM功能图 图2. 表格视图 图3. 图形视图 系统主要包含四个模块：表格和图形界面的实现以及状态同步；后台进行通断测试的异步操作并过滤偶尔丢包现象；文档资料的查阅管理；日志查询管理。日志部分是基本数据库操作，这里不作详细说明。 3.1. 界面实现及状态同步 表格界面类似于资源管理器，采用TreeView控件和DataGrid控件的组合即可实现。 拓扑图界面采用Canvas控件，布局代码如下： 后台代码中则是读取数据库中各节点信息并显示在Canvas中，并实现鼠标操作。拓扑图上每个节点有三个部分：主体图标、与上级连接线、IP地址标签，在节点类ModelHost也包含了创建显示这三部分的方法。如下示例创建图表： 如果节点很多，界面上放置不下，则可以考虑把多个节点合成一个，然后为该节点创建子拓扑图，展开子拓扑图就可以同时进行监控。 对于在两个视图之间以及包含子拓扑图的多个视图之间进行状态快速同步，采用WPF的数据绑定技术和属性更改通知来实现是非常合适的。 如上代码，我们定义了一个Status属性，NotifyPropertyChanged(Status)语句表示当该属性值变化后将自动通知与它绑定的所有目标对象，不需要手工逐个检索。我们的软件有表格视图和拓扑视图，拓扑视图还会包含子拓扑，其个数是不定的。如果逐个对象检索，不仅麻烦，而且效率低，代码不灵活，易疏漏。当我们在创建每个视图的各个对象时，如果需要和Status属性相关联，使用SetBind语句即可。 3.2. 后台异步操作以及个别丢包过滤 一个监测系统至少要包含几十几百个节点，毫无疑问应该采用异步调用的方式。C#提供了Ping类，该类包含SendAsync方法，就是发送异步检测，绑定PingCompleted事件回调以获取检测结果。检测中偶尔会出现个别丢包现象，可以认为网络不是很好，但不能认为不通，所以需要一定的过滤措施。我们采用的方法也很简单，对于一个IP，如果一次检测结果为通，则认为是通的，结束这次检测；如果不通，则不再等待而是继续检测该IP，直到次数为4还是不通，则认为此次检测的结果是不通 [ 3 ] 。 以下是调用异步检测的关键代码： 3.3. 文档资料的查阅管理 系统内部集成文档资料的管理，有助于更加快速便捷地查找解决故障。当然，这一模块也可以设计成能够单独运行的程序。 图4. 文档查阅界面 图5. 文档编辑界面 对于文档的查看，我们采用XML纸张规格(XPS格式)，这是一种固定版式的电子文件格式，可以保留文档格式并支持文档共享。XPS格式可确保在联机查看或打印文件时，文件可以完全保持预期格式，且文件中的数据不会轻易地被更改。查阅文档如图4所示。 对文档的更新维护，系统采用内部调用Office并实行一定的控制来实现。内部调用并用Office打开相应文档之后，禁用Office的关闭退出按钮，而是系统另外提供一个小面板用于保存和退出。这样可以在保存和退出时内部获取XPS格式的文档。如图5所示。
system: [SYSTEM]

user: 4. 性能体验和实际应用 在本单位的试用中，虽然监测节点只有70左右，但其中有很多节点代表一段连续的IP地址，实际真正监控的IP地址在200个左右。系统运行时在表格视图和拓扑图视图均打开的情况下占用内存约70 M，全体刷新检测时CPU占用率为4%，网络使用率为0.43%，应该说占用资源很少。 虽然程序功能不多，但对于实际工作却是帮助甚大。直观简洁的界面，详细的通断日志数据等等都给网络故障的发现查找排除带来极大的便利，更有为值班量身定做的一些功能，这都是原先监测软件所不具备的。比如每天上报的各节点断网时间，可能某个节点通断好几次，在原先软件中会记录在几个文件中或一个文件的好几个位置，需要仔细查找。利用现在的软件可以一键查看。
system: [SYSTEM]

user: 5. 结束语 实现这样一个系统，没有很难的技术点，但却非常适合实际使用需求，能有效提供网络保障效率。软件开发，技术实力固然重要，但只有符合实际使用需求，才能做出具有生命力的软件。
system: [SYSTEM]

user: 摘 要 [目的]对香格里拉地区的雪鸡坪和春都矿区森林群落的结构和物种多样性进行研究，为今后矿区植被恢复与重建以及多样性的保护和编目提供理论依据。[方法]以植被的重要值指数对群落进行分类，以物种Shannon-Weiner多样性指数、Pielou群落均匀度指数、Simpson生态优势度指数为指标，对群落的植被多样性进行分析。[结果]研究区群落类型分为冷山林、杜鹃林、高山栎 + 冷山林、高山栎林、杜鹃 +高山栎林、云南松林6种群落类型。其中，蕨类植物2种2属2科，裸子植物3种3属1科，被子植物30种27属13科；各群落类型的多样性指标各不相同，有些差别还比较大。[结论]研究区处于矿山开发区，采矿、放牧、伐木等人为破坏强烈，导致生态系统结构功能的退化、生物多样性降低，应采取有效措施减少人为因素对生态系统结构功能和演替过程的干扰和破坏；对现有的中、幼龄林加强抚育管理，促进其回复发展。 关键词 :群落结构，物种多样性，矿区 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 ] 。 目前，我国大部分矿区在采矿的同时没有对区域生态环境特别是生物多样性的保护做到应有的重视。本研究是对香格里拉地区的雪鸡坪和春都斑岩性铜矿区的森林群落进行分类，旨在揭示研究区的群落类型，同时运用物种多样性指数对群落的物种多样性进行研究，探索矿区物种多样性的特征及其规律，为今后矿区植被恢复与重建以及物种多样性的保护和编目提供基础数据和理论依据。
system: [SYSTEM]

user: 2. 研究区概况 春都–雪鸡坪矿区位于香格里拉城东25 km处，其地理坐标为东经99˚50′15″，北纬28˚02′，区内海拔都在3000~4000 m的山区(图1)。其年均气温为6.3℃，夏季最高气温为25.6℃，冬季最低气温为−20.1℃，年降水量为618.4 mm，年日照时数2180.3 h，霜期为244 d。土壤主要是以寒温性气候类型的土壤为主，包括暗棕壤、漂灰土和高山草甸土。所调查区域的25个样地中共常见的植物有35种，多数物种的区系性质属于暖温带，少数属于寒温带。其中，蕨类植物2科2属2种，裸子植物1科1属3种，被子植物13科27属30种。35种植物中以菊科(Compositae)种类最多，一共有5种，占到总数的14.3%；其次是禾本科(Gramineae)和蔷薇科(Rosaceae)都是4种，占到11.4%；杜鹃花科(Ericaceae)、百合科(Liliaceae)和松科(Pinaceae)都为3种、毛茛科(Ranunculaceae)2种。图2为研究区植物群落类型，主要有冷杉林(Form. Abies fabri)、杜鹃林(Form. Rhododendron simsii)、高山栎 + 冷杉林(Form. Quercus semicarpifolia + Abies fabri)、高山栎林(Form. Quercus semicarpifolia)、杜鹃 + 高山栎林(Form. Rhododendron simsii + Quercus semicarpifolia)、云南松林(Form. Pinus yunnanensis)。矿区大地构造位置隶属松潘至甘孜褶皱系的西南边缘，区内出露地层有第四系以及上三叠统下部层位。矿区构造可视为单斜，区内显示以断裂为主。岩浆岩十分发育，其分布受地层、构造制约。岩性以中–基性火山岩为主，有较多的浅层–超浅层中–中酸性侵入体分布。在空间上受各级构造控制，而构成香格里拉东部构造——岩浆岩带。 图1. 研究区概况图 图2. 研究区植被群落分布
system: [SYSTEM]

user: 3. 研究方法 3.1. 样地设置与调查 2013年11月20日至23日，设置了13个样地面积为10 m × 10 m的样地，记录样地的地理位置、海拔高度、坡度、坡向、人为活动等综合特征(表1)。对乔木层进行每木检尺，记录乔木的学名、高度、冠幅、胸径、个体数和郁闭度；再用随机取样法在样地中取一个5 m × 5 m的灌木样方和一个1 m × 1 m的草本样方，分别记录每个种的学名、个体数、高度及盖度。样地的地理位置用手持GPS测定，坡度和坡向用罗盘仪测定。 3.2. 数据处理 1) 以重要值(P i )作为评价植物在植物群落中作用的综合性数量指标 [ 6 ] [ 7 ] ，重要值计算公式如下： P i ( 乔 木 ) = ( 相 对 密 度 + 相 对 高 度 + 相 对 显 著 度 ) / 3 P i ( 灌 木 ) = ( 相 对 密 度 + 相 对 高 度 + 相 对 盖 度 ) / 3 P i ( 草 本 ) = ( 相 对 密 度 + 相 对 高 度 + 相 对 盖 度 ) / 3 Table 1 Location and general survey of sampling sites in Chundu-Xuejipin 样地号 Site No. 经度(˚) Longitude 纬度(˚) Latitude 海拔/m Altitude 坡度/(˚) Slope 坡向 Aspect 坡位 Position 人为活动 Human activity XJP001 99˚48′30″ 28˚00′25″ 3633 5 西 上部 较强 XJP002 99˚48′45″ 28˚00′20″ 3602 8 西北 中部 较强 XJP003 99˚48′35″ 28˚00′29″ 3573 12 东 中部 较弱 XJP004 99˚48′33″ 28˚00′31″ 3582 7 东南 中上部 较强 XJP005 99˚49′14″ 27˚59′56″ 3723 8 南 下部 较强 XJP006 99˚48′21″ 28˚00′30″ 3666 0 无 顶部 较强 XJP008 99˚48′20″ 28˚01′07″ 3514 37 西 中下部 较强 XJP009 99˚47′22″ 28˚01′11″ 3392 8 北 中部 较弱 CD003 99˚52′26″ 27˚57′35″ 3909 37 南 下部 弱 CD005 99˚52′03″ 27˚57′27″ 3824 38 西北 下部 较弱 CD008 99˚52′08″ 27˚57′26″ 3815 8 西南 下部 较弱 CD009 99˚52′06″ 27˚57′21″ 3847 25 西 中下部 较强 CD011 99˚50′03″ 27˚57′36″ 3478 37 西南 中部 较强 表1. 春都–雪鸡坪样地的地理位置及概况 式中：相对密度 = 某个汇总的个体数/全部物种的个体数之和，相对高度 = 某个中的高度/全部物种的总高度，相对显著度 = 某个种的胸高断面积/全部物种的胸高断面积之和，相对盖度 = 某个种的该地/所有中的总盖度。 2) 基于物种的重要值，对研究区内植物群落进行数量分类。 3) 采用Shannon-Weiner多样性指数、Simpson生态优势度指数和Pielou群落均匀度指数，对群落物种多样性进行分析 [ 8 ] [ 9 ] [ 10 ] ，各指数的计算公式如下： Shannon − Weiner 多 样 性 指 数 H ′ = − ∑ P i ln P i Pielou 群 落 均 匀 度 指 数 J sw = − ( − ∑ P i ln P i ) / ln S Simpson 生 态 优 势 度 指 数 C = ∑ ( P i / N ) 2 式中N为取样中所有种类的重要值总值，P i 为第i种的相对重要值，S为样地的物种总数。
system: [SYSTEM]

user: 5. 结论与讨论 本研究区的植物群落中，多数植物中的区系属于暖温带，少数属于寒温带，主要由于调查区域位于海拔较高的位置。本次调查共记录到30种植物13科27属，其中有大量树龄在上百年的冷杉、桦木、红杉等植物。研究区内地下有大量铜矿，在雪鸡坪矿区已经大量开采十多年，并且还有放牧、获取材薪、挖砍伐树木等活动，对植被造成了一定程度地干扰和破坏，这不仅引起了群落物种组成和结构的变化，而致使动物栖息地丧失和片段化，进而导致生态系统结构和功能的退化和生物多样性的降低。应采取有效措施减少人为因素对生态系统结构功能和演替过程的干扰和破坏；对现有的中、幼龄林加强抚育管理，促进其回复发展。 本研究，主要是对香格里拉地区雪鸡坪和春都两个矿区的植被进行调查、分析、分类，探究研究区内植被的群落结构和植物多样性，为今后在矿区的生态恢复以及重建中发挥基础性的作用，最终实现矿区内以及周边地区经济和生态的可持续发展。
system: [SYSTEM]

user: 摘 要 本文针对城市生活污水设计和实现了一种先进、实用、有效的，集PLC技术、组态软件技术和网络通信技术为一体的污水处理模糊控制系统。系统采用高可靠性的西门子S7-300可编程序控制器为主控制器；控制算法采用模糊控制；采用工控组态软件KingView6.53实现上位机监控功能；采用工业以太网Profibus现场总线实现网络通信。结果表明，该控制系统对强时滞、非线性、不确定性的污水处理过程具有很好的控制效果，实现了污水处理过程的自动控制，提高了污水处理的效率，降低了污水处理的成本。 关键词 :PLC，污水处理，模糊控制，Profibus现场总线 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. 引言 随着计算机技术、控制技术的突飞猛进，近年来我国污水处理厂的自动化系统要求也越来越高，污水处理自动化系统应具有全自动的逻辑控制，系统能够长期安全无故障的运行，且具有很高的可靠性。为此，本文根据某污水处理厂处理工艺，采用高可靠性的西门子S7-300可编程序控制器、工控组态软件KingView6.53和Profibus-dp现场总线来构建一个分布式的模糊自动控制系统，从而提高了污水处理的自动化程度和系统的高可靠性。
system: [SYSTEM]

user: 2. 城市污水处理工艺流程 某污水处理厂的城市生活污水的处理采用CASS (Cyclic Activated Sludge System)工艺，全称为循环式活性污泥法。CASS的整个工艺为一间歇式反应器，在此反应器中活性污泥法过程按曝气和非曝气阶段不断重复，将生物反应过程和泥水分离过程结合在一个池子中进行。在CASS工艺中，在反应池的首部设置生物选择器，不仅可以快速去除进水中可溶性有机物，并且可以有效地抑制丝状菌生长和繁殖，消除污泥膨胀。随着电子计算机的日益普及，CASS工艺由于其投资和运行费用低、处理性能高超，尤其是优异的脱氮除磷功能而越来越得到重视 [ 1 ] 。该工艺已广泛应用于城市污水和各种工业废水的处理。某污水处理厂污水处理流程，见图1。
system: [SYSTEM]

user: 3. 污水处理控制系统的组成及工作原理 根据该污水处理厂的工艺流程和要求，本控制系统采用上下位机两级结构。上位机监控系统选用性能稳定、抗干扰性能好的工控机，使用工控组态软件进行对上位机监控功能进行组态，设计工艺流程、记录查询、报警、报表、参数设定等操作画面，实现现场设备的监控与人机交互。下位机控制系统采用PLC控制技术实现对系统中多个泵、阀门等设备的启/停、开/关控制，从而使该污水处理系统按照工艺要求完成自动控制 [ 2 ] 。系统整个网络采用两层网络拓扑结构，上位机PC之间以及上位机和下位机PLC之间采用工业以太网通讯，底层为现场总线，下位机PLC主站和两个从站之间采用PROFIBUS-DP现场总线通讯，污水控制系统图，见图2。 1#PLC柜位于提升泵房内，其电气控制系统主要完成对粗格栅环节的液位差计，提升泵房的液位计，细格栅环节的PH分析仪、悬浮物在线分析仪、COD在线分析仪、氨氮在线分析仪、1#液位计、2#液位计、出水流量计等各类仪表、执行设备的数据采集和控制 [ 3 ] 。2#PLC柜位于变配电间内，其电气控制系 图1. CASS工艺流程图 图2. 污水处理控制系统图 统主要完成对CASS池A1内溶解氧分析仪、悬浮物分析仪、液位计，CASS池A2内悬浮物分析仪、液位计，CASS池A进气管流量计、CASS池B进气管流量计，鼓风机出口总管流量计等各类仪表、执行设备的数据采集和控制，电气控制原理图如图3所示。3#PLC柜位于污泥脱水间，其电气控制系统主要完成对中间提升泵房的液位计，储泥池内的液位计、悬浮物分析仪、进泥管道流量计，接触池内硝氮在线分析仪、出水管道流量计、COD在线分析仪、悬浮物分析仪等各类仪表、执行设备的数据采集和控制。 2#PLC工作站为主站，位于变配电间内，CPU具体型号选择S7-300系列中应用广泛的CPU315-2DP。CPU315-2DP具有大中规模的程序容量，对二进制和浮点数有较高的处理性能，它有两个PROFIBUS-DP主站/从站接口，可用于建立分布式1/0结构和大规模I/O配置，并且可以通过CP通信卡来扩展其DP接口。 CPU315-2DP带有128KB集成式RAM，不能扩展。FB、FC、DB、OB的最大容量都为16 KB，FB、FC最大模块数为2048，DB最大块数为1023，可以处理的最大模拟量I/O总数为1024个，最大数字量I/0总数为16，384个。 CPU315-2DP需要配置电源，这里选择了PS307-5A。2#PLC工作站I/O点统计表，见表1。
system: [SYSTEM]

user: 4. 模糊控制算法 模糊控制系统由被控制过程和模糊控制器构成，模糊控制器由模糊化、模糊推理和去模糊化三部分组成，三者均建立在知识库(控制率和隶属函数)基础上 [ 4 ] 。模糊控制的基本原理见图4。 模糊控制系统的主要特点是对操作人员的控制经验进行总结，形成可以通过控制系统表达的控制方 图3. 2#PLC工作站系统配置图 Table 1 Summary of the I/O points for 2#PLC workstatio 控制点描述 AI AO DI DO CASS池A1 6 CASS池A2 4 鼓风机房 1 CASS池A1 1 CASS池A2 1 CASS池A1 30 CASS池A2 30 CASS池A1 9 CASS池A2 9 表1. 2#PLC工作站I/O点统计表 图4. 模糊控制系统方块图 法，达到自动控制的目的。泵站的传统控制只考虑了液位的变化，没有考虑变化率。由于集水井具有非线性和大延迟性，因此，往往出现控制滞后现象。采用计算机技术和先进液位检测仪表后，可非常简便地得到液位差和液位变化率，通过引入模糊控制方法，利用液位变化率，实现PD控制结构，能明显提高泵站对进水量变化的响应能力。 结合有关文献和实际，对污水厂污水提升泵站进行了以下的控制方法实施。模糊控制器采用三个模糊变量：液位差(E)、液位变化率(EC)和启动泵台数(U)，其中E和EC为输入模糊变量，U为使出模糊变量。模糊控制器由PLC编程实现。现采样间隔设为10 s，这种结构实质上为非线性的PD控制方式。 根据现场对集水井液位变化情况的了解，三个控制变量的论域量化关系如下： 液位差E分为6档，11级，即： {−5，−4，−3，−2，−1，0，1，2，3，4，5} 模糊子集选取如下语言值： {NB(负大)，NM(负中)，NS(负小)，PS(正小)，PM(正中)，PB(正大)} 液位变化率EC分为5档7级，即： {−3，−2，−1，0，1，2，3} 模糊子集选取如下语言值： {NB(负大)，NS(负小)，Z(零)，PS(正小)，PB(正大)} 控制变量U分为5档5级，即： {0，1，2，3，4} 模糊子集选取如下语言值： {小，中，大，很大} 参考有关资料可知，由于不同形状隶属函数所代表的控制含义不同，模糊自己的隶属函数形状较尖，反映模糊集合具有高的分辨率特性，其控制的灵敏度较高；模糊自己的隶属函数形状较宽，反映模糊集合具有低的分辨率特性，其控制的灵敏度较低，控制特性比较平缓，系统稳定性较好。
system: [SYSTEM]

user: 5. 软件设计 本污水处理系统下位机PLC编程软件设计选用的是西门子编程软件STEP 7，STEP 7对PLC进行编 图5. 创建功能块 图6. CASS池控制流程图 图7. 粗细格栅监控界面 程采用结构化程序，把程序分成多个模块，各模块完成相应的功能 [ 5 ] 。每个模块实际上就是一个子程序，用相应子程序实现特定的功能，再通过主程序来调用子程序，然后再结合起来从而就可以实现复杂的污水处理控制。 本次程序设计中所用到的各个逻辑块，见图5。S7-300 PLC采用循环执行用户程序的方式。所有的FC逻辑块均放在OB块中进行循环。OB1是用于循环处理的组织块(主程序)，它可以调用别的逻辑块，或被中断程序(组织块)中断。在启动完成后，不断地循环调用OB1，在OB1中可以调用其他逻辑块(FB、SFB、FC或SFC)。 CASS池自动控制，CASS生物池运行周期为4个阶段：进水、曝气、沉淀、滗水，每个阶段由相应的一组设备动作完成。CASS生物池运行周期为4 h，其中进水1 h、曝气2 h、沉淀0.5 h、滗水0.5 h。其控制流程图见图6。 污水处理控制系统上位机监控系统选用性能稳定、抗干扰性能好的工控机，使用工控组态软件KingView6.53对上位机监控功能进行组态 [ 6 ] ，进行工艺流程、记录查询、报警、报表、参数设定等操作画面设计，实现现场设备的监控，见图7。 该污水处理自动控制系统的整个通信网络采用两层网络拓扑结构，上层为工业以太网，用于上位机PC之间以及上位机和下位机PLC之间的通讯，底层为PROFIBUS-DP现场总线，用于下位机PLC主站和从站之间的通讯。
system: [SYSTEM]

user: 6. 结论 本文对基于PLC控制的生活污水处理模糊控制系统进行了设计实现。以CPU315-2DP PLC做主站，接口模块IM153-1做从站，构成PROFIBUS-DP总线控制系统，实现对系统中多个泵及阀门的启/停、开/关控制，实现了生活污水处理过程的自动化操作；同时，采用组态王软件对上位机监控功能进行组态，设计了多个监控操作画面，实现了现场设备的监控。通过严格的测试，基本达到了预期要求。
system: [SYSTEM]

user: 摘 要 变异测试是一种高效的软件测试方法。作为发现故障和发现测试用例缺陷的一种手段，测试用例生成方法至关重要。如果测试用例能有效地生成并获得较高的变异评分，则有助于变异测试的广泛应用。目前大部分变异测试用例生成方法都是通过分析控制流图，仅使用语句间的控制流约束指导用例的生成，而未考虑语句间数据流约束的影响。本文提出一种结合数据流约束的变异测试用例生成方法，首先，将控制流约束和数据流约束二者结合对适应度函数进行建模；其次，将该模型应用于遗传算法指导测试用例的进化和选择。实验表明，与HGA相比，本方法在生成同样规模的测试集时平均迭代次数减少了60.5%；并且生成的测试用例获得的变异评分比随机方法平均高出了27.9%，表现出了更优的错误检测能力。 关键词 :变异测试，测试用例生成，适应度函数，变异评分 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 ] [ 7 ] 。一般情况下，根据变异评分衡量测试集发现程序变异体中错误的能力。一个能将变异体M与源程序P区分出来的测试用例必须满足三个条件 [ 8 ] ：可达性(必须存在一条从M的开始语句到变异语句的执行路径)；状态感染性(通过执行变异语句，M和P的状态彼此不同)；状态传播性(通过执行变异语句，M和P的状态差异一直传播到变异体执行结束)。 如何生成测试用例在变异测试中至关重要，现有的变异测试用例生成方法主要有CBT (Constraint-Based Test data generation，基于约束的生成方法) [ 9 ] 、DDR (Dynamic Domain Reduction test data generation，动态域削减方法) [ 10 ] 、DRD (Domain Reduction approach with Data dependence，考虑数据依赖的域削减方法) [ 7 ] 和GA (Generation Algorithm，遗传算法生成变异测试用例的方法) [ 11 ] 。CBT采用控制流分析变异体的可行性条件建立约束关系，是一种高效的测试用例生成方法，但CBT难以处理对输入变量有依赖的判断条件和表达式；DDR根据控制流动态地求解路径约束，改进了对输入变量有依赖的判断条件和表达式的处理，弥补了CBT存在的缺点，但未考虑数据依赖；DRD将数据依赖考虑到约束系统中并使用DDR进行求解，但未权衡加入的数据依赖结点的重要性；GA基于控制流测试充分性准则构建适应度函数模型，考察多种程序结构进行测试，但这种测试不考虑数据流约束，往往是不充分的，且生成测试用例的效率低。 为了更高效地生成变异测试用例，本文提出了一种结合数据流约束的变异测试用例生成方法。此方法充分考虑数据流约束并且权衡所加入数据依赖结点的重要性，首先，结合控制流约束和数据流约束建立合适的适应度函数模型；然后，将测试用例求解问题转换为适应度函数优化问题，基于遗传算法所具备的全局优化功能进行求解，使用个体适应度指导测试用例的进化和选择；最终得到目标测试用例。