基于TRBAC的具有冲突约束的工作流授权模型

本文从基于任务-角色访问控制模型的核心-任务与角色的角度,提出一个具有冲突约束的工作流授权模型(CCWAM,Collision Constraint Workflow Authorization Model Based on TRBAC).基本思想是从角色管理与任务管理两方面入手,引入区域约束、角色时限约束、任务分割约束、任务优先约束和任务时限约束五个约束机制,构建了一个基于TRBAC的具有冲突约束的工作流授权模型,以避免角色或任务冲突的发生.最后给出了C C W A M模型的形式化定义以及今后研究的方向.     

基于约束的参数化设计

提出了一种基于结构点的约束求解模型 ,此模型把几何元素映射成结构点 ,把约束分解为距离约束和方向约束 .此模型利用几何约束图表示几何约束系统 ,通过对几何约束图的方向化确定出结构点的求解次序 ,并针对不同的结构点分别采取代数求解方法和数值求解方法 .     

自由度分析在求解三维几何约束系统中的应用

在充分研究了二维几何约束模型中自由度分析技术的基础上,采用几何推理的方法,给出了一种三维几何约束模型求解系统的自由度分析算法,并将此算法的整个运行过程归纳为活动分析、场所分析两个技术过程的实现。给实际求解三维几何约束模型提供了一种方案,尤其解决了模型处于过约束状态和欠约束状态时的求解问题。     

采矿CAD参数绘图系统建模与求解方法的研究

根据采矿CAD图形的特点,提出了一种构造式几何约束系统,并使用有向约束图表示约束模型,在交互绘图的同时直接建立参数化图形的约束模型。此方法在建模过程中避免了过约束和欠约束的出现,在求解的过程,将计算量从整体下降至局部,同时通过添加方位约束解决根的选择问题。     

基于约束映射关系的二维几何约束模型

在系统实现的基础上 ,提出一种依据设计过程确定约束依赖关系的参数化设计模型 ,建立约束和图元之间的映射模式 ,优化确定节点之间的更新从动性 ,从而降低约束求解的复杂度 .用户添加的约束和系统自动识别的约束能动态添加到有向约束图中 ,并支持任意图形块的选择重复 .实践证明 ,该模型算法简单 ,交互性好 ,能很好理解用户的设计意图 .     

支持业务流程管理的组织建模及约束描述

针对业务流程管理框架中组织视图的描述需求,提出一种面向对象的组织元模型,利用统一建模语言的类视图对企业中的功能型组织结构和项目型组织结构进行建模、为了保证组织结构的合法性,利用对象约束语言对各类组织约束进行形式化描述,这些约束包括基本约束、针对团队模板的约束和针对团队的约束三类．给出了业务流程过程模型和组织元模型的集成实现过程,从而有利于描述和分析工作流驱动的动态组织行为．     

含有组合列的约束数据库

使用约束对传统的关系模型进行扩展,引入了约束变量的组合列的概念并定义了含有组合列的约束数据库。利用约束的规范表示提出了组合列的表示模式和表示模式的建立。给出了约束数据库定义的实现。     

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

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

基于多重约束整合模型的航空油料调运优化

为提高航空油料的调运效率和节约调运成本,提出了基于多重约束整合模型的优化调运方法。在分析航油调运模式及调运基本原则的基础上,对调运问题进行了简化假设。基于网络优化、运输问题等相关理论,对航油调运的路线可靠度约束、费用约束、时间约束和运力约束进行数学描述和模型构建,给出了基于多重约束的整合算法及求解步骤。通过D ijkstra算法和表上作业法对所构建的模型进行了实例分析。结果表明该模型准确有效地解决了调运优化问题。     

地震反演中的三维复杂约束模型

地震反演中约束信息模型的建立,特别是多井、断裂发育区的三维复杂约束模型的建立,是地震波阻抗约束反演中的关键技术环节,对反演质量有着重要影响。运用地震、地质综合分析方法,系统地研究了测井资料垂向井孔轨迹约束、地质层位横向控制约束、断块约束、地层沉积模式和接触关系约束等三维约束模型的关键要素。在三维复杂构造和沉积框架关系建立、约束信息三维空间内插外推以及二次修正方法研究的基础上,建立了包括逆断层在内的复杂断裂约束模型以及河道、盐丘(或礁体)和地层缺失等地层沉积模型。通过对胜利油田牛庄地区三维复杂区块实际约束模型的建立和反演,证明了该方法行之有效,大大提高了反演结果的精度,取得了良好的应用效果。     

