随着科学技术的飞速发展，尤其是空间技术的发展，对控制系统的要求愈来愈高，系统本身也越来越复杂，系统运行的安全性、可靠性也日益受到重视。而系统的稳定性是系统安全运行的重要条件之一。能控能观性与稳定性有着密切的联系：只要系统是能控能观的，就一定能使其稳定。通过研究我们知道，一个系统只要在结构上(多元有理函数域(F(z))上)是能控能观的，则意味着实数域上该系统实际上总是能控能观的。在分析F(z)上系统的能控能观性时，要应用其代数判据，这就要首先求出其F(z)上状态方程系。而此过程涉及到人工分析系统结构及复杂的矩阵符号运算，工作量巨大，且很难保证结果的准确性。因此，开发一套建立F(z)上系统状态方程系并能进行相关性质分析的计算机辅助软件便极有价值。 本文以最典型的一类物理系统——RLC电网络为研究对象，以研究能自动生成其F(z)上状态方程和自动判别其能控性的软件为目标，在介绍了能控能观性理论和多元有理函数系统理论的基础上，阐述了本课题研究的意义，分析了国内外研究现状。进一步，介绍了电网络的基本理论，分析了RLC电网络状态方程的系统编写方法，选用面向对象的方法及语言Visual C++和科学计算软件MATLAB作为开发基础，提出了系统设计与分析的框架及关键技术，实现了基于Visual C++的电网络绘制、编辑与分析的程序设计和调用MATLAB的数值处理。最后详细阐述了在程序设计过程中所遇到的问题以及软件的使用方法，并利用手工分析结果与软件分析结果相比较，检验了软件的准确性。 通过上述研究，软件取得了以下成果： (1) 软件具有很强的移植性，能在多种操作系统下正常运行。 (2) 人机界面友好，操作简单方便，显示直观明了。 (3) 屏幕作图符合绘制电网络图的常规习惯，并具有较强的纠错容错能力。 (4) 主要功能模块相对独立，同时各模块间能相互调用，使用方式灵活。 (5) 对任意给定的RLC电网络均能十分快捷有效地生成其在F(z)上的状态方程，并能对其能控性进行自动分析判别，而对其复杂程度没有任何附加限制。 (6) 软件留有外部接口，进一步的扩展简单方便。