简介：备课是教员为实施教学而进行的准备活动，是顺利完成教学任务的前提和基础。能否恰当运用辩证法原理，妥善处理其中的复杂关系，对提高备课的质量具有重要作用。

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

简介：

简介：毛泽东军事辩证法无论在理论和实践上都在军事辩证法思想史上达到了前所未有的高度.毛泽东军事辩证法的主要理论贡献包括:首次明确提出了"军事辩证法"的概念;深刻揭示了军事辩证法所研究对象;概要展示了构建军事辨证法思想体系的基本原则;丰富深化了包括战争观、战争认识论、战争主体论和战争指导论的军事辩证法的基本内容.

简介：1946年7月,中华民族艰苦卓绝的抗日战争胜利不久,蒋介石为首的国民党反动派就冒天下之大不韪,彻底撕毁国共两党重庆谈判协定,悍然发动了全面内战。中国共产党人领导全国各解放区军民慷慨悲歌奋起抗击,波澜壮阔的中国人民解放

简介：粟裕是我国现代杰出的军事家,战略家。在革命战争年代,胜利地指挥过一系列重大战役,为人民立下了赫赫战功。在军事理论上也有很高的造诣。他给我们留下丰富的军事遗产,将在历史上永远闪耀灿烂的光芒。

简介：王夫之是地主阶级的进步思想家,他在评史论政中,阐述了自己的哲学思想,其历史观中闪耀着朴素的辩证思想的光芒,他看到了世界是永远运动的,历史是一个变化的、有规律的过程,他运用朴素辩证法来考察社会现象和历史问题,在历史观上表现为系统的历史变易思想和进化观点,他对前人朴素辩证法思想作了继承和发展,将其推向时代新的高度.

简介：邓小平以马克思主义军事战略家的气魄开创了中国特色精兵之路，总结和提出了新时期军队建设思想，其中的许多富有创见的思想观点和理论原则，闪耀着唯物辩证法的光辉，本文从五个方面进行了论述。

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

简介：安全工作是人命关天的大事。要掌握安全工作的主动权就应处理好大事与小事、有事与无事、别人的事与自己的事等三个方面的关系。

简介：近年来，武警部队各级机关开展了形式多样的战法研究．从理论到实践、从室内到室外、从图上到现地、从多媒体到网上，不同程度地进行了分析和探讨，取得了较好的效果．有力地指导了部队训练，提高了广大官兵的“处突”能力。本文运用唯物辩证法对战法研究中的几种要素和主动权问题进行研讨。

简介：为响应党中央关于要认真学习和研究马克思主义哲学的号召,军事科学院毛泽东思想研究所、国防大学战略教研室和南昌陆军学院联合发起的全军第二次军事辩证法研讨会,1989年10月22日—25日在江西南昌举行。与会代表80余人,提交论文63篇。在这次研讨会上还成立了中国军事辩证法学会,隶属于中国军事科学学会,挂靠军事科学院毛泽东军事思想研究

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

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