论文部分内容阅读
关于瓦日线6000t重载列车平稳操纵的浅析
【机 构】
：
大秦铁路股份有限公司侯马北机务段 山西省 侯马市 043000
【出 处】
：
建筑工程技术与设计
【发表日期】
：
2020年11期
其他文献
领域驱动设计为大规模软件系统的实现提供了方法论，是实践经验的总结。它强调领域模型的建立、通用语言的使用以及团队沟通在软件系统实施过程中的重要性，在领域建模方面提供了
软件演化过程构件实际是一个高内聚且内部一致的软件构件。针对软件演化过程的特点，把封装了形式化描述片段的过程构件作为构成演化过程模型的基本元素来探究演化过程构件的搜
会议
针对符号执行建立的路径条件求解困难的问题，结合混合约束求解的最新研究成果，提出了一个多策略的路径条件求解算法。分析了路径条件的具体特征，通过路径条件的变换及时消除不可