[发明专利]基于OOPN精细化操作的垃圾分类仿真方法及系统

权利要求书

1.基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，包括：

基于垃圾分类系统的功能及模块划分，构建粗略OOPN系统模型；

基于第一约束条件确定所述粗略OOPN系统模型的类网模型；

利用所述类网模型对所述粗略OOPN系统模型进行精细化处理，获得精确OOPN系统模型；

基于获得的精确OOPN系统模型，实现垃圾分类过程的仿真。

2.如权利要求1所述的基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，所述第一约束条件为：

假设N＝(P,T；F,Q,G,W)和Na＝(Pa,Ta；Fa,Qa,Ga,Wa)是两个OOPN网，需满足：

1)且

2)Fa＝F∩((Pa×Ta)∪(Ta×Pa)∪(Qa×Ta)∪(Ta×Qa)∪(Ga×Qa)∪(Qa×Ga))；

则称Na是N的类网，其中，P为确定库所集合，T为确定变迁集合，F为OOPN模型的流关系，Q为确定非空的消息库所集合，G为对象间的网关集合，W为权函数；Pa为另一OOPN模型的确定库所集合，Ta为另一OOPN模型的确定变迁集合；Fa为另一OOPN模型的流关系，Qa为另一OOPN模型的确定非空的消息库所集合，Ga为另一OOPN模型的对象间的网关集合，Wa为另一OOPN模型的权函数。

3.如权利要求1所述的基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，所述精细化处理为利用所述类网模型对所述粗略OOPN系统模型中的粗略化模块进行替换。

4.如权利要求1所述的基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，为了满足所述粗略OOPN系统模型的活性，所述粗略OOPN系统模型的构建需要满足以下条件：假设OOPN系统模型由若干个类网组成，需保证每个类网的闭类网系统均具有活性。

5.如权利要求1所述的基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，为了满足所述粗略OOPN系统模型的有界性，所述粗略OOPN系统模型需要满足以下条件：假设OOPN系统模型由若干个类网组成，需保证每个类网的闭类网系统均有界。

6.如权利要求1所述的基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，为了满足所述精确OOPN系统模型的活性，需要满足所述粗略OOPN系统与待替换类网的闭类网系统均具有活性。

7.如权利要求1所述的基于OOPN精细化操作的垃圾分类仿真方法，其特征在于，为了满足所述精确OOPN系统模型的活性，需要满足所述粗略OOPN系统与待替换类网的闭类网系统均有界。

8.基于OOPN精细化操作的垃圾分类仿真系统，其特征在于，包括：

粗略OOPN系统模型构建模块，被配置为基于垃圾分类系统的功能及模块划分，构建粗略OOPN系统模型；

类网模型构建模块，被配置为基于第一约束条件确定所述粗略OOPN系统模型的类网模型；

精确OOPN系统模型构建模块，被配置为利用所述类网模型对所述粗略OOPN系统模型进行精细化处理，获得精确OOPN系统模型；

垃圾分类仿真模块，被配置为基于获得的精确OOPN系统模型，实现垃圾分类过程的仿真。

9.一种电子设备，包括存储器和处理器以及存储在存储器上并在处理器上运行的计算机指令，其特征在于，所述计算机指令被处理器运行时，执行如权利要求1-7任一项所述的基于OOPN精细化操作的垃圾分类仿真方法。

10.一种计算机可读存储介质，用于存储计算机指令，其特征在于，所述计算机指令被处理器执行时，完成如权利要求1-7任一项所述的基于OOPN精细化操作的垃圾分类仿真方法。