登录
首页 » Others » 三维装箱问题的模型与改进遗传算法

三维装箱问题的模型与改进遗传算法

于 2020-12-05 发布
0 451
下载积分: 1 下载次数: 9

代码说明:

关于三维装箱算法问题, 一些算法理论, 感觉对这方面的应用有一定帮助144效学的实践与认识40着∑(B,*v)≤VB,B,PD,PWy=0或者1v∈{1,2,…,D},y∈{1,2,…,W},z∈{1,2,…,H},j∈{1,2,…,n}(12目标函数是箱子未装填物品的空间最少(亦即空间浪费最少)条件(2)确保子的1个装填空间单元被装填不超过1次即保证物品间不会互相嵌入;(3)式说明上层物品会有支撑,不会悬空(4),(5),(6)式说明物品装箱位置约束;(7),(8},(9)说明物品的摆放问;(11)是箱子的容积约束2這传算法21遗俊法遗传算法(GAs)是建立在达尔文进化论基础上的搜索算法,它从代表问题潜在解的个种群( population)开始,而一个种群则由经过基因(gene)编码 coding)的一定数目的个体individual)组成遗传算法采用了自然进化模型,如选择,交叉变异等计算开始时,一定数目S个个体(父个体1、父个体2……)即种群随机地初始化,并计算每个个体的适应度函数第一代也即初始代产生如果不满足优化准则,开始产生新一代的计算为了产生新一代按照适应度选择个体,父代通过基因重组(交叉)而产生子代所有的子代按一定的概率变异然后重新计算子代的适应度,将子代插入到种群中取代父代构成新的一代循环执行这一过程,直到满足优化准则22算法设计2.21编码方法采用矩阵编码方法,用多维数组(二维矩阵表示染色体结构,数组元素表示染色体基因,编码清晰,易于理解,遗传算子操作方便染色体S=(L,P,Px,Py,T)来表示问题的一个解其中:向量L=(Li,L1,…,Ln)为待装箱物品的一个排列;向量P=(Bn,B1,…,B3n)为对应于排列L的B,一个排列向量Px=(PB,PB,…,PB)为对应于排列L的PB一个排列向量Py=(PB,PB},…,PB为对应于排列L的PBx一个排列矩阵T=(x2=欢面为对应于排列L的装箱物品坐标22适值函数问题的目标是最小化箱子的浪费空间,适应度函数可定义为空间利用率函数(S代表染色体C1994-2010ChinaAcademicJournalElectronicPublishingHouse.Allrightsreservedhttp://www.cnki.net2期陈德良,等:三维装箱问题的模型与改进遗传算法Fitness(s)(∑B3*v/若∑(B;*v)≤V否则23解的不可行性,罚函数与评估函数由于对染色体作遗传运算时可能获得不可行的子代,惩罚技术是用遗传算法解约束优化问题中最常用的技术,本质上它是通过惩罚不可行解将约束优化问题转化为无约爽问题就本文讨论的问题而言,惩罚项包括:1)物品在装箱时不交叠,即满足约束条件{2},有着∑By≤1g:(S)1,否则2)物品装箱时不能出现悬空即满足约束条件(3),有0若∑B-B+)>0g2(S)=(151,否则3)物品装箱不能超出箱子边界,即满足约束条件(4,(5)和(6),有0若吃+B(Pp++Pwy*吗)≤D1,否则0若+B*(PD*+PWy*m)≤W941,否则(17)95(S)=0,若x+B*h;≤H8)1,否则eat(s=∑9(S)b=1那么,式(14)至(18)任何一个取值为1,都是不可行评估函数eval(S)=Fitness(S)*(5-Genalty (S)24算法步骤)初始化进化代数计数器,随机产生一定数目(大于设定的初始种群规模)的染色体;2)利用式(14)检验初始种群染色体可行性,对不可行解旋转赌轮接受小部分不可行解,与可行解构成初始种群3)对初始种群染色体进行遗传运算;①按照式(14)至(20)计算评估函数:⑩按顺序交叉方法产生子代;④变异算子;4)旋转赌轮选择染色体;)重复3至4)直到完成给定的循环次数;C1994-2010ChinaAcademicJournalElectronicPublishingHouse.Allrightsreservedhttp://www.cnki.net数学的实践与认识40卷6)确定最好的染色体作为最优解3实验结果我们用C++编程实现了上述算法在配置为CPU24GH/512 Mb ram的微机上,用随机产生的数据进行实验取遗传算法运行参数为:{群体大小进化代数,交叉概率,变异概率}-{100,50,0.85,0.05}用随机产生的数据进行实验,求解20个种类100件物品的装箱问题,得到最好解耗时小于1秒;计算50个种类200件物品的装箱问题,得到最好解耗时小于2秒以下是3类共16件物品的装箱问题.实验数据图2,第!行为箱子尺『;第2至第4行为待装箱物品,每行第1个数据表小序号第2至镌4数据分别为物品尺寸,第5个数据表示物品件数在计算转桌中包含数据依次是:序号,是否装载,物品长,物品宽,物品高,纵向坐标横向坐标,垂向坐标纵向长度,横向长度,垂向长度(图4).从图4可知第12号物品未能装箱,物品装箱的顺序可以从“序号列中得出.绘制的物品装箱示意图见图31421,2,乙2,2,图2实验数据图3装箱示意图文件((格式(Q帮助新 s REPORT耗时:.1 most g sec次数:01615积:7580001016每a0库:92.875989名寸:=280;y=1210;2=300NO: P st Din 1 Din 2 in 3 C xC YPu y Pu 2202002002002001002812B20020012010010020012鲁2020012010020020020020012B100100212021201215024015824815015561111111111115152每000ao00015150240202020055020200201002001215502D0200120100100201205s012020028012015024075000015024815015024075015015024a152002009o002002001002012090020012日未装相物品121501502年图1计算结果o1994-2010ChinaAcademicJournalElectronicPublishingHousealLrightsreservedhttp://www.cnki.net2期陈德良,等:三维装箱问题的模型与改进遗传算法1474结束语装箱问题是一常见而难解的优化问题,利用遗传算法求解时,随机产生的初始解会出现大量的不可行解(装箱物品占用空间出现大量交叠),本文将箱子内部空间划分为一个个立方体单元:算法的第2)步对标准遗传算法做了修改通过剔除大量不可行解提高算法的收敛速度,实验结果表明此算法运算过程及绪果稳定,具有较强的实际应用价值能有效解决复杂的三维装箱何题,今后将继续研究将该方法运用到其它不同的有关装箱问题或组合优化问题中参考文献[1] John J, et al. An improved algctithra for the ncn-guillctine-constraincd cutting-stock problem(JIOperational Resee ch Society, 19 /0,+1: 141-149[2] Coffmau E. G, et al. ver age-case analysis of cutting and packing in two dimensions [J]. Euro. Jof Operatic al Reseaich, 1990, 44: 134-14413) Fabien C, et al. A Two-phase heuristic for the two-dinensional cutting-stock problem [J. Opera-tional Research Society, 1991, 42: 39-744 Martello Silvano, Pisinger, David, and Vigo, Daniele. The Three-Dimensional Bin Packing ProblemJ. Operations Research, 2000 Informs. Vol. 48: 256-267]何大勇,査建中,姜义东遗传算法求解复杂集装箱装载问题方法研究向]软件学报,201,12(9):13801385阿]张德富魏丽军陈青山陈火旺等.三维装箱问题的组合启发式算法软件学报,2007,18(9):20832089A Mixed Integer Programming Model ofThree-Dimensional Bin-Packing Problem and ImprovedGenetic AlgorithmsCHEN De-liang, 2, CHEN Zhi-yaSchool of Traffc &z transportation Engineering, Central South University, Changsha 41076, China)(2. Logistics School, Central South University of Forestry Technology, Changsha 410004, ChinaAbstracts The three-dimensional bin-packing problem is complicated but a high level ofinterest in developing effective way to solve this kinds of NP-hard problem. First a MixedInteger Programming model was worked out in this paper, which resorted to dividing box spaceinto unit cube. Then an improved genetic algorithm was mainly developed. Tests on hundredsof problems show that this algorithm makes the most of volume utilization in minimal timeKeywords: three-dimensional bin-packing problem; space division; mixed integer program-ming model; improved genetic algorithmso01994-2010ChinaAcademicJournalElectronicPublishinghOuse.Allrightsreservedhttp://www.cnki.net

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论

0 个回复

  • linux-selinux功能及源码分析
    该书详细介绍了linux中关于selinux部分功能的实现流程和关键代码分析7.1.1.3基于创建者SID的文件系统.,,7.1.2 Gcncralizcd Sccurity Context labeling,,,,637.1.4 Mount-Point labeling667.1.5 Initial SId87.1.5.1 Initia1SID和 Initial sc的定义7.1.5.2 Initia1SID和 Initial sc的写出和解析707.1.5.3 Initia1SID和 Initia1SC的使用717.1.6进程创建的内核数拥结构的标签727.2何时需要为应用程序开发pp?●··垂·看垂723设计pp的一般过程7.4为vock程序编写v1ock.pp●垂春·垂767.4.1第一阶段:定义基本的te,fc和.if文件767.4.2第二阶段:根据 AVC Denied msg补充相应的规则807.4.3第三阶段:使用 don audit规则屏蔽与冗余操作枓关的错误信息7.4.4其他注意事项87.5为 samhain程序编写 samhain.pp..857.5.1第一阶段:定义基本的.te,,fc和.if文件事垂垂7.5.2第二阶段:根据 AVC Denied msg补充相应的规则07.5.3第三阶段:使用 don audi t规则屏蔽与冗余操作相关的错误信息927.5.4图解:使用 samhain时的 Domain transition过程春春鲁看D垂垂春,,937.6使用 SLIDE来开发pp,分析 SELinux源代码.7.7编写pp时的注意事项中垂鲁鲁··●,,,,,,,,,,,948. SELinux问题分析步骤总结.8.1排除DAC权限的问题,,,968.2检查用户当前所扮演的角色963分析 AvC Denied message: Target的标签正确吗?,8.4在系统启动过程中适时地修复错误的文件标签97应用程序的实际行为要和其pp的假设相一致,,,,988.6明确相应 domain所缺少的权限8.7其他注意事项8.7.1在 Permissive模式卜调试,998.7.2取消所有的 dontaudit规则.8.7.3当心 MLS Constraints1008.7.4检査 SeLinux- aware应用程序的配置和编译选项,.1018.7.5积极地和社区交互.1018.7.6使用 strace直接定位失败的系统调用(重要!).………1028.8 selinux问题分析过程和方法举例( Revisited),,1028.8.1实例一:用户无法在 console上正常登录-使用 strace定位失败操作1028.8.2实例二: sysadm r无法正确使用 useradd命令108SELinux开发笔记.…,,1149.1使能对/dev/ console的支持1149.1.1提出问题:20101213及之前的 epolicy缺乏对 conso1e的支持9.1.2分析问题··p9.1.3解决问题.1169.1.4测试结果1179.1.5使用 strace观察 consolo被重新打标签的细节(new),,,,1179.2 Socket labeling开发,1189.2.1提出问题: socket默认继承其创建者的SID的副作用,,,,,1189.2.2分析问题1199.2.3解决问题1199.2.4测试结果.,.1239.3给 role transition规则添加c1ass的支持,,..,,1249.3.1提出问题-当前 role transition规则只对 process类有效,,1249.3.2分析问题..,,,,,.1249.3.3解决问题D垂垂垂,,,,,1259.3.4测试结果,,,,,1319.3.5其他说明.1339.3.6经验总结●非春…1359.4增加 role attribute的攴持(new).,,,1369.4.1提出问题之一:roe- dominance规则的局限性1369.4.2提出问题之二:期望的 role attribute使用模型..1409.4.3分析问题1429.4.4解决问题D1439.4.5测试结果639.4.6一个有意思的编译问题,,,,1689.4.7有关role- types规则语法的讨论.,,.1719.5区分 tuna1e和 boolean(new).···1729.5.1提出问题无用的 tunable分支被写入 policy.X.729.5.2分析问题1739.5.3解决问题,,1749.5.4测试结果.1879.5.5其他经验总结9.N在策略中指定 newcontext的缺省设置方法(todo)1929.N.Ⅰ提出问颋- newconteκt的设置策略被硬编码到机制中19210. SeLinux内核驱动分析小记19410.1LSM核心数据结构及相应回调函数,19410.2 sELinux核心数据结构.19410.2.1 selinux对内核数据结构的扩展19410.2.1.1进程的安全属性19510.2.1.2文件和打开文件描逋符的安全属性.,,.,,,,,,..19510.2.1.3 socket的安全属性10.2.1.4文件系统超级块的安全属性1960.2,2AVC数据结构.19710.2.3內核 policy中保存TE规则的数据结构.,19910.2.4內核 policy中保存RBAC规则的数据结构.鲁鲁,,,,,20010.2.5 SeLinux规则在内核中的检查点总结(new)..,,,,,,20110.3情景分析:打开文件时的相关函数调用链20110.4通过 SEL inuxfs访问内核 Security Server,,,,,,,,,,,,,,20810.4.1/ selinux/load和1 oad policy命令一装载冰解析 policy.二进制文件20910.4.2/sc1inux/ relate1及 compute relabel命令-查询 type change规则21110.4.3/ selinux/ create及 compute create命令-查询type_ transition规则21110.4.4/ selinux/ member及 compute member命令-查询 type member规则.21210.4.5/ selinux/ access文件和 compute av命令-查询a11ow规则...21310.4.6/ selinux/user文件和 compute_user命令-查询用户登录后可能的SC21310.4.7/ selinux/ initial contexts/-查询 Initia1SI对应的安全上下文21410.4.8/ selinux/ class/-查询内核 class datum数拥结构(todo10.5情景分析: Domain transition的实现●··垂·看垂,,,,,,,,,,,,,,,,,,,,,21510.5.1 selinux setprocattr凼数-/proc/lpid/attr/“文件驱动21610.5.2 do execve的行为和相关 seLinux内核驱动垂垂看21810.6情景分析:文件系统的挂载和新文件的创建2110.6.1文件系统的挂载过程(new)..22110.6,2确定新创建文件的标签...23610.7 Context数据结构和u32sid之间的映射24110.7.1 sidtab node的定义和 sidtab的组织结构.24110.7.2 sidra_ insert函数- sidtab node的插入·,,,,,,,,,,,,,,24210.7.3 sidtab context to sid函数返回或分配sid..24310.7.4 security transition sid函数-计算新 subject/ object的sid....24410.7.5创建 context并注册到 sidtab以获得sid的时机.24910.7.6 security context to sid函数返回Sc字符对应的sid....25010.7.7 sidtab scarch corc囪数- sidtab node的查找,,,25110.7.8 security sid to context core函数-返回sid所对应的SC宇符串25210.8 Class Mapping..25410.8,1C1 ass mapping的作用..,,,,,25410.8,2 Class Mapping的创建垂垂垂·,,,,,,,,,,,,,,,,25410.8.3 Class mapping的使用-c1ass/perm内核态和用户态索引的转换.25710.8,4增加 class或者权限的方法25810.9和文件操作相关的回调数9. 1 selinux file mprotect回调函数25910.10和 AF UNIX SOCket相关的回调函数(todo),26310.11和程序执行相关的操作(todo).26410.11.1se1 inux bprm secureexec凼数-扩展 AT SECURE机制26410.11.1.1C库 AT SECURE机制介绍26410.11.1.2C库 AT SECURE机制演示26710.11.1.3 SELinux对 AT SECURE机制的扩展( Revisited).26911.用户态应用程序对 SeLinux的支持27211.11 selinux相关文件分析,27211.1.1 selinux config,c文件.,,27211.1.2 gelfilecon.c文件,,,,,27211.1.3 procattr.c文件.27211.1.4 compute relate1.c文件(访问/ selinux/ relate1)..27311.2 newrole源代码分析,27411.2.0 newrole命令的使用模型2742.1main函数7311.2.2 parse command linc arguments函数.,,,27611.2.3 relabel tty函数2761.3PAM模块分析..,27711.3.1 pam sC1inux.so作用分析(TODO27711.3.2pam1 oginuid,so作用分析,27811.3.3 pam name space.so作用分析.,27911.3.3.1多态( polyinstantiation)的作用,,,,,,,,,,,27911.3.3.2LSP对多态的配置,,,,,,,,,,,,,,28111.3.3.3 SELinux对 polyinstantiation的支持.,,,,28111.3.3.4解决在使能多态后 crond的使用间题28211.3.3.5 pam namespace,so源代码分析(IODO11.3.3.6有关 pam namespace.so的剩余问题8412. refpolicy的编译,链接,扩展,,,,,,,,,28512.1描朮标识符的数据结构8512.1.1 type datum t8512.1.2 common datum t12.1.3c1 ass datum t.,,,,,.,,,,.28612.1.4ro1 e datum t..,,,,,,曲D,.,28712.2描朮规则的数据结构..28812.2.1 AVTAB AV和 AVTAB TYPE类规则..,,,,28812.2.2 rolc transition规则●·垂,,,,,,,,,,,,,,,,,29012.3用户态 policy t数据结构分析.12.3.1 policy t数据结构综诚29012.3.2 symtab符号表.29412.3.3 avrule block t, avrule decl t FH scope stack t12.3.4 scope datum t-描迒标识符的定义者和使用者29712.3.5 scope index t-描逋一个b1ock/dec1内定义或引用的标识符.29712.3.6 cond node t-描朮一个ir- else conditiona29812.4 module的编译- checkmodu1e..30112.4.1编译过程核心数拥结构关系图30112.4.2 define policy- policy module词法分析....30212.4.3 begin optional- optional_ policy词法分析30412.4.4 declare type-type标识符的定义,,30312.4.5 require type-声明对type标识符的外部依赖31512.4.6 define te_ arab-TE规则的词法分析..31812.4.7 define role_ trans- role transition规则的词法分析32412.4.8 define conditional-if- else conditiona1的词法分析.2912.5 module的链接- semodule1ink.12.5.1链接过程核心数据结构关系图34012.5.2 symtab符号表的拷贝...,,,,,,34112.5.2.1 p types符号表的拷贝,,..34112.5.2.2所有其他标识符符号表的拷贝,,,,,,,,,,,,,,34412.5.2.3 p roles符号表的修正12.5.3 Scope符号表的拷贝34912.5.4链接过程的主要囪数调用链12.6 module的扩展- semodule_ expand37012.6.1 expand过程核心数据结构关系图..37012.6.2type的拷贝..37112.6.3 common的拷贝,,,37412.6.10 expand过程的核心函数调用链,.,,,37612.6.11展开规则的“字面”描诚- copy and expand avrule block囪数..38312.71ink和 expand过程的图解(new),,,,,,,,40012.7.1Role/ attribute标识符的1ink和 expand..…………40012.7.2 symtab的1ink和 expand,,,,,,403128规则中的m4宏定义(new)..,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,,40513. seLinux的应用41013. 1 Labeled Networking (half-baked),,,,,,,,,,,,,,,,,,,,,,,41013.1.1 IPsec简介,,,,,41013.1.2 seLinux对本地网络的控制( compat-net),,,,,,。,,,,,,,41613.1.3用 Labeled ipsec实现分布式网络控制..41713.1.4 Linux內核ⅹIM相关数据结构.41813.1.5和 IPsec相关的类,权限和援囗D41813.1.6LSM中和 Labeled ipsec相关的回调函数,41913.1.6.1检查一个f1ow(发送或接收)能否使用一个SPD条目41913.1.6,2给SPD/SAD分配安全属性.,,,42113.1.6.3释放SPD/SAD中的安全属性,,,,,,,,,,,,,,,.42413.1.6.5逐包检查一个 socket能够接收一个skb42413.1.6,4获取发送方的安全上下文字符串..,,4231.7 Labeled ipsec环境的搭建.13.1.8观察 Labeled ipsec的行为43013.1.9和 Labeled ipscc相关的 SeLinux规则,432参考文献434简化 selinux操作的bash配置方法本文档各个版本的说明437注第1至5章包含自己对《 SELinux By example》一书的学习心得;第6至9章包含自己实际经验的总结第10和11章为 selinux内核和用户态源代码分析总结第12章为 refpolicy的编译过程源代码情景分析;第13章打算收录些 SeLinux在内核或者用户态的应用,比如 Labeled Networking,XACl等。l, Refpolicy有300+个p的实现,了解核心pp的实现,必须首先了解应用程序的行为以及安全目标2,阅读 sELinux- aware应用程序源代码,看如何使用 libselinux库函数,学习 sELinux用户态编程3,了解 sELinux语法,标识符的二进制表示形式,内核态和用户态的数据结构;4,学习 policy module的 compile/ expansion/1ink过程5,按照类别,逐步掌握LSM回调囪数的调用时机,所在内核子系统的原理,以及 SELinux对LSM回调函数的实现(参考《 Implementing sElinux as a lsm module》一文)6,掌握 seLinux对各个内核子系统核心数据结构的扩展7,学习XAC规范,体会如何开发 Userspace Ob、 ject Manager;8,积极阅读 Joshua,Dan等人的b1og,向前奉们学与。9,积极关注 selinux邮件列表上的问答和讨论,丰富自己的视野希望能通过自己坚持不懈的努力,证得同满的 sELinκ知识和智慧。引子1,软件的缺陷不可避免(无论过去,现在,或将来);2,没有底层操作系统的支持就无法真正实现上层软件的安全性D. Baker,《 Fortresses Built Upon Sand》操作系统中访问控制模型的演化1.1访问控制模型的概念( Reference moni tor)subjectsAccessobjectsAlertYes or No?Feference validation MechanismRuleelampcrpra吋DBVerifiableRY M由上图可见,访问控制模型由如下四部分组成1, Subjects:访间的发起者,比如系统中的进程2, Objects:被访闩的对象,比如架作系统所管理的仼何资源丶数捃(包拈进程,任意类型文件,Tc尸端口,甚至单个网络报文。总而言之,任何内核数据结构都可能成为被访问的对象)3, Rules de:规则库,在用户态实现的访问策略,定义 Object的属性并规定哪些Sub、ect可以通过什么样的方式对它进行访问;4,RVM( Reference validation mechanism):在操作系统内实现的机制,是汸问控制策略的执行者,在访问操作过程中根据规则库判断当前操作是否合法;Hinx首先需要标识访问者和被访问的对象,由下文可知相关信息保存在进程的 task struct以及其他内核数据结构中 security指针所指向的数据结构中(注意这些数据结构都是运行时动态创建的,安全属性信息来源于文件在辅存上的扩展属性,以及规则库中的 Initia1S1定义等)。白用户态定义的访问规则库指定哪些访闩老能够以何种方弌访问哪些对象,而内核屮的SεLix机制则根据当前操作的访问者和被访问对象,查询规则库得到Yes/No结论。1.2DAC( Discretionary Access Contro1)的致命伤¨ discretionary”一词的含义为“ not contro1 led bv strict rules, but decided on by someonein a position of authority”,所以DAc的本质是由文件的属主定义其它用户对该文件的许可访问方式,其“ owner-group-wor ld”模型如下:S 1s -1 /usr/bin/passwdrwsr-xr-x I rootroot 37084 2009-04-04 13: 49/usr/bin/passwd系统中所有文件属主给各自文件所定义的“ owner-group-wor d”模型的总和,即为DAC下访问规则库的实现。DAC的开发环境(相对封闭的开发社区,或大学实验室)和对软件使用环境的假设(软件没有缺陷且运行环境友好)注定了DAC存在着天生缺陷:进程和文件的安全属性都基于(且总是基于)uid/euid和gid/egid,无论进程执行什么应用程序,其uid/euid都不改变(暂不考虑 setuid类程序),无法将进程所执行程序的行为和可靠性(安全性)标识到进程的安全属性中,导致操作系统无法有针对性地对进程施加访问控制比如,用户登录 shell进程会创建子进程以执行shel1的外部命令,子进程继承父进程的uid/gid,所以无法通过uid/gid来区分父子进程,即无法区分用户人为的操作和通过程序执行的操作。比如,无法限制 passwd程序只能被用户在命令行执行,而不能被属于该用户的其它进程执行。显然,“用户(登录hc11进程)是可信的”绝对不等于“用户执行的程序(后继fork的子进程)也是可信的”。登录sh1进程的行为由用户有意识地支配,而属于该用户的进程的行为则由其执行的实际程序决定。但是程序可能冇在安全漏洞,一巨被攻击植入恶意代码,黑客将具有该用户在系统上的所有权力(比如恶意删除用户的文件,盗取uid/gid所能读取的文件的内容,执行 passwd程序修改用户的密码)另外,用户进程可以执行各种应用程序,而这些程序自身的行为丶对系统安仝性的景响都不尽相同,比如网络类应用程序更容易受到外界病毒的攻击,相应地操作系统应该对此类应用施加更为严格的访冋控制。显然无法通过进程的uid/gid来描当前进程所执行的程序的安全性,因此操作系统也无法有针对性地实施访问控制。综上所逋,仪将uid/gid来作为进程和文件的安全属性是远远不够的最后,DAC的另一个缺点是对权力的管理和划分不够细致(只有两种情况:root或non-root),无法进步细分丶限制root用户的能力。一旦euid/ egid为0的进稈被攻破,将危害整个系统的安全1.3MAC( Mandatory access Contro1)的起源针对DAC的缺点,在ⅥAC中不再由访问对象的属主定义不同用户对其的许可访问方式,而是由匿定的规则库决定。MAC最初的研究由美国军方的MLS(u1ti- Leve1 Security)应用所推动,它将访问主体和被访问对象分成不同的安全级别,严格控制信息只能从低安全级别向高安全级别流动:低安全级别的丰体只能向高安全性的数捃对象中追加新的数据,并∏禁上读取;高安全级别的主体能够读取低安全级别的数据,并且禁止任何形式的写入(即“ no read up, no write down”)ⅥS只定位于数据保密性而并不关心数据完整性和最小权能原则( east, Privilege),以及对进程的能力进行分类。后来的FASK安全系统模型着眼于解决这些不足,而 SELinux则是FASK在 Linux内核中的实现1.4 Selinux的TE( Type Enforcement)模型SELinux作为MAC的一和实现,通过中央规则库( policy.x,二进制数据文件)给所有进程丶所有文件内核数据结构定义各自的安全标识(标签,1abel/type),明碓定义被访问对象所支持的访问方式,并规定进程标签对被访问对象的合法的访问方式。在配置 SELinux时给整个文件系统上的所有文件设置标签,在系统启动过程中init进程经由 selinux接口装载 policy.X到內核空间,由內核中的 SecuritvServer在处理用户态系统调用时实时査询(注,这里所说的“ Security server”,即为 sELinux内核驱动中定义的各种数据结构,比如 sistah, policy, AVC cache,以及在 services.c文件中定义的各种以“ security”开头的函数)
    2020-12-04下载
    积分:1
  • 田口方法实战技术
    田口方法是一种在产品开发和产品设计早起阶段防止质量问题的技术,是一种新颖、科学、有效的质量工程优化设计方法。田口方法以最迅速、最经济的试验方法直交表),使系统在不增加成本情况下,突破设计瓶颈或改善生产制造流程,应用于技术开发、产品开发,能发挥立即有效的成果。前言前言当下竞争国际化与需求多样化的制造业,其产品寿命周期日益缩短,制造厂家惟有用极短的研发周期源源不断地推出新产品,才能在市场上占据有利地位,否则就有失去审场份额的危杌。因为无论多妤的产品,错过了上市时机就可能变得一钱不值!然而即使研发人员加班加点也无济于事,似乎缩短研发周期的潜力已经被挖尽了。事实上只有不断改革“研发方法”才能解决根本问题。田口方法( Taguchi Methods)作为一种非常实用的技术开发、制程改善工具,协助企业快速找出制程环境的最适生产条件,并有效节省产品设计开发时间,而广受研究单位、生产、制程部门的欢迎与肯定。在日本的电子、汽车等行业,应用田口方法被认为是“天经地义的事”。近几年风靡仝球企业的6设计,实际上就是以田口方法为核心的设计,6设计及田口方法在制造业的广泛应用已收到显著效果。田口方法在研发领域更是受到高度评价,被当作是将研发周期编短一半的法宝。本书主要采用循序渐进、由浅入深的系统化方式,倚惜作者30多年来研究实验计划、直交表”的丰富实务体验,从管理的视角阐述了田口方法知识体系的精髓,讲解此套品质工程技术,让初学者和有经验人士皆能建立完整的理念体系,轻而易举地应用于实务工作中。书中包含了田口知识体系中的重要内容,揭示了实际操作中所遇到的各种疑难问题和相应的解决方案。本书在编写过程中,乘持全面、简单、实用的原则,突出以下三个重点1.理论和实践的完美结合。本书从实例出发,导出田口方法深奥的理论,并用众多实倒来解析田口方法的实际应用,为企业高效实施田口方法指明了方向。2.理论全面,重点突出。本书从田口方法理论中的两个重点(比和直交表)出发,全面展开,多方位阐述田口方法的深奥理论。对于研究田口方法的有?田口方法实战技术心人士来说,不愧为一本不可多得的教材。3.化复杂为简单。田口方法深奥的理论,一直困惑着田口方法在实际生产中的应用。本书利用各种图表、各个行业的实例来阐明田口方法深奥的理论,使读者能够从简单到深入,由浅而深,从而理解田口方法的真义。在本书编写过程中,得到了众多企业高层主管、研发、设计、生技、制造、品管人员提供的许多企业实务经验,让本书的实例得以丰富,在此表示感谢。另也感谢本公司同仁李联伟先生协助本人整理多年来积的教材资料与案例,海天出版社相关编辑人员给予的建议,在此一并向他们致以最衷心的感谢及最诚挚的祝福!感谢给我帮助的各个公司,因篇幅有限,未能一一列出(以公司第一字笔画为序排名)六和机械集团友达光电(苏州)有限公司华映光电企业集团光宝电子(东莞)有限公司沪士电子(昆山)有限公司明硕计算机(苏州)有限公司美齐科技股份有限公司信泰联光学(东莞)有限公司润泰企业集团高刨(苏州)电子有限公司捷安特(巨大机械)企业集团舒电子(东莞)有限公司富士康企业集团锦和科技股份有限公司沪士电子董事长吴礼淦先生、捷安特总经理郑宝堂先生,在日理万机之中仍不忘关注抽作的印行,不吝为拙作慨然赐序,其九鼎之言,使本书蓬草生辉,于此谨表哀心的谢忱。林秀雄2004年8月序一序当今企业面对国际化市场竞争及多样化需求,产品/技术市场寿命周期愈益缩短,产品的质量要來越来越严格,惟有用极短的研发周期源源不断地推陈出新,用最稳健的制程参数来控制产品生产流程,才能在市场中占据有利地位。否则企业即会失去市场份颛,在市场竞争中被淘汰。新技术研发(制程条件控制与稳定性解析、新产品与新制程开发)和缩减成本已经成为当前企业经营刻不容缓的深题。自日本著名质量管理专家田口玄一博士在20世纪70年代初创立“田口方法( Taguchi Methods)”以来,田口方法在全世界颇受产业界欢迎,并被迅速推广普及,其提升研发效率及改善品质成效之卓著,影响之深远,更一致受到高度评价。田口方法是一种在产品开发和产品设计早期阶段防止质量问题的技术,是种新颖、科学、有效的质量工程优化设计方法。田口方法以最迅速、最经济的实验方法(直交表),使系统(产品设计或制程改善)在不增加成本(葚至降低成本〕情况下,突破设计瓶颈或改善生产制造流程,应用于技术开发、产品开发能发挥立即有效的成果。近几年全球企业热摔的6设计,实际上就是以田口方法为核心的设计,可见田口方法之实祧,势在必得。捷安特通过30余年来在国际审场的持续精耕,秉持“生活可以更美圩!”的品牌精神,才有了今日之绩效。在充满机遢的全新时代,捷安特以科技、时尚、人性为主题,将人类对于未来的执着和对生活的热爱汇入自行车的设计理念中,维系自然和人的交流,为美好生活创建更完善的产品,这是人类对于未来的理想,也是捷安特对于生活的憧憬。“创新价值,领导流行”,才可以在当今市场竞争中立于不败。在这些成就背后,田口方法在捷安特之推行实施作用重大。↓田口方法奥战技木林秀雄教授,潜心致力于田口方法研究多年,其理论功底之深厚,实践经验之丰富,实属品管界之泰斗,我司有幸邀请林教授莅临,亲自讲授田口方法真义,林教授深入浅出的概念讲解,生动详实的案例分析,强有力地推动了我司田口方法的普及与发展,对我司的可持续发展助意甚大。林教授汇集多年之精湛理论与实践为一炉,与时俱进,编著《田口方法实战技术》一书,本人深感此书内容之前瞻性、实用性。相信此书的面世,将对田口方法在祖国大陆的推广普及,必有实质的作用。特写此一序,郑重推荐之。捷安特(中国)有限公司总经理郑宝堂它孛序二序企业经营者一向是社会经济变化的敏锐唤觉者,更是最务实的执行者面对当今惊涛骇浪的外部市场环境,产品的更新换代步伐加快,消费者对产品的质量要求日益苛刻,如何提高产品的可靠度?如何缩短产品的研发过程?已成为经营者的关注焦点。二次世界大战后,日本工业迅速崛起,他们依靠神秘武器—田口方法,在世界各国市场上大获全胜。在20世纪80年代,田口方法就已在美国囚防、汽车工业领域闻名遐迩。在日本电子、汽车等行业,应用田口方法被认为是“天经地义的事”。可见在企业里推动此方法势在必行。田口玄一博士是著名的质量专家,他以预防为主、正本清源的哲学思想,把數理统计、经济学应用到品质管制工程中,发展出独特的质量控制技术——田口方法。它摒弃了传统的质量观念,提出了新的质量概念,即质量不是靠检验得来的,也不是靠控制生产过程得来的;质量,就是把顾客的质量要求分解转化为设计参数,形成预期目标值,最终生产出低成本且性能稳定可靠的“物美价康”的产品。田口方法作为实验设计的方法,旨在帮助我们用较少的实验次敷,得到与全方位实验同样有效的实验结果,编短研发和技术苹新周期,以最经济的手段改进工艺。该理论以最迅速、最经济的实验方法使产品设计或制程改善在不增加成本(甚至降低成本)情况下,突破设计瓶颈或改善生产制程,应用于技术开发、产品开发中,发挥立即有效的成果。可见田口方法不失为一个简单、科学的方法。学会它,对事件分析处理之能力提升帮助甚大。我司为能聘请林秀雄教授前来讲授田口方法深感荣幸。林教授以多年的实践口方法臭战拉术经验和深厚的理论知识,深入浅出的教导,让学员耳目一新,不再被深奥理论所吓倒。使学员能够切实理解田口方法的真义,在今后的工作中可以将田口方法落到实处,从而为企业的发展带来最大化的效益。此次喜闻林教授即将出版《田口方法实战技术》一书,即满怀期待。现读罢此书,深感此书抛开高深的理论和繁杂的公式,而从众多实例出发,详述田口方法之应用,可谓化繁杂为简单。深信此书的出版将促进田口方法在业界的高效实施,对业界可谓贡献甚大。在此,秉持“知识你我共享”的心情,拙笔一序,希望此书的面世,可以让各行各业的更多朋友了解田口方法,并以此方法来为中国产业界更好地服务!沪士电子股份有限公司董事长吴礼淦4目录目录第一章田口方法与品质工程原理………1)§1.1前言§1.2田口的哲学观念及田口方法…………………(2)§13参数的分类……(3)8I.4品质工程原理(6)§1.5品质管制在各阶段屮的要务9第二章品质损失函数…(13)82.1品质、成本与低成本品质工程观念的启发……………………(13)822工程设计、工程规格与实验计划…………(15)23直交表与实验计划(16)824对数、指数的说明与启发…………(16)§2.5品质损失函数…·●·鲁……·(18)826二次方程式品质损失函数………(21)§27平均品质损失命◆·(25)第三章直交表与应用实例研究…(29)§3.1定义:直交与直交原理………………(29)§3.2直交表的直交性证明………(30)§3.3直交表的使用…………………………(36)?田口力法实战技木第四章实验计划与制程改善模式·◆··;◆···◆··自····◆吉····4····日◆·晋··。···日·●39)§4.1实验计划的目的与主要构成项目……………(39)S4.2应用直交表的实验说明(40)§4.3直交表解析与实验指示说明………(42)§4.4主效果与交互作用的计算与说明§4.5重要因果图解分析、可控制项目、实验指示书与制程改善模式…………(46)第五章品质计量法基础……………………………………………………………(50)§5.1品质管理的发展…………………(50§52品质计量法……………………(52)§5.3举例分析…▲画血最口●看D●曲鲁d…(53)§54三种品质计量方法之比较■■▲·血d自■··晶自看着自垂·自(56)第六章田口方法的运用步骤与著名案例…….(58)S6.1口口方法的运用步骤…………(58)S6.2田口博士著名案例—磁砖制程设计●會●。●鲁·(60)S6.3变异数分析( Analysis of Variance)曹自晋非鲁會●鲁曹●q鲁◆自◆●香鲁↓看§64新旧田口方法的对比……………………………(69)第七章SN比与品质特性基础(73)§7.1SN比的概念和定义公式(73)§7.2田口方法中的静态特性………(75)§7.3田口方法中的动态特性(83)§7.4举例解析甲电自(86)第八章应用直交表的矩阵实验…(0)§81矩阵实验…§8.2因素效应的估量(112)
    2020-12-11下载
    积分:1
  • s7-200控制步进电机.mwp
    西门子S7-200控制步进电机程序.mwp
    2021-05-06下载
    积分:1
  • 102种花分类数据集 102flower
    【实例简介】我们创建了102个类别数据集,包含102个花类别。选择花的花通常在英国发生。每个类包含40到258个图像。可以在此类别统计页面上找到每个类别的类别和图像数量的详细信息。图像具有大规模,姿势和光变化。此外,有些类别在类别中有很大的变化,有几个非常相似的类别。使用具有形状和颜色特征的isomap可视化数据集。
    2021-11-14 00:43:45下载
    积分:1
  • 计算机视觉 种现代方法 课后习答案
    计算机视觉 一种现代方法 课后习题答案 : David A.Forsyth / Jean Ponce
    2020-12-04下载
    积分:1
  • 图片切换动画效果制作
    利用MATLAB编写的各种炫丽的图片切换动画效果,内附将图像动画存储为GIF文件的程序,包括完整m文件及图片文件,经过多次调试可直接运行。原理及代码详细解释可参考本人博文。
    2020-12-11下载
    积分:1
  • fir滤波器实现,含低通、高通、带通、带阻
    fir滤波器实现,提供了低通滤波器,高通滤波器等有示例代码更多代码,可访问http://code.google.com/p/falab
    2020-12-10下载
    积分:1
  • 个spark streaming+Cassandra、分布式作业调度系统总结
    【实例简介】一个项目的总结文档,英文,主要功能: 1、分布式作业管理、调度、监控; 2、基于spark streaming+Cassandra的实时分析和监控,包括性能分析、账号安全主动防御。 web部分采用spring boot开发,前端采用angularJS组织页面相关的各个部分,系统的技术和效果在2016~2017年在行业具有一定先进性。
    2021-11-12 00:31:46下载
    积分:1
  • 基于simulink的SVG无功补偿仿真仿真
    用空间矢量控制做的SVG电力系统无功补偿仿真,同时显示出了补偿前后的功率因数和波形变化,验证SVG的补偿作用
    2020-11-28下载
    积分:1
  • cadence16.5 pspice教全集
    cadence16.5 pspice教程全集,很详细的pspice教程,说的很详细,通俗易懂,推荐下载。cadenceCHANNEL PARTNER、 Cadence/ OrCAD拥有一批学识渊博的技术攴持人员,他们注重与工程师在工作上密切配合,尽可能提高其软件的生产效率。5、 PSpice16.5版本具有自动收敛的功能,自动调整仿真参数帮助电路收敛。6、支持多个 slPs block,实现 Matlab与 Pspice电路仿真的无缝结合7、 PSpice是当今占主导地位的,基于 SPICE的仿真器。三、 PSpice的工作流程图绘制原理图「选择分析方或修L设置仿真参数」元改件电运行仿真数结你果是香符合Y仿真结束四、 PSpice a/D基木的分析内容在选择分析方法前需要绘制电路原理图, OrcaD统一由 Capture窗口进行输入和调用 PSpice分析。在使用时绘制原理图应该注意的地方。新建时应选择调用的器件必须有模型首先,调用软件本身提供的模型库,这些库文件存储的路径为,此路径中的所有器件都有提供模型,可以直接调用。其次,若使用自己的器件,必须保证两个文件同时存在,而且器件属性中必须包含属性。原理图中至少必须有一条网络名称为,即接地。必须有激励源原理图中的端口符号并不具有电源特性,所有的激励源都存储在和库中上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNER电源两端不允许短路,不允许仅由电源和电感组成回路,也不允许仅由电溟和电容组成的割集。解决方法:电容并联一个大电阻,电感串联一个小电阻6、好不要使用负值电阻、电容和电感,因为他们容易引起不收接下来具体介绍几种基本的分析方法和参数的设置。直流分析(直流分析指是使电路某个元器件参数作为自变量在一定范围内变化,对自变量的每个取值,计算电路的输出变量的自流偏特性。此过程中还可以指定一个参变量并确定取值范围,每设定一个参变量的值,均计算输出变量随自变量的变化特性。直流分析也是交流分析时确定小信号线性模型参数和瞬态分析确定初始值所需的分析。模拟计算后,可以利川功能绘出曲线,或任意输出变量相对任元件参数的传输特性曲线首先我们开启,打丌如图所示的界OrCAD CaptureFile Y1ew Tools Edit Lptions Windon Help〔 agenceSPARAMSCHEMATICI-bias量量量国量口口园国4D: FSPICE材料2011 EM\BANDPASS.IS图1-1 Capturer界面上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNER接下来使用菜单:启动建立一个新的工程,如图所示PCtrltsSave AsHIL FileVerilog File图新建工程界面在图对话框中输入文件名,如“”。在下面的单选按钮中选择“”,要注意这是由直接调用的按钮,不要选错哦。那么其它的选项是仆么意思呢?数模混合仿真系统级原理图设计或设计原理图设计最后在“”中指点文件存放的文件夹后,单击,出现图界面。Rev ProiectCreate a New Project UsingHelHelp⊙ Analog or Mixed A/DTip for New Users○PAnalog orMixed A /D project. Thenew project may be b alm O Piog ammable Logic wizardor copied from an existing○ SchemLuLaliuriDBrOWS图1-3建立新电路图对话框Create pspice Prone基于已有的设计创建文件○ CReate baxIsting proerOKBuck ConverterBIOCancelCreate a上 ank project厂Hahn创建空白设计图1-4创建 PSpice文件对话框上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNER在“ Create based upon an existing project”下可以看到许多已有的工程和电路图。我们选择“ Create a blank project”,进入到仿真电路图绘制窗凵,并开始绘制电路图。如图1-5所示。i OrCAD Capture L/=(SCHEIATICI: PAGE1)□-回回 File: Edit View Tools Place Macro0 PSpice Accessories ption3置idoy正elpcadences间器回博期②0回角6@101PGE1仿真工具栏图4罕LxF121:31:14:516::1:11101110图1-5仿真电路图输入窗口接下来,我们先要学会选择器件:选择绘图工具栏中的点击后图1-5窗口出现放置元件的窗凵如图1-6所示。注意选择的器件库必须存储在路径为卜,此路径中的所有器件都有提供模型,可以直接调用。活着如果是使用自己的器件,必须保证两个文件同时存在,而且器件属性中必须包含属性,即在图对话框中选中的器件需要有燃的标i(对丁新建器件,后续有专门教程讲解)上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNERPlace partRPart lis上:QPND-4153/55C/DIODEUPND-41535/DIODEQPND-4153/27C/DIODEQSCH-55457-55C/DIODE05CH55125心D0DE添加元件库4527CDJoDEBTEST/TESR/ANALOG,--LibrariesxNAL口Desian CacheDIODEOPAMPSOURCEPackagingParts per PkgR?Part^∧Type: Homogeneous1k⊙Nrml+」 Search for fa图1-6放置元件的窗口如图1-6,我们选择输入“R”,找到在 analog.lib下的电阻器件,双击它就可以放置到绘图窗口屮了。接下来我们门作个简单例子来了解一下仿真的工程。当然这甲先进行的是自流扫描分析( DC Sweep)在图1-5的原理图绘制窗凵中输入如图1-7所示的电路。W图1-7原理电路图上图所用到的器件信息器件模型模型库电源VDC/ souce电阻R/ analog稳压管DI1N5225/ diode上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNER地0注意一点:地的选择不是在 Place part,而是在 Place ground中选择名称为0的0电路图画好后存盘,然后就要开始设置仿真参数开始进行仿真了。首先,新建个仿真文件,启动 PSpice/ New simulation命令,或者自接点击仿真工具栏中按钮,得到图1-8所示对话框。在Name中输入仿真文件名,如:DC,点击“ Create”后,在原来工程文件夹中就会自动生成一个名为“DC”的文件夹,后面所作的仿真结果和工程均保存在该文件夹下,方便于管理。HeS量 uLationXNalCreateDccelInherit fromroFERoot Schematic SCHEMATIC1图1-8仿真参数设置对话框完成图1-8后,会弹出图1-9所示的仿真参数设置窗凵。我们先从 Analysis中开始看起互 ilLation setFiles0ptectorY⊙ voltageModel typ○Guba○ ModelMonte Carlo/ W orst Cs OIermParameter namePTP〕- Sweep type□L。 d bias PEndvalue: 10O Logar ta mIc DecadeincrementOvale Ist确定□取捎应用)匚帮图1-9仿真参数设置窗口在 Analysis type(分析类型)屮我们选取 DC Sweep上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNER在 Option中,我们选取 Primary Sweep在 Sweep variable中可以看到如下几个选项Voltage Source电压源信息Current source电流源信息Global parameter全局参数Model parameter模型参数Temperature温度设置在 Sweep type中,我们可以设置为 Linear(线性); logarithmic(对数), valueline(设置点)。这里我们对电压源Ⅵ1进行设置,扫描值为-6V到10V,每次递增1V设置好后,点击确定。然后点击仿真工具栏屮的◎,运行仿真。接着就调出了 PSpice的界面,如图1-10所示。sCHELATICI-DC- PSpice ND [nC. dat (active)Iatis tait Yim amative Ia twt Trl. Iiam May cadence -oxSoHEMATIC1DC输出仿真结果区回基公回在这里,按照用户的要求可以产生各式各样的输出波形波形显示窗口或输出文件Poi"SCHEMATIC1DC[D pepooMFA仿高状态窗口,负资Reyong and cheekngeeutGreul reyn a checked no文字窗输出窗,负武显示显示本仿真执行内容本你真操作具的着的信惠2I1r010n户与执行后的信息图1-10 PSpice执行模拟窗口PSpice界面中最主要的工具栏含义如图1-11所示。对X轴坐标在对数或线性变‖对波形进行傅添加性能分析波化之间互相转换立叶变换形显示窗口QQ6amm回X查找波形上的点对Ⅴ轴坐标在对数或线计算全局性变化之间互相转换忝加波形显示出波函数值形让笪占图1-11 PSpice基木工具栏的含义选择菜单栏 Trace/ Add trace,或者点击图标,得到图1-12对话框,在这里我们可以看到有两个标签 Simulation output variables与 Functions and macros“ Simulation Output variables”中包含许多的变量,“ Functions and macros”上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱cadenceCHANNEL PARTNERkdd TraceSimulation Output variable仿真输出变量Functions or macrosAnalog Operators and FunctioID11I[D1: A)回点F1:1[y1凶 voltages1:+[D1: Alv CurrerIVIDI: KIN0120输出变量的列表回 Pawer8数学运算ATANITN0127函数□NHalAVGAVGXO∨R12cs(〕v1:回 Alias namesD[〕Subcircuit NodesDB(〕41[D1ENMA风RENVMIN I11EXF〔/2D过滤显示V2(R节点M21GGG[D125 variables listedR110‖A10〔1F时输入欲观看节点的波形[OK[Cancel[ Help图1-12加入波形对话框中冇需要测量的信息函薮。在操作的过程中,比如要看最大的的值的吋候,先选择Max0函数,再选择变量的类型V1⑩D1)。我们就可以在 Trace Expression中看到表达式:MAX(Ⅵl(D1)。这是一个最为基本的步骤。若选择输出V2(D1),得到图1-13的波形。通过波形可以自己分析是否满足设计要求图1-12输出波形随输入信号的变化曲线交流分析(上海市长宁区延安西路号华敏、翰尊时代广场层座邮箱
    2020-12-04下载
    积分:1
  • 696516资源总数
  • 106425会员总数
  • 12今日下载