针对客户订单的重量需求为固定值、客户订单分配过程中有最小重量限制的板坯设计问题,建立了以最小化板坯数量为目标的约束满足模型.通过三划分问题的多项式归结,证明了该问题是强NP难的;针对问题的特殊性质,给出了变量选择策略和值选择策略;提出了基于约束满足技术的求解算法,并证明了算法的收敛性;通过数据实验对算法的有效性进行了验证

在现代经济管理中,有许多最优化问题属于多元函 数的极值和最值问题同一元函数类似,其最值也与其极 值有十分密切的联系;故以下以二元函数为例用多元函 数微分法先来讨论多元函数的极值,再讨论多元函数的 最值. 多元函数极值问题有两种基本类型(以二元函数为例) 类型I:讨论z=f(xy)的极值——无条件极值 类型Ⅱ:讨论z=f(xy)在约束条件(xy)=0下的极值 条件极值

食品质量与安全问题是一个全球性问题,一个涉及政治稳定、经济繁荣、人类健康与种 族繁衍等方面的重要问题。进入21世纪后,人类在自身发展过程中对全球生态环境以及食 物链的不良影响,通过一系列食品安全事件暴露出来。食源性疾病在世界各国的爆发与流行 不断发生;化学药物(农药、抗生素和生长促进素等)对食品质量与安全的影响逐渐突出;经 动物及其制品传染给人的“人畜共患病”(例如疯牛病)更使人胆战心惊。各种导致食品质量 与安全问题的因素随着食品加工规模化发展,以及食品贸易全球化进程而影响、涉及世界各 国。我国近几年来食品质量与安全问题突显严重受到食品业、科技界和消费者的高度关注

介绍了该领域的安全现状,然后对区块链的具体应用进行了介绍,并结合区块链的特点分析了区块链技术在该领域所存在的优势。结合现有的解决思路对未来区块链应用中所需要注意的隐私问题、可扩展性问题、安全问题以及区块链结构演进的方向进行了分析,并对未来基于区块链的网络安全体系结构与关键技术研究进行了展望

实践应用 问题一 三人合作效益分配问题 问题的提出: 一般来说,从事某一活动(比如经济活动、社会活动)的各个方面若能同李合作,往 往能够 获得比个人单独活动更大的效益或更小的开支。确定合理地分配这些效益(或分担这些费 用)的 方案是促成合作的前提,我们先研究一个简单的例子

AMCM-95问题-A单一螺旋线 问题为向小型微生物工程公司提供帮助。设计出“实时”求一条螺旋线与 空间中位于一般位置的平面(见图95A-1所有交点的方法,证明方法的正确性并 编程对算法进行数值检验

应用有向超图理论引入超边的分解与收缩概念,把解决二个无源网络级联问题的陈氏基本互补划分(ECP)法改进为更有效的分解-收缩对(DCP)法,发展为有向(正根)分解-收缩对(PDCP)法,用于解决二个有源网络级联问题,在此基础上,进一步发展为一般分解-收缩(GDC)法,用于解决多个有源网络互联时求符号网络函数的问题

本文阐述了基于渗碳专家系统的问题求解策略.为了避免系统的主观性和片面性,提出用多黑板作为问题的求解策略,使其非公认的渗碳领域问题通过多专家进行辩论择优选出最佳解.为此提出基于多元组命题性知识的辩论理论框架和辩论算法.对此进行了计算机仿真研究,结果证明此方法是可行的

线性规划经典问题 生产计划问题 某工厂拥有A、B、C三种类型的设备,生产甲、乙、丙 、丁四种产品。每件产品在生产中需要占用的设备机时 数,每件产品可以获得的利润以及三种设备可利用的时数如下表所示:

研究了因特网拥塞控制中的鲁棒主动队列管理(AQM)控制器设计问题．基于Internet传输控制协议(TCP)拥塞避免机制的线性模型,根据AQM的设计要求,首先将此问题转化为鲁棒镇定问题;然后利用线性矩阵不等式(LMI)方法得出了动态输出反馈控制器存在的充分条件,并给出了相应的设计方法．最后,给出了控制器设计的算例并进行了仿真．仿真结果表明所得出的控制器是可行和有效的,它不仅对全部网络参数鲁棒而且过渡时间短．