五氟化砷

在计算机科学中，决策问题的属性测试算法是一种算法，其对其输入的查询复杂度远远小于问题的实例大小。典型的属性检验算法是用来区分某些组合结构S（如图或布尔函数）是否满足某种属性P，或者是否离这种属性很远（意味着需要修改S的表征的ε部分以使S满足P），只需使用对该对象的少量局部查询。例如，下面的承诺问题有一个算法，其查询复杂度与实例大小无关（对于一个任意的常数ε>0）。给定一个有n个顶点的图G，决...

属性语法是用语义信息处理来补充形式语法的一种正式方式。语义信息被存储在与语法的终端和非终端符号相关的属性中。属性的值是与语法的产品相关的属性评价规则的结果。属性允许以受控和正式的方式将信息从抽象语法树的任何地方转移到其他地方。每个语义函数只处理一个生成规则中出现的符号的属性：语义函数的参数和结果都是一个特定规则中的符号的属性。当语义函数定义了规则左侧的符号的属性值时，该属性被称为合成的；否则就称为...

物理学专业术语，关于物理性质的定义有两个，一是指物质不需要经过化学变化就表现出来的性质，二是指物质没有发生化学反应就表现出来的性质叫做物理性质。 物质的物理性质如：颜色、气味、状态、是否易融化、凝固、升华、挥发，还有些性质如熔点、沸点、硬度、导电性、导热性、延展性等，可以利用仪器测知。还有些性质，通过实验室获得数据，计算得知，如溶解性、密度等。在实验前后物质都没有发生改变。这些性质都属于物理性质。...