The Application of Constraint Satisfaction Technique in Conflict Detection and Resolution

The conflict detection and resolution in collaborative design is a key issue to maintain multidisciplinary design consistency,This paper proposes a new method for conflict detection and resolution based on constraint satisfaction technique.The representation of design constraint,the interval arithmetic of the constraint satisfaction problem CSP and the conflict resolution strategy based on constraint relaxation and adjustment are introduced.A constraint-satisfaction based conflict detection and resolution tool CSCDR is then developed.It can help collaborative designers to detect and resolve the conflicts in time in the early stage of the design process so that the unnecessary design iteration and repeated negotiation are avoided and the design efficiency is then much improved.A design case illustrates the effectiveness of CSCDR.     

一种基于约束的SPKI/SDSI2.0一致性验证机制

SPKI/SDSI2.0系统是目前最普及的信任管理系统,但它是否批准一个访问请求仅仅依赖于能否找到一条从授权源到请求者的信任链,与资源拥有者的访问策略无关,使系统的安全性受到威胁,本文利用了SPKI/SDSI2.0名字证书的特点,在一致性验证之前增加了安全性约束检查,提出了一种基于约束的SPKI/SDSI2.0一致性验证机制,使资源拥有者可以按照自己的意愿首先进行"筛选",只有被"选中"的实体才能进行下一步的一致性验证,因此大大提高了SPKI/SDSI2.0系统的可控性和安全性.     

基于细分优化方法的织物模拟

提出一种基于插值细分造型的织物模拟算法.通过对织物物理和几何属性分析,构造出一个带约束的几何模型,在改进的四点插值细分造型基础上,通过动态细分网格并结合曲面优化调整以达到高效模拟柔性织物自然行为的目的.克服了以往仿真方法中求解物理模型复杂、模拟过程难以控制的缺陷,简化了计算模型,提高了计算效率.最后,以织物模拟为例说明该算法的实现.     

多目标规划问题的约束度分析

对于多目标规划问题,提出了约束度的概念,基于此概念利用各个约束度序列可以刻划该规划系统的相容性。决策者可根据约束优化原则把原问题转化为弱约束的规划问题来求其非劣解。最后,用一个算例说明了这种方法的应用。     

非理想多刚体系统动力学与线性互补性问题

通过结合线性\非线性的互补条件(LCP\NCP)来描述多体系统动力学的非光滑特性具有独到的优点。对于单边约束的多体系统,可以根据其单边特性,将该系统描述为微分代数方程组(DAE)与互补条件(CP)结合的混合框架,但用该方法处理含摩擦的双面约束系统时,双面约束的CP表示方法是个难点。本文通过引入新的参数,将含摩擦的双面约束系统同LCP问题联系起来研究,同时讨论了该系统中可能产生的奇异性问题。     

基于工作流模型的访问控制策略

基于角色的访问控制(RBAC)是目前应用较多的访问控制策略,针对基于角色的访问控制缺乏对工作流程的表达且不能够保证角色互斥原则的不足,结合我国企事业单位管理模式和工作流程的特点,改进了工作流模型中过程分解方法,将原子任务和原子任务间的相互关系加入基于角色的访问控制中.     

线性约束优化问题的一类变尺度方向的内点算法

基于内点算法思想，利用投影技术，给出了求解线性约束优化问题的一类变尺度方向内点算法．改善了算法的收敛速度．同时，在去掉目标函数的凸性及Ｌｉｐｓｃｈｉｔｚ性假设之下，同样给出了算法的收敛性定理     

基于流形学习和梯度约束的图像超分辨率重建

将改进的基于流形学习的超分辨率重建与基于梯度约束的正则化重建结合起来,提出一种新的单帧图像超分辨率重建算法.该算法首先针对基于流形学习的超分辨率重建,提出新的特征提取方法,联合归一化亮度与平稳小波变换细节子带系数两个特征矢量,提高重建性能;然后将学习得到的高分辨率图像作为初始估计,将其梯度作为目标梯度域,进行基于梯度约束的正则化重建,得到最终的高分辨率图像.与现有的一些算法相比,文中算法无论在视觉效果还是客观评价上都具有较好的重建性能.     

基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

基于能源约束的经济平衡增长研究

遵循能源消费与经济增长的双向因果关系,基于索罗增长模型和最优理论建立了一个知识外生的,包含代表性厂商、不可再生能源生产部门、可再生能源生产部门、政府和代表性家庭在内的经济平衡增长模型,并研究了经济平衡增长的条件.结果表明,经济增长和能源消费均衡的条件是能源投入增长率必须和有效劳动增长率相等.最后从加大节能减排和资源税征收的力度等角度提出政策建议.