常识与逻辑是检验译文质量的重要依据

在把一种语言形式翻译成另一种语言形式的过程中，如何把握译文的质量，这一直是翻译界讨论的问题之一．本文根据一些公开出版物中的实例，作了一些有益的探讨，提出了可行性的建议，可供翻译教学和翻译工作者参考．     

中子管桌面实验台及其应用

报道一种模拟中子管工作状态的实验装置和方法，可以在动真空和静真空条件下较准确地选择中子管关键部件的尺寸，为中子管的研制提供可靠的实验数据。     

一个可验证的秘密共享新个体加入协议

针对门限秘密共享方案，提出了一个可验证的新个体加入协议．应用指数运算来验证新产生份额的真实性，从而预防系统中可能出现的主动攻击．该协议具有无需信任中心，无需改动原有参与者的份额，仅需t（t为门限）个老成员合作产生新份额，仅需6t次广播等优点．分析与验证表明，该协议是正确的，与现有协议相比，其密钥管理简单，安全性更高，具有良好的可靠性和可用性．     

可重构飞行控制系统研究

介绍了可重构飞行控制系统发展的历史及现状,给出了可重构飞行控制系统的定义及研究内容,对目前几种重要的可重构控制算法的优缺点及实现条件进行了分析;最后展望了未来可重构飞行控制系统的实现途径和发展趋势。     

基于视觉的无人机着陆半物理仿真系统的应用

针对无人机视觉着陆相关方法、算法验证困难的问题,提出了一种基于Windows平台下采用图形建模语言、实时扩展技术以及虚拟现实技术,实现基于视觉的无人机着陆半物理仿真验证的方法。利用该方法构建的半物理实时仿真平台能够验证无人机视觉着陆相关方法、算法的正确性、可行性,及时暴露缺陷,为基于视觉的无人机着陆相关方法、算法提供有效验证途径和技术手段,并为今后无人机视觉着陆方法逐步工程化提供必要的技术支撑。     

基于电气介数的电网关键环节辨识

在综合考虑电网拓扑结构、功率输送关系和系统运行状态的基础上,提出了一种基于电气介数的电网关键环节的辨识方法,克服了以往加权介数假设"发电-负荷"节点间潮流只沿最短路径流动的缺点。根据线路和节点在系统结构上的差异性,分别定义了线路电气介数和节点电气介数,通过三种故障模式对关键线路和关键节点进行有效性校验。以IEEE39节点系统为例计算其线路电气介数和节点电气介数,并按照排序结果对这些元件进行连锁攻击,发现电力系统在这些高介数元件攻击下是极其脆弱的。仿真结果表明,所提方法能更好地反映元件在整个电网中的重要程度,特别是能识别那些虽承载功率不多但处在电网拓扑结构重要位置的元件,验证了该方法的有效性。     

压力容器可靠性设计与检验

本文阐述了可靠性设计在压力容器设计中的重要性。介绍了常规设计与可靠性设计的区别、可靠性设计的概率统计基础、设计参量的统计处理以及压力容器可靠性设计的内容和步骤。用算例邦助读者掌握计算方法,并由实验加以验证。     

热油管道稳定运行过程热力模型

在考虑了恒温层及大气温度年周期变化影响的基础上,分别给出不同敷设方式下热油管道稳定运行时热力计算数学模型,介绍了验证的方法,测试管道首末站温度进行模型验证。通过模拟计算数据与测试数据的对比,误差均小于3%,满足工程要求,证明了模型正确。     

一类双相钢循环特性的研究

基于热力学相容的本构模型，通过合理地定义广义内摩擦力，发展了可以描述具有固结相间残余应力特性的一类复杂双相钢的本构方程。其遗传积分中考虑了塑性应变状态的影响，因而能够宏观地反映这一类双相材料的基本特征，所发展的构本方程包含了内时塑性本构方程和Bower 等的经验公式为其简化结果。给出了背应力的积分形式和增量形式以及增量型本构方程，对OHFC铜和铁轨钢DBS11的循环特性进行了分析，与实验结果的比较表明所发展的模型具有较强的预言能力。     

适用于移动云计算的多文件数据完整性验证方案

针对移动终端存储空间和计算能力的局限性,提出一个新的适用于移动云计算的多文件数据完整性验证方案。首先,用户发送一个代理授权证书给代理签名方为自己生成代理签名,在代理签名前用户可以上传追加数据到云存储服务器;然后,代理签名方为用户生成代理签名并上传云存储服务器;最后,用户验证代理签名的有效性,代理签名完成。将繁重的代理签名任务交给代理签名方执行,减轻了移动终端用户的计算压力。采用多文件的聚合签名的形式,降低云端和移动用户的通信开销。在随机预言模型下,证明了该方案的安全性。