“网络工程”实践课程的教学研究与探索

作者结合自己多年的教学实践,探讨了教学内容、教材编写、教学方法、实验内容以及考评方式。经实践证明效果良好,形成了自己的特色。     

正确使用汉字dBAsE—Ⅲ日期型字段的多重索引

本文简要地介绍了笔者在实际工作中发现的汉字dBASE—Ⅲ的日期型字段在多重索引过程中出现的错误,并在分析了错误原因的基础上,提出了切实可行的解决办法。本文还就如何实现日期字段的降序索引进行了说明,并给出了实例程序SSSD·PBG。希望本文能对大家的工作有一点帮助。     

上海杨浦大桥主桥竣工测试

上海杨浦大桥于一九九三年九月建成通车。在开放交通前对杨浦大桥主桥进行了恒载索力测定、静力加载试验、动力加载试验和桥梁自振特性测试等一系列测试工作。本文扼要介绍杨浦大桥竣工测试的情况，主要测试结果。     

基于深度残差学习的自动驾驶道路场景理解

随着道路场景理解技术的快速发展，自主驾驶领域取得了长足的进步。在相关任务中，包括道路分割、分类和车辆检测的实时性和准确性是安全性的一个关键问题。为此，提出了一个具有编/解码器网络结构的基于深度残差学习的方法。一方面，编码器网络结构使用不同层次的残差网络来提取高维中的抽象特征，这些特征在接下来的三个任务中共享使用；另一方面，解码器网络结构采用一种子任务的并行计算机制，即道路分割、车辆检测和道路分类任务同时执行。此外，全卷积神经网络用于对提取的图像特征进行上采样以解决道路分割问题。最终，实验结果表明在保证高精度的前提下处理帧率可达到15 fps以上。     

机器人碰撞检测方法形式化

为应对更为复杂的任务需求,现代机器人产业发展愈发迅猛.出于协调工作的灵活性、柔顺性以及智能性等多项考虑因素,多臂/多机器人充分发挥了机器人的强大作用,成为现代机器人产业的重要研究热点.在机器人双臂协调运行当中,机械臂之间以及机械臂与外部障碍物之间容易发生碰撞,可能会造成财产损失甚至人员伤亡.对机器人碰撞检测方法进行形式化验证,以球体和胶囊体形式化模型为基础,构建基本几何体单元之间最短距离和机器人碰撞的高阶逻辑模型,证明其相关属性及碰撞条件,建立机器人碰撞检测方法基础定理库,为多机系统碰撞检测算法可靠性与稳定性的验证提供技术支撑和验证框架.     

低噪音视频图象采集系统电源设计

视频图象采集系统的电源设计十分重要,如果电源电压的纹波稍大,将严重影响视频A／D芯片的正常工作,分离出的行同步信号也会发生跳变,这些都将使A／D芯片的精度下降,造成图象包含雪花、水印干扰,图象模糊不清。为解决这个问题,介绍一种低噪音的电源方案。实际使用表明：采用新的电源方案使整个系统的稳定性明显提高,且可推广到其它数据采集系统。     

基于密度的离群噪声点检测

针对三维扫描仪获取的带噪声和离群点的点云数据,提出了基于局部离群点概念的去噪算法。通过k-近邻(KNN)搜索建立散乱点之间的拓扑关系,进而计算当前测点的局部离群因子以衡量该点的离群程度,从而限制噪声并剔除离群点。重点解决了高密度扫描点云周围分布的低密度离群噪声点的识别问题。实验结果证明,该算法能有效检测出紧挨模型边界的噪声点,并最大限度地保持模型边界。     

用LTL模型检验的方法验证SpaceWire检错机制

SpaceWire是应用于航空航天领域的高速通信总线协议,对SpaceWire设计正确性与可靠性要求极高,由于传统的验证方法,存在不完备性等缺陷,对SpaceWire的严格验证一直是备受关注的问题之一。模型检验以其验证的完备性得到设计人员的重视。提出用线性时态逻辑（LTL）模型检验的方法验证SpaceWire系统的检错机制。在检错模块中,该方法与用分支时态逻辑（CTL）验证方法相比,BDD分配数和状态数明显减少,提高了验证效率,还验证了错误优先级;对检错模块处理的五种错误的发生进行验证,验证结果均为正确。该方法实现了对检错机制的完备性验证。     

超级电容建模现状及展望

介绍了超级电容的特点和工作原理,从物理结构,电气特性以及阻抗特性三个方面对现有的超级电容应用模型予以概述,给出了各类模型的建模依据;分析了各类模型的特点及其优缺点;阐述了各类模型的适用范围。最后,结合超级电容在实际应用中出现的问题,展望了未来超级电容建模的发展趋势。