基于LTL预测语义的高效监控器构造

运行时验证中的一个重要研究内容就是从高层规约生成高效的监控器,并有效控制监控器的生成复杂度与监控器运行时开销.基于线性时序逻辑(LTL)的预测语义,通过删除与合并Büchi自动机中的大部分状态,提出一种高效的预测监控器构造技术.通过该方法,可以大大降低最终预测监控器的规模,提高监控器产生的效率;同时保证把监控器的运行时开销控制在合理的范围内.基于上述预测监控器构造技术,实现了相应工具monitor_tool,该工具比LTL3_tool工具更小,且能够为更多的LTL性质产生监控器. 同时,产生的监控器能够尽可能早的识别一个持续被监控的执行轨迹是否满足指定的正确性性质.     

嵌入式数据库SQLite在uC/OS-Ⅱ上的移植

为了在uC/OS-Ⅱ嵌入式系统中进行比较复杂的数据处理,成功地完成了嵌入式数据库SQLite到uC/OS-Ⅱ系统的移植.首先论述了SQLite的体系结构,然后针对uC/OS-Ⅱ内存管理的不足,根据SQLite的移植需要改进并移植了MINIX的内存管理算法;接着将SQLite移植到具有uC/FS的 uC/OS-Ⅱ系统上;最后通过无线固话系统的实现验证了移植的正确性.     

一种异常数据诊断应用的稳健回归算法

针对异常数据提出了一种有效的诊断方法。首先从实例分析入手,然后进行到理论推导,最后列出了该方法的算法步骤与应用领域。实验证明,随着信息与控制技术的发展,对异常数据的诊断要求与其处理越来越重要、越来越迫切,数据校正技术能有效地提高测量数据的质量。     

基于混合算法的高性能推荐策略平台

随着电子商务的发展,个性化推荐成为其中不可缺少的重要组成部分。为了解决推荐策略系统的场景算法乏力、统一接入及性能问题,设计了基于混合算法的高性能推荐策略平台。结合用户的实时页面行为、自然属性及关系链等建立多个用户兴趣度预测模型,满足了电子商务大规模、多场景的商品推荐需求,提高了电商的流量转化率。