收藏 分享(赏)

19工程质量保证措施1.doc

上传人:A海阔天空 文档编号:3324499 上传时间:2020-12-30 格式:DOC 页数:20 大小:90.50KB
下载 相关 举报
19工程质量保证措施1.doc_第1页
第1页 / 共20页
19工程质量保证措施1.doc_第2页
第2页 / 共20页
19工程质量保证措施1.doc_第3页
第3页 / 共20页
19工程质量保证措施1.doc_第4页
第4页 / 共20页
19工程质量保证措施1.doc_第5页
第5页 / 共20页
亲,该文档总共20页,到这儿已超出免费预览范围,如果喜欢就下载吧!
资源描述

1、.LINGO的使用简介LINGO软件是美国的LINGO系统公司开发的一套专门用于求解最优化问题的软件包LINGO除了能够用于求解线性规划和二次规划外,还可以用于非线性规划求解、以及一些线性和非线性方程(组)的求解等LINGO软件的最大特色在于它允许优化模型中的决策变量为整数,即可以求解整数规划,而且执行速度快LINGO是用来求解线性和非线性优化问题的简易工具LINGO内置了一种建立最优化模型的语言,可以简便地表达大规模问题,利用LINGO高效的求解器可快速求解并分析结果在这里仅简单介绍LINGO的使用方法LINGO(Linear INteractive and General Optimize

2、r )的基本含义是交互式的线性和通过优化求解器它是美国芝加哥大学的 Linus Schrage 教授于1980年开发了一套用于求解最优化问题的工具包,后来经过完善成何扩充,并成立了LINDO系统公司这套软件主要产品有:LINDO,LINGO,LINDO API和WhatsBest它们在求解最优化问题上,与同类软件相比有着绝对的优势软件有演示版和正式版正式版包括:求解包(solver suite)、高级版(super)、超级版(hyper)、工业版(industrial)、扩展版(extended)不同版本的LINGO对求解问题的规模有限制,如附表-1所示附表-1 不同版本LINGO对求解规模的

3、限制版本类型 总变量数 整数变量数非线性变量数 约束数演示版 300 30 30 150求解包 500 50 50 250高级版 2000 200 200 1000超级版 8000 800 800 4000工业版 32000 3200 32000 16000扩展版 无限 无限 无限 无限3.1 LINGO程序框架LINGO可以求解线性规划、二次规划、非线性规划、整数规划、图论及网络最优化问题和最大最小求解问题,以及排队论模型中最优化等问题一个LINGO程序一般会包括以下几个部分:(1) 集合段:集部分是LINGO模型的一个可选部分在LINGO模型中使用集之前,必须在集部分事先定义集部分以关键字

4、“sets:”开始,以“endsets”结束一个模型可以没有集部分,或有一个简单的集部分,或有多个集部分一个集部分可以放置于模型的任何地方,但是一个集及其属性在模型约束中被引用之前必须先定义(2) 数据段:在处理模型的数据时,需要为集部分定义的某些元素在LINGO求解模型之前为其指定值数据部分以关键字“data:”开始,以关键字“enddata”结束(3) 目标和约束段:这部分用来定义目标函数和约束条件等该部分没有开始和结束的标记主要是要用到LINGO的内部函数,尤其是与集合有关的求和与循环函数等(4)初始段:这个部分要以关键字“INIT:”开始,以关键字“ENDINIT”结束,它的作用是对集

5、合的属性定义一个初值在一般的迭代算法中,如果可以给一个接近最优解的初始值,会大大减少程序运行的时间(5) 数据预处理段:这一部分是以关键字“CALC:”开始,以关键字“ENDCALC”结束它的作用是把原始数据处理成程序模型需要的数据,它的处理是在数据段输入完以后、开始正式求解模型之前进行的,程序语句是按顺序执行的3.2 LINGO中集合的概念在对实际问题建模的时候,总会遇到一群或多群相联系的对象,比如工厂、消费者群体、交通工具和雇工等等LINGO允许把这些相联系的对象聚合成集(sets)一旦把对象聚合成集,就可以利用集来最大限度地发挥LINGO建模语言的优势现在将深入介绍如何创建集,并用数据初

