Matches in SemOpenAlex for { <https://semopenalex.org/work/W2324710670> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2324710670 endingPage "1184" @default.
- W2324710670 startingPage "1169" @default.
- W2324710670 abstract "PDF HTML阅读 XML下载 导出引用 引用提醒 循环对称化简及在三值模型上的扩展 DOI: 10.3724/SP.J.1001.2011.04020 作者: 作者单位: 作者简介: 通讯作者: 中图分类号: 基金项目: 国家高技术研究发展计划(863)(2009AA010307); 中国博士后科学基金(20100471338); 南京航空航天大学基本科研业务费专项科研项目(NS2010110) Cycle Symmetry Reduction and Its Extension on Three-Valued Models Author: Affiliation: Fund Project: 摘要 | 图/表 | 访问统计 | 参考文献 | 相似文献 | 引证文献 | 资源附件 | 文章评论 摘要:为了将对称化简扩展到更多的非对称系统上,扩展了传统的基于自同构的对称性,提出了一种称为循环对称的新的对称性.证明了采用循环对称置换群或者由一组循环对称置换所生成的置换群仍可得到与原模型互模拟的对称商结构,从而达到化简系统规模的目的.进一步地,研究如何将对称化简应用于多值模型.多值模型可以有效地表示系统中的不确定信息,正越来越多地用于软件系统的建模与分析中.针对一种具体的多值模型——三值模型,定义传统的对称化简和循环对称化简在其上面的扩展.最后,分析三值模型的商结构与由约简得到的二值模型商结构之间的关系,证明了两种途径的等价性. Abstract:This paper defines the notion of cycle symmetry, which extends the traditional automorphism-based symmetry and enables application of symmetry reduction to a broader class of asymmetric systems. The study also shows that both cycle symmetry group and cycle symmetry generated group can be used to produce a quotient structure that is bisimilar to the original model. Furthermore, the extension of symmetry reduction over three-valued models is investigated. The quotient structure of a three-valued model is defined and induced by a permutation group and extends to both automorphism-based symmetry reduction and cycle symmetry reduction to three-valued models. Finally, the study analyzes the relationship between symmetry reduction of a three-valued model and classical models induced by it. Both approaches can lead to the same reduced quotient structure of the original model. 参考文献 相似文献 引证文献" @default.
- W2324710670 created "2016-06-24" @default.
- W2324710670 creator A5023361448 @default.
- W2324710670 creator A5057149015 @default.
- W2324710670 creator A5057362939 @default.
- W2324710670 creator A5084652886 @default.
- W2324710670 creator A5089246523 @default.
- W2324710670 date "2011-06-24" @default.
- W2324710670 modified "2023-09-28" @default.
- W2324710670 title "Cycle Symmetry Reduction and Its Extension on Three-Valued Models" @default.
- W2324710670 doi "https://doi.org/10.3724/sp.j.1001.2011.04020" @default.
- W2324710670 hasPublicationYear "2011" @default.
- W2324710670 type Work @default.
- W2324710670 sameAs 2324710670 @default.
- W2324710670 citedByCount "0" @default.
- W2324710670 crossrefType "journal-article" @default.
- W2324710670 hasAuthorship W2324710670A5023361448 @default.
- W2324710670 hasAuthorship W2324710670A5057149015 @default.
- W2324710670 hasAuthorship W2324710670A5057362939 @default.
- W2324710670 hasAuthorship W2324710670A5084652886 @default.
- W2324710670 hasAuthorship W2324710670A5089246523 @default.
- W2324710670 hasConcept C111335779 @default.
- W2324710670 hasConcept C114614502 @default.
- W2324710670 hasConcept C118615104 @default.
- W2324710670 hasConcept C121332964 @default.
- W2324710670 hasConcept C199360897 @default.
- W2324710670 hasConcept C199422724 @default.
- W2324710670 hasConcept C202444582 @default.
- W2324710670 hasConcept C21308566 @default.
- W2324710670 hasConcept C24890656 @default.
- W2324710670 hasConcept C2524010 @default.
- W2324710670 hasConcept C2778029271 @default.
- W2324710670 hasConcept C2779886137 @default.
- W2324710670 hasConcept C33923547 @default.
- W2324710670 hasConcept C41008148 @default.
- W2324710670 hasConcept C5534955 @default.
- W2324710670 hasConcept C92957085 @default.
- W2324710670 hasConceptScore W2324710670C111335779 @default.
- W2324710670 hasConceptScore W2324710670C114614502 @default.
- W2324710670 hasConceptScore W2324710670C118615104 @default.
- W2324710670 hasConceptScore W2324710670C121332964 @default.
- W2324710670 hasConceptScore W2324710670C199360897 @default.
- W2324710670 hasConceptScore W2324710670C199422724 @default.
- W2324710670 hasConceptScore W2324710670C202444582 @default.
- W2324710670 hasConceptScore W2324710670C21308566 @default.
- W2324710670 hasConceptScore W2324710670C24890656 @default.
- W2324710670 hasConceptScore W2324710670C2524010 @default.
- W2324710670 hasConceptScore W2324710670C2778029271 @default.
- W2324710670 hasConceptScore W2324710670C2779886137 @default.
- W2324710670 hasConceptScore W2324710670C33923547 @default.
- W2324710670 hasConceptScore W2324710670C41008148 @default.
- W2324710670 hasConceptScore W2324710670C5534955 @default.
- W2324710670 hasConceptScore W2324710670C92957085 @default.
- W2324710670 hasIssue "6" @default.
- W2324710670 hasLocation W23247106701 @default.
- W2324710670 hasOpenAccess W2324710670 @default.
- W2324710670 hasPrimaryLocation W23247106701 @default.
- W2324710670 hasRelatedWork W133501245 @default.
- W2324710670 hasRelatedWork W1996861589 @default.
- W2324710670 hasRelatedWork W2002087590 @default.
- W2324710670 hasRelatedWork W2009099498 @default.
- W2324710670 hasRelatedWork W2036976847 @default.
- W2324710670 hasRelatedWork W2047333389 @default.
- W2324710670 hasRelatedWork W2375334283 @default.
- W2324710670 hasRelatedWork W4221152163 @default.
- W2324710670 hasRelatedWork W4237883628 @default.
- W2324710670 hasRelatedWork W4299085884 @default.
- W2324710670 hasVolume "22" @default.
- W2324710670 isParatext "false" @default.
- W2324710670 isRetracted "false" @default.
- W2324710670 magId "2324710670" @default.
- W2324710670 workType "article" @default.