考虑随机回放的卫星数传调度问题的一种求解方法

针对考虑随机回放的卫星数传调度问题,从置换空间到调度解空间的映射方法和置换空间的搜索算法两方面进行了研究.提出了一种时间窗优先的置换序列映射算法,并证明该映射算法可以将置换序列映射到调度解空间上的最优解.提出了一种遗传随机搜索算法,基于有记忆功能的随机邻域搜索,在置换空间上搜索产生优化调度的置换序列.仿真计算表明,遗传随机搜索算法可以增强遗传算法的局部搜索能力,在搜索结果上平均获得了2.72%的改进.     

BaTiO3的相温度曲线

根据BaTiO3的吉布斯自由能展开式,讨论了对称群Oh操作的所有不可约表示,考虑到不同不可约表示项的相互作用,并利用相稳定条件,推导出可能对称相的温度曲线。     

一种基于扩展控制流图的DA交互结构表示方法

程序控制流图不能表示DA交互发生点处实际执行的SQL语句,因而不能清晰地表示出程序数据库的交互过程。针对该问题提出了用有限状态自动机表示DMLSQL语句,根据自动机的运行过程确定交互语句使用或定义的数据对象,并利用此信息生成表示交互语句的结点,以扩展CFG。实验表明,经过扩展后的ECFG能够直观地表示DA程序中与数据库的交互结构。     

《望大陆》三种英译文初探——兼谈词性转换和意义陈述的运用

汉诗英译有时必须放弃追求形式对等的努力,必须透及深层,把握意义陈述的意念机制,而不是形式机制。这符合奈达最初提出的信息对等,而不是形式对应的翻译概念。本文列举并分析了于右任诗作《望大陆》的三种英译,并强调应该向笔者所提供的试译那样,运用好词性转换和意义陈述的翻译策略。     

一种基于Laurent分解的CPM信号载波同步方法

连续相位调制(CPM)技术具有优良的功率频谱特性和连续恒包络。但是由于其非线性特性,同步和相关接收成为技术瓶颈。文章通过对CPM信号进行线性等效,改进了传统线性信号载波恢复算法,提出了一种易于实现的同步算法,并进行了仿真。     

矩阵代数中可乘保范映照的显形式

在矩阵的可乘映照理论与应用中,判定一个可乘映照是否保持某类特定的数值特征以及获取可乘映照在保持某类数值特征条件下的解析式备受关注.对此,着重研究了一般可乘映照在具有某种保秩性或保范性下的表示问题.借助于构造的方法,给出了判定一个可乘映照是否为保秩映照的新的便捷方法.针对F=R或C,分别得到了Mn(F)上保1-范数、保∞-范数以及保F范数的可乘映照的显形式,进而证明了Mn(F)上保持1-范数可乘映照必为保F范数映照,而可乘保F范数映照又一定保谱半径、保数值半径、保正规性、保酉性等.