1.简介
考虑数学规划问题中涉及的参数不确定性的传统工具之一是随机规划[1,2]. 随机规划方法隐含地假设问题中涉及的不确定参数可以表示为随机变量。例如,要求数量的产品通常在数学上被建模为随机变量。在这种情况下,假设事件发生时随机参数的实现值用确定性值(如实际值)表示。 另一方面,当人类的判断和/或知识需要数学处理时,随机变量并不总是适合于估计问题的参数。它不仅值得利用历史或过去的数据,还值得利用专家的知识或判断,这些知识或判断涉及模糊性或模糊性,通常表示为模糊集。
同时考虑模糊性和随机性在决策问题建模中非常重要,因为人类在随机环境中的决策本质上不仅基于随机性,也基于模糊性。近十年来,在线性规划等决策研究领域,同时考虑模糊性和随机性的数学模型备受关注[三,4,5,6,7,8,9,10,11,12],整数编程[13],库存[14,15],运输[16],设施布局[17]、洪水管理[18]和网络优化[19,20]. 本文主要研究模糊随机决策情形下的数学优化模型,其中线性规划问题(LPP)中随机参数的可能实现值被专家模糊地估计为模糊集或模糊数。这种模糊集值随机变量,即实现值用模糊集表示的随机参数,可以表示为模糊随机变量[21,22,23,24,25,26]. 以往对模糊随机LPP的研究主要集中在目标函数和约束的系数由连续模糊随机变量表示的情况,这是连续随机变量的扩展概念。模糊随机优化模型首先由Luhandjula和他的同事开发[27,28]作为具有模糊随机变量系数的LPP,并由Liu进一步研究[29,30]Katagiri等人[4,6]和亚诺[11]Luhandjula在论文中简要介绍了主要的模糊随机规划模型,包括使用模糊随机变量的数学规划模型[8]. 另一方面,有一些研究[13,31,32]具有离散模糊随机变量的LPP。正如后面将要详细讨论的那样,为了拓宽模糊随机规划的应用范围,提出更通用的模糊随机LPP模型是非常重要的,这促使本文提供带有离散模糊随机变量的新的广义数学规划模型。 本文的结构如下:第2节介绍了模糊随机变量的定义。新定义了一些类型的模糊随机变量。第3节重点研究离散模糊随机变量,并定义了一些类型的离散模糊随机变数。第4节在目标函数的系数为离散模糊随机变量的情况下,建立了单/多目标LPP。在第5节在概率论和可能性理论的基础上,构造了离散模糊随机变量优化问题的新的优化准则。第6节使用中引入的优化标准提出决策模型第5节,并定义了多目标情况下所提模型的(弱)Pareto最优解。第7节讨论了该模型的求解方法,并构造了一个算法来获得该模型的Pareto最优解。在第8节我们以农业生产问题为例进行了数值实验,以证明所提出的模型对现实决策问题的适用性。结果表明[33]语言可以在实际计算时间内解决数百个决策变量的问题。最后,第9节对本文进行了总结,并对未来的研究工作进行了探讨。 2.前期工作
在本节中,我们回顾了一些与离散模糊随机变量有关的数学概念,如凸模糊集和模糊数。还提供了模糊随机变量的定义。
2.1. 模糊集与模糊数
作为引入模糊随机变量的准备,我们首先介绍了模糊集的定义。
定义 1 (正规凸模糊集)
正规凸模糊集的特征是隶属函数也就是说,,对于所有人,因此是非空紧区间哪里表示集合的闭包、和表示对隶属函数的支持. 安我-R(右)模糊数是由Dubois和Prade引入的[34]并基于正规凸模糊集定义。 定义 2 (L-R模糊数)
正规凸模糊集称为L-R模糊数,表示为,如果其成员函数定义如下:其中L和R是满足以下条件的参考函数: - 1
和没有任何增长.
- 2
.
- 3
和对于任何.
- 4
存在一个使得对于任何t大于。同样,存在一个使得对于任何t大于.
模糊数被视为实数的扩展概念,因为减为实数d日如果在定义2中。模糊数是表示人类知识和/或估计的有用工具。图1显示了我-R(右)模糊数。 在定义2中,如果和,我们称之为我-R(右)模糊数an我模糊数。换句话说,我模糊数是定义如下的对称模糊数:
定义 3 (L模糊数)
正规凸模糊集称为L模糊数,如果其隶属函数定义如下:其中L是满足以下条件的参考函数: - 1
任何情况下都不会增加.
- 2
.
- 3
对于任何.
- 4
存在一个使得对于任何大于.
在定义2中,如果,我们称之为我-R(右)模糊数三角形模糊数。
定义 4 (三角模糊数)
一个L-R模糊数称为三角模糊数,表示为,如果L-R模糊数的参考函数L和R为换句话说,三角模糊数其特征在于以下分段线性隶属函数: 2.2. 模糊随机变量
在本节中,我们回顾并定义了模糊随机规划问题背后的一些重要概念。模糊随机变量主要有两种定义。Kwakernaak首先定义了模糊随机变量[24]作为随机变量的扩展概念,给定事件或场景的实现值不是实数,而是模糊数。克鲁斯和迈耶[35]提供了一些与Kwakernaak的模型类似的概念。普里和雷莱斯库[25]将模糊随机变量定义为随机模糊集,并用Klemment建立了模糊随机变量的数学基础[23]. Gil等人对模糊随机变量进行了概述[22]和夏皮罗[26]. 我们基于Kwakernaak的工作介绍了模糊随机变量的一般定义[24]、克鲁斯和梅耶[35]和Gil等人[21]: 定义 5 (模糊随机变量)
让是概率空间,并且表示中所有模糊数的集合,其中表示的一类正规凸模糊子集具有紧α水平集模糊随机变量是一种映射这样,对于任何以及所有,实值映射和是实值随机变量,即Borel可测量的实值函数。是由定义的非空紧区间哪里是模糊集的隶属函数,表示集合的闭包、和表示功能支持. 2.3. 决策中使用的特殊类型的模糊随机变量
为了将模糊随机变量应用于决策问题,Katagiri等人[4,6,20,36,37]介绍了一些特殊类型的模糊随机变量,其中给定事件或场景的随机变量的实现值为我-R(右)模糊数或三角模糊数。由于这些模糊随机变量对各种决策问题的建模很有用,我们将这些模糊随机变数分为以下几种类型我-R(右)模糊随机变量,我模糊随机变量和三角模糊随机变量,以及它们的示例,它们最初是在前面的文章中介绍的。 首先,我们定义我-R(右)模糊随机变量如下:
定义 6 (L-R模糊随机变量)
让,和是随机变量,其对给定事件的实现是,和,其中Ω是一个示例空间,并且和是任何然后,一个模糊随机变量称为L-R模糊随机变量,表示为,如果其实现值对于任何事件L-R模糊数定义为 我-R(右)将模糊随机变量引入投资组合问题等决策问题[38],LPP[36]和一个多目标规划问题[4]. 在这些研究中,目标函数的系数表示为我-R(右)模糊随机变量,其中扩散参数和是常量,而不是随机变量,如下例所示: 例子 1 在定义6中,让是高斯(正态)随机变量其中m是平均值,σ是标准偏差。此外,让和是正常数,而不是随机变量。然后,是一种L-R模糊随机变量,如果隶属函数的实现定义为哪里是实现的价值对于给定事件、和Ω是一个示例空间。 另一个例子我-R(右)模糊随机变量显示在多目标LPP的研究中[6]如下: 例子 2 让,和是随机变量,表示为哪里是均值和方差为m的随机变量分别为和,,,,和是常量值。然后,是一种L-R模糊随机变量,如果隶属函数的实现定义为哪里是实现的价值对于给定事件、和Ω是一个示例空间。 当定义6中左侧和右侧的参考函数相同时,即,如果它成立,我们称之为我-R(右)模糊随机变量an我模糊随机变量定义如下:
定义 7 (L模糊随机变量)
让和是随机变量,其对给定事件的实现是和,其中Ω是一个示例空间,并且对于任何然后,一个模糊随机变量如果任何事件的实现值为L模糊随机变量L-R模糊数定义为 我在瓶颈最小生成树等网络优化问题中引入了模糊随机变量[20,39]. 在这些研究中,在最优网络构建问题中构建每条边的成本表示为我如下例所示的模糊随机变量: 例子 3 在定义7中,让是高斯(正态)随机变量其中m是平均值,σ是标准偏差。另外,让β是一个正常数,而不是一个随机变量。然后,是一种L模糊随机变量,如果隶属函数的实现定义为哪里是实现的价值对于给定事件、和Ω是一个示例空间。 这个我例3中显示的模糊随机变量可以解释为“混合数”。混合数最初由考夫曼和古普塔引入[40],由一系列模糊数组成,通过沿横坐标随机移动模糊数获得。 特别是如果在定义6中,我们称之为我-R(右)模糊随机变量三角形模糊随机变量。
定义 8 (三角模糊随机变量)
一个L-R模糊随机变量称为三角模糊随机变量,表示为,如果实现对于每个用三角模糊数表示,其中Ω是一个示例空间。换句话说,离散三角模糊随机变量是一个离散模糊随机变量,其对每个事件的实现ω是一个三角形模糊数,其特征在于以下隶属函数: 在多目标LPP的研究中引入了三角模糊随机变量[37]. 在本研究中,传播参数和不是随机变量,而是常量,如下例所示: 例子 4 在定义8中,让和是正常数,而不是随机变量。然后,是一种三角模糊随机变量的隶属函数的实现定义为哪里是实现的价值对于给定事件、和Ω是一个示例空间。 3.离散模糊随机变量
在本节中,我们讨论了离散模糊随机变量,为提出具有离散模糊随机变量的LPP的新框架做准备。
首先,我们回顾了Kawakernaak给出的离散模糊随机变量的定义[41]. 其次,我们提供了离散的定义我-R(右)模糊随机变量和离散三角模糊随机变量在网络优化问题中的应用[31],LPP[32]和一个多目标0-1规划问题[13]. 离散模糊随机变量的定义
20世纪70年代,夸克纳克[41]最初提出了离散模糊随机变量的概念。本文给出了离散模糊随机变量的定义如下: 定义 9 (离散模糊随机变量)
让Ω是一组事件,每个事件的发生概率是还有那个.让是一个以隶属函数为特征的模糊集,并让是一组,,其中K是K的索引集是来自的映射Ω到使得然后,映射称为离散模糊随机变量。
考虑到离散模糊随机变量在实际决策中的适用性,我们定义了离散我-R(右)模糊随机变量是一类特殊的离散模糊随机变量。
定义 10 (离散L-R模糊随机变量)
离散模糊随机变量称为离散的L-R模糊随机变量,表示为,如果实现对于任何事件是L-R模糊数,其中,和是实现的价值,、和对于给定的事件分别为和Ω是一个示例空间。然后,是一个L-R模糊随机变量,其中实现的隶属函数对于每个事件定义为 以下是离散的示例我-R(右)模糊随机变量:
例子 5 考虑和因事件或场景而异。然后,是一个离散的L-R模糊随机变量,其中实现的模糊数的隶属函数为,定义如下: 图4显示了离散变量的典型隶属函数我-R(右)模糊随机变量。 特别是,如果在定义10中,我们称这种离散我-R(右)模糊随机变量一个离散的三角形模糊随机变量。
定义 11 (离散三角模糊随机变量)
离散L-R模糊随机变量称为离散三角模糊随机变量,表示为,如果实现对于每个用三角模糊数表示,其中Ω是一个示例空间。换句话说,离散三角模糊随机变量是一个离散模糊随机变量,其对每个事件的实现是一个三角模糊数,具有以下隶属函数: 例子 6 当它持有这个在示例5中,是离散三角模糊随机变量,其实现值,具有以下隶属函数: 在之前的一些网络优化问题研究中,首次引入了离散三角模糊随机变量[31],LPP[32]和一个多目标0-1规划问题[13]. 在这些研究中,传播参数和不随事件而变化但对于任何事件,它们都是固定不变的。据作者所知,还没有研究过线性规划模型,其中扩散参数和离散模糊随机变量随不同事件而变化.
在下一节中,我们将提出具有离散模糊随机变量的新的线性规划模型,其中扩散参数随随机事件而变化。
4.问题制定
假设目标函数的系数为离散模糊随机变量,我们考虑以下模糊随机规划问题:哪里是n个元素为离散模糊随机变量的维数系数行向量,x个是一个n个维度决策变量列向量,A类是一个系数矩阵,以及b条是一个米维度列向量。当目标函数数等于1时()则问题(15)成为单目标模糊随机规划问题;否则,当,(15)是一个多目标模糊随机规划问题。在问题(15)中,所有目标函数都要最小化。在不损失一般性的情况下,本文考虑最小化问题,因为任何最大化问题都可以通过将最大化问题中的原始目标函数乘以. 4.1. 离散L-R模糊随机变量模型
在问题(15)中,我们首先考虑每个元素系数向量的in(15)是离散的我-R(右)模糊随机变量其对给定事件的实现是一个我-R(右)模糊数,,,成员函数定义为哪里表示与我目标函数。在(16)中,和是常数,并且和都是积极的。每个事件发生的概率occurrence表示为,其中,.图6显示了我-R(右)由(16)定义的模糊数。 通过模糊数的扩展和[42]基于Zadeh的可拓原理[43],目标函数由单个模糊随机变量表示,该变量在事件或场景中的实现值是一个我-R(右)模糊数以隶属函数为特征哪里,和是n个其值随事件而变化的维度列向量.图7显示了我-R(右)由(17)定义的模糊数。 4.2. 离散三角模糊随机变量模型
作为一种特殊类型的离散我-R(右)定义在(17)中的模糊随机变量,我们还考虑以下情况是一个离散的三角模糊随机变量,其中事件或场景的实现值是三角模糊数对于,,,具有以下成员功能: 然后,通过Zadeh的可拓原理,每个目标函数的实现值对于给定事件由单个三角模糊数表示其特点是 图8和图9显示的成员函数和. 5.基于可能性/必要性的概率期望
本节专门讨论用离散模糊随机变量解决问题(15)的优化准则,其实现值如下所示我-R(右)由(17)定义的模糊数或由(19)定义的三角模糊数。
这里应该注意的是,问题(15)不是一个定义明确的数学规划问题,因为即使在决策向量x个确定,目标函数值由于换句话说,比较模糊随机目标函数的值需要一定的优化准则。
在本节中,我们基于可能性和概率测度提出了一些有用的优化准则,称为基于可能性/必要性的概率期望。
5.1. 初步:可能性和必要性措施
作为模糊随机决策环境中优化准则的准备,我们回顾了可能性测度和必要性测度的定义,并讨论了如何将这些测度应用于离散模糊随机变量问题。
5.1.1. 可能性度量
考虑到模糊集的隶属函数可以看作是可能变量的可能分布[44],给出了可能性测度的定义[34,44]如下: 定义 12 (可能性度量)
让和以隶属函数为特征的模糊集和分别是。然后,在可能的分布下关于可能性变量α,α在模糊集合中事件的可能性测度定义如下: 在目标函数最小化的决策情况下,决策者通常有一个模糊目标,例如“目标函数值实质上小于或等于某个值,”表示为,其中表示(12)中定义的“实质上小于或等于”。让是模糊集的隶属函数这样年基本上小于或等于某个值用表示.
假设某个事件已经发生了,基于可能性理论和符号(20)。那么满足模糊目标(即目标函数值的可能性程度对于任何事件实质上小于或等于某一期望水平)定义为 图10说明了由(21)定义的固定事件的可能性程度,它是模糊目标隶属函数之间交叉点的纵坐标以及目标函数. 5.1.2. 必要性措施
对于从悲观观点做出决策的决策者,建议采取必要措施。扎德定义的必要性措施[44]还有Dubois和Prade[34]如下所示: 定义 13 (必要性措施)
让和以隶属函数为特征的模糊集和分别是。然后,在可能的分布下关于可能变量α,α在模糊集合中事件的必然测度定义如下: 然后,鉴于(22),目标函数值的必要性程度对于任何事件满足模糊目标定义为 图11说明了由(23)定义的必要度,它是模糊目标隶属函数之间交叉点的纵坐标目标函数的隶属函数的升降. 可能性编程[45,46]是处理参数不明确的数学优化问题的最有前途的工具之一。 5.2. 模糊随机环境中的优化准则
可能性规划方法不能直接应用于求解离散模糊随机变量问题。这是因为(21)或(23)中定义的可能性或必要性程度不是常数,而是根据事件而变化的.
在本节中,考虑到问题系数的模糊性和随机性,我们新提出了一些有用的离散模糊随机变量问题的优化准则。作为一种新的优化标准,我们提供了基于可能性的概率期望(PPE)和基于必要性的概率预期(NPE),如下所示:
定义 14 (基于可能性的概率期望(PPE))
让是(多目标)LPP(15)中模糊随机变量的n维系数行向量。假设是模糊集(或特殊情况下的模糊数).让是固定事件的可能性程度定义见(21)。通过使用这是一个事件或场景发生这种情况时,称为基于可能性的概率期望(PPE)的优化标准的定义和计算如下:哪里表示概率期望。 建议采取可行的措施以乐观地对待DM。另一方面,由于决策模型通常并不总是乐观的,为了构建悲观决策模型的优化准则,我们引入了以下基于必要性测度的新优化准则:
定义 15 (基于必要性的概率期望(NPE))
让是(多目标)LPP(15)中模糊随机变量的n维系数行向量。假设是模糊集(或特殊情况下的模糊数).让是固定事件的必要程度定义见(21)。然后,以下优化标准被认为是基于必要性的概率期望(NPE): 6.基于概率期望的离散模糊随机线性规划模型
基于上一节中定义为(24)或(25)的新优化准则,我们提出了模糊随机环境中基于线性规划的新决策模型。
6.1. 基于可能性的概率期望(PPE)模型
当DM乐观时,使用基于PPE的模型是合理的。然后,我们考虑以下问题以最大化可能性程度的概率期望:
[基于可能性的概率期望模型(PPE模型)]其中,问题(26)的目标函数如(24)所示。 一般来说,问题(26)是一个多目标规划问题。尤其是在以下情况下,(26)成为一个单目标规划问题,最优解是使目标函数最大化的可行解。另一方面,当,待解决问题具有多个目标函数,这意味着通常不存在同时使所有目标函数最大化的完整解。在这种多目标情况下,(26)的合理求解方法之一是寻求满足Pareto最优的解,称为Pareto最佳解。我们定义了(26)的Pareto最优解。首先,我们引入弱Pareto最优解的概念如下:
定义 16 (PPE模型的弱Pareto最优解)
称为基于可能性的概率期望模型的弱Pareto最优解当且仅当不存在使得
为所有人.
作为一个比弱Pareto最优解更强的概念,(26)的(强)Pareto最佳解定义如下:
定义 17 (PPE模型的(强)Pareto最优解)
称为基于可能性的概率期望模型的(强)Pareto最优解当且仅当不存在使得为所有人,还有那个至少一个.
为了获得PPE模型的(弱/强)Pareto最优解,我们考虑以下最大化问题,这是获得多目标规划问题的(弱/强)Pareto最优解的标量化方法之一[47]: 在多目标优化理论中,众所周知,maximin问题的最优解至少保证弱Pareto最优性。然后,我们展示以下命题:
提议 1 (PPE模型极大极小问题的弱帕累托最优)
让是问题(27)的最优解。然后,是问题(26)的弱Pareto最优解,即PPE模型的弱Paret最优解。
证明。 假设最佳解决方案(27)不是定义16中定义的PPE模型的弱Pareto最优解。那么,有一个可行的解决方案第(27)条,以便为所有人然后,它如下 这与以下事实相矛盾:是(27)的最优解。⏹
由于(27)的最优解通常不是(强)Pareto最优解,而是弱Pareto最佳解,因此我们考虑以下增广极大值问题,以找到满足强Pareto最优性而不是弱Pareto最优性的解。
[PPE模型的增广极大极小问题]哪里是一个足够小的正常数. 在多目标优化理论中[47]众所周知,增广极大极小问题的最优解保证了(强)Pareto最优性。然后,我们得到以下命题: 提议 2 (PPE模型增广极大极小问题的(强)Pareto最优性)
让是问题(28)的最优解。然后,是(26)的(强)Pareto最优解,即PPE模型的(强”Pareto最佳解。
证明。 假设(28)的最优解,表示为不是PPE模型的(强)Pareto最优解。然后,存在使得
为所有人,还有那个至少一个然后,它如下 这与以下事实相矛盾:是增广极大极小问题的最优解。 ☐
6.2. 基于必要性的概率期望模型(NPE模型)
与上一节讨论的情况不同,当DM悲观时,建议使用NPE模型,而不是PPE模型。本节致力于解决基于(25)的基于必要性的概率期望(NPE)模型在线性隶属函数情况下如何求解。
使用(25)中定义的基于必要性的概率均值,我们考虑另一种新的决策模型,称为NPE模型,并将数学规划问题公式化如下:
什么时候?,(29)是一个单目标问题。否则,即当,(29)是一个多目标问题,其中满足(强)Pareto最优的解,称为(强)Pareto最优解,被认为是合理的最优解。我们定义了(29)的(强)Pareto最优解。NPE模型的弱Pareto最优解的概念定义如下:
定义 18 (NPE模型的弱Pareto最优解)
称为基于必要性的概率期望模型的弱Pareto最优解当且仅当不存在使得
为所有人.
作为一个比弱Pareto最优解更强的概念,(29)的(强)Pareto最佳解定义如下:
定义 19 (强)NPE模型的Pareto最优解
称为基于必要性的概率期望模型的(强)Pareto最优解当且仅当不存在使得为所有人,还有那个至少一个.
基于标量化的帕累托最优解获取问题
为了获得NPE模型的(弱)Pareto最优解,我们考虑以下maximin问题,这是解决多目标优化问题的著名标量化方法之一:
与上一节讨论的PPE模型的情况类似,我们得到了以下命题:
提议 3 (NPE模型极大极小问题的弱Pareto最优性)
让是问题(30)的最优解。然后,是(29)的弱Pareto最优解,即NPE模型的弱Paret最优解。
因为命题3的证明与命题1的证明非常相似,所以我们省略了它的证明。与问题(29)最优解的性质类似,(30)的最优解并不总是(强)Pareto最优解,而通常只是弱Pareto最佳解。
为了找到满足(强)Pareto最优性而不是弱Pareto最优性的解,我们考虑以下增广极大极小问题。
[NPE模型的增广极大极小问题]哪里是一个足够小的正常数. 然后,我们得到以下命题:
提议 4 NPE模型增广极大极小问题的(强)Pareto最优性
让是问题(31)的最优解。然后,是(29)的(强)Pareto最优解,即NPE模型的(强”Pareto最佳解。
我们省略了命题4的证明,因为它与命题2的证明相似。
7.求解算法
7.1. PPE模型的求解算法
现在我们讨论如何求解问题(28),以便获得PPE模型的(强)Pareto最优解。在这里,我们重点讨论模糊数和模糊目标的所有隶属函数都由线性隶属函数表示的情况。更具体地说,我们限制自己考虑(15)中目标函数的系数是(11)中定义的三角模糊随机变量,以及模糊目标的隶属函数对于我目标函数是以下分段线性隶属函数,称为线性隶属函数:哪里和是指其值由DM确定的参数。图12显示了模糊目标的隶属度用线性隶属函数表示。 从实际角度来看,演示如何确定参数值很重要和模糊目标的线性隶属函数(32),当DM可以容易地设置和,这些值应由DM自己的想法或选择决定。另一方面,当DM难以确定模糊目标的参数值时,我们建议和确定如下:哪里表示以下各项的最佳解决方案我具有单一目标函数的优化问题: 上述计算方法与Zimmermann方法类似[48]它最初是为模糊(非随机)线性规划引入的。 我们考虑目标函数的系数作为离散三角模糊随机变量的情况。假设和分别由(18)和(32)给出,我们可以证明以下定理成立:
定理 1 假设是一个离散的三角模糊随机变量,其事件的实现值是三角模糊数,其特征为(18),并且每个模糊目标的隶属函数其特征在于(32)和(33)。然后,基于可能性的概率期望(PPE)计算为哪里 证明。 计算分为三种情况,即1)情况1:如果,2)情况2:如果,3)情况3:如果.
案例1:如果的价值等于1,如所示图13. 案例2:如果,的值作为模糊目标隶属函数之间交叉点的纵坐标计算和目标函数,如所示图14.两个函数交叉点的横坐标(和)通过求解方程得到 然后,解决方案(37)的是 因此,交叉点的纵坐标计算为对于,. 案例3:如果,的值等于0,如所示图15.
因此,上述三种情况的计算结果可以集成并表示为单一形式 因此,根据定义14计算如下:☐ 图13,图14和图15说明模糊目标的可能性程度在可能性分布下实现分别对应于案例1、案例2和案例3。在每个图中,粗体线表示.英寸图13,粗线的最大值为1。在图14,粗体行的最大值介于0和1之间。在图15,粗体行的最大值为0。 从命题2来看,增广极大极小问题(28)的最优解是一个(强)Pareto最优解。在线性隶属函数的情况下,PPE模型的增广最大化问题(28)使用(35)和(36)公式化如下:
[PPE模型的增广极大极小问题(线性隶属函数情形)]哪里由(36)给出,即,和是一个足够小的正常数。 现在,我们总结了一种在多目标情况下获得基于可能性的概率期望模型(PPE模型)的(强)Pareto最优解的算法。
[获得PPE模型(强)Pareto最优解的算法(线性隶属函数情况)]
- 第1步:
(可能目标函数值的计算)
使用线性规划技术,解决单个最小化问题(34),即并获得最佳解决方案的我的th最小化问题. - 第二步:
(模糊目标隶属函数的设置)
要求DM指定和,.如果DM不知道如何和,则DM可以将通过(33)计算出的以下值设置为使用最佳解决方案在步骤1中获得。 - 第三步:
(推导PPE模型的强Pareto最优解)
使用非线性规划技术,解决以下增广极大极小问题(38):哪里和是一个足够小的正常数。
这里应该注意的是,(38)是一个具有线性约束的非线性规划问题(NLPP),其中目标函数具有不计算梯度的点。在这种情况下,可以使用某种启发式或元启发式算法来解决问题。另一种适用的解决方法是Nelder-Mead方法[49]它可以求解线性约束的NLPP,而不需要任何关于目标函数导数和约束的信息。 7.2. NPE模型的求解算法
当DM对获得的目标函数值感到悲观时,建议使用基于必要性的概率期望(NPE)模型。以与PPE模型适用的定理1类似的方式,我们获得了关于NPE模型的以下定理:
定理 2 假设是一个离散的三角模糊随机变量,其事件的实现值是三角模糊数,其特征为(18),并且每个模糊目标的隶属函数其特征在于(32)和(33)。然后,将(25)中定义的基于必要性的概率期望计算为哪里 证明。 从必要性措施的定义来看除以三种情况,即1)情况1:如果,2)情况2:如果,3)情况3:如果.
案例1:如果,的值等于1,如所示图16. 情况2:如果,的值作为模糊目标隶属函数之间交叉点的纵坐标计算和目标函数,如所示图17.两个函数交叉点的横坐标(和)通过求解方程得到 因此,交叉点的纵坐标计算为对于,. 案例3:如果,的值等于0,如所示图18.
因此,(25)中定义的基于必要性的概率期望计算如下☐ 图16,图17和图18说明模糊目标的必要性程度在可能性分布下实现分别对应于案例1、案例2和案例3。在每个图中,粗体线表示.英寸图16,粗体线的最小值为1。在图17,粗体线的最小值介于0和1之间。在图18,粗体线的最小值为0。 从命题4来看,增广极大极小问题(31)的最优解是NPE模型的(强)Pareto最优解。在线性隶属函数的情况下,NPE模型的增广极大值问题(42)用(39)和(40)表示如下:
[NPE模型的增广极大极小问题(线性隶属函数情形)]哪里由(40)给出,即,和是一个足够小的正常数。 现在,我们总结了在多目标情况下获得基于必要性的概率期望模型(NPE模型)的(强)Pareto最优解的算法。
[获得NPE模型(强)Pareto最优解的算法(线性隶属函数情况)]
- 第1步:
(可能目标函数值的计算)
通过使用线性规划技术,解决单个最小化问题(34),即并获得最佳解决方案的我的th最小化问题. - 第二步:
(模糊目标隶属函数的设置)
要求DM指定和,.如果决策不知道如何和,则DM可以将(33)计算的值设置为使用最佳解决方案在步骤1中获得。 - 第三步:
(NPE模型(强)Pareto最优解的推导)
使用非线性规划技术求解以下增广极大极小问题(42):哪里由(40)给出,即,和是一个足够小的正常数。
与上一节中PPE模型的情况类似,(42)是一个具有线性约束的非线性规划问题,可以通过某种非线性规划技术来解决。
8.数值实验
为了证明该模型的可行性和有效性,我们考虑了一个农业生产问题的示例。作物计划问题的经典方法之一是随机规划[1]使用与气候和/或经济条件相关的几个随机事件或场景。然而,由于缺乏数据和/或一些因素(如人类技能),有时很难确定作物计划问题中利润和工作时间的准确值。Zeng等人[50]考虑用模糊多目标规划方法求解作物计划问题。在本节中,我们将所提出的模型应用于解决模糊随机环境中的作物计划问题,其中利润和工作时间是作为离散模糊随机变量给定的。 为了解决这个问题,我们使用了“constrOptim”函数,它是作为R语言中的标准函数准备的[33]通常用作具有线性约束的NLPP的解算器。这里应该强调的是,一些最先进的基于启发式或元启发式的算法[51]可以更有效地解决问题。尽管如此,我们没有为本文中提出的模型提出特定的求解算法,因为提出特定的解算法不是本文的目的。R语言对于许多研究人员和实践者来说很容易使用,即使他们不擅长编写自己的编程代码。 8.1. 模糊随机环境下的作物面积规划问题
假设一家农业公司(DM)生产5种夏季蔬菜(甜椒、黄瓜、茄子、番茄和西瓜)。我们考虑以下具有双目标函数的模糊随机LPP(),5个决策变量()和5个约束():其中第一个目标函数代表利润(千日元),第二个表示总工作时间(h) ●●●●。让,表示生长区域()蔬菜(甜椒),(黄瓜),(茄子),(番茄)和(西瓜)。 在目标函数中,让和是单位蔬菜的利润和工作时间分别是。假设和,估计为离散三角模糊随机变量。基于蔬菜病害与湿度关系的研究成果[52],我们假设与第一个目标函数和第二个目标函数相关的事件(场景)数量为5(). 更具体地说,事件集如下和如所示表1. 表2和表3显示实现的模糊数的参数值和,,,用于描述模糊随机变量和,分别是。的值在中给出表2这些数据均基于日本农林水产省(JMAFF)2007年的统计数据[53]. 的值在中给出表3,每一项都基于Mekonnen等人的报告[54]. 考虑到生产不同蔬菜的风险程度,假设和对于大于. 如问题(43)所示,作物计划问题有五个约束条件。表4和表5显示这些约束的系数。第一个限制反映了种植、销售等总成本的上限和根据JMAFF 2007年的统计数据,第一个限制条件是将单位面积换算为1万日元[53]. 第二个限制和第三个限制分别代表蔬菜总种植面积的上限和下限。第四和第五个限制条件是,农业公司与两个主要客户签订合同,销售一定数量的特定蔬菜。在这两个约束条件中,根据JMAFF 2007年的统计数据,将这些约束条件的单位从面积转换为千克[53]. 在问题(43)中,第一个目标函数是利润最大化。由于中提出的算法第5节对于最小化问题有效,我们通过将原始第一目标函数乘以如下所示: 为了利用前面章节中获得的结果,我们通过设置如下所示:哪里离散三角模糊随机变量表示为然后,应注意以下备注: 备注 1 让和为L-R模糊随机变量,表示为和.如果,它认为 然后,第一个目标函数中的参数值如所示表2可以替换为表6,其中我们使用了备注1中描述的三角模糊随机变量的特性。 基于上一节提出的算法,获得了作物计划问题的Pareto最优解。首先,通过求解步骤1中的LPP并计算得到每个目标函数的模糊目标和对于在步骤2中,作为和在步骤3中,基于DM的偏好,求解了增广极大极小问题(38)和/或(42),分别对应于基于可能性的概率期望模型(PPE模型)和基于必要性的概率期望模式(NPE模型)。由于通过R语言中的函数获得的解并不总是满足全局最优,而是满足局部最优,因此我们将此函数应用于随机生成的100个初始解,并从100个局部最优解中选择最佳解。因此,我们获得了PPE模型和NPE模型的以下最优解:哪里和分别是(38)和(42)的最优解,以及和分别是它们的目标函数值。从计算结果来看,基于可能性的概率期望模型(PPE模型)倾向于种植高风险高回报蔬菜,如甜椒、黄瓜和西瓜,并且很少分配给其他蔬菜。另一方面,基于需求的概率期望模型(NPE模型)有增加番茄等低风险低回报蔬菜种植面积和减少甜椒等高风险低回报作物种植面积的趋势。 8.2. 不同尺寸问题的计算时间
如前所述,我们没有为所建议的模型提出特定的求解算法,因为即使我们提出新的求解算法也可能需要研究人员或实际人员花费大量时间和精力来编写编程代码。
我们没有提出具体的求解算法,而是使用R语言,并表明R语言可以在实际计算时间内解决数百个决策变量的问题。我们期望R语言的使用能够促进我们模型在模糊随机环境中解决实际问题的使用。
为了证明R语言在计算时间方面对我们的模型的适用性,我们使用5个决策变量数量和约束数量不同的数值示例进行了额外的实验。更准确地说,7个示例中的决策变量的数量如下分别是。每个示例中的约束数设置为决策变量的一半。
为了关注决策变量的数量和约束的数量的影响,目标函数的数量和事件(场景)的数量是固定的。更具体地说,我们将目标函数和事件(场景)的数量固定为5()和10()分别是。
参数值在中随机选择,和是以下产品的绝对值和随机选择的值对于,,对于约束在矩阵中A类在中随机选择和的值表示为中元素的总和对于任何,与中的实验类似第8.1节,我们在R语言中使用constrOptim函数,并进行了30次运行,其中随机生成初始解。我们在iMac(OS X Yosemite版本10.10.3,CPU:3.4 GHz Intel Core i7,RAM:32 GB 1600 MHz DDR3)上使用R版本3.2.0进行了这个数值实验。表7显示了解决7个问题实例的计算时间。 图19显示了决策变量数量与计算时间之间的关系表7从该图中可以看出,随着决策变量和约束数量的增加,计算时间线性增加。 9.结论
在本文中,我们考虑了目标函数的系数是离散模糊随机变量的LPP。将可能性和必要性测度引入概率测度中,我们提出了模糊随机环境中新的决策模型,称为基于可能性/必要性的概率期望模型(PPE/NPE模型),即最大化期望目标函数值满足给定模糊目标的可能性或必要性程度。研究表明,基于所提出模型的公式化问题可以转化为确定性非线性(多目标)规划问题,特别是当使用线性隶属函数时,可以转化为更简单的问题。此外,在多目标情况下,我们定义了所提出模型的(强)Pareto最优解,并提出了获得满足(强)Pareto最优的解的算法。为了说明该模型如何应用于实际问题,我们对一个农业生产问题进行了数值实验。我们还证明了R语言中的标准函数适用于在实际计算时间内解决数百个决策变量的问题。
在不久的将来,我们将展示一个广义方差最小化模型,它是先前研究中讨论的扩展版本[32]. 此外,将在其他地方讨论所提出模型在实际问题中的一些应用。