Joint Iterative Decoding for Network-Coding-Based Multisource LDPC-Coded Cooperative MIMO

A network-coding-based multisource LDPC-coded cooperative MIMO scheme is proposed,where multiple sources transmit their messages to the destination with the assistance from a single relay.The relay cooperates with multiple sources simultaneously via network-coding.It avoids the issues of imperfect frequency/timing synchronization and large transmission delay which may be introduced by frequency-division multiple access(FDMA)/code-division multiple access(CDMA)and time-division multiple access(TDMA)manners.The proposed joint″Min-Sum″iterative decoding is effectively carried out in the destination.Such a decoding algorithm agrees with the introduced equivalent joint Tanner graph which can be used to fully characterize LDPC codes employed by the sources and relay.Theoretical analysis and numerical simulation show that the proposed scheme with joint iterative decoding can achieve significant cooperation diversity gain.Furthermore,for the relay,compared with the cascade scheme,the proposed scheme has much lower complexity of LDPC-encoding and is easier to be implemented in the hardware with similar bit error rate(BER)performance.     

四色定理论证

用离散数学之图论证明"四色猜想",巧妙而深层次地应用数学归纳法和换色法,解决了肯泊(A.Kempe)百多年前提出"不可避免构形集"中的一个地域有五个邻域的情况的所谓"可约性"问题,同时指出了1890年希伍德(P.Heawood)举出的25阶反例(当时,他以此说明"四色猜想"不成立,而"五色定理"成立)与本文中的一种可换色(即"可约性")的典型实例类同,进而简捷而理想地证明了"四色猜想"是成立的,使"四色定理"得到科学的论证。     

清理“三角债”的方法探讨

运用图论的理论和方法对“三角债”的表示方法进行了探讨,对“三角债”中的重复计算问题进行了讨论,建立起了在资金约束下的清理“三角债”的数学规划模型,并给出了模型的一种解法。     

一种基于区间解析冗余关系的故障诊断方法

在基于解析冗余关系的故障诊断应用中,系统不确定性方法会造成漏诊和误诊。本文在传统键合图线性差分变化技术（Bond graph-linear fractional transformation technique,BG-LFT）中引入区间分析理论,提出一种基于区间解析冗余关系的故障诊断方法。该方法在基于键合图的解析冗余关系故障诊断方法的基础上,首先结合BG-LFT和区间分析理论对参数不确定性和测量不确定性进行统一建模。然后,将键合图模型扩展为不确定性键合图模型,并推导区间解析冗余关系。最后,利用区间数学运算方法计算区间解析冗余关系,得到诊断阈值。将该方法应用于电动静液作动器参数型故障及传感器故障的故障诊断中。结果表明,与单纯使用BG-LFT相比,本文方法能更有效获取电静液作动器故障诊断依据,避免系统不确定性对诊断结果的干扰。     

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

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

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)的优美标号。