语义网格在技术渗透和融合中发展

从web技术发展和网格技术演化融合的角度出发,介绍语义网格的产生根源、发展历程、体系结构和主要技术,详细分析web服务、语义web、语义web服务对网格发展的渗透及它们之间的关系,并展望普适计算与语义网格在未来的融合发展.     

基于约束程序的变迁约束可达问题判定研究

在分析各种可达分析方法求解变迁约束可达问题不足的基础上,采用约束程序的办法,针对变迁约束进行约束模型构造和算法研究.该约束模型构造的算法充分利用了T_向量提供的信息,对可达图进行展望搜索,实例验证表明,算法在多Token、多并发、大最大步集的情况下,将大大减少对不相关分支的搜索,并使变量(解)快速逼近于T_向量U.