基于动态变迁图的卫星总装规划建模技术研究

不同于一般机械产品装配的流程,卫星总装的过程是"拆""装"操作相结合的,为了解决这一类特殊的非线性装配顺序规划问题,提出了一种基于动态变迁图的装配规划模型。该模型在静态有向连接图的基础上,通过逐层分析和验证可能的状态以动态变迁图为核心构建装配任务过程树,从而支持卫星所有几何可行的流程序列表达和装配场景再现。最后通过某型卫星舱段总装验证了该建模方法的有效性。     

Bipartite graph-based control flow checking for COTS-based small satellites

Single event upset(SEU)effect,caused by highly energized particles in aerospace,threatens the reliability and security of small satellites composed of commercial-off-the-shelves(COTS).SEUinduced control flow errors(CFEs)may cause unpredictable behavior or crashes of COTS-based small satellites.This paper proposes a generic software-based control flow checking technique(CFC)and bipartite graph-based control flow checking(BGCFC).To simplify the types of illegal branches,it transforms the conventional control flow graph into the equivalent bipartite graph.It checks the legality of control flow at runtime by comparing a global signature with the expected value and introduces consecutive IDs and bitmaps to reduce the time and memory overhead.Theoretical analysis shows that BGCFC can detect all types of inter-node CFEs with constant time and memory overhead.Practical tests verify the result of theoretical analysis.Compared with previous techniques,BGCFC achieves the highest error detection rate,lower time and memory overhead;the composite result in evaluation factor shows that BGCFC is the most effective one among all these techniques.The results in both theory and practice verify the applicability of BGCFC for COTS-based small satellites.     

叠层球面橡胶-金属弹性轴承等刚度设计研究

从理论上推导了叠层球面橡胶-金属弹性轴承各胶层的压缩刚度和扭转刚度计算公式,探讨了胶层压缩刚度、扭转刚度的等刚度设计方法,并将等压缩刚度和等扭转刚度设计方案的理论计算结果、有限元仿真结果分别与未进行等刚度设计方案的结果分别进行了计算和对比,结果表明,等刚度设计可以很大程度上消除不同胶层之间的刚度差异,各胶层压缩刚度和扭转刚度的理论计算结果与仿真结果基本吻合。     

基于最小熵准则的频偏估计算法研究

提出了一种基于SEM(Spectrum Entropy Minimization,频谱熵最小化)的频偏估计算法。研究发现,频偏越小,离散信号频谱的熵越小。根据这一性质建立了相关算法,通过一维搜索的方式得到使相位补偿后信号频谱熵最小的频偏估计。仿真结果表明:SEM算法的估计性能能够达到CR(Cramer-Rao,克拉美罗)下界,而且估计的稳定性和鲁棒性较好,具有一定的应用价值。     

可控肥皂膜气柱界面与激波相互作用的实验研究

基于肥皂膜技术提出了一种生成气柱界面的简单方法。形成的界面不需要支撑网格,因此初始条件可以很好地控制。在水平激波管中结合高速纹影开展了平面激波与二维或三维气柱界面作用的实验。纹影照片显示实验结果杂波更少,演变中的界面也比文献的结果更对称。此外,还特别研究了由极小曲面特征导致的三维效应,发现三维效应使界面的演变和发展变慢了。本研究将有助于更多了解三维性对Richtmyer-Meshkov不稳定性发展的影响。     

基于有向图的飞机数字化装配生产线全局建模

根据飞机装配生产线中产品的构成及装配方式等特点,涵盖装配信息引入和装配信息退出的概念,实现飞机装配关系建模的有向图表示。结合层次模型和关系模型特点,将装配过程信息引入装配模型中,并追加数字化装配系统信息,采用邻接矩阵表示法来存储分层模型中的各类信息,建立基于分层有向图的飞机装配生产线模型。     

DSP课程实践教学研究

实践教学是DSP教学的重要组成部分。以实例项目导入方式,设计了DSP实践教学内容,给出了相应的系统组成、硬件原理图以及系统的特点。同时从实验室开放和结合科研两个方面,探讨了实践教学方法。对于深化DSP课程实践教学改革有着很好的指导意义。     

基于多信号模型的空间站某典型产品测试性建模与分析

测试性建模与分析在提高产品的测试性设计水平上,发挥的作用越发重要.基于多信号流图模型方法,以某典型产品为例,分析其工作原理和结构,建立其测试性模型.根据分析结果,采用增加测点、断开反馈回路的方法,改进了模型的测试性设计,提高了其测试性指标.     

求最短道路的改进方法

通过具体例子说明含负权的有向图D=(V,E)中,用Dijkstra算法构造的V的子集Sk的标号未必都是从顶点V1到该点的最短路权,指出在此情况不能用Dijkstra算法求最短道路,进而给出了含负权的有向图中用递推公式求最短道路的方法,并用数值例子说明了所提方法的应用。     

R(4,3,n)型图的优美性

对R(4，3，n)型图的优美性及交错性进行了讨论。证明了R(4，3)型图是优美交错图，由R(4，3)型图与路Pn 1=V0V1V2……Vn粘接而成的R(4，3，n)型图既是优美图，同时也是交错图，并给出了R(4，3,4)，R(4，3，5)的优美标号。