2) consistency correction
一致性修正
1.
At first, the hydrologic characteristics of estuary region and the current research situation about consistency correction for hydro-sequence and composite probability for tidal level and wave are elaborated.
论文首先阐述了河口地区的水文特性、水文序列一致性修正的研究现状及潮位与波浪组合频率计算的研究现状。
3) group-consistency amendment
群体一致性修正
1.
According to a certain decision project,a group-consistency amendment method based on a kind of optimized c-means clustering algorithm,aiming at lager scale group,and considering the ability of evolution by learning is presented.
针对某决策方案,提出了一种基于聚类算法、且能面向较大规模群体、考虑成员学习进化能力并有效收敛群体意见的群体一致性修正方法。
4) update inconsistency
修正不一致性
6) modified union bound
修正一致界
1.
An upper bound of overlapped time division multiplexing(OVTDM) system in additive white Gaussian noise(AWGN) channel with binary phase-shift keying(BPSK) modulation named modified union bound is given using the maximum likelihood(ML) rule.
为估计重叠时分复用(OVTDM)系统性能,采用基于数值计算的方法,推导了加性高斯白噪声(AWGN)信道中符号为二相调制(BPSK)、采用最大似然(ML)准则时,OVTDM系统的一个性能界(称为修正一致界)。
补充资料:一致性
一致性
consistency
y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述,则该理论是一致的。形式地说,如果理论r可推得某一合适公式P及其否定,P,则r是不一致的;如果r不是不一致的,那么它是一致的,或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾,因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律,那么系统中任一命题及其否定都能被该理论所承认,显得十分荒谬。一致性可以保证理论合理解释的存在性,即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数,而在另一处断言f需回送一1,则该规约不一致。 只有当一个软件规约满足一致性时,才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证,那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难,通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突,以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写,那么除名冲突外,还可以检查出其它一些不一致,如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条