1) arc consistency
弧相容
1.
constraint satisfaction problems play a very important role in the area of artificial intelligence,while arc consistency is the key technique in solving such problems.
而弧相容算法是求解约束满足问题的重要工具。
2.
In order to make the constraint algorithm more efficient,the processing of constraint propagation is analysed,and parameterized description of the arc consistency propagation depth is represented by using variable domain retraction proportion.
为进一步提高约束满足问题求解算法的效率,对约束传播过程进行了分析,并使用变量论域缩减比例对弧相容传播深度进行参数化描述,同时提出了一个约束传播程度可以控制的弧相容传播算法,研究了在不同参数下约束求解算法的效率。
2) pre_arc consistency
pre-弧相容
3) singleton arc consistency(SAC)
Singleton弧相容
4) bidirectional singleton arc consistency
双向singleton弧相容
1.
Improved bidirectional singleton arc consistency algorithm;
一种改进的双向singleton弧相容算法
5) capacitance arc
容抗弧
6) permissive arcs
容许弧
1.
A model of traffic signal control system with six phases is constructed by the extended Petri nets with inhibitor or permissive arcs and the cyber net.
用带禁止/容许弧的增广Petri网结合自控网技术构建一类模拟六相位的交通信号控制系统。
2.
A model of fault detecting system of street lamp is constructed by the extended cyber nets with inhibitor and permissive arcs.
用带禁止/容许弧的自控网构建一类路灯故障检测系统模型,此系统模型适用于描述对按线性编号的故障路灯设备进行检测的过程,能够准确的检测出多个故障路灯。
3.
A model of database concurrency control with locking mechanism is constructed by the extended Petri Nets with inhibitor and permissive arcs.
用带禁止/容许弧的增广Petri网构建一类带封锁机制的数据库并发控制模型,此模型适用于描述多个进程并发访问多个共享资源,采用两段锁协议解决了数据库中并发所引起的数据不一致性,并采用先进先出策略以及一次封锁法避免了由于两段锁协议所引起的死锁和活锁问题。
补充资料：ω相容性
ω相容性
onega - consistency 1? co- consistency
。相容性[佣梢，一目‘史狱y或。一co招is年n(刁;OMer:-肚nPOTHBo碘.B0c几」 算术形式系统的一种性质，表明不能得到。不相容性.田不相容性是形式系统的一种状况，指对某个公式A(x)，无穷系列A(百)，二，A(万)，二中每个公式，以及公式二丫xA(x)都是可证明的，其中百是形式系统中一个常量代表数字O，而常量万是由(x)‘递归定义的，表示x的后继数:丽不万=(万)’. 。相容性这一概念是与算术的C位目不完全性定理(C往北1 incomPle~伍即比m)一起出现的.假设一个形式算术系统有。相容性，K .G议北l证明了这个系统的不完全性.田相容性这一性质比单纯的相容性(consisten卿)要强，只要公式A(x)中的x不出现就得到单纯的相容性.由G议无1不完全性定理就知道存在一个系统，它是相容的，但又是。不相容的.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条