![基于一阶谓词逻辑的代码查询技术]()
论文摘要随着软件产业的迅速发展,软件系统的规模和和结构日益复杂,人们对于软件产品的质量要求也越来越高。基于代码的审查技术和测试技术是常见的软件质量保障技术。代码审查过程的核心活...
![某型航发滑油附件系统修理工时定额研究]()
论文摘要随着我国航空工业的不断壮大,航空研发、制造、维修、销售的产业链已经基本形成,但由于一直有重研发、生产,轻维修的观念,使得这个产业链中的的维修环节一直效率不高,要想使整个...
![扬柴公司4102装配线精益生产应用研究]()
论文摘要精益生产(LeanProduction)是提高企业生产运营效率的有效方式,对于扬柴公司来说,如何科学地运用精益生产技术,改善现有生产布局、优化工艺路线、消除生产过程中各...
![异常传播分析技术及其应用研究]()
论文摘要随着软件规模的扩大,程序复杂度的增强,对程序的可靠性和健壮性的要求越来越高。异常处理机制是程序设计语言提供的一种用来检测异常并对其进行处理的技术。使用异常处理机制时,一...
![依赖性分析及其在软件测试中的应用]()
论文摘要依赖性分析和程序切片,是一种程序分解技术,在软件工程的诸多领域都有广泛应用。现代软件规模的巨大和复杂使得设计和测试这些软件极其困难,其中软件测试通常要占到开发成本的50...
![基于Q学习的复杂程序动态分析技术]()
论文题目:基于Q学习的复杂程序动态分析技术论文类型:硕士论文论文专业:计算机软件与理论作者:王玉宝导师:徐宝文关键词:程序分析,机器学习,学习,复杂程序,程序动态分析,依赖性分...
![王权：试论基于IE理论的城铁车总装配工艺的优化方案论文]()
本文主要研究内容作者王权（2019）在《试论基于IE理论的城铁车总装配工艺的优化方案》一文中研究指出：以城铁车的总装配工艺为例,通过对城铁车的装配流程进行深入的实地调研,从装配...
