脉状矿的矿产储量最优计算

本文利用改进的三维克里金法对脉状矿进行储量计算,给出一个有效的储量与品位分布计算程序。文中提出网格法理论处理矿体边界和断层问题,采用圆锥法计算脉状矿的半变异函数等办法,为提高估算精度和加快计算速度起到了很好的作用。     

(2015GIS)北斗静止轨道卫星信号盲区快速并行解算方法

北斗系统静止轨道卫星信号盲区解算方法复杂、串行计算耗费时间长,需在并行环境下利用更多的计算资源进行北斗盲区的快速解算。本文在分析北斗盲区解算原理与算法并行特征基础上,提出了基于动态盲区影响域的并行解算方法,并以栅格单元为并行粒度进行任务划分,实现了北斗盲区的高效并行解算。基于全国范围59景数字高程模型数据,利用8进程进行盲区并行解算,耗费时间约为5小时。实验测试结果表明：算法的并行效率随着进程数的增加有所衰减,但稳定在96%以上。基于本文方法实现的程序中间件已集成应用于高性能地理信息平台中,应用效果良好。     

Provocation,war and restraint under the nuclear shadow: The Kargil conflict 1999

ABSTRACT

The Kargil conflict was a limited war between India and Pakistan fought along the Kashmir Line of Control during the spring/summer of 1999. Named for the principal town in the combat zone on the Indian side, it was the first open warfare between India and Pakistan as declared nuclear weapons states and included the first combat employment of the Indian Air Force since 1971. Despite its intensity, it was also characterised by considerable restraint on both sides. The potential for conventional escalation, however, was high and the possibility of nuclear confrontation could not be excluded. It had significant long-term ramifications for both countries and constitutes an important part of the backdrop to their relations today.     

Screening multi-dimensional heterogeneous populations for infectious diseases under scarce testing resources,with application to COVID-19

Testing provides essential information for managing infectious disease outbreaks, such as the COVID-19 pandemic. When testing resources are scarce, an important managerial decision is who to test. This decision is compounded by the fact that potential testing subjects are heterogeneous in multiple dimensions that are important to consider, including their likelihood of being disease-positive, and how much potential harm would be averted through testing and the subsequent interventions. To increase testing coverage, pooled testing can be utilized, but this comes at a cost of increased false-negatives when the test is imperfect. Then, the decision problem is to partition the heterogeneous testing population into three mutually exclusive sets: those to be individually tested, those to be pool tested, and those not to be tested. Additionally, the subjects to be pool tested must be further partitioned into testing pools, potentially containing different numbers of subjects. The objectives include the minimization of harm (through detection and mitigation) or maximization of testing coverage. We develop data-driven optimization models and algorithms to design pooled testing strategies, and show, via a COVID-19 contact tracing case study, that the proposed testing strategies can substantially outperform the current practice used for COVID-19 contact tracing (individually testing those contacts with symptoms). Our results demonstrate the substantial benefits of optimizing the testing design, while considering the multiple dimensions of population heterogeneity and the limited testing capacity.     

空军网络化指挥信息系统作战效能评估指标体系构建

针对目前网络化指挥信息系统作战效能评估指标体系不完善、且缺乏分项指标计算方法模型等问题,从网络化作战对指挥信息系统的作战需求出发,研究构建了空军网络化指挥信息系统的作战效能评估指标体系,并提出了分项指标概念内涵和计算模型与方法,可为指挥信息系统研制提供参考和支撑,为其作战效能的客观评估提供指标体系和模型方法。     

某导弹半实物仿真系统误差建模及影响分析

半实物仿真是导弹飞控系统研制过程中的必要环节,各仿真设备的误差对于仿真结果的影响不容忽视。借助于某型导弹半实物仿真系统的搭建,对影响仿真精度的各项主要误差进行了研究。通过理论推导建立了三轴转台、负载模拟台和数据采集的误差模型,与半实物仿真试验进行对比验证其有效性。最后,基于蒙特卡洛统计原理完成误差模型对仿真结果的影响分析。结果表明：各项误差模型能够满足仿真精度的分析要求,为类似半实物仿真系统的分析、测量和误差补偿提供理论依据。     

北斗静止轨道卫星信号盲区快速并行解算方法

北斗系统静止轨道卫星信号盲区解算方法复杂,串行计算耗费时间长,须在并行环境下利用更多的计算资源进行北斗盲区的快速解算。在分析北斗盲区解算原理与算法并行特征基础上,提出动态盲区影响域的并行解算方法。以栅格单元为并行粒度进行任务划分,实现了北斗盲区的高效并行解算。运用全国范围59景数字高程模型数据,利用8进程进行盲区并行解算,耗费时间约为5小时。实验测试结果表明:算法的并行效率随着进程数的增加有所衰减,但稳定在96%以上。其程序中间件已集成应用于高性能地理信息平台,应用效果良好。     

焓法模型求解相变传热问题有效性分析

首先探讨了伴有相变过程的瞬态热传导问题所具有的非线性特征.采用将分区域求解问题化为整个区域的非线性问题处理的思路,在整个区域建立统一能量方程的焓法模型求解该类传热问题.在此基础上建立了轻质相变墙体房间空气热平衡模型.采用有限差分方法对模型进行离散,并编程求解.通过与前期所建立的轻质相变墙体实验间的测试数据进行比对,结果...     

基于最小最大决策的三站时差定位布阵优化

提出了一种基于最小最大决策的三站时差定位布阵优化方法,以提高系统对目标区域的整体定位精度。应用基于最小最大决策的最优化理论,建立布阵优化问题的数学模型。该模型以三站坐标为决策变量,以目标区域的最大水平定位误差最小为目标函数,然后运用基于最小最大决策的最优化算法,求解模型的最优解,并将此最优解作为三站时差定位系统的最优布阵。仿真结果与理论计算一致,验证了这种布阵优化结果的最优性。     

基于信息栅格的远程精确打击支持体系设计

基于信息栅格的远程精确打击支持体系设计的目的是研究栅格技术为远程精确打击提供信息支援的基本技术途径。基于信息服务层次结构,描述了远程精确打击支持体系的信息支持能力;构建了基于3层逻辑网络无缝连接的系统功能体系结构,分析了系统的网格体系结构及各层之间的关系;探讨了系统实现中的关键技术。