扩展的纽结族{ψi}64在Hamilton约束下的行为

在量子引力的扩展圈表象中,对Hamilton约束在扩展纽结族{ψi}64,即微分同胚约束的第3组解上的作用给出了详细的推证.     

增强约束的角色访问控制模型

分析NIST标准RBAC模型的约束机制,针对授权过程和对客体访问过程约束能力不足,通过对约束的扩展和将具有约束能力的业务逻辑映射至模型约束中,形成一种增强约束的基于角色的访问控制模型.给出了该模型的形式化定义,并对其安全性作了简要分析.     

可扩展约束的基于角色访问控制策略的XML表示

通过对基于角色访问控制基本原理及约束的分析,设计了XML表达RBAC元素的方案,增强了系统表达不同策略的能力,适应分布式环境的要求. 策略的XML表示把系统管理和访问控制的实施技术分离,提高了系统开发的灵活性. 对于扩展的约束表达,采用分离的模块实施约束检查,从而实现了较好的约束可扩展性. 特定应用的访问控制系统可以根据已有的策略和现实的需求灵活定制.     

基于大间隔编码的空间非负矩阵分解

虽然基于局部的表示方法在图像处理中具有很好的鲁棒性,但非负矩阵分解只有隐式局部约束,导致分解不唯一和基图像不够局部.另外,局部性与判别性作为样本表示的重要性质几乎没有在非负矩阵分解中被同时考虑过.为此,文中提出了基于大间隔编码的空间非负矩阵分解,将图像数据看作像素构成的二维网络,借鉴网络中的知识将空间信息嵌入基图像,不但施加了显式的局部约束,而且能够弥补数据向量化损失的空间信息.同时,利用大间隔约束学到的额外一维空间平衡重建误差和判别性约束对基图像的影响.在AR数据库和扩展的Yale B数据库上的人脸识别实验结果表明,相比于非负矩阵及其他几种典型的扩展方法,基于大间隔编码的空间非负矩阵分解更加鲁棒.     

本体描述语言OWL知识表示的扩展

当前,在语义Web中,基于OWL的知识表示成为了研究和应用的热点。文章基于计算机常用软件领域,介绍了OWL的扩展语言OWLPLUS,包括:用户自定义字符串、数值关系约束和IF-THEN规则表示等方面。     

关于极大偏好断面约束的分析

研究了使过半数规则产生的群体（社会）序具有传递性的偏好断面规模及其极大化问题，分析了基本约束集、次级约束集和Ｆｉｓｈｂｕｒｎ约束的基本特性及其偏好断面规模；仿Ｆｉｓｈｂｕｒｎ约束的构造方式，构造了扩展Ｆｉｓｈｂｕｒｎ约束，利用该约束可以确定极大偏好断面规模的下界值．     

基于UML状态图的工作流时序约束一致性研究

通过对UML状态图进行时间扩展，建立工作流的时间模型，再把该模型转化为时间自动机，接着用时序逻辑公式定义时序约束，最后分别在建立阶段、实例化阶段和运行阶段使用模型检测技术对时序约束的一致性进行验证．     

一次订购季节性销售的一种扩展报童模型

讨论在一种特殊缺货水平约束下的扩展报童问题, 指出购买者必须同时决定最佳订购时间和最佳订购量. 建立了特殊缺货水平约束下的扩展报童问题的数学模型, 求出了最优解, 并进行了灵敏度分析.     

焊接结构装配顺序的自动生成

本文采用问题归约方法的思想，认为图论割集算法和ＡＮＤ／ＯＲ图ＡＯ搜索算法是装配顺序生成理想的通用算法。但是，制约其实用化的关键问题是产品建模、约束类型的确定和各类型约束的求解。这方面与具体应用领域有关，必须具有开放式结构。同时，任何约束都不能仅仅认为是绝对约束和绝对不约束这两种情况，而应对约束附加约束程度系数。本文就此提出了构造焊接结构扩展关系图（ＥＲＧ）的建模方法和影响焊接结构生产工艺过程设计的七种约束类型及其约束程度系数求解方法。     

磁约束的扩展教学

在普通物理学只对磁约束作定性讨论的基础上．将问题扩展，目的是从定量的方法给出一种有意义的教学探索，使基础与前沿浑然一体。     

