Multi-satellite observation integrated scheduling method oriented to emergency tasks and common tasks

Satellite observation scheduling plays a significant role in improving the efficiency of satellite observation systems.Although many scheduling algorithms have been proposed,emergency tasks,characterized as importance and urgency(e.g.,observation tasks orienting to the earthquake area and military conflict area),have not been taken into account yet.Therefore,it is crucial to investigate the satellite integrated scheduling methods,which focus on meeting the requirements of emergency tasks while maximizing the profit of common tasks.Firstly,a pretreatment approach is proposed,which eliminates conflicts among emergency tasks and allocates all tasks with a potential time-window to related orbits of satellites.Secondly,a mathematical model and an acyclic directed graph model are constructed.Thirdly,a hybrid ant colony optimization method mixed with iteration local search(ACO-ILS) is established to solve the problem.Moreover,to guarantee all solutions satisfying the emergency task requirement constraints,a constraint repair method is presented.Extensive experimental simulations show that the proposed integrated scheduling method is superior to two-phased scheduling methods,the performance of ACO-ILS is greatly improved in both evolution speed and solution quality by iteration local search,and ACO-ILS outperforms both genetic algorithm and simulated annealing algorithm.     

基于无线传感器网络的数据融合技术

阐述了WSN数据融合技术的特点和原理,重点分析了WSN数据融合技术中具有代表性的几种算法的工作原理和优缺点.     

基于最大峰度准则和判决引导的短波信道盲均衡算法

通过研究短波信道中的Watterson模型,将线性系统盲均衡中的最大峰度准则与输出信号的判决引导均方误差相结合,作为短波信道的盲均衡算法．针对传统梯度搜索方法容易陷入局部收敛问题,提出利用实数编码的遗传算法对准则函数进行最优化搜索．仿真实验表明,该算法收敛速度快和精确度高,能够大大提高均衡后的输出信噪比．     

一种最小费用最大流的简单算法

最小费用最大流问题在实际工作中经常会遇到,但传统的求解方法过于繁锁。本文提出的算法,可以在最大流多解算法的基础上,通过简单的动态调整得到一个最小费用最大流。     

区间值三角模左连续的充要条件

基于定向偏序集理论给出了区间值三角模左连续的充要条件,证明了区间值三角模左连续当且仅当该三角模保定向并。     

定向空间的下幂结构

定向空间范畴推广了domain理论.该推广过程为函数式程序提供了非确定性指称语义的幂domain结构.本文以自由代数的方式定义了定向空间的下幂空间,证明了每个定向空间的下幂空间存在并给出其具体构造.一般情况下,定向空间的定向下幂空间既不同于赋予Scott拓扑的定向完备偏序集的下幂domain,也不同于Battenfeld和Schder定义的普通拓扑空间上观察诱导的下幂空间.     

一种面向信息系统的业务波及影响分析方法

为准确反映业务中断波及反应导致信息系统业务流程运行状态的变化,提出一种面向信息系统的业务波及影响分析(ISBAIA)方法.该方法首先基于业务间关联关系构建业务网络拓扑.其次,量化业务脆弱性值并计算节点权值,计算业务公用资产占比并计算边权值.最后,提出带权有向网络结构熵计算方法,得到系统业务流程运行状态异常情况下业务网络结构熵变化情况.实验表明,ISBAIA方法能准确反映业务流程运行状态随不同业务中断出现的变化,并有效分析全系统业务流程受到的影响.     

基于符号模型检测的SDG模型可诊断性验证

由于定量信息和非线性因果关系的丢失,符号有向图（signed directed graph, SDG）模型的可诊断性需要进一步地进行校核与验证。为此,提出了基于符号模型检测的SDG模型可诊断性形式化验证方法。首先定义了SDG模型的有限状态变迁系统形式化描述,建立了符号模型验证器（symbolic model verifier, SMV）模型;其次利用SDG的深层知识,构造了可诊断性函数,设定了可诊断性上下文,给出了可诊断性定义。然后,构造了SDG耦合孪生SMV模型,定义了可诊断性的计算树时态逻辑公式,提出了验证算法SDGD_CSMV。最后,通过一个实例验证了可诊断性的判定和算法的有效性。     

中间件异构数据库集成中基于半连接的查询优化算法

全局查询效率一直是中间件异构数据库集成中的热点和难点问题,由于目前异构数据库绝大多数是关系型数据库,所以采用半连接方法优化连接操作,并在半连接图的基础上提出了多个站点的半连接执行方案优化算法,该算法根据半连接图生成有向无序树,使多个半连接操作能够并行执行,经分析能有效地提高全局查询效率.     

豆豉纤溶酶纤溶活性的定向进化研究

通过易错PCR方法向来源于枯草芽孢杆菌DC-12的豆豉纤溶酶基因中引入突变并构建突变体库.利用底物H-D-Val-Leu-Lys-pNA以酶活力为指标对突变体库进行筛选,通过三轮易错PCR最终获得一株酶活力提高的突变株M324.序列分析表明突变体M324酶基因发生了六处碱基突变,其中四处突变发生氨基酸取代,另两处为无义突变.通过SWISS-MODEL Repository模拟突变酶的结构显示,三个突变氨基酸位于回环结构上,一个位于α螺旋上.纤维蛋白平板法测定纤溶酶活,结果显示突变酶的比活力是野生型的2.44倍.