摘要：介绍了断言推理和时态逻辑断言的基本概念，并以工资智能决策支持系统（SIDSS）为例，讨论时态逻辑断言规则的设计、形式化描述与Java代码实现。

摘要：针对短延迟多径干扰影响下传统多径消除方法性能下降的问题,提出了一种跟踪环路鉴别器的构造方法.首先分析了短延迟多径下同相/正交超前、滞后与即时支路的输出特性,在此基础上构建出一种改进的超前支路;将环路鉴别器的输出定义为归一化超前减滞后功率型函数,从而使得直达信号码相位与本地估计码相位的误差小于预设门限值.理论分析和仿真结果表明,与传统多径抑制方法相比,基于改进环路鉴别器的多径抑制技术,能够减小相对时延小于0.5码片时多径带来的码跟踪误差,有效抑制了短延迟多径干扰,进而提高了导航与对接系统中的跟踪测量精度.

摘要：为了解决因为机油温度过高或过低对汽车部分结构造成危害的问题,研究机油控温技术很有必要。针对机油的温度过高或者过低时,都会有使机油的润滑效果变差,加大发动机机械部件的磨损,减短发动机的使用寿命,增加油封类的橡胶制品的使用寿命以及密封性等问题,设计水冷式机油冷却的智能控制系统。本装置根据单片机与各个部分的联系来控制系统,且本系统与汽车发动机其他系统是相互独立的,本系统运作时,不会影响发动机其他系统的使用。设计方案经实际应用表明,温度传感器与单片机联合能够根据机油实际温度进行实时、自适应控制阀门的打开与关闭,并起到加速机油散热,提升机油的润滑作用和品质,延长机油的使用期的目的。随着汽车技术的不断发展,机油冷却的技术要求也越来越高,也要求汽车发动机的运作过程中,拥有更加先进的技术和能力,才能适应当前汽车各领域的发展。相比较传统的机油冷却设备,智能化机油控温能够节省时间、提高效率。本设计针对智能化机油控温的特点和优势展开分析,为今后机油冷却发展提供理论基础,也为行业未来的发展目标提供建议。