高校学生管理信息系统的设计与实现

本文介绍一个用C语言开发的学生管理信息系统。该系统具有功能齐全、数据安全可靠、操作方便、人机界面友好等特点。文中讨论了实现该系统所用的主要数据结构、系统结构、系统的实现等。

条件数在大系统辨识数值分析中的应用

本文利用条件数的链式性质,研究了大系统辨识中存在的数值问题,证明了关于参数辨识问题的条件数一般随着阶数增加而严格地单调增加。

图书管理系统的分析与设计

本文采用“结构化分析与设计技术”给出了对图书管理系统LMS进行分析与设计的方法,并在此基础上描述了该系统的软件结构。最后,本文根据ER方法给出了LMS系统的数据库模型。

一种分散化观测器的综合方法

本文首先利用几何方法研究了分散化观测器的一般原理。利用一组不变子空间集给出了分散化观测器的构造方法。这是一种更符合实际的构造方案,它不需对子系统之间的状态关联施以强制性的约束。

非对称双重积分电路特性及其应用

本文解出了一种非对称、双重积分电路过渡过程的微分方程,求出了该电路的灵敏阈,指出了在找矿仪器中如何利用这种电路过渡过程时间常数和灵敏阈时间常数的不同来改进仪器。

基于时态逻辑演算的程序验证

本文建立了时态逻辑演算。在该演算系统下,若能证明一程序抽象成的时态逻辑公式是定理,则该程序是完全正确的。

同步时序电路的波形图分析

本文通过实例提出同步时序电路的波形图分析方法,并且用实验观察波形加以验证。