合成孔径雷达成像三维地形目标模拟方法

分析讨论了一种合成孔径雷达成像三维地物目标模拟的方法。阐述了复杂三维地物目标模型的建立方法，分析了回波信号的结构并且讨论了成像仿真参数。最后完成了对三维复杂地物目标的成像仿真实验，得到了较为理想的结果。     

非受格动词及非作格动词研究

在“直接宾语限制”和“动词行为一致性”两个假设的基础上,利用致使型结果结构作为一种测试手段来区分现代汉语中的三种动词：非受格动词、非作格动词和及物动词,从而证明普尔马特曾提出的“非受格动词假设”在现代汉语中同样成立.     

基于区域背景的人机联作多井解释软件系统

为了避免单井解释与宏观地质背景脱节的弊端,采用面向对象技术对测井资料多井评价系统进行了分析。在开发基本构件类的基础上,建立了在区域背景下以求解井筒解释参数为主要目标的多井交互解释系统。在大庆、胜利、新疆等油田诸多区块的初步应用结果表明,该系统具有较好的实用性。     

高铝熔渣物相析出演变规律研究

以改善高铝渣浸出性能为目标,采用DSC实验和SEM-EDS检测方法,研究了高铝渣控温冷却过程中物相析出规律,考察了降温速率、n(CaO)/n(Al₂O₃)和MgO含量对铝酸钙渣物相析出演变规律的影响.结果表明:当降温速率加快时,熔渣凝固过程趋于更大程度的偏析,C₂S相变愈不充分,粒度粗化,劣化了自粉行为和浸出条件;随着调高渣中n(CaO)/n(Al₂O₃),C₁₂A₇的析出温度升高,物相析出活性按照CA→C₁₂A₇→C₃A逐渐增强;当渣中含有MgO时,物相中出现C₂MS₂,不利于C₂S物相转变,更为重要的是MgO富集在含铝物相中形成Q相,显著恶化氧化铝浸出率和收得率.     

紧邻地铁站的超大深基坑逆作法变形规律研究

某超大深基坑紧邻城市2条地铁线交汇处的换乘站,周围环境复杂,基坑施工难度大,因此基坑支护结构施工顺利及对相邻地铁站的变形控制成为工程成败的关键。文章结合基坑工程2种施工方案,利用有限元软件MIDAS GTS建立三维有限元模型,研究了基坑盖挖逆作法施工对地表沉降、支护结构和相邻地铁站的变形和受力影响,得出影响逆作法施工的相关因素,并提出相关解决措施与建议。采用盖挖逆作法施工能够较好地控制基坑支护结构的变形,同时减小对地表和地铁站的影响。综合考虑基坑施工对围护结构、地表和地铁换乘站的影响,首层土体暗挖法要优于明挖法,但是暗挖法对围护结构强度和刚度要求高,特别是楼板临时洞口处。所得相关结论和建议可供设计和施工参考。     

古巴比伦人求算术平方根的探究

分析了古巴比伦人求算术平方根的算法，证明了其正确性。然后将其算法推广到求n次算术根，并证明了其正确性。     

A survey of occlusion detection method for visual object

Occlusion problem is one of the challenging issues in vision field for a long time , and the occlu-sion phenomenon of visual object will be involved in many vision research fields .Once the occlusion occurs in a visual system , it will affect the effects of object recognition , tracking, observation and operation , so detecting occlusion autonomously should be one of the abilities for an intelligent vision system .The research on occlusion detection method for visual object has increasingly attracted atten-tions of scholars .First, the definition and classification of the occlusion problem are presented . Then, the characteristics and deficiencies of the occlusion detection methods based on the intensity image and the depth image are analyzed respectively , and the existing occlusion detection methods are compared.Finally, the problems of existing occlusion detection methods and possible research directions are pointed out .     

系统论视野下的动物福利立法——兼谈传统法哲学的演进

本文依据系统哲学的原理进行考察,动物福利立法模式蕴含了清晰而稳妥的理论路径,因而最具现实可行性。在系统哲学、生态文明与和法治建设相互融摄的背景下,加速动物福利立法,同时将弥合传统法哲学的割裂。     

自由代数F_m的E(n)-模代数的证明

对任一个m×n矩阵Γ∈Mm×n(k),给出E(n)在m个变量的自由代数Fm上有一个作用,证明了该作用使得自由代数Fm成为一个E(n)-模代数.