关于加强企业党的监督约束长效机制建设问题的思考

国有企业党的监督约束长效机制建设是整个企业监督约束长效机制建设的重要组成部分,在建筑市场竞争日趋激烈,国有建筑施工企业生产经营规模不断扩大、设备物资材料采购量增大、引进外协队伍数量加大、人员管理跨度拉大、社会各种诱惑力巨大的条件下,积极探索建立更加完善的国有企业党的监督约束长效机制,对于预防和惩治腐败、降低经营管理风险,推进企业规范管理、创誉增效,实现企业科学发展和谐发展率先发展都具有十分重要的意义。本文将从坚持党的生活制度、坚持纪委监督制度、坚持群众评议制度、坚持财经审计制度四个方面谈一下对强化党内监督约束长效机制建设问题的一些思考。     

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

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

基于自由度分析几何约束求解方法中过约束和欠约束的处理

在自由度分析方法的基础上使用依赖图, 解决了约束求解过程中的过约束和欠约束的处理问题. 依赖图中保留了求解问题中变量间的依赖信息. 当系统发现矛盾的过约束时或欠约束时会给使用者显示提示信息, 由用户进行处理.     

约束满足问题在空间方向关系推理中的应用

约束满足问题是人工智能的一个研究领域,诸如查找、规划等问题都可转化为约束满足问题利用约束满足方法加以有效地解决。方向关系是空间关系的重要组成部分,用以确定空间对象的方位。本文应用约束满足问题的方法,利用空间方向关系约束的谓词形式构造X图和Y图来检查约束的一致性,给出了进行空间方向关系推理的一个算法。     

约束问题求解的一个统一方法

给出了一个新的求解约束的方法──动态约束算法．它通过引入新的约束类型，使变量操作和约束操作算法统一起来．在新的求解约束过程中，不需再区分变量与约束．     

理想约束的基本类型

许多一般力学文献中，对理想约束基本类型的阐述不够完整，有的甚至不够准确。本文给出了粗糙接触面约束的概念，并将约束分为内约束和外约束，在此基础上完整准确地阐述了理想约束的基本类型问题。     

水—磁约束等离子弧切割方法研究

提出了用水箍及磁场对等离子弧进行综合二次约束的原理，并通过不锈钢切割试验探讨了水－磁约束等离子弧的特性、切割质量和加工速度的一般规律，研究表明：这种二次约束方法兼具水约束和磁约束的优点，其约束效果及相应的切割效果都优于单一水约束 或磁约束所能达到的效果；利用水－磁二次约束也有助于降低喷嘴热负荷，提高喷嘴寿命与加工稳定性。     

基于约束的参数化设计

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

关于约束分类的讨论

指出可积分的微分约束与几何约束之间的区别.根据位形空间中约束方程的特征可以将约束分为三种类型,而在状态空间中这三种约束可以合并为一种类型.     

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

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

基于AC与LmaxRPC的自适应约束传播求解算法

在现有自适应约束求解方法基础上,提出一种新的自适应约束传播求解算法ADAPTAC-LmaxRPC.该算法能根据约束的不同特性,在传播能力强但开销高的LmaxRPC与传播能力弱却开销低的AC之间自适应地切换进行约束传播.多个Benchmark实例类上的测试实验数据表明,ADAPTAC-LmaxRPC算法有效地平衡了求解效率和算法开销之间的矛盾,大幅度提高了约束求解的效率.     

实时系统时间约束验证

为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。     

水－磁约束等离子弧切割方法研究

提出了用水箍及磁场对等离子弧进行综合二次约束的原理，并通过不锈钢切割试验探讨了水－磁约束等离子弧的特性、切割质量和加工速度的一般规律。研究表明：这种二次约束方法兼具水约束和磁约束的优点，其约束效果及相应的切割效果都优于单一水约束或磁约束所能达到的效果；利用水－磁二次约束也有助于降低喷嘴热负荷，提高喷嘴寿命与加工稳定性。     

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

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

改进的基于包含约束的指针分析法

针对基于包含约束的指针分析法存在的主要问题是包含约束语言的限制性和约束图的简化,提出了一个基于包含约束语言的指针分析算法。首先对包含约束语言进行扩展,使其不再局限于几个基本形式,并进一步给出约束传播规则;然后一次性构建约束图,图中不再存在复杂边,整个分析过程由动态转化为静态;最后,提出一个算法对简化的约束图进行分析,得到指针信息。实验结果表明,该算法能够精确地分析出一个指针的任何级别脱引用的指向信息。     

基于不同约束条件的动态时间错位理论及应用

在两种不同模式的匹配过程中 ,研究了基于不同约束条件的动态时间错位理论及应用。分别采用始终点约束、不同的局部连续约束 ( Itkura约束、Sakoe- Chiba约束 )、不同的全局约束( Itkura约束、Sakoe- Chiba约束 )条件对间歇反应过程中两批次轨迹进行合理匹配 ,并使两轨迹基于动态时间错位理论获取其间的最短标准总体距离 ,在此基础上搜寻最优匹配路径 ,使两种持续时间不等的轨迹达到模式一致。应用聚合反应中的数据轨迹 ,表明此方法的实施过程和有效性。     

MPVCC中的几个新的约束规范

约束规范是数学规划中的重要研究内容,是保证约束优化问题的局部最优点满足稳定点条件的限定条件.鉴于非线性规划领域中约束规范条件的新进展,提出了带有垂直互补约束的数学规划(MPVCC)问题的几个新的约束规范,包括常秩约束规范、常正线性约束规范、松弛正线性约束规范等,并且讨论了它们之间的联系.     

数据完整性约束的实现

数据完整性约束是数据库设计的关键技术之一,本文主要介绍了常见的完整性约束,并以SQL Server为例,介绍了数据完整性约束的实现技术,并通过加强客户端约束来增强数据库的完整性。     

多参数约束反演系统的原理和方法

文章论述了包括测井反演、宽带约束反演和岩性约束反演在内的多参数约束反演的理论。其中测井反演不仅提供用于地质解释的参数，还把它作为宽带约束反演的初始模型及约束条件；宽带约束反演利用阻尼广义道方法和最优化计算方法，提供宽频带的高分辨反射系数剖面，最终获得宽带波阻抗模型。利用以上资料，进行岩性约束反演，可得到与井对比的孔隙度等岩性参数剖面，最终获得过井储集层地质剖面。     

协同设计动约束求解策略

将协同思想应用到产品开发过程中,由多功能小组共同参与,对设计任务进行有效的任务关联和分解,分析产品的信息流确定子任务之间的关系,通过约束网络图描述各子设计任务间的联系,为了对耦合关系的设计任务进行有效求解,提出了一种基于动约束的约束求解策略,并对协同设计过程中的约束进行有效的管理。