6、始化集的属性3.2.1集的构成集是LINGO建模语言的基础,是程序设计最强有力的基本构件借助于集能够用一个单一的、简明的复合公式表示一系列相似的约束,从而可以快速方便地表达规模较大的模型集是一群相联系的对象,这些对象也称为集的元素一个集可能是一系列产品、卡车或雇员每个集的元素可能有一个或多个与之有关联的特征,把这些特征称为属性属性值可以预先给定,也可以是未知的,有待于LINGO求解的LINGO有两种类型的集:原始集(primitiveset)和派生集(derived set)一个原始集是由一些最基本的对象组成的一个派生集是用一个或多个其它集来定义的,也就是说,它的元素来自于其它已存在的集3.2

7、.2模型的集部分集部分在程序中又称为集合段,它是LINGO模型的一个可选部分在LINGO模型中使用集之前,必须在集部分事先定义集部分以关键字“sets:”开始,以“endsets”结束一个模型可以没有集部分,或有一个简单的集部分,或有多个集部分一个集部分可以放置于模型的任何地方,但是一个集及其属性在模型约束中被引用之前必须先定义(1)原始集的定义为了定义一个原始集,必须详细说明集的名字,而集的元素和相应的属性是可选的定义一个原始集,用下面的语法:setname/member_list/:attribute_list;注意:用“”表示该部分内容是可选的(下同)Setname是用来标记集的名字,最

8、好具有较强的可读性集名字必须严格符合标准命名规则:以拉丁字母或下划线为首字符,其后由拉丁字母、下划线、阿拉伯数字组成的总长度不超过32个字符的字符串,且不区分大小写注意:该命名规则同样适用于集元素名和属性名等的命名Member_list是集元素的列表如果集元素放在集定义中,那么对它们可采取显式和隐式罗列两种方式如果集元素不放在集定义中,那么可以在随后的数据部分定义 当显式罗列元素时,必须为每个元素输入一个不同的名字,中间用空格或逗号隔开,允许混合使用例3.1 定义一个名为friends的原始集,它具有元素John,Jill,Rose和Mike,其属性有sex和age:sets:friends/

9、John Jill, Rose Mike/: sex, age;endsets 当隐式罗列元素时,不必罗列出每个集元素可采用如下语法:setname/member1.memberN/: attribute_list;这里的member1是集的第一个元素名,memberN是集的最后一个元素名LINGO将自动产生中间的所有元素名LINGO也接受一些特定的首元素名和末元素名,用于创建一些特殊的集 集元素不放在集定义中,而在随后的数据部分来定义例3.2!集部分;sets:friends:sex,age;endsets!数据部分;data:friends,sex,age=John,1,16 Jill,0

10、,14 Rose,0,17 Mike,1,13;enddata注意:开头用感叹号(!),末尾用分号(;)表示注释,可跨多行在集部分只定义了一个集friends,并未指定元素在数据部分罗列了集元素John,Jill,Rose和Mike,并对属性sex和age分别给出了值集元素无论用何种字符标记,它的索引都是从1开始连续计数在attribute_ list可以指定一个或多个集元素的属性,属性之间必须用逗号隔开LINGO内置的建模语言是一种描述性语言,用它可以描述现实世界中的一些问题,然后再借助于LINGO求解器求解因此,集属性的值一旦在模型中被确定,就不可能再更改只有在初始部分中给出的集属性值在以

11、后的求解中可更改这与前面并不矛盾,初始部分是LINGO求解器的需要,并不是描述问题所必须的(2) 定义派生集为了定义一个派生集,必须详细说明集的名字和父集的名字,而集元素和属性是可选的可用下面的语法定义一个派生集:setname(parent_set_list)/member_list/:attribute_list;setname是集的名字parent_set_list是已定义的集的列表,多个时要用逗号隔开如果没有指定成员列表,那么LINGO会自动创建父集元素的所有组合作为派生集的元素派生集的父集既可以是原始集,也可以是其它的派生集例3.3sets:product/A,B/;machine/

12、M,N/;week/1.2/;allowed(product,machine,week):x;endsetsLINGO生成了三个父集的所有组合共八组作为allowed集的元素,列表如下:编号 元素 1 (A,M,1) 2 (A,M,2) 3 (A,N,1) 4 (A,N,2) 5 (B,M,1) 6 (B,M,2) 7 (B,N,1) 8 (B,N,2)元素列表被忽略时,派生集成员由父集成员所有的组合构成,这样的派生集成为稠密集如果限制派生集的成员,使它成为父集成员所有组合构成的集合的一个子集,这样的派生集成为稀疏集同原始集一样,派生集元素的说明也可以放在数据部分一个派生集的元素列表有两种方式

