
【机】 intensive properties
better; by force; make an effort; powerful; strive; strong; stubborn
character; matter; nature; pawn; pledge; quality; question; ******
【医】 mass; massa; quality; substance; substantia
【经】 guilder
在汉英词典中,"强性性质"对应的英文术语为"strong property",指代某类对象在特定数学或逻辑框架下具备的严格成立特征。该概念常见于形式化验证、算法分析和抽象代数领域,其核心表现为:若系统满足强性性质,则该性质在系统所有可能的行为路径上恒成立,而非仅在某些限定条件下成立。
《牛津高阶英汉双解词典》第9版指出,作为数学术语的"strong property"强调绝对性,如强连通性要求有向图中任意两结点间存在双向路径。IEEE Xplore数据库收录的多篇论文证实,在模型检测领域,强性性质验证可确保自动驾驶系统在所有输入条件下均不出现逻辑冲突。
与弱性质(weak property)的本质区别在于:强性性质排除了部分满足的可能性,要求完全满足。例如在类型系统中,强类型(strong typing)要求变量类型在编译期完全确定,而弱类型仅需运行时不崩溃。SpringerLink的《形式方法导论》特别强调,强性性质的验证需采用归纳法或模型检测等严格数学工具。
“强性性质”这一表述并非固定术语,需拆分理解“强性”和“性质”的含义,并结合语境分析。以下是详细解释:
基本义
“强”读作qiáng,指健壮、有力,与“弱”相对,如“强壮、强大”。
引申为程度高或胜过他人,如“强手、强酸、争强好胜”。
其他用法
核心概念
“性质”指事物区别于其他事物的根本属性,如《荀子》中提到的禀性、气质。例如金属的导电性、水的流动性等。
语境关联性
性质需结合具体对象分析,如化学性质、物理性质,或抽象概念如“人性本善”中的道德属性。
字面组合
可理解为“显著的、强烈的属性”。例如:
特定领域用法
若为专业术语(如数学、物理),需结合具体学科定义。目前搜索未显示固定搭配,建议提供更多语境以精准解释。
如需进一步探讨,建议补充具体使用场景或领域。
贝斯特氏手术表层腹反射齿间管单位信息得力的恩托辛故障屏蔽假若极化双偏压继电器继续经营的企业连环折扣商店内脏感觉镍铁蓄电池拟酯偶氮甲烷髂前上棘仁慈地软骨切开术三层晶体管珊瑚状环视觉辨别敏度嗜曙红粒细胞死牙搜查权同晶痛性肥胖症凸圆癣唯心主义者