基于地址重用的二进制翻译本地代码替换

二进制翻译中本地代码替换是实现消息传递接口（Message Passing Interface,MPI）并行程序跨架构移植的重要手段。通过调用本地代码实现库函数功能,本地代码替换技术保证功能的等价模拟。然而,现有的本地代码替换方法无法识别基于跳转指令实现的函数调用,导致MPI程序翻译运行出错。针对这一问题,提出一种基于地址重用的本地代码替换方法,通过向客户程序中目标函数的地址空间嵌入编码信息,将翻译系统控制流重定向至本地代码替换流程。实验结果表明,该方法能够正确处理基于跳转指令实现的函数调用,且相比于已有方法引入的运行时开销更低。     

SQL Server和国产数据库之间数据移植研究

首先分析了数据库在软件系统开发中的重要性,指出国产数据与国外大型数据库之间的差距,主要对SQL Server2000和国产数据库从数据类型、变量声明以及赋值、存储过程的定义、执行和部分SQL语句等几个方面进行比较、分析,以SQL Server2000和国产数据库-Kingbase Es3.1、Openbase等为例为它们之间的数据移植问题提出了解决方案.     

I386到Alpha动态二进制翻译中的代码缓存管理优化

动态二进制翻译是跨平台软件移植的最重要手段之一,如何对其进行优化,提高翻译效率一直是研究的热点。文章对I386到Alpha平台的动态二进制翻译进行了研究,提出了一种较好的翻译缓存管理策略,在FIFO的基础上将翻译缓存划分为两级进行管理。以QEMU动态二进制翻译器为实验平台进行测试,结果表明,采用此方法可以提升翻译速度约3%。     

I386到Alpha动态二进制翻译中的代码缓存管理优化

动态二进制翻译是跨平台软件移植的最重要手段之一,如何对其进行优化,提高翻译效率一直是研究的热点。文章对I386到Alpha平台的动态二进制翻译进行了研究,提出了一种较好的翻译缓存管理策略,在FIFO的基础上将翻译缓存划分为两级进行管理。以QEMU动态二进制翻译器为实验平台进行测试,结果表明,采用此方法可以提升翻译速度约3%。     

基于ARM处理器的μ COS-Ⅱ移植

嵌入式实时操作系统在目前的嵌入式应用中用得越来越广泛,尤其在功能复杂、系统庞大的应用中显得越来越重要,所以嵌入式实时操作系统在目标处理器平台上的移植是嵌入式软件开发的基础。本文主要介绍了μCOS-Ⅱ操作系统在基于ARM7处理器核芯片上的移植要点,并实现了源码公开的嵌入式实时操作系统μCOS-Ⅱ在ARM7处理器核上的成功移植。     

软件移植方法与操作系统仿真

本文以软件移植为线索，结合具体实践内容，探讨了异种操作系统平台下运用仿真技术实现应用软件移植的方法。     

面向网络客户的计算机翻译软件及实现技术

讨论了面向网络客户的计算机翻译软件技术，研究了常用的翻译软件技术：即译和全屏翻译技术，并且实现了翻译软件的编制．该软件在一般Windows平台，如Windows95／98／2000／NT等平台上，运行良好．     

系统级动态二进制翻译系统中访存异常的制导技术研究

访存异常的制导技术对可能引发异常处理的访存指令进行统计和分析,使系统级动态二进制翻译系统能够动态地生成优化后的目标代码.制导技术能够减少目标代码中保存上下文信息的操作次数,提高动态二进制翻译系统执行效率.文章对访存异常的制导技术分析并实现,并得到此策略提供的性能提升.     

面向网络客户的计算机翻译软件及实现技术

讨论了面向网络客户的计算机翻译软件技术,研究了常用的翻译软件技术:即译和全屏翻译技术,并且实现了翻译软件的编制.该软件在一般Windows平台,如Windows 95/98/2000/NT等平台上,运行良好.     

从接受美学视角探析诗歌翻译中的意象移植

诗歌是一种特殊的文学体裁,在诗歌创作中,意象又起着极其重要的作用。诗人往往通过生动的意象表达自己的情感,赋予浓缩的意象深层的文化涵义,因此,意象的翻译是一项具有挑战性的任务。接受美学是20世纪60年代兴起的一门理论,本文运用接受美学探析诗歌翻译中的意象翻译,同时赏析了许渊冲先生英译的《满江红》以及他在处理意象时的技巧。     

机器翻译软件异彩纷呈

本文介绍了近年来我国机器翻译软件发展的情况,特别是介绍了商品化的机器翻译软件,从中可以一览当前我国机器翻译软件研制的概貌。     

二元合金相图分析软件研究

设计了一种二元合金相图分析处理软件,可对二元合金相图进行数字化处理,还能实现数学与图形分析以及文字编辑。该软件精度高,使用方便,为采用计算材料科学方法研究空间材料科学问题提供了必要的软件支持     

翻译标准的回顾与前瞻

评析了翻译史上的几种重要的翻译标准,指出了翻译标准的优点和不足,阐释了对翻译前 景的见解,提出了开阔翻译标准研究的思路。     

模型检测与定理证明相结合开发并验证高可信嵌入式软件

首先将软件的UML状态机模型转换为模型检测工具MOCHA的输入语言REACTIVEMODULES,在MOCHA中进行正确性验证,利用模型检测工具针对错误情况给出的反例路径,尽早修改软件的UML设计模型;然后将已验证过的UML模型转换为定理证明工具B方法的抽象规约,利用B方法的精化、验证及代码生成功能,直接生成正确的C代码。并给出了从UML状态机到REACTIVE MODULES建模语言及B AMN抽象规约的转换规则。实验结果表明,该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。     

面向复用软件开发方法的比较与分析

为了将复用技术更广泛地应用到软件开发中，本文根据系统的建立方式对现阶段主要的面向复用软件开发方法进行了分类研究，概括出各自的特征，并比较了它们的优势和不足，最后对我国软件企业如何采用面向复用的方法提出了参考意见。     

CMM在军用软件项目管理中的应用

针对军队软件系统设计质量难以控制的问题,在参照CMM（CapabilityMaturityModel）的基础上,提出军用软件研制能力成熟度模型。该模型可为军用软件的项目管理标准提供技术支撑,为军用软件项目研发管理提供理论保障,降低军用软件研制风险,科学控制软件系统设计各阶段的财政支出,可推广应用到军事软件研制项目的实际开发中。     

软件配置管理在软件开发平台中的应用

介绍了软件组织设计及实施软件配置管理的方案,讨论了软件配置管理的基本概念,提出了一种基于CMMI实施配置管理的流程,重点讨论了配置标识、版本控制、变更控制等实践活动.然后,提出了一种集成软件配置管理功能的软件开发平台.通过在现有开发平台中引入文档管理,代码管理等模块,对软件的开发过程进行监督与控制,使软件开发过程满足CMMI二级的配置管理规范,实现了提高开发质量和效率的目的.     

钻井工程设计与工艺软件的发展现状

介绍国内外钻井工程设计与工艺软件特点.经过“十一五”科技攻关,国内已经开发出具有自主知识产权的钻井工程设计与工艺软件,初步解决了我国钻井软件长期依赖于国外软件的局面,基本满足国内油田钻井工程设计与施工分析的需要.