基于Petri网的C2S性能分析方法研究

给出了用时间连续随机Petri网和时间离散随机Petri网计算系统稳态概率的方法,并将其应用于指挥控制系统(C2S)的性能分析中,分析结果表明这种计算方法是可行的。     

新型装备作战指挥信息系统军事需求论证的反向分析方法

基于新型装备作战指挥信息系统构成及功能,提出了"体系作战效果-作战运用方式-关键能力需求-需求方案决策优化"的军事需求映射机制,构建了新型装备作战指挥信息系统军事需求论证的反向分析总体框架,并分析反向分析方法的内容和设计了流程。该研究对新型作战力量指挥信息系统的顶层设计和工程建设具有一定的价值,对于开展其他复杂系统的体系结构研究也具有借鉴意义。     

The selection allocation problem

The Selection Allocation Problem (SAP) is a single period decision problem which involves selecting profit‐maximizing (or cost‐minimizing) activities from various distinct groups, and determining the volume of those activities. The activities in each group are selected subject to the availability of that group's resource, which is provided by either pooling or blending raw inputs from several potential sources. Imbedded in the decision process is the additional task of determining how much raw input is to be allocated to each group to form the resource for that group. Instances of this problem can be found in many different areas, such as in tool selection for flexible manufacturing systems, facility location, and funding for social services. Our goal in this paper is to identify and exploit special structures in the (SAP) and use those structures to develop an efficient solution procedure. © 1999 John Wiley & Sons, Inc. Naval Research Logistics 46: 707–725, 1999     

栅格地理数据并行格式转换引擎

如今大规模地理数据正在社会各个部门和组织中迅速积累,但是由于部门利益和历史沿袭等原因,大规模地理数据共享仍然极具挑战,相应共享技术需求仍然极其旺盛。作为地理数据共享的基础方式之一,传统单机地理数据格式转换技术,一方面受限于磁盘读写及带宽瓶颈,另一方面面对日趋庞大的数据规模,已很难满足实际应用需求。因此提出一种针对栅格地理数据的并行格式转换引擎,采用高性能计算集群环境支持大规模栅格地理数据转换共享,大幅降低了大规模栅格地理数据转换过程的时间成本。栅格地理数据并行格式转换引擎采用基于公共接口的设计理念,框架灵活、具有良好的扩展性,支持地理数据格式的读写自定义以及新数据格式添加,能够实现接入数据格式间的任意两两转换。为验证引擎框架及其处理效率,在Lustre并行集群环境下以格网数据交换格式(国家地理空间数据交换格式)向常见栅格地理格式的转换为示例进行了测试实验。结果表明,栅格地理数据并行格式转换引擎能够在8个节点Lustre集群中达到7.54的良好并行加速比。     

基于约束满足的多目标对地观测卫星成像调度

EOS(对地观测卫星)成像调度需要根据用户提出的成像任务需求确定卫星成像序列,是一个复杂的组合优化问题。考虑到成像侧视约束条件,建立EOS成像调度的多目标有向无环约束图模型。在此模型的基础上提出了基于SPEA2(strength pareto evolutionary algorithm 2)的多目标成像调度算法,采用约束控制技术设计遗传算子处理成像约束。经过三个实际的多目标成像调度问题测试,表明该算法可以有效地解决EOS成像调度问题。     

高焓CO2气流壁面两步催化机制对非平衡气动加热影响的数值模拟

针对高超声速火星进入飞行遇到的壁面CO_2催化机制特殊且对气动加热影响复杂的问题,基于化学反应系统的三维可压缩流动求解器,建立壁面吸附、Eley-Rideal结合速率受控的壁面CO_2两步催化模型。基于70°球锥布局的高焓风洞实验,进行考虑壁面催化效应的高超声速非平衡气动加热数值模拟,开展考虑CO+O_((s))和O+CO_((s))两类CO_2两步催化路径对非平衡气动加热的影响研究。研究表明,壁面O_2和CO_2结合并存且存在相互竞争关系,催化加热量随催化效率增大而单调增加。数值计算建立了催化路径与非平衡加热水平的定量关联,研究发现CO_2两类催化路径权重与加热量存在非单调关联,特定权重下两种路径联合作用的热流高于单个催化结果。相关研究对碳氧气体主导的壁面催化机理和火星进入气动加热的精细化预测有重要的理论指导意义。     

利用阵列协方差矩阵稀疏性的到达角估计方法

为了解决传统基于阵列协方差矩阵稀疏性到达角估计方法计算复杂度高的问题,提出基于直接二维稀疏重构思想的高效到达角估计方法。该方法利用阵列输出数据的协方差矩阵构造二维稀疏表示模型,对协方差矩阵进行特征值分解以实现噪声功率估计,从而降低噪声对到达角估计的影响。在求解稀疏表示模型时,直接对该二维稀疏重构问题进行求解,避免了矩阵矢量化操作。仿真实验结果表明,该方法运行效率大大提高,并且在低快拍数、低信噪比和稀疏阵元等条件下估计性能优于传统方法。     

基于门限的无线传感器网络密钥管理方案

由于无线传感器网络在能量消耗、内存开销和计算能力等方面的局限性,传统的网络密钥管理方法已不适用。为此提出了一种适用于无线传感器网络的密钥预分配方法——基于（t,n）-门限方案,给出了密钥分配方法,并从方案的连通性、安全性等方面进行了有效的分析,结果表明该算法在这些方面有一定的优势。     

分析仿真联邦多次运行机制研究

为提高运行效率和降低操作强度,提出了分析仿真联邦运行控制框架,以及重新创建联邦、成员一次加入联邦、成员多次加入联邦3种多次运行机制,并分析了各自的优缺点。采用成员多次加入联邦方法构建了分析仿真联邦多次运行控制原型系统,验证了该机制的合理性和可行性。研究成果适用于不同类型和层次的分析仿真联邦。     

无源RFID系统中推断式二进制搜索算法

在现有的RFID标准中,一般标签ID都由几个不同含义区间组成。针对这种特点,提出推断式二进制防碰撞算法：在识别每个区间段的ID时,利用某个特定读写器中的前缀库推断该区间段各个位的取值,以便减少待识别标签ID的位数。同时,通过调整参数u,可以对系统可靠性进行控制。仿真实验表明,在没有新前缀出现的情况下,推断式二进制防碰撞算法能够将QT算法的识别速度提高3倍、标签平均响应次数降低3／4。