本书是将运筹管理应用于交通运输与物流领域的高水平学术著作,内容包括:理论基础;基础车辆调度均衡模型及其应用;时间窗口车辆调度均衡模型及其应用;联送货车辆调度均衡模型及其应用。
本书稿为农业植物保护技术专业图书。是作者在农业植物保护领域多年的科学研究和成果推广基础上,结合大量生产实践经验编写而成。收录了临夏州40种云杉主要病虫害,并配有彩色图谱109幅。从分布与危害、症状、形态特征、发生规律及综合防治等方面进行讲解。本书稿图文并茂、通俗易懂,技术可操作性强。对云杉病虫害的准确诊断与科学防治有较高的指导和参考价值。
本书基于进程代数理论中的通信系统演算(CCS)模型对软件的近似正确性进行了形式化描述和度量。从接受和拒绝环境角度,以参数化互模拟和三分之二互模拟为基础,建立了参数化互模拟和三分之二互模拟的无限演化理论及拓扑理论,建立了近似的参数化互模拟和近似的三分之二互模拟理论。