【摘 要】
：
保障全局时序的时序约束分解模型(TCD)可以将时序服务组合分解成约束分解与局部优选两个相对独立的过程,但该模型可能丢失可行组合方案,在用户约束强度较强时可能导致无解.该
【机 构】
：
桂林理工大学广西嵌入式技术与智能系统重点实验室
【基金项目】
：
国家自然科学基金(51365010);广西自然科学基金(2014GXNSFBA118269)
论文部分内容阅读
保障全局时序的时序约束分解模型(TCD)可以将时序服务组合分解成约束分解与局部优选两个相对独立的过程,但该模型可能丢失可行组合方案,在用户约束强度较强时可能导致无解.该文提出了一种约束强度感知的时序约束分解模型(CIA-TCD),通过在现有的TCD模型中引入松弛因子,使得用户约束强度较弱时,能保证全局约束,而约束强度较强时,也能够保留一定量的组合方案,从而提高找到可行方案的概率.分析表明,当约束强度较强时,CIA-TCD模型较TCD模型找到可行组合方案的概率明显更大.
其他文献
<正>儿童肾病综合征是现代医学名称,是多种临床症状组成的一组临床症候群,主要表现为大量蛋白尿(尿中大量泡沫)、高度水肿、高脂血症、低蛋白血症,简称为"三高一低"。从中医
<正>在科学技术迅猛发展的今天,世界经济也随之产生了巨大的变化.经济全球化这个震撼世界的经济现象,使每个国家、每个企业不得不重新调整自己,以应对日趋激烈的全球范围内的
开展以土壤改良培肥为核心的盐碱地治理,是保护耕地动态平衡、维护国家粮食安全的重要措施之一。分析了乐陵市改良耕地土壤的类型及性质,提出了预期目标、主要措施及步骤、配
目的了解湖北省各级疾病预防控制机构工作人员应对突发公共卫生事件的能力并探讨其影响因素。方法采用匿名问卷调查方式,对湖北省三级疾病预防控制机构173名工作人员进行调查
阐释了创新型大学衍生企业与大学母体间的技术孵化、技术转移与企业家孵化机制,企业根据所处不同发展阶段的战略需要,与大学母体建立战略技术联盟,形成大学衍生企业与大学母
会计集中核算制度在全国各地发展较快,这项制度是各地在实践中逐步探索出来的,全国没有统一的办法、规范和运作模式,在理论上对会计集中核算制度的适用范围认识还不统一.从会
<正>阅读是学好初中英语的基础,在阅读教学中,教师不仅要让学生积累更多的英语知识,更重要的是要让学生掌握正确的阅读学习方法,让学生能够具备一定的自主阅读能力。只有提高
介绍了一种新型人工湿地轻型两栖式多功能工作机产品研发背景及当前国内外类似产品研究现况。结合水生植物收割特点,对工作机主要结构、产品定位及主要特性进行了分析,将该工
利用实测水位、流量资料，基于丹麦Mikell系统模型建立了双台子河感潮段水动力模型。模型率定和验证结果表明，监测点张明甲站的模拟水位与实测水位结果吻合较好，所建模型能够反映
随着社会经济的不断发展,人们的意识形态和生活习惯也在潜移默化地改变着,传统文化在当今社会中的问题也越来越突出,特别是我们民间手工艺品文化.传统手工艺品能否与现代文化