分析了C&K度量组中耦合度量指标(CBO)存在的问题,对其进行了改进,提出了一组正交的面向对象耦合度量(Orthog-onal Coupling Metrics Suite for Object-Oriented Design,OCMOOD)。并在Frank Sauer开发的Eclipse度量计算插件的基础上...分析了C&K度量组中耦合度量指标(CBO)存在的问题,对其进行了改进,提出了一组正交的面向对象耦合度量(Orthog-onal Coupling Metrics Suite for Object-Oriented Design,OCMOOD)。并在Frank Sauer开发的Eclipse度量计算插件的基础上实现了OC-MOOD的自动计算,分析了JUnit3.8.1和JUnit3.7的OCMOOD度量值的计算结果,从而对OCMOOD的有效性进行了验证。展开更多
We establish a new partial C^(0)-estimate along a continuity path mixed with conic singularities along a simple normal crossing divisor and a positive twisted(1,1)-form on Fano manifolds.As an application,this estimat...We establish a new partial C^(0)-estimate along a continuity path mixed with conic singularities along a simple normal crossing divisor and a positive twisted(1,1)-form on Fano manifolds.As an application,this estimate enables us to show the reductivity of the automorphism group of the limit space,which leads to a new proof of the Yau-Tian-Donaldson conjecture.展开更多
文摘分析了C&K度量组中耦合度量指标(CBO)存在的问题,对其进行了改进,提出了一组正交的面向对象耦合度量(Orthog-onal Coupling Metrics Suite for Object-Oriented Design,OCMOOD)。并在Frank Sauer开发的Eclipse度量计算插件的基础上实现了OC-MOOD的自动计算,分析了JUnit3.8.1和JUnit3.7的OCMOOD度量值的计算结果,从而对OCMOOD的有效性进行了验证。
基金supported by Le Centre de recherche en géométrie et topologie Fellowship during the visit to Institut des sciences mathématiques of Universitédu QuébecàMontréal。
文摘We establish a new partial C^(0)-estimate along a continuity path mixed with conic singularities along a simple normal crossing divisor and a positive twisted(1,1)-form on Fano manifolds.As an application,this estimate enables us to show the reductivity of the automorphism group of the limit space,which leads to a new proof of the Yau-Tian-Donaldson conjecture.