正确性检验相关论文
统一建模语言(Unified Modeling Language) UML简洁、直观,便于建模人员之间的交流与沟通,适用于软件开发的各个阶段。然而,UML缺......
针对近几年在语义Web服务自动组合上的研究成果，深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术，对语义Web服......
针对近几年在语义web服务自动组合上的研究成果，深入归纳和总结了目前语义web服务组合的定义、组合方法以及正确性验证技术。对语义......
曲线拟合是一种常用的测量数据处理方法。讨论了曲线拟合及其正确性的检验,结合位移方位角和位移矢量角信息综合分析边坡变形。通......
工作流模型的正确性是在工作流分析的上下文的主要挑战之一。这篇论文的目的是为验证工作流模型的正确性提供一条改进 Petri-net-b......
熔融沉积（FDM）快速成型制造中，支撑设计是一项关键性技术，它的优劣会直接影响零件的成型精度与成形质量，对CLI（Common Layer Interface）文......
通过对ＳＥＴ２ＣⅡ全站仪望远镜调焦镜运行正确性的测试，并应用巴特莱检验法对望远镜调焦镜运行时有无纵向和横向晃动，作出了判断，结果证明了ＳＥＴ２ＣⅡ......
针对近几年在语义Web服务自动组合上的研究成果，深入归纳和总结了语义Web服务组合的定义、组合方法以及正确性验证技术，对语义Web服......
基于2000国家大地坐标系和1985国家高程基准,阐述了在NBCORS和宁波市基本高程控制网的三维框架下组织实施宁波市似大地水准面数字......
