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

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

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

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

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

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

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

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

对数正态分布的维修时间均值检验方法

针对许多装备维修时间服从或近似服从对数正态分布,从对数方差已知或未知两种角度,在控制单方或双方风险的基础上,提出了维修时间均值的检验方法,并通过实例验证了检验方法的实用性。     

航空装备抢修时间估算方法

装备战场抢修是保持和恢复战斗力的重要方法,而抢修时间对战场抢修的效果有着重要影响,甚至直接影响着战争的进程。准确预测并确定装备的抢修时间有利于战场指挥员合理分配抢修力量,有针对性地开展抢修工作,以最大程度地保持和恢复装备战斗力,使战伤装备尽快重新投入战斗。以航空装备某电子系统为例,建立了战场抢修时间的计算模型,并对模型进行求解,实例证明,该方法对于预测并确定战场抢修时间提供了一种有效的途径。     

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

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

区间条件下有限制期的应急物资动员方案选择

分析了不确定条件下应急物资动员系统网络结构的特征,把应急物资动员问题抽象为动员点选择、动员点上动员量的确定和动员点到需求点的最佳路径调配等问题.采用区间数刻画动员时间的不确定性,建立了有动员限制期的应急物资动员方案模型,给出相应的求解思路和计算步骤.最后,以某区域突发事件发生后汽油类物资动员方案的生成为例,得到区间条件...     

一种基于纳什议价解的自组网时隙分配策略

自组网中的分布式多节点资源分配问题为NP完全问题,一般采用启发式算法进行协议设计,缺少严格的数学证明.基于博弈与纳什议价解理论,提出了一种分布式动态时隙分配策略,并通过严格的数学推导,证明了自组网中不同节点之间的时隙竞争问题存在纳什议价解,为自组网中分布式动态时分多址信道访问控制协议的设计提供了理论依据.     

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

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