-
1.
W3CXML模式规范中定义的一些约束，检查起来非常耗时而且需要较大的内存空间。
-
2.
可探伤环形吊装带如有异常，可以用光束检查吊装带内部时候断裂。
-
3.
另一个前置条件是运行前述约束检测算法所需的数据，要在模型中是实际可用的。
-
4.
针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法。
-
5.
本文提出了一种双光束检测器测试平面光栅衍射效率的新方法。
-
6.
重点对数据处理进行了论述，提出了确定海底管道位置和掩埋状态的分析方法，并对影响多波束检测效果的频率、波束角和水深等因素进行了探讨。