正则形相关论文
并发程序的不变式验证对理解程序和提高程序的正确性具有重要意义。以一种区间时序逻辑程序设计语言Framed Tempura为研究对象,给出......
MSVL语言是一种用于模拟、建模和验证程序的区间时序逻辑程序设计语言.为了证明区间时序逻辑程序的正确性,提出了MSVL语言的一个公理......
传统的特征根方法并不能揭示出电力系统的非线性相关作用。正则形理论考虑了系统的非线性特性,主要研究内容是对于一个非线性微分......
基于正则形二阶变换定义的非线性稳定因子,对三机交直流互联电力系统低频振荡模式的非线性相关作用进行分析,得出了正则形变量的稳......