买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：江西师范大学

摘要：本申请涉及分布式虚拟现实技术领域，公开了一种保证分布式虚拟环境实体行为一致性的验证方法，该方法包括：对分布式虚拟环境的实体进行建模，将实体分类为静态实体和动态实体；对分布式虚拟环境的任务进行建模，设计单任务执行和多任务并发执行，任务执行过程包括任务选择、任务激活实体和实体行为；基于任务的实体行为，划分为单任务中的不同实体行为、多任务的相同实体行为和多任务的不同实体行为；使用定理证明辅助工具对执行分支的实体行为一致性进行验证。该方法能够解决现有技术没有基于任务的多实体行为建模和验证，手工推导验证繁琐且验证过自动化程度不高，导致验证分布式虚拟环境多实体行为的可靠性不高的问题。

主权项：1.一种保证分布式虚拟环境实体行为一致性的验证方法，其特征在于，所述验证方法包括：对分布式虚拟环境中的实体进行建模，将实体分类为静态实体和动态实体，所述动态实体在所述静态实体的基础上增加视角特征，根据所述视角特征决定实体行为的权限；对分布式虚拟环境中的任务进行建模，设计单任务执行情况和多任务并发执行情况，所述多任务并发执行设计为多个所述单任务之间的实体协作行为，单任务执行和多任务并发执行过程均包括任务选择、任务激活实体和实体行为；基于任务的实体行为，分析基于任务下多个实体行为对虚拟环境的访问状况，以划分为三类执行分支，分别为执行单任务中的不同实体行为、执行多任务的相同实体行为和执行多任务的不同实体行为；使用定理证明辅助工具，构建证明定理对每一类执行分支的实体行为一致性进行验证，包括：构建证明定理一以验证执行单任务中的不同实体行为一致性：确定多个不同的实体行为，确定多个不同的实体行为位于同一个任务t中，确定任务t的任务体内各实体标号是有序的；当执行任务列表中仅有任务t时，获取并发行为函数的执行不会同时得到多个不同的实体行为，则表明执行单任务的不同实体行为是一致的；构建证明定理二以验证执行多任务的相同实体行为一致性：确定两个或多个不同任务中任务体的实体标号有序的，确定虚拟环境的激活和访问位为初始状态，确定同一实体行为且每个任务包含部分执行行为，确定实体行为的操作对象为虚拟环境且实体行为的执行不会改变虚拟环境的访问位；当执行任务列表中有两个或多个不同任务时，获取的行为列表为同一实体行为，当一个任务访问虚拟环境时，其他任务将等待对虚拟环境的执行操作且不修改环境属性，则表明执行多任务的相同实体行为是一致的；构建证明定理三以验证执行多任务的不同实体行为一致性：确定两个或多个不同任务中任务体的实体标号有序的，确定虚拟环境的激活和访问位为初始状态，确定两个或多个实体行为且每个任务包含部分执行行为，确定实体行为的操作对象为虚拟环境且实体行为的执行不会改变虚拟环境的访问位；当执行任务列表中有两个或多个不同任务时，获取的行为列表为两个或多个实体行为，当一个任务访问虚拟环境时，其他任务将等待对虚拟环境的执行操作且不修改环境属性，则表明执行多任务的不同实体行为是一致的。

全文数据：

权利要求：

百度查询： 江西师范大学 一种保证分布式虚拟环境实体行为一致性的验证方法