13、生成:显式罗列;设置元素选择的过滤器当采用方式时,必须显式罗列出所有要包含在派生集中的元素,并且罗列的每个元素要属于稠密集使用前面的例子,显式罗列派生集的元素,如:allowed(product,machine,week)/A M 1,A N 2,B N 1/;如果需要生成一个大的、稀疏的集,那么显式罗列就十分麻烦但是许多稀疏集的元素都满足一些条件,可以把这些逻辑条件看作过滤器,在LINGO生成派生集的元素时把使逻辑条件为假的元素从稠密集中过滤掉例3.4sets:!学生集:性别属性sex,1表示男性,0表示女性;年龄属性age;students/John,Jill,Rose,Mike/:sex

14、,age;!男学生和女学生的联系集:友好程度属性friend!0,1之间的数;linkmf(students,students)|sex(&1)#eq#1#and#sex(&2)#eq#0: friend;!男学生和女学生的友好程度大于0.5的集;linkmf2(linkmf) | friend(&1,&2) #ge# 0.5 : x;endsetsdata:sex,age =1 16,0 14,0 17,0 13;friend =0.3,0.5,0.6;enddata用竖线(|)来标记一个元素过滤器的开始#eq#是逻辑运算符,用来判断是否“相等”. &1可看作派生集的第1个原始父集的索引,它

15、取遍该原始父集的所有元素;&2可看作派生集的第2 个原始父集的索引,它取遍该原始父集的所有元素;&3,&4,依此类推注意如果派生集B的父集是另外的派生集A,那么上面所说的原始父集是集A向前回溯到最终的原始集,其顺序保持不变,并且派生集A的过滤器对派生集B仍然有效因此,派生集的索引个数是最终原始父集的个数,索引的取值是从原始父集到当前派生集所作限制的总和3.3 LINGO数据部分和初始部分在处理模型的数据时,需要为集指定一些元素并且在LINGO求解模型之前为集的某些属性指定数值为此,LINGO为用户提供了两个可选部分:输入集元素数值的数据部分(Data Section)和为决策变量设置初始值的初

16、始部分(Init Section)3.3.1数据部分(1) 数据部分入门数据部分以关键字“data:”开始,“enddata”结束在这里,可以指定集元素和集的属性其语法如下:object_list = value_list;对象列(object_list)包含要指定值的属性名、要设置集元素的集名,用逗号或空格隔开一个对象列中只能有一个集名,而属性名可以有任意多个如果对象列中有多个属性名,那么它们的类型必须一致数值列(value_list)包含要分配给对象列中对象的值,用逗号或空格隔开注意属性值的个数必须等于集元素的个数例3.5sets:SET0/A,B,C/: X,Y;endsetsdata:

17、X=1,2,3;Y=4,5,6;enddata在集SET0中定义了两个属性X和YX的三个值是1,2,3,Y的三个值是4,5,6也可采用如下例子中的复合数据说明(data statement)实现同样的功能例3.6sets:SET0/A,B,C/: X,Y;endsetsdata:X,Y=1 4 2,5 3 6;enddata如果对象列中有n个对象,LINGO在为对象指定值时,首先在n个对象的第1个索引处依次分配数值列中的前n个对象,然后在n个对象的第2个索引处依次分配数值列中紧接着的n个对象,依此类推 (2) 参数输入在数据部分也可以指定一些标量变量(scalar variables)当一个标

18、量变量在数据部分确定时,称之为参数例如,假设模型中用利率9%作为一个参数,就可以输入一个利率作为参数例3.7data:interest_rate = .09;enddata实际中也可以同时指定多个参数如:data:interest_rate,inflation_rate = .09, .025;enddata(3) 实时数据处理在某些情况下,模型中的某些数据并不是定值譬如模型中有一个参数在2%至6%范围内,对不同的值求解模型,观察模型的结果对参数依赖的程度,那么把这种情况称为实时数据处理处理方法是在该语句的数值后面输入一个问号(?)例3.8data:interest_rate,inflatio

19、n_rate = .09 ?;enddata在每一次求解模型时,LINGO都会提示为参数inflation_rate输入一个值在WINDOWS操作系统下,将会看到一个如下面的对话框:直接输入一个值再点击OK按钮,LINGO就会把输入的值指定赋给inflation_rate,然后继续求解模型除了参数之外,也可以实时输入集的属性值,但不允许实时输入集元素名(4) 指定属性为一个值可以在数据定义的右边输入一个值来把所有的元素的该属性指定为一个值如下面的例子例3.9sets:days /MO,TU,WE,TH,FR,SA,SU/:needs;endsetsdata:needs = 40;enddata

