电子工程中“assert”和“deassert”翻译思考

电子工程中“assert”和“deassert”翻译思考

有些资料将"assert"译作“断言”，而“断言”和电子工程无关。其作为专有名词出现在中文语境中时，是与数理逻辑有关的术语，将“assert”译作“断言”显然是不合理的。

《现代汉语辞典》-断言

①十分肯定地说：可以断言，这种办法行不通。

②断定的话；结论：作出这样的断言未免过早。

维基百科-断言 (程序)

在程序设计中，断言（assertion）是一种放在程序中的一阶逻辑（如一个结果为真或是假的逻辑判断式），目的是为了标示与验证程序开发者预期的结果－当程序运行到断言的位置时，对应的断言应该为真。若断言不为真时，程序会中止运行，并给出错误消息。

牛津英汉双解计算机辞典 第44页 (2007年9月1日版 ISBN 9787544605465/H0229)

assertion 断言

A Boolean formula whose value is claimed to be true.

---

然而，笔者(Oynos)并未找到一本英汉双解电子工程辞典，当下找到一个权威的中文翻译比较困难。

有些资料将"assert"译作“置位”，将"de-assert"译作“清零”࿰