NOETHER: A Constructive Framework for Metamorphic Pattern Discovery from Operator Algebras
NOETHER:从算子代数中构造性地发现元模式的框架
机构 * School of Computing, University of South China(南华大学计算机学院) ; Hunan Engineering Research Center of Software Evaluation and Testing for Intellectual Equipment(湖南软件测评与智能设备工程研究中心) ; CNNC Key Laboratory on High Trusted Computing(中核集团高可信计算重点实验室)
专题命中 视觉定位与Grounding :grounding(abstract);分类 cs.LG
AI总结 本文提出NOETHER框架,通过从程序诱导的算子代数到元模式集的机械且可证明的下游步骤,解决元模式关系识别中的基础问题,同时通过三个算子代数领域验证了该框架的代数闭包和多项式时间可判定性。
Comments 71 pages, 18 tables, 1 figure. Under review at ACM Transactions on Software Engineering and Methodology. Supplementary materials (algorithm reference implementation, 84-MR PWR corpus, SE(3) case study harness, three-tier METRIC+ replication) at https://github.com/meng004/P1-MetaPattern