论文部分内容阅读
Warshall算法是二元关系中求传递闭包的一种简洁有效的方法.它在形式语言与自动机理论、图的可达性和路径优化等方面都有很重要的应用.本文通过布尔初等变换证明该算法的正确性.
Warshall算法正确性的矩阵分析
【摘 要】
：
Warshall算法是二元关系中求传递闭包的一种简洁有效的方法.它在形式语言与自动机理论、图的可达性和路径优化等方面都有很重要的应用.本文通过布尔初等变换证明该算法的正确
【机 构】
：
武汉理工大学,信阳师范学院
【出 处】
：
大学数学
【发表日期】
：
2005年1期
其他文献
介绍了在设计和制作模拟信号光端机中需要重点考虑的几项技术指标,分析探讨了模拟光端机几项重要指标产生的原因以及研制时需要注意的事项,阐述了这几项重要指标的常用测试方法及规范。
利用优超理论将平面上关于三角形的伍德（Wood）不等式推广到n维欧几里得空间中的n维单形上，得到2N/N-1≤（∑i=1^Nai）2/∑i=1^N（ai∑i〈k^Nak）≤2n/n-1,式中ai（i=1,…，N；N=n（n＋1）/2）为n维单形
罗素的摹状词理论对逻辑学和语言哲学等学科产生了广泛而深刻的影响。本文通过对罗素摹状词理论的阐述，分析了罗索摹状词理论的缺点与不足，同时指出了该理论的重要意义。
本文以福泉高速公路兰圃所收费系统一次雷击事件为出发点,系统地分析了机电设备遭受雷击的原因,简述了福泉高速公路收费系统防雷建设的基本情况,并根据实际工程项目经验对今
利用光纤参量振荡器(FOPO)进行全光时钟提取需要克服FOPO环长不稳定的问题。通过对LabVIEW、单片机、步进电机和光纤延迟线等模块的整合,研制出适宜FOPO腔长稳定的自动控制方案,利用腔长自动补偿获得稳定的时钟信号。
用向量的线性运算解释了矩阵初等行变换的本质,完善了用初等行变换求最大无关组的方法.
“七五”期间对新疆牧草中微量元素铜、铁、锰、锌、钴含量进行了普测.并从三个方面做了绵羊对微量元素需要量的研究. 1 绵羊各月份从草料中摄入的微量元素含量变化规律的