用于减少远程Cache访问延迟的最后一次写访问预测方法

为减少远程Cache访问延迟,提高共享存储系统的性能,提出了一种新的基于程序内在写突发特性的最后一次写访问预测方法,并对一个具体的目录协议进行了改造,以支持该预测方法。通过预测Cache块的最后一次写访问并提前对其进行降级,处理器能直接从主存中读取数据,从而减少了远程Cache访问所需的一个网络跳步数。与当前基于指令的预测方法相比,该方法能极大减少存储开销。基准测试程序的评测结果表明,该方法能获得83.1%的预测准确率,并且能提高8.57%的程序执行性能,同时与基于指令的预测方法相比,该方法能分别减少历史踪迹表69%的存储开销和签名表36%的存储开销。     

二次检测立方攻击改进与实现

对二次检测立方攻击预处理阶段的提取二次表达式的算法进行了改进以优化攻击效率。将秘密变量的变化引入攻击中,使得攻击模型更加灵活;同时,利用时空折中的思想,通过存储常数项和一次项的计算结果,有效降低二次项的计算量。将改进的方法应用于简化版的PRESENT算法和Trivium算法上,攻击效率有显著提高。     

接触力控制的单腿机器人姿态控制

为了使Acrobot(Acrobat类型的单腿机器人)在运动过程中相对地面没有滑动,设计了基于接触力控制的姿态控制系统,将水平方向接触力作为内环的控制对象并限制其大小,使其总能满足摩擦锥的约束,从而保证在小腿姿态角的跟踪过程中足与地面间不会产生滑动。在Acrobot的直立姿态处,对其动力学方程进行线性化,并得到驱动力矩—水平接触力—质心水平位置—小腿姿态角的传递函数链,进而设计小腿姿态角的多环控制系统。在MATLAB中用"Sim Mechanics"工具箱搭建了Acrobot的虚拟模型,仿真结果表明,所设计的多环控制系统在实现小腿姿态角跟踪控制的同时还能保证足与地面间不产生滑动。     

锥形运动控制的导弹姿态稳定性分析

针对锥形运动对弹体稳定性的影响,建立了导弹锥形运动控制的非线性数学模型,通过引入复攻角的概念,使难以用解析手段处理的非线性模型转换成可解析的一般模型。根据线性化模型分析了导弹复攻角运动方程,推导了制导控制系统参数的稳定控制域范围,分析了控制系统阻尼回路和控制回路对导弹锥形运动稳定性的影响规律,提出了锥形运动控制的稳定性判定方法。仿真结果进一步验证了该判定方法的可行性和正确性,为导弹锥形运动的制导控制系统设计提供了依据。     

北斗系统三频载波相位整周模糊度快速解算

北斗导航定位系统播发三个频率观测值,有助于载波相位整周模糊度的快速、准确固定。传统的几何无关模型三频载波相位模糊度固定算法通常采用遍历整数搜索的方法确定载波相位-伪距组合系数,组合后的噪声因子较大,模糊度固定成功率不高。在分析了北斗系统伪距测量误差特性的基础上,给出了加权组合噪声因子的定义及其约束下的最优组合系数的求解方法。采用Hatch滤波提高电离层延时误差实时估计精度,成功固定三组线性无关组合系数对应整周模糊度,进而确定基础整周模糊度。利用北斗系统短基线、长基线实测数据对算法性能进行了验证,实验表明:提出的算法可优化超宽巷、宽巷组合噪声因子20%以上,模糊度固定成功率提高10%~18%左右,30s历元平滑后的基础模糊度固定成功率可达90%以上。     

卫星导航接收机延迟锁定环鉴相器有限字长分析

码相位鉴别器作为延迟锁定环的主要组成部分,其性能直接影响了接收机伪码的跟踪精度。针对输入信号有限字长效应对鉴相器性能的影响,提出一种新的基于信号统计特性的分析方法,分析了归一化早迟幅度鉴相器输入信号有限字长对输出性能的影响。理论分析和仿真结果表明,字长效应在输入信号高信噪比下比低信噪比时明显,随着信噪比的增加,由有限字长导致的伪码跟踪精度损失将增加,而当输入信号采用4bit以上的量化时,字长效应对伪码跟踪性能的影响将可忽略。该结论可用于指导接收机低功耗小型化设计。     

音圈电机驱动的快刀伺服系统性能测试

研发了一种新的音圈电机驱动的超精密快刀伺服系统,行程达到30mm,最大加速度为920m/s2。通过实验手段获得系统的运动模型,用于控制器的设计。针对一类典型的光学复杂结构曲面-微小透镜阵列进行加工,并对加工结果进行测试与分析。测试结果表明,所研发的快刀伺服系统达到了加工技术要求,为该系统在实际加工中更广泛的应用打下了基础。     

水下制氢反应室动态过程数值分析

为研究水下制氢反应室的动态过程规律,基于化学反应动力学和单液滴运动学得到合金/水反应转化率,并在最小自由能法计算得到生成物各组分摩尔数的基础上利用质量守恒方程得到室内各物质质量变化规律。在建立非线性移动边界螺旋管动态模型的前提下,利用能量守恒方程得到室内热力参数变化规律,进而完成制氢反应室动态过程详尽模型的建立。利用该模型编写计算程序,完成某水下制氢反应室动态过程仿真。结果表明,各仿真曲线较好地反映了对应参数的动态变化规律,验证了模型建立与仿真的正确性;合金/水反应转化率决定了反应室的物质质量变化规律及其能量释放特性。该模型可以作为制氢反应室动态特性分析及其过程控制研究的基础模型。     

基于GSPN的舰载服务器系统可靠性建模及分析

提出一种基于广义随机Petri网(Generalized Stochastic Petri Net,GSPN)的舰载服务器系统可靠性分析方法。深入分析舰载服务器系统故障模式的基础上,建立冗余服务器子系统的GSPN模型和共享数据盘子系统的GSPN模型,进而综合得到舰载服务器系统的全局GSPN模型,有效模拟了舰载服务器系统的动态行为。仿真实验验证了所提方法的有效性,为舰载服务器系统的分析与设计提供理论参考。     

基于加权侦察覆盖指数的无人机侦察航路评价

利用无人机瞬时探测范围和无人机对雷达定位精度构建无人机有效可定位区。综合预定区域目标存在概率和沿侦察航路飞行无人机有效可定位区对栅格侦察覆盖指数,构建加权侦察覆盖指数指标。基于加权侦察覆盖指数,对无人机侦察航路优劣进行评价。