中国地区MAGSAT卫星标量和矢量磁异常图

使用MAGSAT卫星资料,编绘中国及邻近地区的卫星磁异常图(10°N—60°N,70°E—140°E)。为了提取地壳异常场,必须从观测资料中消除主磁场、磁层场,感应场和电离层场。本文选用GSFC(12/83)地磁场模型,消除主磁场,磁层场和感应场。为了进一步消除电离层场的影响,改善相邻轨道磁异常的一致性,用纬度的二次多项式拟合每一条轨道的初始地壳异常,并从初始地壳磁异常值减去这一拟合值,从而获得最后的地壳异常值(△X,△Y,△Z,△F)。把研究地区分成1°×1°的网格,将每个网格内的磁异常进行平均,以获得网格中心点的异常值。根据这些网点值绘制中国及邻近地区的卫星标量和矢量磁异常图。等值线间隔为2nT。为了检验卫星磁异常图的可靠性,将卫星资料分成黎明组、黄昏组和联合组,分别进行处理和绘制卫星磁异常图。结果表明:根据上述资料绘制的卫星磁异常图有很好的一致性。中国地区的卫星磁异常值位于—10nT—10nT。卫星磁异常与区域构造特征有较好的一致性;塔里木地台、扬子地台和中朝地台是正磁异常区,西藏高原是负磁异常区。卫星磁异常反映出下地壳磁化强度的横向不均匀性。     

CC—高阶通信系统的并发演算

并发演算CC(Concurrent Calculus)是高阶并发通信系统的数学模型,它把λ-演算作为子理论并包含一阶通信系统演算CCS、活动进程演算CMP、和高阶通信系统演算CHOCS的主要特征。在CC中,通信端口可为任意表达式并且进程和通信端口都可以作为在通信中传递的一等对象(First-class Objects)。从而CC不仅可以描述一阶通信行为而且可以刻划通信网络的动态自修改行为。另外,由于CC把λ-演算和进程演算纳入同一形式系统,故CC可以作为并发函数式程序设计的核心语言和理论模型。本文首先给出CC的语法、语义和例子,然后研究CC的高阶双向模拟等价关系以及CC的代数定律。最后简单讨论了相关的工作和今后的研究方向。     

一种模块级可降级重组双机系统的系统管理程序实现方法

分析了模块级可降级重组双机系统的有效组态数,并与双机系统级备份进行了比较。分析结果表明,随着冗余级别的降低,系统的可靠性有所改善,但系统的有效组态数将大大增加,这将导致系统管理程序的复杂化。文章介绍了该系统管理程序的设计准则,并对其中几个有特点的子程序作了简要说明。     

一种基于Hausdorff距离的改进星图识别方法

针对基于Hausdorff距离HD(Hausdorff Distance)识别法存在识别速度慢和对星敏感器镜头旋转特别敏感的问题,提出了一种基于Hausdorff 距离进行星图识别的改进算法,它采用有向距离和绝对距离相结合的方法,利用恒星的空间结构信息,构建有向距离匹配模型;根据镜头旋转特性,建立绝对距离抗旋转模型;对两种模型测试研究确定加权因子,同时选取恰当的匹配识别门限,最终实现匹配识别的性能达到最优.仿真实验结果表明,改进后的算法不但保持了原有算法的高识别率,强抗噪性,而且还具有更快的识别速度和好的抗旋转特性.它在实际工程中已得到成功应用.      

多媒体流处理器中缓冲器的体系结构设计

传统微处理器体系结构不能很好地匹配媒体处理应用的特点.针对处理器与存储器之间日益增长的性能间隙问题,分析了传统微处理器对媒体处理应用的通讯瓶颈;通过分析Cache存储器的特点,得出了传统的Cache结构并不适合现代媒体处理应用的结论,讨论了目前针对处理器通讯瓶颈的一些解决办法;提出了一种以大容量流寄存器堆替代Cache作为中间缓冲器,并能适合于媒体处理应用的金字塔存储层次体系结构设计.该体系结构具有三级并行数据带宽存储层次,即片外SDRAM、全局寄存器堆和局部寄存器堆.三级并行存储层次所能提供的带宽依次提高一个数量级,带宽之比为1∶16∶256,从而可以有效地支持卫星遥感图像预处理对数据带宽的需求.      

