非结构动网格生成的弹簧-插值联合方法

 提出了基于弹簧法的两点改进,以解决边界发生大变形时的非结构网格变形问题。为了使边界运动引起的网格变形能更好地由边界传递到内部网格中,提出了一种新的基于Delaunay网格插值的弹簧倔强系数逐层改进方法。为了提高弹簧法的计算效率,引入背景网格和直接插值方法,提出了弹簧-插值法。弹簧-插值法首先生成计算域的背景网格(粗网格),然后由弹簧法求解边界运动引起的背景网格变形,最后利用变形后的背景网格直接插值得到计算网格的变形。算例结果表明：改进后的方法一方面有效地提高了动网格的变形能力和变形后的网格质量;另一方面通过降低弹簧法的求解规模,显著地提高了动网格的变形效率。     

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

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

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.     

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

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

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

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

求最短道路的改进方法

通过具体例子说明含负权的有向图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)的优美标号。     

星间网络拓扑的二分图及其关联矩阵表示法

星间网络拓扑是建立星间链路首要考虑的问题,以往文献中描述星间网络拓扑一般都用直观图形的表示方法,即以卫星作为节点、链路作为边画出的图形。但是这种直观图形表示法,当卫星数量增加时,图形庞大而杂乱难以辨认,同时无法满足分析问题的需要。为此,文章提出了一种利用图论中的二分图及其对应的关联矩阵描述星间网络拓扑的方法,此方法具有图形描述简单明了、关联矩阵描述便于仿真分析的特点。     

2p^4阶3次s-正则图的自同构群

为研究正则图的性质和自同构群,运用p4阶群的性质和分类,以及图的传递性和图的覆盖理论,获得了2p^4阶3次s-正则图的一些性质,其中p〉7,1≤s≤5。证明了这类图是Cayley图,并刻画出了这类图的自同构群。     

基于iMPA的伪码快速捕获算法的性能分析和改进

针对迭代消息传递算法（iterative Message Passing Algorithm,iMPA）,通过证明m 序列是一种特殊的线性分组码,给出了该算法应用到伪码捕获的理论依据;分析了采用iMPA 进行伪码快速捕获的性能,包括捕获概率和算法复杂度;用马尔科夫链分析了基于iMPA的捕 获及判决流程,给出了平均捕获时间的解析表示。针对iMPA进行伪码捕获时收敛速度慢,检 测性能较低的缺点,通过增加因子图的约束,提出了冗余iMPA算法,即R\|iMPA（redundanc y iMPA）。仿真结果表明,R\|iMPA能有效的提高算法的收敛速度,检测性能平均提高约 2 dB 。