分布式数据库操作的形式化描述

这篇论文提出了一种分布式数据库的形式化描述表示,如何将分布式数据库的全局操作变为局部操作。这种形式化描述可以作为描述全局层与局部层操作转换的工具,也可以作为分布式程序语言的起点。从实用化角度来说,也可以作为一般的D—DBMS操作部分实现的设计工具。     

巨型机通用数学库软件与并行算法

本文介绍了巨型机通用数学库软件的概念和意义,指出了巨型机数学软件开发的技术途径与发展趋势,讨论了并行算法在其中的关键性作用,结合实例分析了巨型机通用数学库软件研制中的并行算法设计与实现。     

核安全保护装置温漂性能改进的实验研究

核动力系统中,安全保护装置的温度漂移是一直存在的,它不仅影响整个控制系统的安全,而且影响该装置中各插件板的互换性。本文针对这一实际问题,在实验室用实际单元插件模拟现场温度变化的过程中,进行了参数测试。通过对电路及测试数据的分析,找出了问题所在,提出了改进措施。通过对改进前后测试数据的对比,证明改进之后性能有非常明显的提高。     

数字系统演绎故障仿真方法

本文介绍了一种数字系统故障仿真的新方法——演绎故障仿真法。文章提出了加速故障表传输的方法,以及一种时序电路故障表计算的新方法。文章给出了演绎故障仿真的一般步骤。     

铁红环氧酯涂层中缓蚀剂的研究

在有机涂层中加入缓蚀剂构成耐蚀涂层,可以进一步提高原涂层的耐蚀能力。本文研究了一种缓蚀剂HN(由H和N复配而成,H为杂环类,N为胺类),用在普通涂层—铁红环氧酯中试验。采用了四种方法:电化学交流阻抗法,盐雾箱试验法,人造海水浸泡,海上实船挂片,并分别与未加缓蚀剂的原涂层进行对比,对各涂层的耐蚀性能进行评定。结果表明:在铁红环氧酯中加入少量HN缓蚀剂后,在不改变原涂层附着力的情况下,明显提高了原涂层的耐蚀能力。     

中温石墨流态床热处理炉的加热装置与电极设计

本文以笔者早年设计的小型石墨流态床热处理炉(LTR)和随后研制大功率炉的经验,讨论加热装置的最佳方案和电极设计的有关问题,通过理论分析和试验,给出950℃以下的温度-电阻曲线和屏蔽电极区间的电压-幂次和电阻-幂次曲线。     

多敏感器卫星姿态确定的卡尔曼滤波器设计

针对陀螺、红外地平仪和太阳敏感器组成的卫星姿态确定系统 ,采用四元数方法建立卫星姿态确定模型 ,并采用卡尔曼滤波器进行信息融合。仿真算例结果表明 ,该方法能够确定出满足精度要求的卫星姿态参数     

多层局部回归神经网络在激光陀螺捷联惯导系统惯性敏感器误差补偿中的应用

惯导系统误差补偿技术对提高武器装备的性能具有重要的意义 ,而误差补偿的关键在于误差模型的辨识。探讨将多层局部回归神经网络引入到惯性敏感器误差建模中 ,详细介绍了网络结构和对应的自适应动态梯度算法。仿真算例说明 ,多层局部回归神经网络在惯性敏感器输出误差建模时具有一定的优点 :网络收敛速度快、较好的跟踪性能、稳定性好。     

双字长浮点乘法运算算法设计与分析

文中给出了在计算机上实现双字长浮点乘法运算的算法的计算公式、计算步骤及误差估计,算法原理适用于一般计算机系统的任意字长浮点乘法运算。     

超高分辨率 CRT 显示器关键技术研究

首先从ＣＲＴ显示示器的分辨率展开讨论,然后就２０４８×２０４８单色超高分辨率显示器的行扫描电路、动态聚焦电路、３００ＭＨＺ视频放大器等关键技术进行了详细地分析．最后对彩色显示的特殊要求做了简要地说明。