Prolog／Lisp协处理器板对Prolog部分的支持

Prolog/Lisp协处理器板是为高效支持运行于Sun3/4及其兼容工作站上的Prolog和Lisp这两种人工智能语言而设计的的专用系统。本文在简单介绍Prolog/Lisp指令集中Prolog部分及Prolog/Lisp协处理器的体系结构之后,描述了该协处理器板上支持Prolog中转移,选择点建立、修改和删除等指令及合一中的多路转移操作的专用结构和专用芯片的原理。模拟结果表明,Prolog/Lisp协处理器板可以满足Prolog部分的推理速度(Local Inference Speed)达到500kLIP/s的要求。     

一种小天体旋转参数估计方法

小天体旋转参数是科学数据,也是小天体测绘,着陆导航的基础数据.研究一种在小天体探测接近段过程中使用的基于图像上特征点跟踪和扩展卡尔曼滤波器的小天体旋转参数估计方法.该方法首先建立小天体旋转关系模型,表示小天体在相机坐标系中的姿态变化;然后定义小天体旋转的状态方程,推到了扩展卡尔曼滤波器的计算过程.通过对观测图像序列上的特征点跟踪,利用扩展卡尔曼滤波器方法得到小天体旋转轴指向和自转角速度估计.实验中,在仿真相机与小天体相机100 km距离上,分析了相机坐标系小天体坐标系之间的四元数初值,图像上特征点跟踪精度,相机的观测指向等因素对小天体旋转参数估计精度的影响.实验结果表明,提出的基于图像特征点跟踪和扩展卡尔曼滤波器的小天体旋转参数估计方法能够得到具有较高精度的估计结果.     

飞秒激光系统图像调焦装置以及方法

飞秒激光直写技术在复杂三维微结构加工领域具有显著优势,而调焦是否精准直接影响了所加工结构的完整度.提出了在光路中临时置入调焦光源和物的图像调焦技术,通过调节物的位置使其成像面与激光聚焦面一致,从而通过清晰可分辨的成像状态间接反映激光聚焦状态.利用Zemax软件模拟分析了原飞秒激光光路与加入调焦光源和物的调焦光路,二者可实现相同加工物镜后工作距离与良好成像质量,证明了该方法的可行性.通过分析得到该过程的成像误差主要由成像镜头焦深(3.9 μm)引起,我们获得的理想调焦精度可达到1/2焦深以内.设计了单层高度为5 μm的二层圆柱结构,通过多次实验验证了所加工元件高度误差在1.5 μm范围以内,与理论分析一致,满足飞秒激光系统的调焦要求.     

基于量子化、芯片化的先进计量测试技术发展动态

计量是国家质量基础的重要组成部分,产品质量的提升离不开科学、精准的计量。工业发达国家极为重视计量测试技术的发展。通过搜集、整理量子效应计量、芯片级计量等国内外大量文献资料,归纳分析了近年来国外先进计量测试技术发展动态与趋势。以量子技术和基本物理常数为基础建立量子计量基标准,将大幅提高测量准确度和稳定性,结合量子效应的微加工技术实现芯片尺度的测量等,微纳尺度计量技术也在科学研究、精密测量、智能制造等领域得到广泛应用。本文可为我国计量技术发展提供借鉴。     

栅格翼电弧风洞试验的气动参数模拟方法研究

为验证栅格翼防热方案的有效性,针对栅格翼单片级试验件厚度过低无法直接测量试验件冷壁热流密度的难题,提出了一种直接模拟来流气动参数的栅格翼热防护试验设计方法,能够准确考核防热方案,对类似结构的热防护试验具有指导意义。     

基于MHSS算法的ARAIM完好性和可用性预测

