Prolog动态代码的两种语义及其实现方法

Prolog数据库操作内部谓词是Prolog非逻辑成份的一个重要组成部分。为了实现Prolog程序的可移植性,这些内部谓词应有一致的操作语义。本文首先讨论了两种比较合理的语义,然后论述了这两种语义在WAM框架下的实现方法。     

编译型PROLOG系统的若干优化实现技术

文中论述可应用于设计编译型Prolog系统的若干优化实现技术。这些技术包括:执行驱动编译策略,代码分类以及数据库操作内部谓词的操作模式。     

火炮操作方便性浅析

从分析火炮操作方便性的含义、分类、试验与评价等方面评价火炮操作方便性,提出应采用定量分析方法。     

超算环境科学工作流应用的容错

超算环境中科学工作流技术广泛应用于科学研究和工程仿真领域。复杂多物理过程数值模拟、多阶段数据处理等应用往往需要使用多种应用软件相互协作,构建业务流程自动执行来提升工作效率。然而在超算环境中执行科学工作流应用面临着资源失效、任务配置错误等异常情况,造成工作流执行中断,严重影响完成效率,故容错功能对超算工作流应用的稳定持续运行有重要意义。介绍了科学工作流的容错设计分类,并对典型工作流系统的容错设计进行分析评述;提出了基于决策树的事件-条件-动作容错模型,设计了非侵入式可扩展的容错架构,并针对自主研发的部署在超算环境下的科学工作流应用平台HSWAP,实现了运行时可配置的容错策略。在实际的工程仿真任务中,基于所提出模型和架构实现的容错机制为提高工作流执行效率发挥了重要作用。     

基于操作路径评分的某雷达参数测量考试系统

参数测量训练及考核是提高雷达技师维修保障能力的重要手段。在分析当前某型雷达参数测量训练及考核手段存在不足的基础上,针对当前的考试系统软件只能对考试结果进行评分,不能适用于既要对考试的操作过程又要对考试结果同时进行评分的问题,根据某型雷达参数测量训练及考试业务的特殊需求,设计并实现了一种基于操作路径评分的软件系统,该系统能够对某型雷达参数测量训练及考试的模拟操作步骤及结果同时进行评分。系统已经投入应用,实践证明:本系统能够节约成本,有效提高训练效率。     

围绕提高核心军事能力 推进民兵预备役部队训练转型

军事训练是未来战争的"预实践".信息时代,战争形态和作战方式发生了很大变化,民兵预备役部队在未来战争中担负的任务也随之变化.因此,必须紧跟时代发展和新军事变革步伐,坚持以科学发展观为指导,以新时期军事战略方针为统揽,以提高打赢信息化条件下局部战争能力为核心,积极推进民兵预备役部队军事训练转型.     

英国终极核防线探秘

最近,被称为国家核指挥系统的“最后一道防线”的英国“前卫”号核潜艇再次成为世人关注的焦点。原因是核潜艇上保险箱中英国首相的一封密信和被称为“人类按钮”的核心部分。     

线性系统的鲁棒容错控制设计方法

考虑了线性故障系统的鲁棒容错控制问题。利用状态反馈特征结构配置参数化结果,提出了一种鲁棒容错控制设计方法。该方法将故障系统的鲁棒容错控制问题转化为含有约束的最小化问题。数值算例及其仿真结果验证了所设计方法的简单性和有效性。     

无人机系统控制站操作容错控制技术

通过对国内外无人机系统控制站操作容错技术发展现状及大量实际飞行操作经验的总结和分析研究,明确了现阶段无人机控制站操作容错控制技术主要涵盖了操作软件容错、控制站面板容错和操作界面布局容错等三个维度的核心问题。并从设计依据和原则入手,提出了无人机系统控制站操作容错设计的要求,分别针对软件容错设计、面板容错设计、操作界面容错布局要求进行了分析,可为无人机控制站操作容错设计提供有益参考。     

城市消防远程监控系统建设过程中的几点体会

通过对国内自动消防设施设备存在问题的归纳,结合城市消防远程监控系统实际功能的实现,从监控终端、通信网络、信息中心三个方面提高系统的容错能力,阐述了实际建设和调试过程中的解决办法,并对系统的可靠性和安全性进行了讨论。