基于程序特征分析的流处理器VLIW压缩技术与解压实现

代码体积和代码稀疏是VLIW处理器一直存在的问题.通过对一系列典型应用在流处理器上的程序特征进行分析,提出了一种新的VLIW分域压缩技术,剔除各个子域中的空操作,并设计了分布式指令存储器对压缩后的代码进行解压缩执行.实验证明,该技术能够减少MASA流处理器中近39％的片外指令访存,降低约65％的片上指令存储器空间需求;同时使得指令存储器面积和系统面积分别减少了约37％和8.9％.     

双重系统加密研究: 获得完全安全的IBE及其扩展

双重系统加密技术首先由Waters提出,是用于构造完仝安全的基于身份的加密(IBE)及其扩展方案的有力方法.针对完全安全方案的构造,研究了双重系统加密技术并提出了一个完全安仝方案的通用构造方法,即将一个利用双重系统加密的IBE方案与一个普通的方案相结合,得到一个新的可以利用双重系统加密证明安全的方案.在通用构造的基础上提出了一个实例,该实例是一个基于层级身份的加密( HIBE)方案,具有常密文长度.该方案比Waters提出的双重系统加密HIBE方案更高效,并且在判定BDH假设和判定线性假设下证明是完全安全的.     

基于设计参数综合评价决策的维修性设计方案优选方法

针对维修性设计方案的评估优选问题进行分析,给出一种改进的设计参数综合评价优选方法.考虑到维修性设计因素评价的不确定性和模糊性的特点,采用集对分析理论对维修性设计因素的模糊语言值评价进行处理,并将层次赋权方法引入方案贴近度评估决策模型,以提高方案优选的可信性.最后以某航天器电源系统的维修性设计方案优选为例说明了该方法的应...     

增压充液贮箱振动特性的理论与实验

结合理论与实验方法研究了增压充液贮箱的振动特性。采用弹性薄壳理论和速度势理论建立了增压充液贮箱的动力学方程组。考虑内部加压对贮箱振动的影响,引入内外压差作用项;考虑弹性壳体与液体间的耦合作用,给出液体动压的表达式。采用经典边界值法计算出贮箱振动频率;设计贮箱模型进行固有振动频率的实验测试。所得计算结果与实验值一致,均表明充液使贮箱振动频率下降,而内部加压使贮箱振动频率增加。进一步分析,得到增压充液贮箱振动频率随波数、贮箱内压、充液密度、贮箱几何参数和材料刚度等因素的变化规律。     

某型飞机起落架收放机构性能仿真

为了验证某型飞机起落架收放机构采用理论计算值的收放性能,建立了该型飞机起落架收放机构的数学模型,采用起落架三维模型和收放作动筒、下落加速器的一维模型进行联合仿真。结果表明:采用理论计算值能够实现起落架在有限时间里的收放任务,各部件在收放运动中无干涉。此外,利用该联合仿真模型研究了收放作动筒、下落加速器结构参数对起落架收放性能的影响,指出收放作动筒活塞截面积和下落加速器活塞杆腔截面积可作为优化设计的优先选取参数,为该型飞机起落架收放机构性能的进一步优化提供参考。     

基于分离逻辑的程序分析技术

分离逻辑是John C Reynolds和Peter O’Hearn于2000年提出的基于Hoare逻辑分析程序中动态分配内存和指针别名的逻辑理论。首先回顾了分离逻辑系统的理论框架,然后讨论了分离逻辑在程序分析领域中符号执行、形态分析和并发程序分析验证这些领域中的应用成果,最后介绍了分离逻辑在程序分析技术中当前主要的研究方向。     

平面杆系任意截面内力算法构造及其应用

讨论了受任意集中力、集中力偶和线性分布力作用的平面杆系结构内力分析技术.遍历单元的轴向和横向荷载特征点,生成该单元的“轴向荷载教组”和“横向荷载数组”,以此为基础,构造内力计算的“特征点截面法”和“特征点递推算法”,并进行了分析.分析结果表明:两种算法适合包含梯形分布的复杂荷载组合,是一种实用的平面杆系内力计算技术,可...     

一种基于Cache的AES计时模板攻击方法

采用面向字节、分而治之的攻击思想,将AES主密钥按字节划分为若干子密钥块,为每个子密钥块的所有候选值搭建Cache计时信息模板,并采集未知密钥AES算法的Cache计时信息,使Pearson相关性算法与模板匹配,成功地恢复AES-128位密钥。实验结果表明：AES查找表和Cache结构缺陷决定了AES易遭受Cache计时模板攻击,而模板分析理论在时序驱动攻击分析中是可行的。     

综合火控系统对地轰炸精度分析仿真

针对航空轰炸武器火控系统精度分析问题,分别建立了数值微分算法和蒙特卡洛算法模型,并开发了仿真分析软件.给出了两种模型的推导过程,以及微分步长的优化方法.利用本算法软件对某型火控系统进行精度分析仿真,并对多组典型投弹条件的仿真结果进行分析.结果表明,两种算法优势互补,能有效地对火控系统进行精度分析,对改进系统设计、提高系...     

防空作战战场态势的定量化分析模型

在防空作战中,战场态势的分析非常重要,它是辅助决策的基础。针对战场态势的问题,以集对分析的同异反联系度为基础,构造了战场态势的分析模型,进行了深入探讨。最后,通过实例计算表明了分析模型对于评估战场态势的可行性和有效性。