机车车载漏电流数字传感器研究与应用

介绍一种机车车载漏电流数字传感器的研究与应用,在模拟漏电流传感器的基础上,经数字化改进而实现.硬件设计采用ARM平台,在分析系统原理的基础上,完成了硬件系统和软件架构的设计,完成了单线和双线的模拟实验.经模拟实验验证检测准确、反应快速,通信采用CAN总线安全可靠.在实际测量中,验证了模拟实验的正确性,设计可行.     

基于STM32平台的CAN总线车载式漏电流数字传感器

介绍一种基于STM32平台的CAN总线车载式漏电流数字传感器的设计。在高精度模拟漏电流传感器的基础上,采用CAN总线进行数据通信,在目前高端的、低功耗、小系统设计处理器Cortex—M3(STM32)上经数字化改进而实现。该漏电流数字传感器经实验验证检测准确、响应快速、数据通信安全可靠,是目前一种先进的车载式漏电流数字传感器。实际使用时,由多个漏电流数字传感器与一台计算机互接,构成一个多点的漏电检测网络,最终实现漏电检测的综合处理。     

安全关键系统的栈空间分析研究

由于存储空间异常引起的系统故障,系统开发或维护人员很难从失效特征直接判断到根原因。另外,存储空间异常通常会引起整个系统崩溃,对于安全关键系统,如航空电子系统,系统的失效往往会引起坠机或人员伤亡,因此,对安全关键系统的空间分析显得尤为重要。由于系统栈空间的分析涉及系统动态运行状态,在程序的任意点都有可能被中断服务程序或实时操作系统的其它任务中断。此外系统的栈分析需要基于目标码等特性,再次增加了对于系统栈空间分析的难度。本文从栈空间分析的必要性出发,提出一种综合中断抢占图的栈分析理论和方法,并就安全关键系统如何保证栈空间使用的确定性进行论述。最后,就安全关键软件系统FCOS的栈空间分析过程进行详细的阐述。     

MACROPROCESS OF PARTICLE FORMATION IN SUSPENSION POLYMERIZATION OF STYRENE WITH INORGANIC STABILIZER SYSTEM

The macroprocess of particle formation from suspension droplets of styrene in a pdymerizationsystem was investigated.Inorganic hydroxyapatite or its mixture with polyvinyl alcohol as thepolymerization system was used.Those items such as the effects of the Weight fraction of dispersed-phase,the amount of the inorganic stabilizer and the agitation speed on the breakup and coalescence of thetransient dispersed drops etc.Were examined.Results showd that the dynamic behavior of the transi-ent polymer droplets changed in the presence of the suspension stabilizer during the reaction.     

国产软硬件环境下图像组织浏览构件设计

针对在国产软硬件环境下,应用系统读取、浏览大量图像数据的速度慢问题,设计了图像组织浏览构件。通过改进图像组织方式,将基础影像和目标对象图像分开组织管理,并对目标对象图像的属性和分层、分类进行探讨,实现图像信息的快速展现。对图像组织浏览构件进行了插件化设计与实现,利用QT跨平台开发工具,实现了应用集成框架,并通过实现统一集成接口,进行各业务插件的集成。     

基于不可分小波分解的图像配准方法

张量积小波强调的是图像中水平和垂直方向的高频信息,而不可分小波具有各向同性,可以提取图像中各个方向的边缘,能获得比较完整的图像轮廓,将这种特点应用于图像配准时,能准确定位图像仿射不变点的位置。为此,提出一种通过求取不可分小波分解后的高频子图像配准参数来配准原图像的方法,把图像的配准问题转化为其不可分小波分解后的高频子图像配准问题。从不可分小波分解的快速算法理论出发,证明该配准方法的正确性。构造一组四通道不可分小波滤波器组,在此基础上给出配准的方法和步骤。实验结果表明,该方法具有较好的配准效果,其求取图像配准参数的运算量比直接求取原图像配准参数运算量的1/4还少,与基于张量积小波分解的图像配准方法相比,具有较高的配准精度。     

BitTorrent网络节点间流量的数据采集和分析

BitTorrent网络流量占据了互联网总流量的很大比例,吸引了大量专家学者的专注,然而现有实测工具无法实时记录BT网络中节点间的流量交互情况,有关真实BT网络中节点间流量的研究很少。建立了一个BT网络节点间流量的数据采集系统,将其部署在全球性实验平台Planetlab之后得到了真实数据,并验证了数据的正确性。通过对实测数据的分析和研究发现:(1)Tracker服务器在为各下载节点随机返回邻居节点列表时会受到各节点入网时间的影响;(2)50%以上的下载节点从种子处下载的数据为零,大部分下载节点的数据下载对种子的依赖性不大,从而深刻地体现出P2P应用模式的优越性。     

低熵图像序列无损压缩

大规模的云渲染技术带来了大量的三维图形渲染数据。为了减小集群渲染产生的图像序列数据的传输以及存储代价,针对渲染图像序列低熵的特点,基于字典编码技术提出了降低数据局部复杂性的无损数据压缩方案。该方案通过数据重排技术来大大提高数据的局部冗余度,从而提高数据无损压缩效率。为了进一步解决大规模图像序列的压缩耗时问题,提出了一种云计算平台上的分布式图像压缩处理方案,充分利用现有云计算中Map/Reduce计算模型实现了分布式编码方案。实验结果证明,对于渲染产生的大规模低熵图像序列,提出的方案能够有效提高编码率并减少编码时间。     

基于双矩形框标定的改进TLD算法

鉴于基于单个矩形框标定的Tracking-Learning-Detection(TLD)算法无法兼顾跟踪目标的"重点性"和"完整性",提出了一种基于双矩形框标定的改进算法。在标定整个目标区域的矩形框的基础上,算法在目标变化相对稳定的区域标定另一个矩形框,以指示跟踪的重点区域。在提取跟踪点时,采用分配权重的方法使重点区域产生更多的跟踪点,从而提高算法对局部变化的适应能力。实验表明,改进后的算法在跟踪局部保持稳定而其余部分有所变化的目标上有较高的性能提升;而对于不存在稳定局部区域的目标,跟踪效果没有明显改善。     

Web交互模型的形式化验证研究

Web交互模型的形式化验证是对Web事件属性进行校验的十分可信的方法。通过一系列的系统模型建立、系统行为分析以及对于模型中关心属性的相关验证,能够让交互模型在设计阶段就能使形式化模型暴露出其所存在的缺陷,而不至于让缺陷保留到编码阶段或者更后面才能被真正地暴露出来,这样使系统模型的生存能力更加强大,同时避免了因后期缺陷暴露而出现的大代价修复。通过对Web系统的交互应用服务的过程模型化的体系进行研究,通过模型本身具有的属性进行相关正确性的校验,主要通过使用数学推理实现系统逻辑上的服务交互进程,从而进行过程的推演,并对系统服务的正确性进行过程的形式化验证,从而使系统服务模块的属性正确性可以通过逻辑上的演进来发现服务问题的存在,而不再是系统通过编码实现后才发现。对Web交互模型的形式化验证是基于IMWSC模型语义形成的IMWSC模型的验证机制。