一种使用帧间差值的图像传感器片上视频压缩算法

为了减少图像传感器视频数据的输出,提出了一种通过编码相邻两帧之间差值的无损视频压缩算法.算法首先将基于差分脉冲编码调制原理的差分操作在模拟域实现,减小了电路的复杂度.然后两帧之间的差值被基于块的无损压缩方案编码.实验结果证明,压缩后的图像数据可以被无损失的还原.通过对7个具有代表性的8位深度1280×720@60 fps的样本视频进行测试,在块大小为4×4和模式切换阈值为63时实现了最佳的压缩效果.在几乎没有光的条件下压缩率高达78.5％.在复杂运动场景下该算法压缩率为43.5％.提出的压缩算法更适用于长时间处于静止场景的视频录制.     

代码搜索方法研究进展

开源软件的成功推动了软件产业的蓬勃发展,大量代码资源为代码搜索创造了条件.如何通过代码搜索技术找到需求代码成为一个重要问题.为了更好地推进后续研究工作,首先对代码搜索相关概念及研究趋势进行介绍和说明;其次对使用不同技术的代码搜索研究工作进行综述,包括基于信息检索、查询和代码描述增强、程序特征分类以及深度学习等方面,并进一步总结归纳不同方法的优缺点;接下来针对代码搜索技术所应用的多个领域进行介绍,包括程序合成、代码推荐与补全和代码风格改善等方面;最后分析现阶段代码搜索面临的主要问题,为未来该方向的发展提供一定的参考与建议.     

模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

轴类零件NC自动编程及加工仿真系统

数控自动编程是当前数控加工中编程方法的主流，它具有编程速度快、周期短、质量高、使用方便等一系列优点。文章主要研究轴类零件计算机辅助编程及仿真系统，它集成了数控加工仿真模块，可以检测输出代码的正确性，从而提高编程质量，减少出错率，加快编程速度。     

Evaluation and testing of a fracture critical bridge

The I-40 bridges over the Rio Grande in Albuquerque, New Mexico were due to be razed in the fall of 1993 due to geometry and traffic safety considerations, thus providing a unique opportunity for testing them. These medium span steel bridges represent a common design in the US and are classified by AASHTO as non-redundant ‘fracture critical’ two girder steel bridges (fracture critical classification means that failure of a primary member would probably cause collapse of the bridge). The subject bridge, built in 1963, is a 1275 foot (600m) bridge, and consists of three medium span continuous units with spans of 131′-163'−131′ each. The bridge was field tested to determine the impact of a near full depth girder fracture on the redistribution of loads, the load capacity, and the potential for collapse. Four levels of damage were introduced in the middle span of the north plate girder by making various cuts in the web and the flange of the girder. The final cut resulted in a six foot deep crack in the 10ft deep girder, extending from the bottom flange to the floor beam to girder connection. Data was taken under dead load and under a static live load consisting of an 82 000 lb truck. The after fracture response and the load redistribution in the fractured bridge were evaluated. The contribution of the different members to the redundancy of the structure was assessed.     

电火花线切割机3B指令可视化软件的开发

开发了一种基于VBA平台、AutoCAD驱动的3B指令可视化软件，介绍了该软件的功能与开发工具的选择，阐述了软件的设计过程。实践证明该软件有助于提高3B指令编程的正确性与效率。     

Real-time nonlinear MPC and MHE for a large-scale mechatronic application

Progress in optimization algorithms and in computational hardware made deployment of Nonlinear Model Predictive Control (NMPC) and Moving Horizon Estimation (MHE) possible to mechatronic applications. This paper aims to assess the computational performance of NMPC and MHE for rotational start-up of Airborne Wind Energy systems. The capabilities offered by an automatic code generation tool are experimentally verified on a real physical system, using a model comprising 27 states and 4 inputs at a sampling frequency of 25 Hz. The results show the feedback times less than 5 ms for the NMPC with more than 1500 variables.     

基于速龙码的WSNs传输功率控制重编程协议

为了降低节点能耗,提高能量的利用率,提出了一种高效节能的基于速龙码（ RC）的传输功率控制（ RC-TPC）重编程协议。该协议分两个阶段完成数据传输,第一阶段各个节点更新自己的位置信息,形成最优化的拓扑结构。进入第二阶段后,根据优化的拓扑结构通过调整发送节点的传输功率和中继节点的累计选择次数,Sink节点选择适当的中继节点,使中继节点的传输功率和RC的开销达到最优化。此外,RC的编码方式使传输数据包发生的错误概率更小,减少了重编程过程中的冗余以保证网络负载的均匀分布,有效地实现了高效节能,从而提高整个网络的生存周期。理论分析与实验结果表明：与MNP协议和ATPC协议相比,RC-TPC协议用于传输的平均能量消耗降低17.2%。     

LDPC码在基于FH-FSK的AUV水声通信系统中的应用

水声信道严重的多途干扰和频率选择性衰落,将增加水声FH-FSK系统的平均误码率.此外,由于自主式水下交通工具(AUV)平台的运动特性,接收信号易产生时间选择性衰落,在接收端产生成串的突发错误甚至导致通信的中断.以上两方面因素将降低移动FH-FSK系统的可靠性,针对此问题,将多元低密度奇偶校验(LDPC)码与FH-FSK系统相结合,提出了一种基于多元LDPC码的水声FH-FSK系统.对比了基于二元LDPC码的FH-FSK系统与基于卷积码的FH-FSK系统的抗干扰性能,实验结果表明:前者具有更强的抗干扰能力.对比了基于多元LDPC码的FH-FSK系统与基于二元LDPC码的FH-FSK系统,仿真与实验结果表明:基于多元LDPC码的FH-FSK系统具有更强的抗干扰能力,可以进一步提高FH-FSK系统的可靠性.