面向RTL的VHDL语言模拟系统设计与实现

设计并实现了一种面向寄存器传输级的VHDL语言模拟系统(RTL-based VHDL Simulator,RVS).介绍了RVS系统的处理流程和组成模块.RVS系统定义了面向寄存器传输级的VHDL语言子集,在编译阶段采用了一种基于递归的自顶向下语法分析算法,在模拟阶段采用了一种具有调试功能的基于进程的事件驱动模拟调度算法.RVS系统在Windows平台下用Visual Studio 2003进行了实现.实验表明,RVS系统对组合逻辑控制和微程序控制的SAP-CPU设计电路文件进行了正确地编译和模拟.     

基于信息摘要函数的文件完整性检测工具

文中在Microsoft Visual Studio 2005集成开发环境下,用C#实现了基于信息摘要函数的文件完整性检测工具.该工具使用CRC32、MD5和SHA1信息摘要函数,通过计算文件的数字文摘值,向系统管理员提供文件完整性检测功能,从而为发现入侵提供依据.实验表明,该工具在对多个文件的完整性测试过程中,计算出的CRC32、MD5、SHA1数字文摘值正确无误.     

基于赋权有向超图的云计算依赖任务调度研究

如何对依赖任务进行高效合理的调度是云计算急需解决的关键问题之一。对云计算环境下的依赖任务调度系统进行了形式化描述。采用赋权有向无环超图来构造依赖任务调度问题的数学模型,结点对应于依赖任务,有向超边对应于任务之间的执行先后依赖关系。将云计算依赖任务调度问题转换为赋权有向超图的优化划分问题,提出了基于多水平方法和赋权有向超图的依赖任务划分优化算法。设计并实现了基于多水平方法的云计算依赖任务调度原型系统。在CloudSim云计算仿真实验平台下,与Min-Min算法、Max-Min算法进行了对比实验,实验数据对比表明该算法在减少依赖任务执行时间的同时,优化了资源负载均衡性能。     

最小生成树算法的PAR方法形式化推导

采用PAR方法通过功能归约变换，形式化推导出可读性好、效率高的递推的最小生成树算法，简化了算法程序设计和正确性证明的过程，有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。     

小型风电塔筒检测机器人设计与运动性能分析

介绍一种小型爬壁机器人,用于风电塔筒的检测,以实现难以人工检测的风电塔筒的快速检测。对机器人的整体结构进行了设计,对机器人的吸附结构进行了计算和仿真。对机器人进行动力学分析,验证驱动力矩的计算结果。对机器人进行动力学仿真,确定驱动机构输出转矩的平稳性。通过实验验证了机器人能够在塔筒表面安全稳定地运行。     

基于结点匹配策略的赋权超图核值实验比较

分析赋权超图多水平粗化阶段的节点匹配策略,给出引入节点核值全局信息到超图的节点匹配过程,发挥节点核值导向性作用,改进仅利用边的权值、节点的度等局部信息进行结点选择的匹配策略,将图的核值理论扩展到超图,提出超图核值等相关概念及其形式化描述.基于ISPD98测试基准的18组超图,结合多水平粗化阶段的不同节点匹配策略,以节点的度和核值的最大值、累加和、分布密度为评估指标进行对比实验.结果表明,与传统节点匹配算法相比,该核值更能反映粗化节点在每组水平层粗化超图中的重要程度.     

局部二进制特征描述算法综述

为引起更多机器人视觉领域的研究者对局部二进制特征描述算法进行探索和讨论,并推动局部二进制特征描述算法在图像匹配、目标识别和机器人导航等领域的应用,系统的综述局部二进制特征描述算法的发展过程以及研究进展。首先简要概述浮点型的特征描述算法,并指出研究局部二进制描述算法的必要性;然后详细的介绍基于手动设置的经典二进制描述算法及其改进方案,深入分析基于优化学习的二进制特征描述算法的优势和缺陷;最后对局部二进制特征描述算法存在的问题进行讨论,强调将当前深度学习理论与局部二进制特征描述原理相结合的重要性,同时随着深度学习理论的引入,局部二进制特征描述算法必然会更加适合机器人系统开展反恐防爆、核电安全、太空探索等特殊环境下的图像匹配和目标识别任务。     

基于FDM/FEM耦合的铸造热应力分析

使用华铸CAE铸造模拟软件模拟铸造过程的温度场,通过自主开发的温度转换模块,将华铸CAE计算的温度场结果转换为有限元温度载荷,并加载到ANSYS的有限元模型中,进行铸造热应力分析.使用ANSYS中的接触单元处理铸件与铸型之间力的相互作用,对典型应力框试件进行了热应力分析,并与自由收缩模型的计算结果进行了对比.结果表明,采用接触单元法的计算结果更为准确.     

XDL网表的前向电路图生成算法

作为描述FPGA（Field Programmable Gate Array）电路网表的XDL（Xilinx Design Language）描述文件，不仅能用于解析抽取FPGA设计的Inst电路单元和Net电路信号，而且能用于构建FPGA电路网表中信号传播的前向电路图模型。采用有向超图来构建FPGA电路网表中信号的前向拓扑关系，其中FPGA电路单元的有效管脚表示为超图结点，管脚间的外部连线、管脚内的电路逻辑功能表示为有向超边。给出了XDL网表级电路描述文件编译所需的EBNF表达式，提出了基于有向超图的XDL网表的前向电路图生成算法，进行了算法的时空复杂度分析。在Windows平台下基于RapidSmith开源软件实现了前向电路图生成算法，并选用基于Virtex-4型号FPGA测试用例的XDL网表，生成相应的前向电路图以验证XDL网表的前向电路图生成算法的正确性和有效性。