常用的基于控制流的测试充分性准则

本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。     

超级画板与几何画板操作简单性比较

几何画板软件以它强大的功能被广大使用者赞美。但是功能强大不等于使用简单。超级画板是为中国基础数学教育量身定做的软件,不仅功能强大而且使用简单。但是目前了解它的人还不多。本文从作分段函数、区域填充和角     

基于西门子PLC的ACCU轧机基础自动化系统设计与开发

该文介绍攀成钢180ACCU轧管机的基础自动化系统设计与开发,该系统采用基于西门子S7—400PLC的解决方案。文中描述了该轧管机组的工艺流程和控制系统的功能需求,并从系统选型、系统结构及软硬件配置、应用软件开发和功能特点等方面进行了详细阐述。该方案对同类型轧管机控制系统的设计与开发具有较高的参考价值。     

GPU加速的圆弧轨迹Katsevich锥束CT重建算法

通过改进GPU的渲染到纹理策略加速锥束反投影计算,提高了圆弧轨迹Katsevich锥束CT重建算法的执行效率.在CPU中完成投影数据的滤波处理,并将其重排为四通道浮点纹理载人GPU内存;绑定2个浮点输出纹理到帧缓冲对象的不同绑定点,用于将渲染结果输出到纹理,并同时完成反投影数据的累加计算;将矩形网格编码为四叉树结构用于加速物体切片的绘制.实验结果表明,文中算法在较大锥角时仍能重建出高质量图像,并获得接近于实时的重建速度.     

基于网格优化的隐式曲面自适应多边形化

隐式曲面多边形化是隐式曲面绘制的一种常用算法.基于网格优化的隐式曲面快速自适应多边形化算法,首先用多边形化算法生成一个粗糙的初始网格,再利用网格优化方法从网格顶点位置、规则性和网格法向三个方面对粗糙网格进行调整,最后根据网格的局部曲率用多边形细分策略细分优化后的网格.实验结果表明,该算法在网格生成速度和网格规则性上都胜于Marching Cubes的多边形化算法,恢复的隐式曲面能较好地反映形状特征.     

结合人脸关键点与光流特征的微表情识别

微表情能反映出人们试图隐藏的真实情感,光流法进行微表情识别时,存在易受光照变化影响而使特征提取不准确的缺陷。针对上述问题提出一种结合人脸关键点与光流特征的微表情识别方法,该方法通过引入人脸关键点分支以忽略光照的影响,弥补光流法的不足,重点关注人脸关键位置的变化,最终建立一个人脸关键点和光流的双输入网络模型。该模型在CASME II和SAMM数据集上使用留一法交叉验证进行了实验,在CASME II上四分类准确率和F1值分别为69.19%和66.24%,相比基准微表情识别方法本方法准确率和F1值分别提升了6.05%和5.44%;在SAMM数据集上也优于现有方法,说明该方法与其他主流算法相比具有更好的识别性能。     

空间站能源系统与新型电力系统的关系与启示

空间站能源系统和新型电力系统都是我国面向未来能源系统的重要应用场景。在关键技术方面,两者的系统结构均趋于复杂化、容量等级均趋于大型化、性能要求均趋于高可靠性和高安全性;与此同时,两者的内涵特征不同、电源类型不同、应用场景不同、技经重点不同。在此基础上,进一步论述两者彼此关系,从宏观战略来看,两者都是国家战略的组成部分;从技术路线来看,空间站能源系统是一种特殊、零碳排、微型的新型电力系统;从学术研究来看,2者都有众多值得开展科学研究的学术领域;从未来发展来看,两者在安全可靠性和技术经济性方面互有借鉴意义等结论。     

基于机器学习的配电网异常缺失数据动态清洗方法

针对传统配电网数据清洗过程中异常数据判断阈值需要人为设定、缺失数据填补效率不佳的局限性,提出基于机器学习的配电网异常缺失数据一体化动态清洗方法。首先,基于局部异常因子检测算法和高斯混合模型,提出一种异常数据动态检测改进算法,实现配电网异常数据阈值的准确自动选择。其次,基于随机森林算法与最小二乘回归法,提出一种配电网缺失数据动态填补算法。根据缺失数据时间长度自适应优化填补算法,在保证数据填补精度的同时降低计算时间。在此基础上,通过异常数据检测和缺失数据填补共同构建一体化动态清洗架构。采用湖南某地区配电网数据进行实例验证,结果表明所提方法可实现异常辨识阈值准确自动选择,有效检测配电网异常数据,并且实现缺失数据填补精度与速度的平衡,具有较好的工程应用价值。     

充气柜KEM-40.5双隔离结构的设计

随着许继KEM-40.5系列充气柜的大量推广与应用,客户对产品的功能需求也越来越高,其中包括双隔离开关结构的问题。针对目前充气柜KEM-40.5产品单隔离结构问题,通过对比分析单、双隔离结构的特性及原理,在不改变开关柜整体外形尺寸的情况下,在开关柜的出线路侧增加一组隔离开关,并妥善解决好三工位开关本体安装及气箱的干涉问题,还有合理分配带电显示器取电位置,以便捷高效解决整柜电气联锁等问题。将双隔离开关成功应用于实际工程案例中,为后续产品的升级改进提供了思路。     

隐私保护的群体感知数据交易算法

为解决群体感知数据交易模式下参与者数据隐私泄露的问题,提出了一种隐私保护的群体感知数据交易算法。首先,为实现对参与者的隐私保护,设计了基于差分隐私的聚合方案,参与者不再需要上传原始数据,而是按照任务需求对收集的数据进行分析和计算,将任务结果按照平台分配的隐私预算添加噪声后发送给平台;其次,为确保参与者的可信性,构建了参与者的信誉模型;最后,为激励消费者和参与者参与交易,在考虑消费者对结果偏差的容忍约束和参与者的隐私泄露补偿的基础上构建了交易优化模型以优化平台的收益,并给出了基于遗传算法的收益优化算法（POA）来求解该模型。仿真结果表明,POA不仅保护了参与者的隐私,而且在平台的收益方面相比于VENUS和DPDT分别提高了29.27%和20.45%。