传统的接收机自主完好性监视只能提供非精密进近阶段的完好性监视,无法实现对完好性要求更加严格的飞行阶段的监视,而高级接收机自主完好性监视（AdvancedReceiverAutonomousIntegrityMonitoring,ARAIM）可以在精密进近阶段为飞机提供满足航向信标性能垂直引导（LocalizerPerformancewithVerticalguidance,LPV）的完好性监视服务。文章基于多假设分组解算法,根据目前的星座环境,结合民航不同飞行阶段的应用需求,对ARAIM算法进行仿真研究。针对水平保护级（HorizontalProtectionLevel,HPL）和垂直保护级（VerticalProtectionLevel,VPL）的指标,在不同星座组合环境下,选取南北半球不同经纬度的5个观测机场,分别仿真了HPL和VPL的变化情况,并对全球HPL和VPL平均分布趋势,以及以99%的概率满足LPV-200进近可用性指标时,ARAIM可用性的全球覆盖率进行了仿真预测分析。仿真结果表明,不论是全球定位系统和格洛纳斯双星座还是增加北斗卫星导航系统后的三星座,5个观测机场的HPL和VPL均能满足LPV-200进近对完好性指标的要求;但在全球范围内,双星座条件下,ARAIM并不能完全支持LPV-200进近对完好性监视的要求,而三星座则可大大提高ARAIM的可用性,为民航用户提供满足精密进近的所需导航服务性能。     

基于修正差分进化算法确定周期内多载波微放电等效功率

微放电是空间微波部件设计所必须考虑的失效效应之一,随着空间宽带多载波模式的广泛采用,多载波条件下微波部件微放电问题引起广泛关注。针对周期内多载波微放电等效功率计算所采用传统经验公式的不足,提出了一种基于修正差分进化算法的确定周期内多载波微放电等效功率的全局优化方法。该方法通过对多载波合成信号功率特性进行分析,推导获得了 20个电子渡越时间内信号能量的表达式,采用二次插值法进行局部搜索,采用修正差分进化算法进行全局优化,从而高效、准确获得全局最优解。以幅度相等、频率间隔相等的多载波信号为例,进行了等效功率的确定,与经验公式的预测结果相当,验证了所提出方法的有效性;同时,对幅度不同、频率间隔不等的多载波信号进行了处理,获得了能够指导微波部件微放电设计的最坏状态及其等效功率。所提出方法不仅适用于幅度不同、频率间隔不等的多载波信号情况,并且能够提供微放电最坏状态时的相位分布,为多载波微放电实验验证提供相位输入。所提出方法相比传统的基于经验公式的方法具有明显优势,为空间宽带多载波工作微波部件微放电设计提供有效依据,在卫星转发器多载波微放电分析及设计中具有价值。     

挠性充液航天器超近程逼近段动力学建模与控制

超近程逼近过程中,服务航天器为刚柔液耦合的复杂系统,单摆等液体晃动模型不再适用,对这种工况下的航天器进行了动力学建模与控制的研究。采用虚功率原理推导了一种新的适用于三轴推力作用下的液体晃动等效模型,通过引入相对位置导引矢量与相对位置误差矢量,建立了相对轨道误差动力学模型,结合相对姿态动力学模型,得到超近程逼近段的刚柔液耦合的相对轨道姿态动力学模型。针对模型存在的不确定性和未知干扰,设计了基于滑模估计器的相对姿轨耦合控制律。通过数学仿真验证了控制律的有效性,仿真中的晃动结果与Flow-3D结果能够吻合,验证了晃动模型的合理性。     

一种提高空心阴极推力器推力的发射体外置方法

为提高空心阴极推力器的比冲,研究了空心阴极发射体外置的方法,对比研究了发射体外置和内置两种结构的空心阴极推力器的推力和比冲,发现发射体外置的结构相比较于内置结构能够增加推力器的推力和比冲。进一步研究发现,发射体外置的空心阴极推力器引出的离子电流、离子能量要明显高于发射体内置的空心阴极推力器,可以推断发射体外置的阴极推力器存在离子加速喷出增大推力和比冲的机制。     

集成式随动装置目标引导信息动态校准方法研究

光电对抗系统在机动状态下搜索和跟踪目标时,必须用位置陀螺代替码盘来确定目标方位角。但是,由于搜索轴陀螺存在漂移和累积误差,导致跟踪转台按照引导信息调转到位后目标无法进入跟踪视场,而且陀螺的漂移和累积误差是随时间和温度非线性变化的,很难直接进行修正。为了解决这个问题,提出了一种对引导信息进行间接动态校准的方法。