将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率....将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率.为了把证明转化为可执行的过程,给出一种基于π演算的提取过程模型的方法,并为方便地利用语义推理机的语义关系,定义了一种伪过程以便统一地处理这种情况.展开更多
为了满足电磁仿真数值计算日益增高的速度和精度的需求,针对单机内存需求和计算负荷需求都比较大的矛盾,提出基于分布式并行机群环境的并行计算划分和并行存储划分的算法设计思想,并且给出了基于行列循环数据划分的并行计算算法描述。...为了满足电磁仿真数值计算日益增高的速度和精度的需求,针对单机内存需求和计算负荷需求都比较大的矛盾,提出基于分布式并行机群环境的并行计算划分和并行存储划分的算法设计思想,并且给出了基于行列循环数据划分的并行计算算法描述。在此基础上进行了实验验证,用MPI+FORTRAN和MPI+C编程实现了对大矩阵求逆的分布式高斯消元,并进行了性能评估和实验验证,在国内外超级计算中心平台上的实验结果表明所完成的工作对于系统的电磁仿真计算具有应用价值,该算法和代码实现可应用于电磁仿真计算的矩量法MOM(Method of Mom)中。展开更多
文摘将分块推理方法扩展到命题逻辑和描述逻辑的混合逻辑上,得出一种新的web服务合成方法.该方法可以方便地在UDDI(universal description,discovery and integration)之间的web服务之上进行合成,并有效结合了语义推理机,提高了算法的效率.为了把证明转化为可执行的过程,给出一种基于π演算的提取过程模型的方法,并为方便地利用语义推理机的语义关系,定义了一种伪过程以便统一地处理这种情况.
文摘为了满足电磁仿真数值计算日益增高的速度和精度的需求,针对单机内存需求和计算负荷需求都比较大的矛盾,提出基于分布式并行机群环境的并行计算划分和并行存储划分的算法设计思想,并且给出了基于行列循环数据划分的并行计算算法描述。在此基础上进行了实验验证,用MPI+FORTRAN和MPI+C编程实现了对大矩阵求逆的分布式高斯消元,并进行了性能评估和实验验证,在国内外超级计算中心平台上的实验结果表明所完成的工作对于系统的电磁仿真计算具有应用价值,该算法和代码实现可应用于电磁仿真计算的矩量法MOM(Method of Mom)中。