排序方式: 共有14条查询结果,搜索用时 531 毫秒
1.
2.
3.
<正>尽管滑铁卢战役通常被视为拿破仑帝国的终结时刻,但在那前一年发生在莱比锡附近的大规模会战,实际上已经确定了法国的失败命运。反法联军兵分三路1813年9月6日,在柏林西南60千米的登纽威茨,两支军队发生了交战,其中一路是由内伊元帅率领的法军,与之对阵的则是普鲁士-瑞典联军。结果,内伊掉进了陷阱,法军损失了2.4万人和50门大炮。内伊在给他的皇帝拿破仑一世的信中写道:“将军和军官的意志被粉碎了,我们的外国盟军则一有机会就逃跑。”拿破仑依然显得镇定自若,但私下里对内伊的无能感到愤怒, 相似文献
4.
时钟同步协议是时间触发网络的一个重要组成部分,是时间触发网络实时性和确定性的关键。本文基于扩展标记变迁模型对时钟同步协议进行建模,基于模型检测方法对协议是否满足正确性属性进行验证。验证结果证明了在不同启动场景下时钟同步网络协议的正确性,也表明了扩展标记变迁模型对于协议验证的有效性。 相似文献
5.
改革开放以来,我军政治工作法制化建设取得了可喜成就。三十年来军队政治工作法制化建设的基本经验是:强化法治观念,适应发展要求;健全法规体系,实现有法可依;规范法制行为。严格依法办事;坚持以人为本。开展法制教育与法律服务等。 相似文献
6.
刘威 《中国人民武装警察部队学院学报》2014,(8):49-51
人民防空地下商业建筑已向多元化的现代商业综合体发展,规模日趋庞大,其防火设计研究极为重要,而安全疏散设计是防火设计中的重中之重。结合人民防空地下商业建筑安全疏散设计要点,进行安全疏散设计的有关探讨,以保证火灾时人员利用安全出口进行疏散,最大限度地保障人身安全。 相似文献
8.
9.
10.
军用软件自测试实践与分析 总被引:1,自引:0,他引:1
随着军用软件规模和数量的不断增长及其在信息能力方面的提升,军用软件质量已成为确保军事工程质量的关键,而推行软件测试以提高军用软件质量更是成为紧迫之举。通过对军用软件自测试现状进行分析,以软件承制方的身份对某军用软件进行自测试,并将测试结果与专业测评机构三方测试的结果做对比分析,论述了军用软件自测试是保证军用软件质量的重要途径和必备手段。 相似文献