剖析IEC61850标准规范细节,构建SSD系统说明文件的基本格式,研究了采用LINQ to XML技术实现SSD文件生成的可行性,设计从图形化的一次接线图生成SSD文件的算法,进而利用C#语言结合LINQ to XML技术完成SSD文件生成的具体实现,解决了系统...剖析IEC61850标准规范细节,构建SSD系统说明文件的基本格式,研究了采用LINQ to XML技术实现SSD文件生成的可行性,设计从图形化的一次接线图生成SSD文件的算法,进而利用C#语言结合LINQ to XML技术完成SSD文件生成的具体实现,解决了系统描述工具和系统配置工具中一个关键文件的自动生成。展开更多
分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State...分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State Processes),即时间有限状态进程.TFSP扩展了Magee等人提出的FSP(Finite State Processes)[1].展开更多
文摘剖析IEC61850标准规范细节,构建SSD系统说明文件的基本格式,研究了采用LINQ to XML技术实现SSD文件生成的可行性,设计从图形化的一次接线图生成SSD文件的算法,进而利用C#语言结合LINQ to XML技术完成SSD文件生成的具体实现,解决了系统描述工具和系统配置工具中一个关键文件的自动生成。
文摘分布式实时系统在宇航、核反应、军事和工业等部门应用极为广泛,这些领域对系统本身的安全性和可靠性要求极高,因此如何开发出正确的分布式实时应用系统是一个关键问题.为了对分布式实时系统进行建模,我们提出了TFSP(Timed Finite State Processes),即时间有限状态进程.TFSP扩展了Magee等人提出的FSP(Finite State Processes)[1].