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

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

房地产项目产品线设计

在政府规制与项目约束下构建了房地产项目产品线设计的多目标规划模型,既包含容积率约束、建筑密度约束和政府限价约束,还包括时间约束、成本约束和资金约束,用以决策房地产项目的产品配比、定价以及推盘策略。根据模型的复杂性选择使用遗传算法计算得到近似最优解。最后通过一个房地产项目算例测试了该模型方法的实用性。     

符号执行中的约束求解问题研究进展

在符号执行中,约束求解主要负责路径可达性进行判定及测试输入生成的工作,但路径爆炸问题带来的频繁调用,以及SMT求解器本身的能力和效率的不足,使得约束求解占用了符号执行中主要的性能开销,约束求解问题也成为符号执行中面临的主要瓶颈问题之一.本文介绍了符号执行和约束求解的基本概念,并分析了符号执行中约束求解问题的由来,对近年来的约束求解问题研究进展进行了归类,涉及的技术包括非相关约束分支切片、约束简化、快速不满足性检查及多求解器支持等.对这方面的研究进行了展望和总结.提出未来工作应在提高路径约束逻辑精简率、提高约束求解结果存储和重用的效率、约束求解并行化以及约束求解配置预测等方面展开.      

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

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

反腐败与约束机制刍议

本文就消除党内腐败现象的根本途径──建立强有力的约束制的问题，从自我约束、党内约束、社会约束和法规约束４方面作了论述。     

GFRP管以及LRSFRP管约束高强混凝土圆柱的轴压性能

进行了18根GFRP约束高强混凝土圆柱和2根LRSFRP约束高强混凝土圆柱的轴压试验,研究了FRP管材料、直径和壁厚等参数对FRP约束高强混凝土圆柱轴压性能的影响。结果表明,GFRP管约束高强混凝土圆柱的轴压性能存在尺寸效应。即环向约束应力大小相同时,GFRP管约束高强混凝土圆柱的极限承载力和极限应变随着试件尺寸的增大而减小。随着GFRP管壁厚的增大,GFRP管约束高强混凝土圆柱的极限压应力和极限压应变相应提高。LRSFRP管约束高强混凝土圆柱的延性较GFRP管约束高强混凝土圆柱好。最后,研究了现有FRP管约束混凝土的本构模型对GFRP管和LRSFRP管约束高强混凝土圆柱的适用性。研究发现Teng等人的模型对GFRP约束高强混凝土圆柱的适用性较好。而现有主要FRP管约束混凝土的本构模型对LRSFRP管约束高强混凝土圆柱的适用性较差。     

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

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

通信网络中QoS多播路由技术研究

给出了多约束QoS组播路由的问题模型,分析论述了多约束QoS组播路由优化的约束树算法和遗传算法、蚁群算法、免疫算法等智能化算法,对QoS约束的多播路由技术的进一步研究进行了展望。     

隐蔽行为的约束机制研究

目的 研究激励与约束问题中隐蔽行为的约束机制的设计问题。方法 综合运用信息经济学的委托－代理理论、决策论的期望效用最大化原理、心理学的亚当斯公平理论以及对策论的研究方法。结果与结论 提出了与激励互补的主要管理手段－约束的基本概念,导出了有效约束的必要与充分条件,分析了对隐蔽行为实行约束的有关概念和问题,提出了该情况下的约束机制的设计方法。     

协同设计中约束信息的可视化映射研究

文章通过对约束信息的归类和分析,提出了约束信息可视化的映射方法,包括可视化结构映射、可视化空间映射、可视化元素映射及可视化属性映射4个步骤,分别分析了4个步骤实现方法及一般准则,采用协同设计中的层次约束、任务约束、部件约束为实例,实现了由约束信息到可视化方式的映射,并给出了映射的可视化结果.     

在MS SQL Server应用系统中实施数据完整性约束

介绍了在MS SQL Server数据库应用系统中实施数据库表的实体完整性和参照完整性约束；独立于表的规则、缺省，索引和触发器约束，客户端应用程序的数据完整性约束。同时概述了在应用系统中实施数据完整性约束的基本策略，并给出了实施数据完整性约束的实例。     

