基于形式规格说明和分类树方法生成软件测试用例

介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。由软件的形式规格说明构造分类树，再把由分类树方法得到的测试用例转化为析取范式，进一步精炼测试用例。并通过一个实例说明测试用例的设计过程。     

移动无线传感器网络连通性自主恢复算法

无线传感器网络(WSNs)中关键节点故障会将网络分割成多个不连通的分区,给网络性能带来严重影响.而无线传感器网络往往布置在人工难以干预的偏僻恶劣环境中,网络连通性的自主恢复尤其重要.提出一种自主网络分区检测和连通性恢复(APDCR)策略,容忍无线传感器网络中关键节点的故障.APDCR首先基于1跳邻居和部分2跳邻居信息提出一种新的关键节点识别算法,然后给出关键节点的备用节点的选取算法和网络连通性恢复算法,最后扩展算法处理两个节点同时故障时网络不连通问题(2-APDCR).模拟实验结果表明了算法APDCR的有效性.     

光学玻璃中的气泡与电化学的关系

辅助电熔在普通玻璃熔窑中的应用,已取得了丰富的经验.但在光学玻璃熔窑中的应用仍具有一定的难度,使用辅助电熔后引起的电化学气泡,使玻璃质量下降.针对这个问题,作者曾在某厂光学玻璃熔窑上做了一些试验和分析,本文介绍了试验中所发现和解决的问题.     

疫情背景下Python课程在线教学实践与思考

特殊疫情背景下大规模完全线上远程教学模式,对高校师生的"教"与"学"都带来了严峻挑战。以Python程序设计课程线上教学为例,探讨了基于"SPOC+Python123+企业微信群"的完全线上远程教学组织和实施方案,以期为疫情等特殊情况下Python程序设计课程的线上教学组织和实施提供借鉴。整个学期的完全线上教学实践证明该教学组织和实施方案是切实可行的。     

考虑障碍的无线传感器网络连通性恢复策略

布置在战场、搜救现场的无线传感器网络往往会遭受大面积破坏,从而将无线传感器网络分割成多个不连通的分区,对网络性能造成很大影响。在这种人工很难干预的场景,无线传感器网络的自主恢复非常重要。提出一种考虑障碍的无线传感器网络连通性恢复策略（ OCRS）,利用可移动的无线传感器节点（ MDCs）在分区之间移动（收集网络数据）形成暂时的连通线路,在节点移动过程中,考虑路径上障碍。首先构建分区的基于障碍避免的最小生成树,然后优化移动节点的移动路径,最小化移动节点的最大移动距离和总的移动距离。仿真实验结果证实了OCRS的有效性。