说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 一致性规划
1)  Conformant Planning
一致性规划
1.
Conformant planning is the planning in uncertainty about the initial state and action effects.
一致性规划是指处理初始条件和动作具有不确定性的规划,它极大的扩展了规划的在现实中的应用能力,使得规划器更加适合于处理现实世界中的问题。
2)  identical planning method
一致性规划方法
1.
This paper gives two essentials briefly about the methodology of highway traffic planning, it examines the necessity that establishes the identical planning method from methodology angle.
略述了公路网规划方法论中的两个要点,从方法论的角度探讨了建立一致性规划方法的必要性。
3)  consistent rule
一致性规则
1.
This paper uses the consistent rule to generalize this reduction.
本文利用一致性规则进行属性的规则泛化。
2.
and puts forward a new heuristics algorithm for attribute reduction,besides use the consistent rule to generalize this reduction.
在此基础上,利用一致性规则进行属性的规则泛化。
4)  conformity specification
一致性规范
5)  rule compliance
规则一致性
1.
Then, how to detect firewall rule compliance is studied.
其次,深入研究了防火墙规则一致性检测技术,总结了当前防火墙规则的建模方法、防火墙规则异常分类和异常检测算法,并对基于策略树的异常检测算法进行了改进,提出了一种基于协议分组的多策略树防火墙规则一致性检测算法。
6)  the rules of data consistency
数据一致性规则
1.
This essay discusses the rule of data consistency about database container by giving some methods to be used to controll errors which result from disobeying the rules of data consistency, some ideas about form design as well as some relative examples.
介绍数据库容器的数据一致性规则,提出通过捕捉因违背数据库一致性规则而引发的错误进行相应控制的方法,从而为达到有效保证数据库数据一致性目的的表单设计思路,并给出相应的实例。
补充资料:一致性


一致性
consistency

  y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述,则该理论是一致的。形式地说,如果理论r可推得某一合适公式P及其否定,P,则r是不一致的;如果r不是不一致的,那么它是一致的,或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾,因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律,那么系统中任一命题及其否定都能被该理论所承认,显得十分荒谬。一致性可以保证理论合理解释的存在性,即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数,而在另一处断言f需回送一1,则该规约不一致。 只有当一个软件规约满足一致性时,才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证,那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难,通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突,以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写,那么除名冲突外,还可以检查出其它一些不一致,如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条