测试用例自动生成方法的现状及研究

软件测试数据生成在软件系统开发费用中占很大比重。如果该过程能自动实现,则会极大地减少软件开发的周期和费用。测试用例的生成工作包含选定被测任务、分析输入数据、确定其取值并分析对应的输出数据。其中分析对应的输出数据是决定测试是否成功的关键环节。测试用例选取的一个中心原则,就是以用最少的测试用例找到尽可能多的错误。目前的工具尚不能完成自动生成测试用例这个环节,往往是只能采用人工选取的方法。按所采用的方法和研究对象的不同,将测试用例自动生成方法主要分为5类:基于有限状态集的测试,基于标注的转换系统的测试,针对面向模型的需求规格说明的测试,针对面向对象软件的测试,以及运用模型检查生成测试用例的方法。在简单介绍前4种方法之后,重点对模型检查的方法进行详细的分析和探讨。     

基于K-L散度的最大后验弧主导的混淆网络生成算法

为快速生成高质量混淆网络,该文提出一种最大后验弧主导的快速生成算法。它只需遍历一遍Lattice,具有线性时间复杂度。采用K-L散度(Kullback-Leibler Divergence,KLD)来度量弧标号之间的发音相似性,改善了混淆网络生成中弧对齐的准确性。实验结果显示,所提算法在生成速度上和Xue的快速算法是可比的,而生成质量更好。通过采用KLD作为弧标号相似性测度,生成混淆网络的质量得到了进一步提高。     

遥感影像的半自动配准

图像的半自动配准是当前比较先进的图像配准技术。该方法基于初步定位基础,利用模板相关的匹配方法,根据遥感图像之间灰度分布的相关性,选取数量丰富的配准控制点,利用相关系数准则进行图像间的相似性度量,可达到较高的配准精度。实验结果表明,该匹配方法用于遥感图像的配准能够有效提高图像处理的速度以及校正图像的定位精度。     

模糊自适应PID控制在高炉TRT系统中的仿真研究

针对高炉TRT顶压控制系统存在的复杂性,高度非线性,时变不确定性等特点,提出一种模糊自适应PID优化控制算法,应用模糊推理的方法实现对TRT顶压控制系统中PID参数的自整定,达到对高炉顶压的稳定控制。实验结果表明,采用该优化算法可使控制效果得到明显改善,系统运行速度及可靠性等得到进一步提高,达到优化系统控制性能的目的,满足TRT系统的控制要求。     

经由受激拉曼绝热过程高效产生太赫兹

论证了在三能级系统中经由受激拉曼绝热过程产生太赫兹,分析了基本模型和泵浦激光与太赫兹产生相干的三能级的理论,并应用在横向激励二氧化碳激光光学泵浦重水分子中,可以产生波长为385μm的太赫兹辐射。产生的太赫兹脉冲功率表现为蒸汽压的函数,并得到了最高太赫兹功率。该技术提供了一种鲁棒性非常好的产生太赫兹的方法。     

一种克服色度色散影响的四倍频光毫米波信号产生方法

提出一种克服色度色散影响的四倍频光毫米波信号产生方法。该方法使用一个双驱动马赫曾德尔调制器,通过调整上、下两路射频信号的相位差、直流偏置点、调制系数以及基带信号增益,将数据信号仅调制到四倍频光毫米波信号的一个2阶边带上传输,解决了色度色散引起的码元走离问题,有效增加了传输距离。理论分析和仿真实验结果表明,信号在光纤中传输120 km后眼图仍然十分清晰,经过60 km传输后的功率代价约为0.45 dB。另外,基于频率再用技术,没有调制数据的另一个2阶边带信号还可以作为全双工光纤无线通信(RoF)系统的上行链路光载波,简化了基站配置。仿真实验结果表明,双向2.5 Gbit/s数据信号在光纤中传输40 km后,功率代价小于0.6 dB。     

聚光型光伏发电的太阳能定位和跟踪系统

在资源紧缺的今天,太阳能以它恒定的来源和高强的辐射能量,日渐成为资源利用的首要选择。聚光型光伏发电的基本原理是采用带有菲尼尔透镜的太阳能电池板,利用图像采集传感器,拍摄参照物的太阳影子长度,并以与垂直投影做出的比较测出太阳的偏转角度,通过高速控制芯片,根据对采集信息的分析,控制传动机构调节太阳能电池板的偏转角度,实现对太阳的定位和跟踪,从而实现太阳能的高效采集。     

新一代信息基础设施推动能源发展的路径安排和绩效研究

随着信息技术的迅猛发展,其带来的变革浪潮涌动在各个角落。作为社会的运行动脉,能源的产生运转和利用体系享受新一代信息基础设施的优势,发生着巨大变化。文章研究了新一代信息基础设施对于能源革命的推动传导方式的影响,分析了在这一过程中新一代信息基础设施普及对能源行业及能源使用方式的影响。基于过往信息化数据、已有理论及当下流行的5G运用方式,做回溯性探究,前瞻未来能源革命的蓝图。     

The Impact of Sequential Fluorination of π‐Conjugated Polymers on Charge Generation in All‐Polymer Solar Cells

The performance of all‐polymer solar cells (all‐PSCs) is often limited by the poor exciton dissociation process. Here, the design of a series of polymer donors ( P1 – P3 ) with different numbers of fluorine atoms on their backbone is presented and the influence of fluorination on charge generation in all‐PSCs is investigated. Sequential fluorination of the polymer backbones increases the dipole moment difference between the ground and excited states (Δµ_ge) from P1 (18.40 D) to P2 (25.11 D) and to P3 (28.47 D). The large Δµ_ge of P3 leads to efficient exciton dissociation with greatly suppressed charge recombination in P3 ‐based all‐PSCs. Additionally, the fluorination lowers the highest occupied molecular orbital energy level of P3 and P2 , leading to higher open‐circuit voltage (V_OC). The power conversion efficiency of the P3 ‐based all‐PSCs (6.42%) outperforms those of the P2 and P1 (5.00% and 2.65%)‐based devices. The reduced charge recombination and the enhanced polymer exciton lifetime in P3 ‐based all‐PSCs are confirmed by the measurements of light‐intensity dependent short‐circuit current density (J_SC) and V_OC, and time‐resolved photoluminescence. The results provide reciprocal understanding of the charge generation process associated with Δµ_ge in all‐PSCs and suggest an effective strategy for designing π‐conjugated polymers for high performance all‐PSCs.     

一种用于UHF RFID的低压高效电源产生电路

介绍了一种为无源UHF RFID设计的高效高灵敏度电源产生电路.该电路基于0.18μm工艺,其中包含了两个电荷泵,一个参考电流源和一组偏置电路.由于其偏置电路消除了传统电路中的阈值损失和体效应,使该电路在低压下的电源转换性能得到很大的提高.要为100kΩ负载提供1.5V电源电压,所需最小输入电压为350mV,转换效率为22%.在负载为60kΩ时,最高可以获得29.8%的转换效率.仿真结果表明,新的电路结构比传统的电荷泵具有更优越的性能.