含参变量的广义最大元的通有稳定性

本文讨论了最大元映射、约束条件和约束参数多者同时扰动时，广义最大元的通有稳定性。澄清了在约束条件的扰动下，广义最大元的通有稳定性和广义最大元映射的等度连续性的关系。     

基于物理过程描述的诊断推理

本文提出了一种基于对复杂系统中各种相关过程描述的诊断知识模型.该模型具有如下几个方面的特点:a.它是一种基于复杂系统中各种相关的物理过程描述的较深程度的知识模型;b.它是基于约束传播原理,采用定性推理和定量计算两种方式,实现对各子系统的正常与异常行为的描述;c.它本身包含了复杂系统中多种因果关系知识.文中以发动机化油器为具体诊断对象,讨论了该模型的实现与应用中的有关问题.     

一种带权重又带约束的关联规则提取算法

本文在关联规则提取算法深入研究的基础上，进一步提出了一种带权重又带约束的关联规则提取算法，解决了在项目集中各项目存在权重和项目间存在约束的情况下关联规则的提取问题．实验证明了该算法的有效性和实用性．     

机型指派与飞机路线一体化建模及算法研究

通常航班计划都是分阶段完成的,即航班时刻表→机型指派→飞机排班→机组排班,每一个问题都相对独立的建模并求解;这样通常无法得到全局最优解甚或无解,对后续问题求解造成很大困难。为了克服这种困难及改善航班计划的次优性,本文将机型指派、飞机路线问题综合考虑,建立多机型的一体化飞机排班多商品网络流模型。为实现模型的有效求解,本文提出了基于约束编程的动态列生成算法;即用约束编程快速求解航班连线（航班串）并计算各航班串简约成本,动态选择列集并与限制主问题进行迭代。最后,利用国内某航空公司干线航班网络实际数据验证模型和算法的有效性,并与航空公司实际排班和分阶段优化情况进行比较研究。     

夸克的量子输运理论

在本文,我们推导出了夸克的一般性量子输运方程和限制方程,并讨论了理论的半经典和经典极限情况。     

基于领域约束本体的语义相关度计算研究

语义相关度计算是信息检索、文档分类和聚类、推荐系统、机器学习等诸多领域的关键技术之一。研究基于地学领域本体,综合考虑了本体层级信息量、本体拓扑结构等基础上,引入约束性本体,实现相关度计算算法。实验结果表明,加入约束性本体条件下实现的算法,相关度计算结果明显提高。     

参数化绘图中主参数的研究

介绍了二次开发的基本原理,分析了部件引用和创建与编辑图形对象的过程,通过分析V带轮的结构特点,确立了主参数,并建立一个参数化绘图的数学模型,最后阐述了参数化绘图事件过程。     

刚塑性有限元中的线性约束分析

本文对在线性约束下求多元实函数的驻值的牛顿迭代解法进行了理论探讨,然后系统分析了刚塑性有限元中的约束条件.     

受腐蚀钢筋砼梁结构的振动性能分析

基于侵蚀介质环境对钢筋砼梁结构截面抗力的影响,定义了塑性铰边界条件的约束度,讨论了受腐蚀单跨超静定梁结构的自振特性,建立了梁结构自振圆频率与梁端约束条件间的关系。     

理论力学教学中斜坡滑动摩擦偏向力偶探讨

对于斜面支承的物体,其底面支承约束反力并不是呈现均匀分布状态,其等效集中荷载存在一定的偏心距.对其进行较为详细的受力分析有宜于学生对平衡状态条件的理解,并且利用这种斜面对物体支承约束反力分布的不均匀特性,研究斜面物体滑动过程中所产生的偏转力偶,较好地诠释了斜坡运动物体的曲线轨迹产生的原因.