分支限界搜索相关论文
已有错误定位方法通常仅给出可疑语句排序而缺少必要的上下文信息,导致难于理解软件失效的产生原因.为了解决该问题,定义了加权软......
集装箱码头智能配载是一项信息技术和集装箱码头操作管理技术相结合的研究课题。配载作为集装箱码头物流供应链核心环节，对集装箱码......
为解决集装箱码头智能化配载多业务规则集成优化问题，提出3层规划框架，重点研究第2层规划方法。该方法对资源分配规则，建立数学模型；对......
