排序方式: 共有424条查询结果,搜索用时 15 毫秒
41.
软件的静态分析在很大程度上是对编写软件的语法和文本进行检查,使其符合工程项目的需要.使用C Test可以帮助编程人员和测试人员完成对程序的自动静态测试.测试人员还可以自定义检查规则来完成对代码的特定需求检查. 相似文献
42.
43.
微槽平板热管传热性能的实验研究 总被引:4,自引:0,他引:4
系统地研究小充液率条件下重力对微槽平板热管传热性能的影响,分析了工作温度、冷却方式等影响因素.发现重力对热管径向液膜的分布影响比较小,而对轴向的影响比较明显,从而使得倾角较大地影响了热管的传热能力.进一步证明了深槽平板热管具有良好的传热性能. 相似文献
44.
45.
46.
47.
48.
陆军战术作战仿真想定生成方法 总被引:2,自引:1,他引:1
针对作战仿真中想定数据的生成需求,在分析仿真想定内容的基础上,规范了仿真想定的生成流程,给出了指挥规则的抽取和量化方式,提出了面向实体的仿真想定结构化表示方法和基于XML的仿真想定存储结构,分析了利用G IS和3D技术实现作战计划和行动协同规划的方法途径,探讨了仿真想定数据的校核内容和重用机制,为实现仿真想定生成工具提供了一种有效的思路。 相似文献
49.
针对用线性规划方法在解决弹药调拨供应决策过程中存在的弹药调拨供应量的分配与弹药保障原则关联不紧密的问题,采用目标规划理论与方法,引入优先级区分主要作战方向和次要作战方向弹药库的重要程度,在同一优先级上以权重区分一梯队、二梯队及预备队弹药库的弹药保障优先顺序,使得模型的构建过程与弹药保障原则紧密相联。同时,在模型构建过程中,综合考虑了弹药消耗预测量、弹药储备标准和弹药运输时限等因素对弹药调拨供应决策的影响,并从本级弹药储备不足和充足两种情况进行了数值模型及分析,验证了模型的正确性与可靠性,为弹药调拨供应提供了决策支持与理论支撑。 相似文献
50.