摘要：为了解决基于小波的正交频分复用(WOFDM)系统中较高的峰均功率比(PAPR)问题,提出了一个基于线性规划的PAPR优化方案.在小波滤波器组级数固定的条件下,设计线性规划优化模型,选择最优小波包基,利用最优小波包基调制信号使系统获得最优PAPR.分析和仿真实验结果表明,新算法在确保系统误码率的同时,可以明显抑制系统的PAPR.

摘要：本文首先提出了基管段流量概念,并作为优化变量,建立环状管网流量优化分配的非线性规划模型;又以管道尺寸为优化变量,建立某一流量分配方案下管网优化设计的线性规划模型。在优化设计计算过程中,采用遗传算法求解非线性规划模型及单纯形法求解线性规划模型,两种优化算法交替计算,可确定环状管网优化设计方案。本文提出的方法,是一种有效地解决重力单水源环状管网优化设计的新方法。

摘要：改善单调速率（rate monotonic，简称RM）可调度性判定算法的效率，是过去40年计算机实时臣统设计的重要问题。最近，研究人员把可调度性判定问题扩展到了更一般的优化设计问题，即，如何调节在区间可选择情况下的任务运行时间，使得：（1）系统RM可调度；（2）系统的某个性能（如CPU利用率）达到最优。在已有的求解实时系统RM优化设计问题的方法中，都是先把原问题建模成广义约束优化问题，然后再对广义约束优化问题进行求解，但现有方法的求解速度较慢，任务数较多时不再适用。提出一种求解优化问题的方法——基于树状的线性规划搜（1inear programming search，简称LPS）方法。该方法先将实时系统RM优化设计问题建模成广义约束优化问题，再将其分拆成若干线性规划子问题，然后构造线性规划搜索树，利用剪枝搜索算法求解部分线性规划子问题，最后得到优化解。实验结果表明：LPS方法相比于已有的方法能够节省20％～70％的求解时间，任务数越多，节省时间越多。该研究成果可以与计算机可满足性模定理（satisfiability modulo theories，简称SMT）领域的多个研究热点问题联系起来，并可望改善SMT问题的求解效率。

摘要：讨论了在复Chebyshev逼近意义下设计复系数FIR滤波器问题。直接把复Chebyshev逼近问题离散化成有限维线性规划问题 ,再用单纯形法求解这种方法一直被认为只能设计实系数滤波器 ,而且计算量大、收敛速度慢。本文从直接离散化出发 ,推导出一种求解此问题的改进的单纯形算法 ,适用于设计复系数滤波器 ,极大地减小了计算量 ,提高了收敛速度。并证明了它与通过求解半无限线性规划的对偶问题而得到的改进的单纯形法是等价的。

摘要：针对结构在外界荷载下的主动控制问题,提出基于线性规划的张拉整体结构的位移优化控制模型,通过改变结构构件长度调整节点坐标、修正结构形态至一个更为有利的状态.模型以结构位移为优化目标,以作动器的主动变形量为控制变量,以结构工作状态系数、作动器参数为约束条件,选取三棱柱张拉整体单元为例,研究不同工况、不同控制指标、不同作动器数量及布置情况下的位移优化控制.设计一个具有主动单元的张拉整体结构模型,验证了理论模型和方法的有效性与可行性.结果表明,通过引入作动器主动调节构件长度,可以实现结构的形态调整、达到位移控制目标.

摘要：质量功能展开 (QFD)技术是一个多功能的计划工具 ,主要利用质量屋所含信息设计顾客满意的产品 .在已有文献的基础上 ,本文给出一个更加简单的线性规划模型 ,消除或减弱各设计要求间的依赖关系对设计要求的相对重要性的影响 ,所得结果可看作相互独立的参数且能用于下一阶段 ,即零件展开阶段 .

摘要：采用线性规划作为基本工具开发一个RTL可满足性求解器,并将其应用于解决RTL性质检验问题·深入研究了使用线性规划约束对RTL电路元器件的建模方法,得到了一种对RTL电路建模的通用方法·通过将RTL性质转化为虚拟RTL电路,找到了一种验证RTL性质的方法·通过实验,并与采用zchaff布尔可满足性求解器的模型检验工具NuSMV进行比较,证明了基于RTL可满足性求解器的性质验证方法在内存和时间消耗上具有相当大的优势·

摘要：设备布局对于提高生产效率和降低运营成本具有重要意义.本文针对半导体加工制造中常见的双行设备布局问题,提出了一种结合多目标免疫算法和线性规划的双行设备布局方法来同时优化物料流成本和布局面积两个目标.首先,建立了问题的混合整数规划模型;其次,针对问题既含有组合方面(机器排序)又含有连续方面(机器精确位置)的特点,分别设计了一种多目标免疫算法来获取非支配的机器排序集合,提出了一种基于线性规划的方法来构造任一非支配机器排序对应的连续的非支配解集;最后,由所有连续的非支配解来构造最后Pareto解.实验结果表明,该方法对于小规模问题能获得最优Pareto解,对于大规模问题能够获得具有良好分布性的Pareto解且其质量远好于NSGA-II和精确算法获得的解.

摘要：对间歇化工过程的单杂质用水网络提出了以新鲜水量最小为目标的优化设计方法。该方法对间歇过程的每个操作假定为一个操作接一个储罐,对所有操作按出口浓度从小到大排序,避免了高浓度水回用到低浓度水的操作中,去掉了用水网络中多余的连接,构造了用水网络超结构。该超结构可以表述为一个线性规划模型。通过GAMS求解该模型得出每个操作周期的最小新鲜水量,并通过证明得出该最小用水量随操作周期增加最终不再变化。该方法可以用作有、无中间储罐间歇过程用水网络综合,实例计算结果表明该方法是可行的,与其他方法相比更简单。

摘要：防洪补偿调节是水库防洪规划和实时调度的基本原理,构模方法及后效性是制约水库洪水优化补偿调节数学模型求解的关键问题。对于一个水库和一个防洪控制点所组成的基本防洪系统,基于水库调度阶段划分及出流上界分析引入水库出流上下界约束,将水库防洪库容最小目标转换为累计蓄水量最小的等价目标,建立了水库防洪补偿调节线性规划模型(RFCR-LP),实现了水库调度决策和下游河道水流演进的完全耦合,避免了常规多阶段决策优化方法的后效性。该模型不仅具有结构简单、易于求解等显著特点,而且实现了水库防洪规划与实时调度优化数学模型的统一,基本形成了覆盖水库全周期的多功能洪水优化补偿调节模型,为构建水库群防洪优化补偿调节模型提供了一种解决方案。实例验证了RFCR-LP的适用性、灵活性及稳定性。