重庆工业经济增长的数量分析

作者根据1984-1988年重庆市工业统计资料,用现代经济理论,对重庆市工业经济作了较为全面的数量分析。不仅建立了重庆市工业总产值的单元回归方程和多元回归方程,而且还建立了C-D生产函数模型,并用它作了某些经济分析。最后还用Solow余值法测定了重庆市工业技术进步增长的速度。文中对重庆市工业经济的发展提出一些有益的建议。     

不完全描述时序机的封闭类和极小化方法

本文证明了所有循环相关的相容组和它的任何一个循环相关的蕴涵相容组具有相同的封闭相关类。同时,提出了一个更重要的封闭类,即所有一级蕴涵相容组构成的封闭类。证明了这个封闭类所包含的相容对就是一切相容对的蕴涵相容对的封闭类。在此基础上,提出了一个有效的极小化方法——建立无多余元素的蕴涵相容对封闭类的极小闭包的方法。此方法较其它方法简单。     

有限集上线性空间的关联矩阵

H.J.Ryser研究了不包含三角形的(0,1)—矩阵的性质,R.P.Anstee研究了不包含更多一些构形的(0,1)—矩阵的性值。本文和上述不同,研究一种具有某种特殊构形的(0,1)—矩阵的性质,即线空间的关联矩阵的性值,给出了一些有用的结果。     

有限自动机的变换半群和它识别的信息

在离散时序系统的分析和控制中,要想知道这个系统的性质,即知道对这个系统提供什么信息(输入)才能使它达到所期望的状态或产生所需要的输出,这个问题涉及到有限自动机的识别问题。本文提出了使用(0,1)—矩阵去计算有限自动机的变换半群和它识别的信息,并且分析了各种特殊(0,1)—矩阵所代表的信息。     

梯级电站有功负荷自动优化分配法——开机优先级矩阵法

本文提出了一个实现梯级电站有功负荷自动优化分配的方法。方法系将连续变化的梯级水库的水位离散化,进而将全梯级系统的水位状态离散化为有限个水位状态,通过存贮于计算机的预先优化了的开机“优先级矩阵”,对梯级的当前状态自动形成优化的开机组合和负荷分配。按所提出的方法,对×××梯级电站编制了计算机程序。对几组方案计算结果表明,该方法是可行的。不仅所需机时短,占用内存少,操作简便,而且取得了明显的经济上的优化效益。由计算机自动形成的日调度方案比人工方案水耗率有所降低。     

语言的ψ—表达式和有限自动机状态方程的近似解法

1983年Tony.T.lee提出了有限自动机的状态空间方法,引进了语言的(?)—表达式,给出了∑={0,1}时的状态方程的解。本文将它推广到∑={δ_0,δ_1,…,δ_(2m-1)},并讨论了表达式的性质,将它的状态方程和Kleene's方程联系起来,并给出了不完全描述有限自动机的计算实例。