模糊时间相关论文
经典的模型检测由于其自动化的特点被广泛用于系统的功能正确性和可靠性验证,其强调系统功能的绝对正确,是一种定性的验证方法.随......
作为支持过程建模、优化分析、经营过程自动化的有效支持工具,工作流技术成为近年来业界广泛应用、极力研究和迅速发展的技术。近......
随着我国科学技术水平的不断提高，基础建设事业蓬勃发展，尤其是高速铁路发展迅速，而这其中，铁路桥梁是高速铁路的重要组成部分，但是传统......