石油赛伯数据采集仿真系统的实时性解决方案

为了保留石油工业赛伯(Cyber)数据采集系统的软硬件成果,在现代的高性能硬件平台上采用软件仿真的方法构造了一个仿真系统,以独立硬件设备模块为单位对实际系统进行建模,形成了以指令集仿真器为核心,通信总线仿真模块为桥梁,连接各个设备仿真模块的仿真系统.为了满足仿真系统的期限,从系统平均性能要求和最坏性能要求两个方面对实时性能需求进行了详细的分析,提取出影响系统实时性的性能参数,根据这些性能参数的要求提出了一个实时性解决方案,解决了仿真系统与实际的数据采集设备之间的实时通信问题,协同完成了数据采集任务,在此基础上给出了一个基于RTLinux(Real-Time Linux)实时操作系统的原型系统.      

Hermite算法的收敛性分析及其改进

为了提高多点切触加工算法的计算效率,对其中的Hermite算法进行了改进,并且对改进后的Hermite算法的收敛性进行了理论分析,推导了改进后算法的局部收敛条件,同时给出算法的Steffensen加速迭代公式并新提出了一种基于试算的待定系数迭代法.分析和实例表明,改进后的Hermite算法属于线性收敛的算法,而待定系数迭代法则有接近二阶的收敛速度.综合应用上述算法,可以满足一般性自由曲面多点切触加工刀位计算的要求.      

基于N-S方程的尾迹面法翼型气动阻力计算

研究了计算翼型阻力改进的方法——尾迹面法及尾迹面积分的位置和相应的积分技术.在亚跨声速时分别采用了表面积分和尾迹积分求得给定翼型RAE2822的阻力.结果显示,2种方法具有相同的结果,表明尾迹面积分方法是有效的,与实验值吻合较好.尾迹面法中,尾迹面位置应处于离后缘相对弦长距离0.6~1.0之间.尾迹面积分方法中积分结果不依赖于物体的详细几何外形,可以预计对曲率变化大的三维复杂外形,该方法有更大的优势.      

基于累积效应的光交换机分组调度算法

光交换机中的光路重置需要较长的时间,分组调度必须是基于帧的.为提高传输效率帧长通常较大,从而导致了光交换机中特有的分组累积效应.针对该效应,提出一种新的分组调度算法p-LQF(Longest Queue First)+Hold.通过对业务需求矩阵分解得到置换矩阵, 选择匹配占用最大的置换矩阵建立端口匹配.在4×4端口的VOQ(Virtual Output Queue)结构的光交换机中,分别对均匀、非均匀以及对角线的Bernoulli和ON/OFF业务进行了仿真.仿真结果显示该算法对于符合强大数定理的可接入业务能获得100%的通过率,其平均分组时延接近甚至低于主流的LQF+Hold算法,但复杂度更低.该算法能够提供带宽保证以及短期公平性,同时能适应分组的动态到达.      

面向用户的以太网可用性模型

带冲突检测的载波侦听多路访问协议(CSMA/CD)可以有效的解决竞争,提供高的吞吐量和低的延迟时间,并且成为了局域网设计中颇具吸引力的协议.基于计算机以太网CSMA/CD协议,面向用户探讨以太网可用度模型.通过定义工作站"拥塞状态"和"空闲状态",建立基于网络带宽、时隙的可用度模型.以信息成功发送概率作为衡量以太网可用性的指标.根据以太网中工作站的数量、平均字节长度、单机产生数据的速率以及单机数据重传速率对可用性影响的分析表明,随着局域网中接入的工作站的数量的增加在相同的时间内局域网的可用度将降低.随着数据产生率的升高,局域网的可用度将首先升高,当网络达到饱和后再增加数据产生率,局域网的可用度将降低.提高数据的重传率能够提高局域网的可用度.根据以上的分析,通过合理的设置网络参数,可以使局域网达到理想的可用度.