5.3逻辑方法建模 欧几里德在不加证明而直接采用基本概念和 公理的基础上,运用逻辑推理方法得出了一系列 定理、推论,从而建立了完整的欧几理德几何学, 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法 一.合作对策模型 从事某一项活动若能多方合作,往往可以获得更 大的总收益(或受到更小的失合作中应该如何 分配收益(或分摊损失)
5.3 逻辑方法建模 欧几里德在不加证明而直接采用基本概念和 公理的基础上, 运用逻辑推理方法得出了一系列 定理、推论, 从而建立了完整的欧几理德几何学， 这一辉煌的成果至今仍然是人类宝贵财富. 逻辑推理建模方法是一种重要的建模方法 一. 合作对策模型 从事某一项活动若能多方合作, 往往可以获得更 大的总收益(或受到更小的损失).合作中应该如何 分配收益（或分摊损失）?
合作对策模型基本思想:采用公理化方法, 从问题应当具有的基本属性出发,运用逻辑推理 方法导出满足这些基本属性的解 例5.3.1有三个位于一条河流同一侧的城镇, 三城镇的污水必须经过处理才能排入河中三方 商议共建一座污水处理厂 城 城 城3)污水厂 20公里 38公里 筹建处
合作对策模型基本思想：采用公理化方法， 从问题应当具有的基本属性出发，运用逻辑推理 方法导出满足这些基本属性的解. 例5.3.1 有三个位于一条河流同一侧的城镇， 三城镇的污水必须经过处理才能排入河中. 三方 商议共建一座污水处理厂. 城1 城2 城3 20公里 38公里 污水厂 筹建处
问题: (1)三个城镇怎样建厂可使总开支最少? (2)每一个城镇的费用各分摊多少? 分析:有五种方案可供选择 (1)三城各建一个处理厂 (2)城l与城2合建一个厂,城3单独建一个 (3)城2与城3合建一个厂,城1单独建一个; (4)城1与城3合建一个厂,城2单独建一个; (5)三城合作建一个处理厂 条件:建设污水处理厂的费用有公式: 管道费用∴=730012(万元 C2=6.6051L(万元
问题： （1）三个城镇怎样建厂可使总开支最少？ （2）每一个城镇的费用各分摊多少？ 分析：有五种方案可供选择 条件：建设污水处理厂的费用有公式： 730 ( ) 0.712 C1 = Q 万元 管道费用： 6.6 ( ) 0.51 C2 = Q L 万元 (1) 三城各建一个处理厂； (2) 城1与城2合建一个厂, 城3单独建一个； (3) 城2与城3合建一个厂, 城1单独建一个； (4) 城1与城3合建一个厂,城2单独建一个； (5) 三城合作建一个处理厂；
Q污水排放量;L管道长度(公里 三个城镇的污水排放量分别为 Q1=5米3/秒,Q23米3秒,Q3=5米3/秒 对各个方案进行费用测算,得 方案总投资城投资城2投资城3投资 (1) 6200230016002300 (2) 5800 2300 (3)59502300 (4) 6230 (5) 5560 ?? 1600 ??? ? 方案5:三个城市合作建厂总投瓷最少.「4
Q—污水排放量；L—管道长度(公里). 三个城镇的污水排放量分别为 Q1=5米3/秒，Q2=3米3/秒，Q3=5米3/秒. 对各个方案进行费用测算，得 方案 总投资 城1投资 城2投资 城3投资 （1） 6200 2300 1600 2300 （2） 5800 ？ ？ 2300 （3） 5950 2300 ？ ？ （4） 6230 ？ 1600 ？ （5） 5560 ？ ？ ？ 方案(5):三个城市合作建厂总投资最少
问题:三个城市如何分摊费用? 经商讨定下几条原则 1.建厂费用按3个城市的污水量之比5:3:5分摊; 2.城2到城3的管道费按5:3由城1和城2分摊; 3.城到城2的费用由城1自行解决 思考:他们的原则是否有道理? 城1市长的“可行性论证”: 建厂总费用为730×(5+3+5)012=4530万元), 城1负担费用为4530×5/13≈1742万元); 2.城1至城2的管道费用为 6.6×5051×20=300万元);
问题：三个城市如何分摊费用？ 经商讨定下几条原则： 1. 建厂费用按3个城市的污水量之比5:3:5分摊； 2. 城2到城3的管道费按5:3由城1和城2分摊； 3. 城1到城2的费用由城1自行解决. 思考：他们的原则是否有道理？ 城1市长的“可行性论证”: 1. 建厂总费用为 730×(5+3+5)0.712 =4530(万元), 城1负担费用为 4530×5/13≈1742(万元); 2. 城1至城2的管道费用为 6.6×5 0.51×20≈300(万元)；