1) disjunction property
析取性质
1.
This characterization is used to prove that a soft algebra has the disjunction property if and only if its prime ideas are the maximal ideas.
证明了具有析取性质的软代数所对应的拓扑空间是含有一个对合同胚的布尔空间，由此得到一个软代数具有析取性质的充要条件是它的每个素理想都是极大理想。
2) Separability and compatibility
可析取性
3) commutativity of disjunction
析取可换性
4) property analysis
性质分析
1.
The problem of system property analysis can be transfered into the one of verifying the satisfactory relationship of temporal formulas.
离散事件系统的许多重要性质可用时态逻辑方便、直接和简明地进行描述，系统的性质分析可转化成时态公式满足关系的判定。
5) isotropy analysis
质性分析
6) analytic property
解析性质
1.
Based on the analytic property of logistic growth curve,a method of solution parameters value of logistic is proposed and the feasibility of the process is analyzed and tested with an actual exampl
以逻辑增长曲线的解析性质为基础,给出逻辑增长曲线的一种参数估计方法,并结合了实例对其进行了分析与验证。
补充资料：析取
析取
uwpunfcjp
析取{击劝.以如.，几。肠。，哪司 由两个命题A和B构成一个命题“A或B”的一种逻辑运算.形式语言中，两个命题A和B的析取表示为AVB.命题A和B都称为命题AVB的析取项(disjUn加姆妞m‘).析取的意义由如下真假值表(trUth助卜)表示: 厂 B.E.n几那Ko撰沈复兴译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条