基于Schema的XML文档到关系数据库的转换

XML已成为Internet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题。对基于XML Schema的XML文档在关系数据库中的存储进行了说明,提出了相应的存储方法,并实现了XML文档到关系数据库的转换。     

Petri网结点精化及其应用

在Petri网精化概念的基础上,给出一种解决Petri网结点爆炸问题的方法,该方法针对精化的定义,从库所和变迁的约束条件入手,分析结点精化的可行性和方法,并给出证明。该方法的建立为今后利用Petri网进行建模提供了必要帮助。     

基于Schema的XML文档到关系数据库的转换

XML已成为Intemet数据表示和数据交换的标准,XML在不同的领域得到了广泛的应用,越来越多的数据采用XML格式表示,因此如何有效存储和查询XML数据已成为研究的热点问题.对基于XMLSchema的XML文档在关系数据库中的存储进行了说明,提出了相应的存储方法,并实现了XML文档到关系数据库的转换.     

基于CCS的信号量形式化建模与验证

利用通信系统演算CCS(Calculus of Communicating Systems),对用来解决进程间通信问题的信号量给出了形式化建模和验证的方法,并利用该方法对以信号量机制解决生产者—消费者问题和哲学家进餐问题进行建模、逻辑说明和验证。该方法具有一定通用性,并可将其推广到其他通过信号量机制解决进程通信的问题当中。