思维逻辑转换与翻译

翻译和思维逻辑有极其紧密的联系。逻辑活动贯穿于翻译过程的始终。在翻译过程中,译者需要在原语和译 语间进行思维逻辑的转换。从三个层面上阐述了逻辑转换在翻译中的作用:逻辑对确定词义的作用、逻辑对确定译语 句子表达的作用和逻辑对从篇章结构角度检验译文的正误的作用。     

Atomic Electronic Contract Protocol Based on Convertible Signature

A new class of atomicity, namely contract atomicity is presented. A new technical strategy based on convertible signature and two-phase commitment is proposed for implementing atomicity of electronic contract protocol. A new atomic contract signing protocol is given out by using EIGamal like convertible undeniable signature and commitment ofconversion key, and another new atomic contract signing protocol is brought forward by using RSA based convertible undeniable signature scheme and commitment of conversion key. These two new protocols are proved to be of atomicity, fairness, privacy, non repudiation.     

试论词义术语化流程中的转换机制及语义特征

本文从分析科技术语的基本特点入手,深入讨论了术语体系中兼容语词的语义特征及其转换机制。从而为揭示词义术语化流程的基本规律提供了重要的依据。     

基于 Swin Transformer 和 Style-based Generator 的盲人脸修复

盲人脸修复任务是从低质量的图像（例如模糊、噪声和压缩图像）中恢复高质量的图像.由于事先不知道低质量图像的退化类型和退化参数,因此盲人脸修复是一个高度病态的问题,在修复过程中严重依赖各种先验指导.然而,由于面部成分和面部标志等面部先验通常是从低质量图像中提取或估计的,可能存在不准确的情况,这直接影响最终的修复性能,因此难以有效利用这些先验知识.此外,目前的主流方法基本都是依赖ConvNets进行特征提取,没有很好地考虑长距离特征,导致最终结果缺乏连续一致性.本文提出了一种改进的StyleGAN模型,命名为SwinStyleGAN,应用在高级视觉任务上表现出色的Swin Transformer来提取长距离特征,并通过改进后的类StyleGAN合成网络逐步生成图像.本文设计了一个空间注意力转换模块SAT来重新分配每个阶段特征的像素权重,以进一步约束生成器.大量实验表明,本文提出的方法具有更好的盲人脸修复性能.     

CIMS环境中全局信息系统的总体结构与设计

给出了CIMS环境中全局信息系统的总体结构与主要设计方案.在综合考虑现有应用的基础上,提出了具有唯一全局模式的关系型多数据库系统作为全局信息系统的主体.它能与面向对象数据库进行存贮级的信息共享,并具有开放数据库互联(ODBC)接口,可使用户像使用单库系统那样方便地使用多数据库系统.     

异构分布式数据库系统中的数据转换

提出３种实现异构分布式数据库系统中的．ＤＢＦ数据向ＳＱＬ表转换的有代表性的方法：软件工具转换法、客户端转换法、服务器转换法,并分析这３种方法的优缺点．     

捷联寻的制导弹药的新型卡尔曼滤波器设计

针对捷联制导系统的自身特点,设计出用于估计导弹和目标在弹体坐标系中相对运动状态的卡尔曼滤波器,使滤波与制导在同一个坐标系即弹体坐标系内进行,避免了信息在弹体坐标系和惯性坐标系之间的多次转换,从而减少了信息损失.仿真结果表明,该方法能够满足捷联制导系统的要求.     

IPSec在应用中与双向NAT的兼容方案

在广泛应用的基于IPSec的VPN系统中,为解决NAT出现给网络安全带来的复杂性,针对IPSec协议与NAT协议所存在的矛盾,并从VPN系统的角度提出了协作方式基于隧道接力的IPSec解决方案,从而解决了IPSec隧道穿透双向NAT的问题,最后进行了设计实现.     

跳帧转换编码中的运动矢量修正

在跳帧转换编码中,利用前向向量法进行运动矢量合成可以得到较好的图像信噪比。本文提出了用HAVS快速搜索算法对合成的运动矢量进行修正的方法,同时给出了一个最佳搜索窗口。实验结果表明,在±2像素内,用HAVS算法对合成的运动矢量修正,既能明显提高图像的信噪比,同时又能最大限度的降低计算量。     

利用TMS320LF2407及CAN-485B组建CAN控制网络

针对传统控制网络中主机与接口机之间采用RS232-RS485转换，线路节点之间采用RS-485通信的现状及实际应用的局限性，提出了一种在不改变原有节点通信协议的条件下，适用于复杂环境中的低成本通信网络改造的方法．系统分析了TMS320LF2407芯片及CAN-485转换器的特点及功能，具体介绍了网络升级的工作原理及软硬件设计，实际应用证明，本设计有良好的灵活性和实用性。