一种应用定制指令集可重构结构及FFT算法映射优化

现代无线通信应用对FFT计算吞吐率与灵活性需求越来越高,针对传统方案实现FFT计算时难以兼顾性能与灵活性的问题,提出一种应用定制指令集可重构结构ASRA,实现了FFT算法在该结构上的映射优化。ASRA在静态多发射处理器内紧耦合应用定制的混合粒度可重构硬件作为扩展功能单元簇,通过运行时重构动态切换扩展指令集。ASRA采用多体便笺存储器、多端口便笺管理单元及可重构互连构成片上缓存系统,结合多体并行访问、循环级乒乓交替、读/写流水化等技术有效提高了访存带宽;静态多发射和运行时语境管理机制支持核心循环的硬件自动流水执行和软流水执行,开发了指令级、数据级和循环级等多层次并行性。实验结果表明,ASRA大幅提升了FFT计算吞吐率,且支持的FFT计算参数更加灵活,而增加的面积开销相对较小。     

基于Kriging模型的环形桁架可展天线结构参数优化方法

针对传统结构动力学优化过程中求解效率较低的问题,以环形桁架可展天线结构参数优化为研究背景,在环形桁架可展天线结构的参数变量空间中,以试验设计方法选取样本点,通过有限元方法得到各个样本点的第一阶固有频率、固定载荷最大变形等响应值,利用样本点和响应值的关系建立Kriging近似模型进行优化算法的寻优,得到满足所有约束条件的最优解。结果表明,所得到的环形桁架可展天线第一阶固有频率、固定载荷最大变形的响应面呈现比较明显的非线性关系,基于Kriging模型的结构优化方法能比较准确地对环形桁架可展天线进行寻优设计。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

模拟电路中非零交叉情况下故障最小范围的确定方法

为确定模拟电路非零交叉情况下故障元件存在范围,提出了一种K故障下诊断的新方法。它是一种确定故障元件存在的最小范围的方法,即在十分现实的K故障下,确定能代表电路所有元件并给出在K故障假设下的最优可测试元件组,使故障定位工作只局限于该组元件。通过可测试值计算和规范式不确定性组与最优可测试成分组的确定,可以诊断故障元件的范围。     

同时验证整装和分系统固有可用度的试验方案

针对整装和分系统可用度同时需要验证的问题,假设单系统可用度、可靠性和维修性试验方案都已知,以试验样本量确定方法为研究重点,以同时验证整装和分系统的可用度、平均故障间隔时间和平均修复时间等3个指标参数为设计要求,提出了一种定数截尾试验方案.该方案包括2种试验方式.2种试验方式都能够完成对整装和分系统3个指标参数的验证.     

重构X射线脉冲星信号的纯数值模拟新算法

基于X射线脉冲星的导航技术,无论技术研究还是实验验证,都是以X射线脉冲星信号为基础。但是实际的观测数据无法确定其精确值,不便于进行导航算法的分析验证。因此,通过模拟算法重构X射线脉冲星信号十分必要。基于泊松分布建立X射线脉冲星信号模型,介绍脉冲轮廓的构建方法;介绍了两种纯数值的脉冲星信号模拟算法。针对这两种算法因近似导致信号模拟不精确的问题,提出一种基于精确光子流量函数的纯数值X射线脉冲星信号的模拟算法,该算法采用分段线性函数拟合的脉冲轮廓函数,基于分布函数及其反函数导出。模拟算法重构PSR B0531+21脉冲星的信号,并利用χ2拟合优度检验验证模拟算法生成的光子到达时间服从泊松分布。将提出的算法与两种已有的算法进行比较,仿真结果表明从光子数目和脉冲轮廓误差来看,提出的算法都优于其他两种算法,更接近实际信号。由新算法重构的脉冲星信号进行历元折叠得到观测脉冲轮廓,并将其与标准脉冲轮廓比较,发现随着观测时间的增长,观测脉冲轮廓趋近于标准脉冲轮廓,验证了模拟算法是有效可行的。     

运动船舶磁性船体产生的感应电场

为了研究运动船舶磁性船体产生的感应电场,以库伦定律和毕奥-沙伐定律等电磁场基本理论为基础,对磁偶极子运动产生的感应电场进行了建模,通过实验证明了分析方法的正确性,解决了以往模型适用范围窄、准确性差的问题;并以磁偶极子感应电场模型为基础,得到了磁性船体的感应电场模型,利用实船的磁场数据进行了实例计算,得出船舶附近感应电场可达1m V/m,达到了可探测水平。     

基于稀疏A*算法的微小卫星飞行姿态静环境规划

提高微小卫星的低可观测特性能够有效提升微小卫星的使用效率和生存能力,因此,设计了一种以稀疏A*算法(SAS)为基础的微小卫星低可观测飞行姿态静环境规划算法。通过对微小卫星的俯仰角,方位角和横滚角等姿态角进行调整,从而可以有效降低微小卫星在威胁雷达方向上的RCS值,提高微小卫星的低可观测特性。通过对工作频率在S波段和VHF波段的威胁雷达对微小卫星的威胁性进行仿真,结果显示规划后微小卫星的低可观测性能明显改善,满足飞行姿态规划的需求。     

基于冲量法实现航天器编队重构控制仿真的研究

针对航天器编队重构的可视性不强,提出一种冲量法实现航天器编队重构的视景仿真技术。双脉冲机动是指航天器对空间目标的近轨道转移时,所需要的两次冲量机动。应用航天器之间相对运动原理,以空间目标轨道六要素为目标函数,通过调整航天器轨道参数对空间目标进行编队重构,有摆动绕飞转移至摆动式悬挂绕飞,进而得出了航天器转移摆动式悬挂绕飞编队到所需冲量基本关系,从而实现航天器对空间目标进行编队重构控制。     

任意寿命分布下k/N(G)系统定时维修决策模型

针对大型k/N(G)系统维修保障特点,提出了一种定时维修策略。以系统使用可用度为约束条件,以系统期望维修费用率最小化为优化目标,建立了任意寿命分布下k/N(G)系统定时维修优化模型,并提出了一种求解模型的数值迭代算法。实例分析表明,该模型既能计算定时维修策略下k/N(G)系统使用可用度和期望维修费用率,又能确定最佳的定时维修间隔期和最佳的换件维修人数,可为k/N(G)系统预防性维修提供决策支持。