基于FPGA的硬盘控制与加密

本文介绍了硬盘接口和工作原理.提供了一种FPGA实现ATA协议的方式.并且对协议的时序进行了分析和实现.最后详细介绍了存储和加密两个模块的具体实现并且通过数据显示进行了验证.较之传统接口驱动设备,该方案中.硬盘初始化.存储.格式化等功能完全可以脱机使用;另外只需通过USB接口芯片与计算机的USB接口相连.就可以在计算机界面上完成读取.加密等功能.具有很强的实用性和灵活性.     

锌/铝二元体系中溶解现象的分子动力学模拟

锌,铝和锌铝合金之间的溶解作用常见于钎焊,热浸镀和涂覆过程,如在制备Galfan、Galvalume镀层钢的过程中。工件如要通过预制的涂层来在获得良好的抗腐蚀性能,需使镀层材料中的锌和铝之间良好的润湿,本研究工作探究了在不同的Zn-Al二元合金体系中,影响锌和铝溶解程度的几个关键因素。我们研究动力学影响因素融入分子动力学模拟当中。原子尺度下的溶解润湿现象通过LAMMPS来模拟,在其中包含了Zn-5wt.%Al和Zn-6.8wt.%Al (Zn-15at.%Al)液态合金在Al(100),Al(110),Al(111)固体基板上润湿的模型。通过改变温度,提升Zn,Al之间的原子百分比,发现升高温度,提高液相中的Al含量可以促进Zn-Al组元的溶解。同时,本工作也通过分析表征溶解参数的变化,研究了温度,Al含量对溶解部分体积和扩散系数大小的影响。     

求解分配问题的一种杂交算法

一引言分配问题,也称为线性分配问题或匹配问题,是将一些实体分配到相同数目的一些位置,旨在找出使目标函数最小的分配方案。分配问题是典型的组合优化问题,它在许多方面得到了广泛的应用。例如:工作分配、作业调度、设备摆放、印刷电路板设计以及计算机领域等。     

一种网络化能耗采集和耗能设备运行精细化节能管控系统的设计

针对目前许多大楼需要实时了解设备运行状况,实时掌握能源消耗状况的需求,设计了一套网络化能耗采集和耗能设备运行精细化节能管控系统。系统不仅可以作为i-bus的补充,而且也可以独立运行使用,可为需要提高节能效率和设备安全运行水平的智能控制系统设计提供参考。     

冷板集装箱传热系数的非稳定测试

本文介绍了用非稳定法对我单位研制的冷板集装箱传热系数进行测定时所使用的计算公式、测试过程及结果,并将之与热稳定法所测结果进行了比较,分极了两者误差较大有原因。     

铁路冷藏运输技术的发展

扼要介绍了我国铁路冷藏运输的发展现状与趋势,分析了市场经济条件下对冷藏运输的新要求,提出了发展我国铁路冷藏运输技术的策略,重点研究了冷藏运输工具的发展问题。     

基于FPGA的运动目标检测系统

视频图像处理要求高速运算能力,在处理技术不断提高和算法复杂度不断提升的情况下,并行处理的可编程逻辑器件的高速运算能力和可重复执行多任务的特性在视频图像处理领域得到了极大的发挥。与传统的串行处理DSP芯片为核心器件的视频图像处理方案相比,单片FPGA芯片和嵌入其内部的NiosII软核处理器不仅能够达到运算速度的要求,而且成本更低、设计更简单。系统由I2C模块、视频译码模块、存储模块和检测模块组成,模块之间由Avalon总线链接。系统基于QuartusII、MATLAB和ModelSim软件工具设计与仿真,实验结果表明能够达到预期的要求。     

Moore机表示的系统迭代设计动态CTL模型检验的不变性研究

模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验,动态模型检验过程中遇到的最严重问题之一是模型变化所带来的重复检验代价太高。因此,寻找不变性以避免重复检验显得尤为重要。不变性是一种贯穿系列模型检验而保值为真的性质。该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。     

分布式时延范台坡方程的Hopf分岔

分析了分布式时延的范台坡方程,将平均时延作为分岔参数,证明了模型经历了Hopf分岔过程,用图示Hopf理论获得了判定分岔周期解的稳定性和分岔方向的准则。并应用数字仿真的例子证明了理论分析的正确性。     

电视节目存储格式与设备选型

本文分别针对非线性编辑系统、播出控制系统、媒资高码归档存储系统、媒资低码浏览检索系统、多媒体系统等,探讨视音频存储系统可选择的存储格式和设备选型。