预交联调剖剂的合成与评价

针对下二门区块大孔道,采用爆聚法合成了淀粉接枝共聚物调剖剂,并考察了时间、pH值、矿化度、温度等因素对共聚物产品吸水膨胀倍数、弹性及强度的影响。实验表明,该调剖剂适合低温油藏,对矿化度敏感性较低;岩心试验表明,此调剖剂具有较好的调剖效果。     

某型制导火箭弹弹道仿真

制导化改造是提高火箭弹精度最有效的一种方法.弹道仿真在制导火箭弹研究设计中占有非常重要的地位,仿真结果的正确性与合理性直接影响了制导控制系统的设计开发.为了对制导火箭弹的弹道进行仿真,首先建立了制导火箭弹的运动数学模型,而后结合风洞试验得到的动力系数进行了无控弹道仿真,得到了弹道、速度、弹道倾角和攻角等变化曲线.仿真结...     

氧化预处理技术在铜钼硫化矿浮选分离中的研究进展

黄铜矿和辉钼矿是两种典型的硫化矿,其浮选分离一直是业界关注的焦点.硫化矿易氧化,矿物表面氧化程度和氧化产物类型对其浮选行为有重要影响.黄铜矿、辉钼矿在浮选之前进行氧化预处理,它们会产生不同程度的氧化和不同类型的氧化产物,这些原因使矿物的表面原有的性质发生改变,从而改变矿物固有的浮选行为,实现黄铜矿和辉钼矿的浮选分离.论...     

基于奇异摄动理论的植物工厂温度控制

通过研究植物工厂与作物系统,结合非线性奇异摄动理论相关理论对植物工厂内部环境进行控制。首先阐述了基于能量角度对植物工厂与作物结合的动态模型描述各个系统状态变量之间的关系,然后建立了关于温度的最优控制模型,并将最优控制模型进行一般公式化。基于奇异摄动理论将非线性植物工厂与作物系统分解成快慢系统。利用系统中的双重时间尺度,分别设计出慢子系统和快子系统的成本函数。最后通过MATLAB软件进行仿真,得出最优控制曲线,结果表明得出的控制器能有效地控制植物工厂内部温度,并能保证对植物工厂加热时间最短,以实现植物工厂收益最高。     

智能规划中的动作互斥编码方式研究

以规划领域中的动作为对象,研究规划方法中的动作互斥编码方式。介绍基于规划图的动作互斥编码、利用提取领域相关信息生成动作效果的直接阻碍与间接阻碍编码,以及依赖于域转移图动作间的长距离互斥编码,说明每类动作互斥编码的构造方法及其削减搜索空间、提高求解效率的作用。     

基于局部搜索的并行扩展规则推理方法

扩展规则推理方法在经典的可满足性问题求解中已得到广泛应用,若干个基于扩展规则的推理方法已被提出,皆得到国内外的认可,例如完备的NER,IMOMH_IER,PPSER算法以及基于局部搜索的不完备算法ERACC等,都具有良好的求解效果.其中,ERACC算法是当前扩展规则求解器中求解效率最高、能力最强的算法.但是,串行的ERACC算法在启发式和预处理上仍然具有可提升的空间.基于此,设计了相应的并行框架,提出了PERACC算法.该算法基于格局检测的局部搜索方法,从变量赋初始值、化简解空间和启发式这3个阶段出发,将原极大项空间分解成为若干极大项子空间,并对原子句集进行化简后,并行处理各个子空间.通过实验显示：该算法与原算法相比,不仅在求解效率方面有较大提高,而且可以求解规模更大的测试用例,使扩展规则方法再次突破公式规模的限制.     

波尔图音乐厅的建筑与声学研究

波尔图音乐厅是本世纪重要而独特的演艺建筑之一,其设计理念与技术手段均赋有独创性。本文以波尔图音乐厅的建筑设计和厅堂音质设计为主要研究内容,进而对其设计理念与艺术成就进行评价分析。     

一种基于高斯-牛顿法的光电经纬仪交会测量算法

针对靶场光电测量中使用的双站交会方法需要切换交会公式、交会精度不高的问题,提出了一种在直角发射坐标系中,基于高斯-牛顿法的多站交会方法。通过仿真试验将其与传统双站交会方法进行比较,证明了这种多站交会方法具有良好的收敛性和较高的交会精度。     

基于命题可满足性的经典最优规划方法

基于Graphplan的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的编码方式。首先给出与编码相关的概念与性质,在基于Graphplan的编码方式的基础上,设计一种新的编码方式:基于FA的编码方式,并从理论上证明该编码方式的有效性。设计并实现对应的规划系统FA-SP,利用国际规划竞赛选用的Benchmark问题予以测试。实验结果表明,与SATPLAN2006相比,FA-SP对于所测两类规划域编码规模均有所压缩,除个别问题外求解效率都有一定程度的提高;对于顺序规划域Blocks World,编码规模平均压缩了40%,求解效率平均提高了2倍;对于并发规划域Logistics,带有小于5%的框架公理的FA编码规模平均压缩了75%,求解效率也有不同程度的提高。     

一种实时多目标路径规划方法

提出一种利用实时搜索思想的多目标路径规划方法.首先设计并实现局部路径规划算法,在有限的局部空间内执行启发式搜索,求解所有局部非支配路径;在此基础上,提出实时多目标路径规划方法,设计并实现相应的启发式搜索算法,在线交替执行局部搜索过程、学习过程与移动过程,分别用于求解局部空间内的最优移动路径,完成状态的转移和更新状态的启发信息,最终到达目标状态.研究表明,实时多目标启发式搜索算法通过限制局部搜索空间,避免了大量不必要的计算,提高了搜索效率,能够高效地求解多目标路径规划问题.