静态二进制翻译中间接过程调用恢复技术研究

间接过程调用的恢复问题是静态二进制翻译中的难点之一。针对使用c后端的静态二进制翻译框架,提出并实现间接过程调用恢复方法,该方法结合代码间隙分析,在后端c代码生成过程中插入映射源过程地址到目标机过程地址的代码。相对于使用解释器的方法,该方法具有实现简洁、在目标机上运行速度更快的优点。     

新型工业机器人语言及解释器设计与实现

工业机器人广泛应用于各行业自动化生产线上,为满足不同生产控制要求,需要具有一定的可编程能力.然而,现有的高级编程语言的很多高级特性在工业机器人中并未使用,且学习难度大,不适合作为现场编程语言.研究设计了机器人语言和工业机器人语言解释器,通过C语言开发实现.机器人语言设计基于现有的编程语言,针对工业机器人的控制要求加入特殊功能设计;解释器用于解释运行机器人语言,从而使工业机器人具有现场编程能力.     

数据库过程语言解释器的设计与实现

本文主要介绍了作者参与开发数据库过程语言解释器,在解释器的设计中借鉴了Java虚拟机和.NETCLR的思想。结合作者的经验,对解释器系统的设计技术与实现方法进行了一定探讨。     

高性能数控系统解释技术的研究与实现

针对高性能数控系统中解释器面临的要求,通过深入分析现有数控系统中解释器及与之交互的任务控制器的主要功能及实现方法,指出其在高速高精加工时存在的不足,在此基础上设计并实现了一种高效的NC代码解释机制;然后,对现有数控系统进行了基于STEP-NC的改造,提出了面向网络化制造STEP-NC数控系统的基本框架,并重点介绍了基于XML的STEP-NC程序解释器的设计与实现.     

面向网络化协同模板技术的模板设计标记语言

提出了基于XML、面向协同设计的模板设计标记语言———TDML,提炼了TDML的定义及特征,阐述了TDML的语法及语义,并介绍了协同模板可视化设计环境及其包含的有关TDML实现与设计的运行框架;针对该框架下的模板解释器及模板分割与复合、模板结构和参数分离与合并等操作模块进行了描述,给出了模板与可视化造型库的接口.最后以冷冲模与沙发为实例,验证了TDML在协同模板可视化设计系统中的有效性.     

基于CK610的Dalvik虚拟机移植与优化

研究Android系统专属的Dalvik虚拟机,分析Dalvik虚拟机的解释器、本地方法桥以及C库在CK610平台上的移植与优化。基于Dalvik虚拟机解释器的字节码分发机制,提出一种改进型Threaded分发机制,并实现硬件平台定制型MInterp解释器,实验证明该 MInterp解释器能使Dalvik虚拟机的运行速度提升1倍以上。     

最新反动态跟踪三技

反动态跟踪技术大致可分为两类.一类是针对现有的跟踪工具设计反跟踪方法,另一类是根据解密者的心理和能力产生的反跟踪方法.从理论上讲,任何软件的加密都是不彻底,但反动态跟踪技术的“奇”与“妙”,使跟踪者几乎不可能解读程序,或者所化的时间和精力大到得不偿失的地步,那么,反动态跟踪技术对软件的加密就是非常成功的.在此笔者介绍三种最新的反动态跟踪技术,以下这些程序片断是从用某著名软件加密系统处理后的软件产品中采集到的样品,但它们相对是完整的.     

用超文本视图进行数据库的网上发布

本文主要介绍了一种用超文本视图来进行数据库网上发布的机制。     

优化软件解释器变量式运算推理机制

针对优化软件可操作性不足的情况,基于属性提取的原理,提出了一种新的变量式运算推理机制．采用该机制的解释器将一个算式中所有符号的属性集中在同一个属性表中,通过该属性表可以实现变量式的全部运算．该解释器能够满足优化设计对于变量式解析法推导运算的要求．     

技战术脚本描述语言研究

对球类技战术脚本描述语言文法进行了详细的描述,并结合乒乓球技战术分析系统,设计了球类技战术脚本描述语言解释器框架。通过该描述语言解释器的开发类库中间件,能够通过继承或者二次开发的方式,实现一种新的球类技战术脚本描述语言的解释器;可以为球类技战术分析系统的统计及分析工作提供强大的数据支持,确保比赛分析与统计的准确性,起到辅助教练员指导比赛的目的。