实时系统时间约束验证

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

一种几何约束系统分解算法

为提高变量化设计效率和数值稳定性 ,提出了一种结合剪枝操作和归约操作的几何约束系统分解算法 :剪枝 -归约算法。该算法能够处理完备约束、过约束以及欠约束情况下几何约束系统的分解问题。同时讨论了在欠约束条件下如何获得符合设计意图的分解方案的问题     

纤维复合材料约束混凝土柱的统一强度模型

为了更好地研究纤维复合材料(FRP)约束混凝土柱的力学性能,以约束效应系数为主要参数,考虑混凝土截面的形状系数、FRP管中含纤维复合材料的比率和约束效应折减系数对FRP约束混凝土柱极限抗压强度的影响,建立了FRP约束混凝土柱的统一强度模型。研究结果表明:FRP约束混凝土柱的极限抗压强度主要与约束效应系数、非约束混凝土的抗压强度、混凝土截面的形状系数以及FRP材料类型有关;该模型可用于FRP约束混凝土圆柱、FRP约束矩形混凝土柱和FRP约束椭圆形混凝土柱的极限抗压强度的计算,模型计算值与试验值吻合较好。     

基于D-tree分解的欠约束与完备约束的几何约束求解

提出了解决欠约束、完备约束的几何约束问题的D-tree分解算法.首先,提出了一种适用范围更广的处理特殊约束策略,可以将这种特殊约束与普通约束统一化,采用转化策略将欠约束的几何约束问题转化为完备约束的几何约束问题.然后,根据几何约束图中结点的度的性质给出了D-tree分解算法,相比经典算法,D-tree分解算法拥有更低算法复杂度和相同的求解域.最后,根据D-tree分解算法结果的规律性,给出了一个为基于数值的求解方法导出求解序列的策略.D-tree分解算法通过导出的求解序列将提高几何约束求解中基于数值的求解方法的求解效率.     

一类约束满足问题及其算法

针对具有解析约束形式、同一变量多赋值的约束满足问题,提出了一种新的约束满足问题定义·通过一种特殊约束满足问题的研究提出一套建立在这个定义基础之上的概念和三种算法:整数规划法、不等式组法和直接求解不定方程法,详细研究了其中的第三种算法,并给出了最坏情况下的时间复杂度,从而能够比较清晰地描述一类约束满足问题的一般分析过程,揭示了约束满足问题同经典的整数规划、数论和整数环论的联系·     

约束阻尼结构板振动性能实验研究

通过对约束阻尼结构试样进行单点锤击实验,研究了约束层厚度和阻尼层厚度对约束阻尼结构振动性能的影响。分析了各组结构的振动幅值、振动加速度、振动加速度总级值和结构复合损耗因子。研究发现,当结构约束层厚度从40 mm增加至60 mm时,试样减振性能改善最明显。当结构约束层为80 mm厚时,3 mm厚阻尼层结构减振效果最好且阻尼层阻尼效率最高。当结构约束层为20 mm、40 mm和60 mm时,2 mm厚阻尼层结构减振效果最好且阻尼层阻尼效率最高。综合考虑结构性能、减振效率和经济因素,60 mm厚约束层、2 mm厚阻尼层为所研究试样中的最优组合。     

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

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

理论平面过约束分析及无过约束自调结构设计

给出空间平面过约束和理论平面过约束的定义,分析了这两种过约束对机构误差的敏感特性,提出存在理论平面过约束机构的过约束分析方法,得到该类机构存在的过约束的数量和类型,从而为消除或减小该类机构过约束影响指明了方向.在此基础上,提出了该类机构的无过约束自调结构的的设计方法.     

轿车等速万向传动中间轴的轻量化设计方法研究

以轻量化为指标,考虑轿车等速万向传动中间轴的空间布置约束、产品功能约束、产品强度约束、制造工艺及热处理工艺约束和性能约束,提出了一种轿车等速万向传动中间轴轻量化的设计方法.通过强度试验验证了所设计的传动轴满足产品强度要求.与传统实心轴、等内径空心轴、摩擦焊接空心轴对比,减重效果明显.