硬约束检测

约束求解：通过算法将问题转化为约束满足问题，根据输入变量的取值检测是否符合所有约束条件。

迭代优化：使用迭代算法逐步调整候选解，不断检测并纠正违反硬约束的情况，直到满足所有条件。

边界测试：测试输入和输出在边界条件下的行为，确保在极值情况下的解仍符合硬约束。

模拟仿真：通过模拟系统运行过程，在各种条件下检查硬约束的满足情况，从中找出潜在的违反情形。

逻辑分析：使用逻辑推理技术分析约束间的关系，检测可能导致硬约束被违反的逻辑漏洞。

模型验证：创建问题模型，应用形式化验证方法自动检测硬约束满足性，通常用于复杂系统中的验证。

硬度计：用于测量材料的硬度属性，评估其耐磨损和耐划伤能力。常用在金属、塑料的硬度测试工作中。

千分表：主要用于检测微小位移或细微尺寸变化，确保工件几何尺寸的精确度，多用于硬度试验中的变形跟踪。

超声检测仪：通过超声波探测材料内部的缺陷，如裂痕和空洞，确保结构完整性和坚固性。

X射线荧光光谱仪：利用X射线诱发材质中的元素发光，分析合金成分比例，保证硬度材料化学成分的准确性。

布氏硬度计：通过对材料施加固定的力并测量产生的压痕，评估材料的耐变形性能，用于较软金属及合金材料。