互模拟准局部验证算法的扩展与实现

互模拟是并发系统的分析和验证的一个重要概念。本文主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统。我们用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法。我们以VLTS为实验数据基准,进行大量的实验,发现在大多数情况下,前者的性能比后者更好。同时,我们修改了算法使其能够验证模拟关系。最后,我们用Java实现对标记迁移系统进行转换,使算法同时可以验证弱互模拟关系。     

基于云台的视频无线传输系统设计与应用研究

现阶段,无线通信技术和视频压缩技术都得到了快速发展和应用,无线视频传输成为了研究热点。目前的无线通信技术多种多样,包含蓝牙、无线局域网、Zigbee技术等,这些技术应用都能实现无线视频传输,对视频信息实施压缩编码。文中基于云台的视频无线传输系统设计及应用,为视频无线传输提供了一些思路和参考。     

钠与水反应的实验改进

钠与水反应的实验是高中化学的重要的实验之一,但是现在人教版化学必修一第四章金属及其化合物第一节金属的化学性质中钠与水的反应实验装置存在以下不足:课本中的实验虽然这样可以很明显地观察到实验现象,但是无法收集气体,并验证该气体是氢气.针对这点不足,笔者使用ML-1微型实验仪器对这个实验进行了改进.     

一种异构系统间的通信平台的设计与实现

在各监控系统中同时存在着多种操作系统和多种通信方式,如Windows、Linux、Unix,串口通信、网口通信等。如何屏蔽操作系统以及通信方式的差异,使通信过程对上层用户透明,是重要的问题。文章提出了一种分层式的通信平台设计方法,即将通信平台分为通信底层和通信代理层。通过这种方法的使用可以将上层应用与底层通信分离开来,既能使上层应用关注其应用逻辑,又能高效、安全地实现跨平台的数据通信,使上层应用系统的通信更加方便,很好地解决了异构系统间的通信问题。     

汽车智能传感器自动测试系统的设计和建立

NOx传感器的开发是出于对环境的保护,它用于检测汽车尾气排放的氮氧化物浓度。在传感器的开发过程中,传感器输出信号的自动测试是一个重要的步骤。设计了一种基于LabVIEW的友好的用户测试软件,用于传感器数据的实时测试、评估和错误检测,该数据通过CAN总线传输。CAN总线是汽车领域中应用最广泛的通信协议之一。基于LabVIEW建立的自动测试系统具有配置功能、CAN总线数据帧的显示和解码、CAN总线错误的检查、解码信息的测试和评估、报表的生成、信号的设置和验证等功能。