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

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

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

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

块结构的程序切片方法

为弥补传统程序切片方法在切片点变量选择上的局限性,提出了一种灵活的切片准则,并基于该切片准则给出了一种新的切片方法.该方法将程序划分成一种块状结构,把切片划分为块内切片和块外切片,利用块内切片算法和块内切片迭代分别求取块内切片和块外切片的结果.实验结果表明,该方法是可行的,弥补了现有程序切片方法的缺陷.     

某型制导火箭弹弹道仿真

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

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

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

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

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

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

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

一种约简动作变元的命题规划编码方式

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.     

智能规划的逻辑编码方式研究

逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.     

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

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