翻译活动的关联理论视角

从关联理论的视角来审视翻译活动，把翻译视为交际的下义范畴，一种书面的言语交际形式，作为交际活动的翻译，当然要考虑原语作者的意图和译语接受者的期待，因此，译者应从原主的理解开始，从原语作者明示的交际行为中进行推理，并寻找出最佳关联，使译语的表达尽可能向原语的暗含靠近，让译语和原语在语用上达到最大程度的等效。     

基于组合设计方法的安全支付协议的设计与验证

针对银行、商家和客户对电子支付协议提出的11条安全需求,应用组合设计方法设计一个新的安全支付协议,并用SMV工具分析新协议的原子性.新协议满足指定的安全需求和电子商务协议的原子性要求,实现了电子商品和实物商品在线支付的设计目标,适用于多个客户和商家对同时进行交易.     

HLA仿真中基于动作语义原语的三维模块化方法

在基于HLA(High Level Architecture，高层体系结构)的仿真应用中，为了提高系统的可扩展性和可重用性，我们将仿真的底层通信和上层的模型控制框架、三维图形绘制分离开来，形成独立的模块，主要围绕三维图形绘制展开，首先分析了由于三维模块化带来的语义信息的丢失，然后针对这一问题，对实体及其属性进行分类，定义了一种动作语义原语来实现实体属性语义的映射，从而屏蔽了不同实体属性之间的差异，同时给出了一个基于语义原语的程序框架结构；最后，以具体的实现为例说明这种方法的可行性。     

英汉语跨文化翻译的基本原则与方法

在探讨了翻译化障碍产生的根源的基础上，讨论了英汉语跨化翻译的基本原则与方法，并提出应遵循化翻译基本原则，在翻译实践中可将原语本至少以两种形式翻译出来。     

H.323协议下视频会议系统的多点控制方案设计

对H．323协议进行简要介绍，提出了一种建立在主席控制机制基础上的视频会议系统多点控制方案．论述了该方案的设计原理及其软件实现．实验结果表明，该方案能够对视频会议系统进行有效的多点实时控制．     

分布式操作系统中操作原语的应用——谈谈互斥与条件同步在P、V操作中的区别及如何运用P、V操作原语实行n个进程同步

本文在分析互斥与条件同步两个模型的基础上,指出了P、V操作在两者应用中的区别.又在分析两个进程同步原理的基础上,把P、V操作推广应用到如何实现n个进程同步,并指出实现n个进程同步可能出现的问题及其解决的方法,从而达到合理共享资源的目的。     

同步互斥机制中的读者-写者模型

对进程同步互斥机制中读者-写者模型的3种常见类型及其2种变形进行了分析,给出了各种情况下基于P、V原语和信号量机制的解决方案,最后指出了解决这类问题的关键技术在于:采用资源计数变量把对资源的访问控制转换为对变量的访问控制.     

扩充KQML语言及其在拍卖协议中的应用

首先介绍了KQML语言和拍卖协议模型的基本概念 ,对常用的几种拍卖协议 (一对多和多对多 )、拍卖协议中的KQML扩充原语及语义和扩充KQML原语在拍卖实例中的应用进行了具体分析 ,并对一对多拍卖形式中的几种拍卖过程进行了描述 ,分析中假设有多个投标人Bi 参与的拍卖 ,拍卖人用A表示 ,拍卖协议用English模式。     

英文电影字幕翻译实证研究

英文电影是东西方文化交流的重要形式。近年来,我国对英文电影的进口逐步增多,但对其字幕翻译存在一些不足。字幕翻译具有自身特点,翻译时应采用一定的策略,注意一定的翻译方法。加强对英文电影字幕翻译的研究,对促进东西方文化交流具有一定的积极意义。     

基于XQuery数据模型的XUL语言的定义和实现

以W3C关于XML查询语言的推荐标准XQuery数据模型为基础,定义了XML(eXtensible Markeup Language)文档更新粒度,设计了XML文档更新语言XUL,对删除、重命名、前插入、后插入、追加和替换6种更新子操作进行XQuery语法形式的描述,并通过示例表述了更新操作的语义,同时考虑了有序和无序文档.最后提出了一种基于关系数据库存储策略的XML文档更新的实现架构,在Kweelt系统基础上实现了XUL定义的更新操作.