英语写作中“严格的”“启发式的”rigorous、heuristic的用法

英语科技论文写作中，与“严格”rigorous 对应的是“启发式的”heuristic，例如rigorous/heuristic analysis （proof ）（严格的/启发式的）分析（证明）。例句：

In modern cryptography, security analysis is heuristic, while formal security proof is rigorous.（在现代密码学中，安全性分析是启发式的，而形式化安全性证明是严格的。）

The authors only gave a heuristic analysis instead of a rigorous proof.（作者只给出了启发式分析，不是严格证明。）

In essence, artificial neural networks are   heuristic algorithms, for we don’t know how real neural networks work at present and what optimal artificial neural networks are like. What’s worse, if someone claims that their ANN is optimal, others have no rigorous approachs to decide.（人工神经网络本质上是启发式算法，因为目前我们还不了解真正的神经网络是如何工作的，也不知道最优人工神经网络是什么样。更不幸的是，当有人声称他的ANN是最优时，我们还没有严格的手段来判决。）

（例句原创）