学科分类
/ 1
14 个结果
  • 简介:基于软件维护性尽早、全过程迭代验证的思想,提出了贯穿软件生命周期的维护性迭代验证策略及过程,建立了基于功能块平均维护时间的维护性迭代验证模型。通过阶段性地开展软件维护性验证,可及时发现软件维护性设计缺陷并及早更改,避免造成严重的维护性质量问题,大大降低软件使用阶段的维护费用,提高软件系统的完好率。通过制定规范的软件维护性验证策略和方案,规范了软件维护性验证实施过程,为软件维护性验证人员提供了可行的操作指南,也为软件维护性验证平台开发人员明确平台需要提供参考。实例验证结果表明:所提出的软件维护性迭代验证方法是有效、可行的,可为软件研制人员提供理论指导,也为软件使用和维护人员制订软件维护计划、配置软件维护资源提供决策依据。

  • 标签: 软件维护性 平均维护时间 迭代验证
  • 简介:基于时态逻辑,定义了标准的逻辑操作公式、公理和扩展定理。根据测试生成和验证所要求的初始特性,提出了全局时态逻辑(GlobalTemporalLogic)GTL,避免了验证和测试中的回溯问题,从而提高验证和测试的效率。另外根据电路节点的扇入和扇出特性,介绍了利用时序线等启发知识来提高搜索策略的方法。

  • 标签: 时态逻辑 验证 测试生成 故障
  • 简介:最近碰到几位朋友,言谈中都提到:你们人武部事情不多,工作弹性大,没有硬指标。我觉得他们的说法不妥,因为人武工作都有硬指标。理由之一:党中央赋予人武部门的主要工作任务是硬指标。人武部改归地方建制后,其工作性质和工作任务不变,要负责民兵组织建设和武器装备的管理,负责民兵预备役人员的军事训练和政治教育,负责预备役人员的登记统计工作,负责征兵工作,

  • 标签: 人武工作 预备役人员 民兵组织建设 预备役工作 战时兵员动员 来之能战
  • 简介:1995年以来,根据生活费管理现状,总部采取积极措施,对生活费中弹性较大、难以管理的客饭费、夜餐费、过节费等15项经费,实行了指标管理(以下简称指标生活费管理),即包干使用,结余不交的办法。从实践情况看,这种办法调动了各级管好、用好生活费的积极性,最大限度地发挥了经费使用效益,保障了官兵有关待遇的落实,促进了部队的稳定。

  • 标签: 武警部队 后勤管理 工作方法 指标生活费 制度建设
  • 简介:当前,一些单位每年为下属单位制定新闻报道见报指标的现象时有发生,这些单位重视新闻报道工作的态度和愿望是好的,但因此所产生的负面影响却不容忽视。其一,违背新闻的客观规律。新闻是指正在发生或已发生、存在的客观事实,不是想要多少新闻就能出来多少新闻,人为地定数量没有科学依据。

  • 标签: 新闻报道工作 定指 单位制 负面影响 客观规律 科学依据
  • 简介:装备保障战备评估是一个新的概念,建立装甲装备战各评估指标体系是装备管理中的一项重要工作,通过介绍战备、评估、战备评估的概念,分析了建立装备保障战备综合指标体系的必要性,围绕装备、器材、人员、设备、维修、战备方案、战备训练、战备设施等几个方面的内容,论述了建立装备保障战备评估体系步骤和方法,实现战各工作的全程量化管理.

  • 标签: 装备保障 战备 评估 指标体系
  • 简介:为了探究先验信息对软件可靠性验证测试次数的影响,对软件可靠性验证测试中的实时先验信息进行动态整合,提出了纠错、不纠错2种情况下的先验信息动态整合方法,以此为基础,提出了基于先验信息动态整合的贝叶斯软件可靠性验证测试方法。最后,通过实例分别分析了这2种情况下先验信息动态整合方法对软件可靠性验证测试次数的影响。

  • 标签: 软件可靠性 贝叶斯 先验信息 动态整合 可靠性验证测试
  • 简介:装备使用阶段的维修保障能力评估对于发挥现有装备的作战能力具有很强的现实意义,而建立有效的指标体系是分析评估的基础.文章首先给出了指标体系的建立原则,然后从维修保障系统、装备、作战单元3方面给出了装备使用阶段维修保障能力评估指标体系.

  • 标签: 使用阶段 维修保障 能力评估 指标体系
  • 简介:为了验证高功率密度柴油机智能化控制冷却系统控制策略是否正确,以DSPACE为基础搭建了半实物仿真试验平台;通过仿真试验平台验证,控制策略符合柴油机冷却系统工作要求,电控阀、传感器、驱动电路等部件工作可靠,节省了研制时间、经费,降低了研制风险。

  • 标签: 高功率密度 冷却系统 控制策略 半实物仿真
  • 简介:科学、可行的指标体系是群体性事件预警的核心。在坚持完备性与最小性原则、科学性与可行性原则、敏感性与动态性原则、全局性与针对性原则的前提下,利用层次分析法、专家调查法,构建了以边境地区经济、社会保障、公共安全维护、民族与宗教、边民心理状况以及周边环境六大因素为支撑的边境地区群体性事件预警指标内容,并形成了6个一级指标,12个二级指标,44个三级指标的边境地区群体性事件预警指标体系。

  • 标签: 边境地区 群体性事件 预警 指标
  • 简介:针对目前建立的装备保障指挥系统效能评估指标体系评价指标繁多,存在重复、等价的不足,通过验证各评价指标相对于决策属性是否必要与验证各子集组合相对于决策属性是否独立,建立了基于粗糙集理论的装备保障指挥系统效能评估指标体系约简方法,对评价指标进行了约简,建立了约简的装备保障指挥系统效能评估指标体系,可为装备保障指挥系统效能分析提供依据。

  • 标签: 装备保障指挥 效能评估 粗糙集理论 约简
  • 简介:河北省临漳县县委副书记、某预备役炮兵旅四营政治教导员张家宝同志在受领编组任务后,克服时间紧、任务重、困难多等实际情况,用"心"抓好预备役部队建设,营队全面建设呈现良好发展势头,赢得各级领导和预备役官兵的一致好评。编组先抓"六件事"前不久,编组任务明确后,基层理论学习

  • 标签: 临漳县县委 副书记预备役 县委副书记
  • 简介:2月16日,中共北京市委、北京市人民政府、北京卫戌区联合颁布实施《关于加强民兵预备役政治工作的意见》。《意见》充分贯彻党中央、国务院和中央军委关于加强后备力量思想政治建设一系列重要指示精神,深刻阐明新形势下加强首都民兵预备役政治工作的重大意义,明确了当前和今后一个时期民兵预备役政治工作的主要任务、根本原则、组织领导和相关保障,对党管武装、民兵预备役思想政治教育、军事训练和遂行任务中政治工作、基

  • 标签: 预备役部队 政治工作 党管武装 遂行任务 后备力量 基层专武干部