20、LINGO将用40指定days集的所有元素的needs属性对于多个属性的情形如下:sets:days /MO,TU,WE,TH,FR,SA,SU/:needs,cost;endsetsdata:needs cost = 40 90;enddata(5) 数据部分的未知数值表示法有时候只需为一个集的部分元素的某个属性指定数值,而让其余元素的该属性是未知的,以便让LINGO去求出它们的最优值在数据定义中输入两个相连的逗号表示该位置对应元素的属性值未知,两个逗号间可以有空格例3.10sets:years/1.6/: capacity;endsetsdata:capacity = ,24,40,;en

21、ddata属性capacity的第2个和第3个值分别为24和40,其余的未知3.3.2初始部分初始部分是LINGO提供的另一个可选内容在初始部分中,与数据部分中的数据定义相同,可以输入初始定义(initialization statement)在对实际问题的建模时,初始部分并不起到描述模型的作用,初始部分输入的值仅被LINGO求解器当作初始值来使用,并且仅仅对非线性模型有用这与数据部分指定变量的值不同,LINGO求解器可以自由改变初始部分初始化变量的数值一个初始部分以关键字“init:”开始,以关键字“endinit”结束初始部分的初始定义规则和数据部分的数据定义规则相同也就是说,可以在定义的

22、左边同时初始化多个集属性,即可以把集属性初始化为一个数值,也可以用问号定义为实时数据,还可以用逗号指定为未知数值例3.11init:X,Y = 1,0;endinitY=log(X);X2+Y2=1;3.4 LINGO函数3.4.1运算符及其优先级LINGO 中的运算符可以分为三类:算数运算符、逻辑运算符和关系运算符(1) 算数运算符算数运算符分为5种: (加法), (减法), (乘法), (除法), (求幂)(2) 逻辑运算符逻辑运算符分为两类:#AND#(与),#OR#(或),#NOT#(非):这3个运算符是参与逻辑值之间的运算,其结果还是逻辑值运算符#EQ#(等于),#NE#(不等于),

23、#GT#(大于),#GE#(大于等于),#LT#(小于),#LE#(小于等于)是用于“数与数之间”的比较,其结果是实逻辑值(3) 关系运算符LINGO中有3种关系运算符:(大于等于),=(等于)注意LINGO中优化模型的约束一般没有严格大于、严格小于,要和逻辑运算符区分开运算符的优先等级如附表3-2所示附表3-2 运算符的优先级优先级运算符高级#NOT# ,(负号)* ,/+,#EQ#,#NE#,#GT#,#GE#,#LT#,#LE#,#AND#,#OR#最低3.4.2 LINGO数学函数(1) 基本数学函数LINGO中有相当丰富的数学函数,这些函数的用法简单下面列表对各个函数的用法做简单的介

24、绍,具体情况如附表3-3所示(2) 集合循环函数集合循环是指对集合上的元素(下标)进行循环操作的函数,它的一般用法如下:function(setname(set_index_list)|condi管理上严格按泸州市城市建设档案管理规定的要求收集、整理、归档。1认真贯彻执行泸州市城建档案归档制度,建立工程施工技术档案。2配备专职工程档案资料员,负责工程档案资料的编制、填写、收集、整理、装订与保管和竣工资料的复印装订与移交工作。3工程施工档案资料,应与工程进度同步收集与整理,并做到齐全与完善,按类别装订存放保管。4任何人不得随意涂改工程档案资料和弄虚作假。5据有投入使用的材料或半成品、成品的构件的质保书、检验合格证明,经审查后必须及时收缴至专职资料员,并存入工程档案备查。6所有资料的交接均须办理登记签证手续,并规定资料不得外借,需要参阅复印的需经项目技术负责人批准。7对不符合规定要求的文件资料及时返回有关部门整改,完善后归档。8工程档案资料在保管过程中将做好防潮和防腐工作,以免纸张变色和发霉。19.9 工程计量管理措施工程计量是否准确将直接影响到工程质量,抓好工程质量必须严格计量管理,工程计量的管理既包括对计量仪器、设备的管理,又包括对操作人员的管理。在施工中应严格按照相关规定进行。.

展开阅读全文
相关资源
相关搜索
资源标签

当前位置:首页 > 应用文书 > 工作计划

本站链接:文库   一言   我酷   合作


客服QQ:2549714901微博号:文库网官方知乎号:文库网

经营许可证编号: 粤ICP备2021046453号世界地图

文库网官网©版权所有2025营业执照举报