-
题名基于对象分布式实时系统约束的一致性研究
被引量：2
- 1
-
-
作者
赵岭忠
董荣胜
蔡国永
古天龙
-
机构
桂林电子工业学院计算机系
-
出处
《计算机工程与应用》
CSCD
北大核心
2002年第15期60-62,71,共4页
-
基金
国防预研项目
广西科学基金
-
文摘
在分布式实时系统中,时间约束规格的一致性是解决任务分配和调度等关键问题的必要前提。该文给出了一种基于对象分布式实时系统调度的通用模型,并对该模型进行了形式化描述。该模型克服了以往模型不能在应用系统的逻辑和功能部件上描述系统实时约束的不足,允许从方法和活动上描述所需的约束,降低了单一约束描述的繁杂程度。为了解决使用该模型进行约束规格的一致性问题,该文给出了绝对时间约束、相对时间约束、一致性约束以及相对时间约束和一致性约束之间的一致性判定的必要条件。
-
关键词
分布式实时系统
实时对象
调度模型
实时约束
约束一致性
-
Keywords
distributed real-time system,real-time object,scheduling model,real-time constrains,consistency of constraints
-
分类号
TP316.2
[自动化与计算机技术—计算机软件与理论]
-
-
题名求解过程中约束一致性维护的多层次策略研究
被引量：5
- 2
-
-
作者
韩靖
陈恩红
蔡庆生
-
机构
中国科学技术大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1998年第8期622-627,共6页
-
基金
国家自然科学基金
中国科学技术大学青年基金
-
文摘
约束满足问题广泛出现于人工智能领域．在问题求解过程中保持局部约束一致性以缩小问题搜索空间是十分必要的．过去研究者对约束一致性算法的研究仅着眼于改进单个约束关系的维护．该文立足于更高点，提出从求解层次、维护层次和约束层次优化约束一致性维护的原则及其相应策略，算法ＭＡＣ－Ｈ和ＡＣ－Ｉ＋进一步减少了约束一致性维护的总代价，并克服了原有算法空间复杂度大的缺点．文中以两个典型的约束满足问题：Ｎ－皇后问题和斑马难题为分析和测试的例子，证实了这些原则和策略的有效性．
-
关键词
约束一致性维护
约束检测
多层次原则
人工智能
-
Keywords
Arc consistency, constraint check, multi level principle.
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名基于时间约束Petri网的一致性验证算法
被引量：4
- 3
-
-
作者
刘林钢
姜浩
-
机构
东南大学计算机科学与工程学院
-
出处
《计算机技术与发展》
2010年第1期58-62,共5页
-
文摘
时间约束的一致性验证是保证工作流时间模型正确工作的前提,因而一致性验证的算法的精确度和复杂度关乎整个工作流时间模型的运行效率。文中简要介绍了时间约束一致性定义及约束关系的推理规则,提出了一种简洁有效的时间约束一致性验证算法并分析了算法的时间复杂度。该算法借助于T-组件网和时间约束流图,能有效验证时间约束Petri网中存在的各种时间冲突,以保证工作流时间约束模型的建立及运行等各个阶段的正确性,对业务流程的建立、维护和优化都具有重要的参考意义。
-
关键词
工作流
时间约束一致性
时间约束工作流网
验证算法
-
Keywords
workflow
consistency of time constraints
TCWFN
verification algorithm
-
分类号
TF301.4
[冶金工程—冶金机械及自动化]
-