基于改进RRT*算法的移动机器人路径规划

为解决渐进最优快速扩展随机树(RRT*)算法在特殊环境下(如狭窄通道)路径规划存在的内存占用多、规划效率低等问题,提出了一种基于目标约束采样和目标偏置扩展的改进R RT*算法.首先,在采样上引入目标偏置策略,并对每次采样进行位置约束,使采样的目标导向性更强.然后,在新点扩展上摒弃了已有算法单纯朝着采样点扩展的思路,通过...     

约束纹理合成

对基于块的实时纹理合成算法进行扩展并应用到约束纹理合成中, 对瑕疵进行修复, 在纹理合成的过程中采用不同类型的纹理段寻找匹配, 并且利用可变大小的纹理块修复瑕疵的边缘处, 使修复后的图像在原来瑕疵的边界处没有明显边界感.     

Signal语言对扩展型Petri网的分析

为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法．Ｓｉｇ－ｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性、有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为．     

具有投资约束和亏损限制的投资组合管理模型

研究了财产保险公司的投资组合管理问题，建立了具有风格约束的金融规划模型，通过加入投资约束和亏损限制，扩展了当前的模型，使得新模型对财产保险公司而言更具实际意义，最后通过财产保险部门的一个数值实例验证了新模型的有效性。     

纳米晶格中载子的输运

以二维方形紧约束格子为模型，研究载子在纳米晶格中的输运动力学揭示了纳米颗粒的表面原子形貌对载子在颗粒中的局域与扩展有重要的影响．     

求解最优潮流全局最优解的二阶半定规划方法

【目的】半定规划凸松弛方法是求取电力系统最优潮流(Optimal power flow, OPF)问题全局最优解的有效技术手段，但解的秩为1的条件难以满足，导致应用具有一定的局限性。针对这一求解困境，提出了一种新的半定规划凸松弛方法。【方法】基于变量扩展，将原变量对应的二阶单项式扩展为新的变量，扩展后可构造一阶及二阶的半正定扩展矩阵，在此基础上将不等式约束转化为矩阵不等式约束，从而形成二阶半定规划凸松弛模型。【结果】为验证所提方法的有效性，求解了常规半定规划方法应用失败的一些反例，结果表明：二阶半定规划松弛模型能更可靠地求得秩为1的扩展矩阵，从而直接获得原OPF问题精确的全局最优解。【结论】二阶半定规划松弛方法为电力系统OPF问题提供了一种更可靠的全局最优算法，具有更好的应用前景。     

基于AutoCAD的约束数据库生成

主要讨论了开发参数化CAD设计系统的一个关键问题－－几何图素结构约束的识别与提取。提出采用向量数学的方法进行图素（间）结构约束的识别方案；并讨论了怎样应用面向对象的方法，开发适用于AutoCAD平台的约束提取系统，系统能够完成AutoCAD图形数据库中图素结构约束的提取、约束有效性的判 ，并可将约束关系储到数据库中，参数化CAD系统后续的尺寸驱动子系统可根据该数据库存储的约束信息进行尺寸驱动。     

基于包含原理的关联系统的重叠结构分解与控制

利用包含原理的约束和聚集条件[1,2]，对系统进行重叠结构分解，根据扩展空间系统设计关联解耦子系统的分散LQG控制，并收缩回原系统空间，实现各子系统的分散控制。     

函数－规约混合语言的设计与实现

在函数式语言中引入约束类型和优化规则定义机制，并将扩展的函数式语言与代数规约说明语言相结合，支持从规约到程序的设计，并提高编程的效率及灵活性．混合语言系统将代数规约转换为合流的重写系统，将函数定义、计算约束和优化规则视为重写规则，基于重写模型，以平行最外方法辅以必要归约进行计算．     

具有弹性约束的梯级水电站工作深度优选模型

提出具有弹性约束的梯级水电站工作深度优选的一般模型。它可考虑水电站最大、最小工作库容所允许的弹性约束，按梯级总保证出力最大的优化准则，求解梯级水电站的最优工作深度。常规动态规划是本文模型的特例，本模型可容易地扩展为多阶段、多模糊约束、多模糊目标的水资源系统决策模型。