用二分图实现复杂参数类型匹配

针对Web服务接口匹配方法中的复杂参数类型匹配,本文提出运用二分图匹配的方法计算服务接口信息中复杂参数类型的匹配度。在对Web服务的参数类型进行分类归纳的基础上,该方法首先对参与比较的复杂参数类型进行原子化操作,然后引入二分图模型,将求解请求复杂参数类型和目标复杂参数类型的匹配度问题转化为求两个简单参数类型集合之间的最大匹配,最后对求解得到的匹配度进行归一化取值。其中重点介绍了匈牙利算法求解二分图的最大匹配的过程。

关于丢番图方程px^4-(p-2)y^2=2z^4

利用初等方法给出了丢番图方程px4-(p-2)y2=2z4当p=Q2+2为奇素数时的全部正整数解,从而拓展了Mordell等学者关于ax4+by4=cz2的结果.