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

一、统计判决问题的三个要素 为了估计一个未知参数,需要给出一个合适的 估计量,该估计量也称为该统计问题的解。一般地 说,一个统计问题的解就是所谓的统计决策函数。 为了明确统计决策函数这一重要概念,需对构成一 个统计决策问题的基本要素作一介绍。这些要素是: 样本空间和分布族;行动空间以及损失函数。以下 逐点介绍

前面学习了如何用行波法求解一维波动问题,用行波法如何解决三维空间的波动问题? 一、定解问题:

第五章中建立了弹性力学的边值问题,现在用它来解一些具体问题。在本章中要 研究工程实际中有着广泛应用价值的柱体之拉压弯扭问题,这就是所谓的“Saint Venant问题

我们不但要提出任务,而且要解决完成任务的方法问题。我们的任务是过河,但是没有 桥或没有船就不能过。不解决桥或船的问题,过河就是一句空话。不解决方法问题,任 务也只是瞎说一顿

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

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

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

一、理解描写刚体定轴转动的物理量,并掌握角量与线量的关系。 二、理解力矩和转动惯量概念,掌握刚体绕定轴转动的转动定理。 三、理解角动量概念,掌握质点在平面内运动以及刚体绕定轴转动情况下的角动量守恒问题。 四、理解刚体定轴转动的转动动能概念,能 在有刚体绕定轴转动的问题中正确地应用机械能守恒定律。能运用以上规律分析和解决包括质点和刚体的简单系统的力学问题

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