作者将形式体系推广至非对称结和二维二极管结构，并通过基准分析验证了模型的有效性。