Managing Temporal Constraints with Preferences

Abstract

Preferences in temporal problems are common but significant in many real world applications. In this paper, we extend our temporal reasoning framework, managing numeric and symbolic information, in order to handle preferences. Unlike the existing models managing single temporal preferences, ours supports four types of preferences, namely: numeric and symbolic temporal preferences, composite preferences and conditional preferences. This offers more expressive power in representing a wide variety of temporal constraint problems. The preferences are considered here as a set of soft constraints using a c-semiring structure with combination and projection operators. Solving temporal constraint problems with preferences consists in finding a solution satisfying all the temporal constraints while optimizing the preference values. This is handled by a variant of the branch and bound algorithm, we propose in this paper, and where constraint propagation is used to improve the time efficiency. Experimental tests, we conducted on randomly generated temporal constraint problems with preferences, favor a variant of MAC as the constraint propagation strategy that should be used within the branch and bound algorithm.     

论校准实验室质量体系建设

校准实验室质量体系建设是校准实验室管理的重要课题。本文结合工作实践和经验讨论了校准实验室认可、质量管理、用户满意、与员工沟通等相关问题。     

基于预测控制的导弹俯仰通道制导控制一体化设计

考虑制导和控制之间固有的时间尺度差异,提出基于预测控制设计制导控制一体化策略,通过对动态调节过程的合理预测,更加真实的反应控制量对系统状态的影响。利用连续时间非线性预测控制,以输出跟踪误差和控制能量的组合为性能指标,在线滚动优化得到控制指令,分析了控制律的参数选取,最后通过数值仿真验证了制导控制一体化策略的有效性。     

顾客满意度在政府服务中的应用

将顾客满意战略运用于公共管理,是当今公共管理界研究的热点.文章对如何在政府部门建立顾客满意度评估体系作了深入研究.首先,分析政府部门的顾客类型;其次,研究政府服务中顾客满意的内容,并指出顾客满意具有有限性和多层次性的特点;再次,对顾客满意度进行评估,指出应建立专门的评估小组,确定评估指标和权重,收集数据并进行科学分析;最后,针对评估结果,建立完善的反馈系统和监督机制.     

二维不可压分离流计算的约束迭代法

本文提出约束迭代法以改进不可压分离流计算中的迭代收敛性。在每个时间步的迭代中,对涡量传输方程的边界涡量,预先进行近似估计。因此它相当于一种隐式的边值算法。 两个翼型的算例表明,约束迭代法具有高的收敛速度。由于无需寻找最优松弛参数,因而节省人力,便于使用。     

顾客满意度测评指标的量化

顾客满意度是可以测量的,其结果是一个量化的值。顾客满意度测评指标量化的准确程度决定了测评结果的有效性和可靠性,本文提出了一种顾客满意度测评指标的量化方法。     

飞机加强框的一种结构拓扑优化设计方法

为了能够有效地降低飞机结构承力件的质量,针对飞机骨架,以加强框的概念设计为研究内容,通过对“敏度阈值”概念的分析,指出其不足,提出了“改进的敏度阈值”概念,并与“约束补偿”策略结合而形成新的拓扑优化算法,用于加强框的材料布局设计。多个算例中,拓扑优化结果均显示其结构型式十分新颖,值得深入地探讨。由此可以得出3点结论：(1)采用CAD／CAE和拓扑优化相结合用于飞机加强框的初始方案设计是可行的;(2)作者提出的“改进的敏度阈值”拓扑优化算法是有效的;(3)构建一种具有良好操作性的、有别于经验设计的加强框概念设计新方法。     

检测质量对硅微机械框架振动陀螺影响的研究

 根据陀螺的动力学方程，从陀螺设计中的重要参数——内、外框架组件的等惯量约束条件和振动灵敏度等角度，探讨了检测质量对陀螺性能的影响，为微机械框架振动陀螺的设计提供了理论依据。     

基于改进一致性算法的无人机编队控制

编队飞行是指多架无人机保持以一定队形进行飞行的状态,相比于单架飞机执行任务,无人机编队能够增加搜索面积,提高飞机飞行性能,增大完成任务成功率。编队控制是实现编队安全高效完成指定任务的前提。本文以一致性理论为基础,针对无人机运动模型的特点与实际飞行要求,对基本的一致性算法进行改进,提出了改进一致性无人机编队控制算法。首先利用纵向和横侧向解耦的自动驾驶仪模型给出了无人机的三自由度运动方程,根据机动性与飞行性能要求定义了各方向上的加速度、速度与角速度约束。基于一致性理论,将编队控制分为平面与纵向2个方向进行,在状态控制的基础上,利用各状态变量间的几何关系对无人机运动自由度进行转换,加入编队队形信息,设计了编队控制算法。为了使算法生成的指令信号满足约束条件,提出了"最小调整"约束条件处理策略。依据粒子群算法对各无人机的爬升加速度进行优化,以避免机间碰撞。仿真结果表明：提出的编队控制算法具备编队成形与变换功能,能够使无人机编队状态快速收敛到指定值,且保持指定队形,无人机飞行状态满足所有约束条件。     

考虑导弹自动驾驶仪动态特性的新型制导律

针对拦截空中飞行目标需要满足零脱靶量和攻击角约束提高导弹制导性能等问题,首先,利用考虑噪声干扰的扩张状态观测器对目标加速度进行估计,其次,改进一种非奇异终端滑模面,将自动驾驶仪视为理想环节,然后,基于终端滑模控制理论和有限时间收敛理论推导一种滑模制导律,最后,考虑自动驾驶仪二阶动态特性,将得到的滑模制导律结合动态面控制法提出一种新型制导律。分别以不同的攻击角对机动飞行和匀速飞行的目标进行拦截,大量仿真表明,所提制导律具有良好的制导性能,能够保证导弹在零脱靶量击中目标的同时达到期望攻击角。