基于程序执行轨迹的SoC软硬件划分方法

提出了基于程序执行轨迹提取加速模块的软硬件划分方法.利用热trace提取算法划分系统中关键的trace到硬件,使用分支断言构造原子执行单位,以较小的硬件代价获得较高的加速比.实验中,与采用模拟退火算法的指令级细粒度划分相比,获得的性能平均高9.6%,最终结果硬件面积小29%.

基于程序执行轨迹的SoC硬件加速模块提取方法

程序执行轨迹(Program executions trace,以下简称trace)是程序执行过程的指令流信息的记录,trace完整地记录了程序执行过程中所执行指令的内容和顺序。对于大多数程序,少数几个较短的热trace决定了系统的总体性能。本文提出了基于程序执行轨迹提取加速模块的软硬件划分方法。利用热trace提取算法划分系统中关键的trace到硬件,使用分支断言构造原子执行单位,以较小的硬件代价获得较高的加速比。在本文实验中,与采用模拟退火算法的指令级细粒度划分相比,获得的性能平均高9.6%,最终结果硬件面积小29%。

基于RobotStudio仿真软件的ABB工业机器人运动轨迹程序的设计

本论文通过RobotStudio软件对ABB工业机器人实现仿真操作,在建立的虚拟工作站中建立机器人的工件坐标,创建运动轨迹程序,并进行仿真运行和视频录制的设计和研究。该仿真为真实的ABB工业机器人进行运动轨迹的设计提供重要的依据,实现工作效率的大大提高。

基于程序运行轨迹Petri网模型挖掘的死锁检测方法

程序死锁检测对于保证软件系统的稳定性具有重要作用。动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究。然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及其执行场景进行准确刻画,从而会导致误报现象。针对该问题,提出一种新型的基于程序运行轨迹Petri网模型挖掘的多线程程序动态死锁分析方法。首先,捕获程序运行轨迹中各类并发原语对应的操作,并据此构建程序的Petri网模型;然后,将程序的死锁检测问题转化为程序伴随Petri网模型的死标识检测问题;最后,在传统可达树基础上,计算并扩充了可用于死锁重演的程序调度方案。所提方法能排除更多的误报,并给出一种确定性的死锁重演方案,可有效提高死锁检测的准确性。

线切割机床加工轨迹示教程序设计

本文给出了线切割机床加工轨迹示教程序的设计方法。该程序可将加工程序模拟成钼丝中心轨迹图形，并给出各尺寸的起点坐标。对已编制好的加工程序进行校核。

基于GEP的线性指数函数型程序不变量动态发现方法

不变量是用来描述程序运行时保持不变性质的逻辑断言.根据关系数据理论,程序不变量可分函数依赖型和非函数依赖型程序不变量.着眼于函数依赖型程序不变量,借助GEP的函数发现特点和Daikon对线性程序不变量的发现能力,重点对线性指数函数型程序不变量动态发现方法进行研究,通过实验证明了GEP对线性指数形式的函数有较高的发现效率,可以扩展Daikon在线性指数函数型程序不变量方面的预置形式以达到从程序轨迹数据中发现该类程序不变量的目的.

DSP程序异常的高效检测方法

由于嵌入式系统日趋复杂,程序的复杂程度也与日俱增,这导致程序异常跳转、数组越界、堆栈溢出等异常现象时有发生,但编译器以及专业的静态代码扫描工具无法发现此类问题。程序运行时一旦发生此类异常,往往会导致系统死机等严重故障,系统死机后,留给开发人员的有用信息一般很少,常常需要花很多时间及精力才能查出导致程序异常的具体原因,因此,开发一种高效的程序异常检测手段就显得十分必要。利用DSP软件编译器的插桩功能,可完整记录程序异常前的运行轨迹数据,通过分析这些轨迹数据可重建程序异常前的运行轨迹,利用这些信息,开发人员可高效地查出程序异常的具体原因。

数控系统C功能刀具半径补偿的研究与实现

文章对数控系统中刀具半径补偿的技术进行了理论分析,运用方向矢量完成C机能刀具半径补偿的建立,尤其是针对直线接圆弧的转接形式得出了其刀具补偿路径,并说明了程序轨迹的实现过程。

行波管电子光学系统CAD技术进展

介绍了行波管电子光学系统CAD技术的基本原理和主要方法,并对国内外的发展进行了综述,同时分析了当前该领域的发展方向,为我国自主开发行波管电子光学系统软件提供一些建议供同行们参考。

浅谈数控实习教学中的操作安全

近年来,国内人才市场供需结构发生了深刻的变化。一方面,本科以上的高学历人才呈现相对饱和的状态,高校毕业生已不再是"天之骄子",而另一方面,面向制造企业的技能型人才呈现供不应求的局面。越来越多的学生和家长对未来有着切合实际的看法:学一门技术,减轻就业难度。随之而来的就是中等职业教育在近年来的火热。制造业基础的数控专业得到迅速发展,而现行的数控专业一般是按原有机械专业教学模式进行的,随着制造业技术的发展,企业对数控机床操作工、编程员和维修人员的要求不断提高,同时对数控专业人才的培养提出了更高的要求。在数控教学过程中,如何能迅速的让学生掌握难懂的数控专业理论,又能保证学生在数控实习中保障个人安全及实习设备的安全。作为数控专业的教师,如何解决这些问题,一直是我们努力的方向。

UG/CAM在模具制造行业中的应用

论述了利用UG/CAM模块对快餐叉凹模进行自动编程,并借助软件完成在并联机床上的数控加工,通过这一过程的完成来展示UG软件的高效、实用、便捷及在模具行业中所发挥的巨大作用。加工结果显示餐叉凹模加工质量高,达到预期加工要求,表明利用UG生成的餐叉凹模刀轨是正确、合理的。

合理运用TRANSFOR功能减少编程工作量

CATIA软件中的TRANSFOR功能可进行程序轨迹变换的操作,合理利用该功能可有效减少编程工作量,本文对此进行了详细介绍。

全天候太阳能自动跟踪系统装置的研究

本文提出了一种全天候太阳能自动跟踪系统。在检测系统上,硬件方面使用实际的光电跟踪模型,软件上设置视日运动轨迹跟踪程序;在控制系统上,采用双轴跟踪的机械传动机构,通过驱动直流电机调整太阳能板的最佳位置,并通过传功装置实现单台电机带动整排太阳能电池板的联动;针对阴雨天和狂风天气控制系统做出一系列的预防措施。本装置旨在全天采光发电,结构简单、能耗低、效率高。

涂装机器人系统工艺调试过程简介

结合某2C1B免中涂工艺涂装线采用机器人喷涂的实际情况,介绍了涂装机器人的整体概况及其在涂装生产线的布局;着重从试验室喷涂工艺参数试验、仿形轨迹确认、涂装机器人各工艺参数校准及确认、喷涂工艺调试等方面说明了涂装机器人系统工艺调试的主要过程;对调试过程中容易出现的漆膜厚度不均匀、漆膜流挂和漆膜发花等问题进行了分析,并提出了相应的解决方案。