通过对当前逻辑全知问题的认定过程进行仔细的分析和严格的逻辑论证后发现,这一结论的得出主要来源于人们关于模态逻辑用于agent研究的两点模糊认识,在此基础上进一步指出,如果承认逻辑推理的过程意义,并且不用意识系统的特征来约束逻辑系统,那么就不会有真正意义上的逻辑全知问题存在,该结论无疑对当前基于模态逻辑的agent形式化研究具有十分重要的意义

指出了现象相似的数学物理本质是它们在同一个量纲为1的单元坐标体系中有相同的量纲为1的模型:模型的结构相同且各特征数数值——对应相等.以冶金工程中常见的问题——一维非稳态传导传热问题为例进行了说明与讨论.指明在量纲为1的单元坐标体系中不同现象的规律性之区别仅在于变量之间的关系不同,并不依赖于描述实际现象的方程.只要现象相似,它们在量纲为1的单元坐标体系中有相同的模型且有相同的解.在量纲为1的单元坐标体系中具有相同结构模型的现象是同类现象,同类现象中特征数数值对应相等的现象才是相似现象

为解决KDIA型开铁口机旋转机构铰链的磨损失效问题,对机构的运动学和动力学仿真建立了机构综合分析平台并以组合磨损计算模型为基础计算相应磨损量.以减缓铰链磨损速度及减轻磨损不均为优化目标,以机构尺寸为设计变量,以不损失其他设计指标为约束条件进行优化设计.结果表明,通过调整设计尺寸以优化机构运动学和动力学性能,是解决传动精度降低、磨损失效等机构问题的有效途径

讨论了由不同温度介质的界面张力梯度而诱导的有限厚度Marangoni对流的边界层问题.假设界面张力是温度的平方函数,下表面保持恒温,上表面的温度是水平距离的线性函数.通过坐标变换和巧妙引入小参数对速度和温度边界层控制方程组摄动渐进展开,得到了问题的解析近似解.研究了Marangoni数和Prandtl数对速度、温度边界层的影响,对相应的流动特性进行了探讨

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

实验目的 1、了解最短路的算法及其应用 2、会用 Matlab软件求最短路 实验内容 1、图论的基本概念 2、最短路问题及其算法 3、最短路的应用 4、建模案例:最优截断切割问题 5、实验作业

研究了一类广义离散时间线性系统的预见控制问题.首先通过对系统方程,误差向量和可预见的目标值信号取差分,构造出一个扩大误差系统,把广义系统的预见控制问题转化为一个形式上的普通广义系统的控制问题.然后利用广义系统最优控制理论的结果,得到广义系统的带有预见前馈补偿的控制器.同时通过详细推导,把一个阶数很高的矩阵Riccati方程降为一个阶数很低的Riccati方程,从而使闭环系统可以实现

针对基于面阵CCD摄像机的热轧带钢表面缺陷检测系统所存在的问题,提出采用线阵CCD摄像机作为热轧带钢的表面图像采集装置,将激光线光源作为照明光源,解决了高温环境下的远距离均匀照明问题.采用这种图像采集方式可以使系统的精度达到0.5mm以上.针对热轧带钢表面存在的氧化铁皮、水及光照不均等问题,提出了对于不同缺陷类型建立单独的缺陷检测算法的思想.目前已经建立了纵裂与边裂的检测算法,对这两类缺陷的检出率达95%以上

通过对热轧动态设定型AGC控制系统模型进行理论分析,针对工程实际提出了一种基于μ综合的鲁棒控制方法．当系统中存在轧机刚度摄动时,热轧动态设定型AGC控制仍能实现期望的控制性能．通过引入表征系统性能的虚拟块,应用主环定理将动态设定型AGC系统在模型摄动下设计满足性能要求的控制器问题转换为广义系统的鲁棒稳定性问题,实现了系统鲁棒性能．它克服了使用H∞方法解决该问题的鲁棒性能缺点,其设计目标真实反映控制目标,方法更加有效．依据现场数据的仿真实验表明,基于μ综合的鲁棒控制方法比H∞方法具有更好的鲁棒性能．

传统的优化方法在描述能力、建模方法、方法实现和模型数据的分析等方面都存在着局限性,需要引入新的思路.针对上述问题,提出了基于知识的广义优化方法,给出了广义优化中知识概念、优化问题的描述,以及基于知识的广义优化方法的一般求解过程.其基本方法是在优化问题知识模型的基础上,建立基于知识的广义优化算法,通过知识系统的约简,得到用于制定优化方案的决策规则.同时给出了基于知识的广义优化方法在在锅炉燃烧优化问题中的应用示例,说明了方法的有效性