一类非线性时滞系统的鲁棒H_∞控制

针对一类非线性时滞系统的鲁棒H∞控制问题,基于Lyapunov稳定性理论,运用Backstepping方法,技巧性地设计了鲁棒H∞控制器.表明了结论的有效性和可行性.

智慧校园信息系统的建设与规划

教育信息化的主体是校园,随着云计算和物联网的普及应用,智慧校园必将成为教育信息化的主流,本文提出"示范推进、应用主导、科学引入、分步实施"的智慧校园建设方针,给出了智慧校园信息系统的总体目标、总体建设、总体方案、可行性分析、总体研究方向和重点难点问题的建设与规划,侧重于顶层设计,在实践上具有一定的基础方案意义。

一种程序设计形式化模型

本文提出程序设计形式化模型的基本问题,针对第一个问题,引入泛函分析的空间和算子理论,基于程序设计过程,建立了一种程序设计的形式化模型,包括代码基础、可视化、对象、控制结构和程序空间,分成为基础程序设计部分和形式化部分,旨在建立程序设计基础形式化概念体系。在理论和实践上具有一定的基础意义。

绘图法在《操作系统》教学中的应用

《操作系统》是计算机专业的核心课程之一,在整个理论体系中占有重要地位。本文针对《操作系统》中存储管理方案的教学是一个难点,提出了一种用绘图法来讲授操作系统中的存储管理方案。通过实践验证,收到了很好的教学效果。