外积与反模糊子群

在反模糊子群的外积的定义的基础上,研究了当群G为交换群时,反模糊子群和正规反模糊子群的外积的若干性质.     

马旺水库大坝防渗墙的施工技术探究

针对马旺水库除险加固工程中大坝防渗墙的施工,提出了几种可供选择的方案,并就各自的优缺点和适应的地质情况作了深入分析;最后设计了施工方案。     

胰腺未分化多形性肉瘤临床病理观察

探讨伴有巨细胞的胰腺未分化多形性肉瘤临床病理特点;对1例伴有破骨样巨细胞的胰腺未分化多形性肉瘤进行临床病理分析,并对相关文献进行复习;该肿瘤以在未分化多形性肉瘤中出现破骨细胞样巨细胞为特点,该巨细胞的核大小、形态及着色较为一致,且形态温和,CD68+;未分化多形性肉瘤中单核或多核肉瘤细胞vimentin+、CKP-、EMA-、CKL-、S-100-、αACT-、CEA-、Desmin-、Actin-和HMB45-;发生于胰腺的伴有巨细胞的未分化多形性肉瘤非常罕见,肿瘤标记物在其诊断和鉴别诊断中起重要作用。     

软岩隧道支护让压体系优化及安全状态易损性评价

软岩隧道围岩参数变异性大,支护体系与围岩相互作用不确定性强,易发生大变形等安全问题,为此国内外开展了隧道让压支护优化等工作以应对上述风险,但对其安全状态评价仍面临诸多难题。设计了一种新型柔-刚型让压接头,并基于可靠度分析方法,从易损性出发,综合拱顶沉降及初衬强度破坏准则,提出了基于概率的隧道开挖安全状态易损性评价方法。其通过利用概率有限元分析围岩?支护相互作用,拟合形成极限状态功能函数响应面,经由随机抽样获得隧道开挖失效概率与可靠度指标;以此为基础,建立拱顶沉降与结构应力响应之间的拟合关系,提出了基于拱顶沉降的结构极限状态条件概率计算方法,并根据概率分布区间划定易损区进行支护安全性评价。基于上述理论方法,结合工程实际,开展了新型让压支护与传统刚性支护的易损性对比分析,验证了让压支护体系在大变形承载可靠性方面的优势。     

一种截窗查询的多障碍物快速碰撞检测算法

依赖于地理信息系统的越野路径规划,由于存在大量分布不规律的环境障碍物,严重影响路径规划的计算速度,借鉴截窗查询的思想,给出了基于一维数据结构的矩形截窗查询算法,该算法有效减少了规划过程所需碰撞检测的障碍物个数,大幅提高规划速度,在环境障碍物动态更新的情况下,其性能优于区间树的截窗查询方法。

Abstract：

Path planning based on GIS is a fundamental problem in many applications. It is the main problem affecting the planning time because of the multi-obstacles in field environment. A novel rectangle windowing query method was proposed in order to improve the compute efficiency of collision free test. The method reduces the numbers of obstacles needed to test and speeds the planning process, and is more suitable with the dynamic environment of obstacles changing than the interval tree method.     

船舶破舱横摇数学模型及理论分析

船舶在航行过程中有可能发生船体破损以至船体进水的情况。因此,应该考虑船舶的抗沉性和应对措施,使船舶在一定程度损伤后仍具有足够的航行能力。在对船舶对称破舱的情况进行分析的基础上,采用槽型水舱理论建立了船舶破舱后横摇的数学模型,并对不同破舱水位和流动阻尼情况下的船舶横摇特性作了仿真和分析。最后根据船舶破舱数学模型,讨论并给出了船舶破舱情况下系统的绝对稳定条件。     

基于TS模糊模型的热工过程建模方法

热工过程对象通常具有复杂的动态特性和非线性、强耦合、不确定性等特征,从而使得常规建模方法难以取得满意的效果,因此提出一种改进型TS模糊模型在线建模方法。此建模方法基于以下思想,首先提出基于中心粒群算法的截集模糊C-均值聚类算法并对TS模糊模型进行模型结构离线辨识,确定模型的结构和前件部分参数的初始值;然后应用解耦扩展卡尔曼滤波算法进行后件参数在线辨识,同时对前件辨识结果进行精确修正。最后,对煤气炉、500MW机组及气化炉等热工过程进行仿真计算表明本方法具有精度高、计算量小等优点。     

基于UML的破障作战行动建模研究

军事概念模型对"破障行为空间"抽象,目的为一体化联合作战仿真提供组件.按照用例,对战场障碍物、破障分队等元素进行了形式化表达,建立了破障作战系统包图;基于UML动态建模机制,构建破障作战行为主体协作模型,构建破障作战行动模型,实现各作战行为主体的用例等;并就破障战斗、遭敌袭击战斗等进行作战活动分析,建立相应的作战活动图.模型实现了对象间的交互作用、关系和消息传递,反映了"破障"作战任务、实体、功能、交互、活动等内在逻辑.     

深部高应力软岩巷道锚注支护施工技术研究

随着采矿行业的发展,开采的规模和深度不断增加,进而加剧了深部高应力软岩巷道的支护问题,严重的阻碍了矿山开采的发展,因此需要借助一定的施工技术对其进行支护施工,进而为采矿业的发展奠定坚实的基础。本文笔者从对深部高应力软岩巷道变形的特征着手,分析了锚注支护体系的构成,探讨了锚注施工技术在深部高应力软岩巷道的应用,目的是为矿山开采工作创造有利的条件,进而推动矿山开采的可持续发展。     

椰甲截脉姬小蜂室内外种群过氧化物酶和酯酶同工酶的比较

采用不连续垂直平板聚丙烯酰胺凝胶电泳(PAGE),对椰甲截脉姬小蜂的室内和野外种群的过氧化物酶(POD)和酯酶(EST)同工酶分别进行了分析.结果表明:椰甲截脉姬小蜂室内和野外两个种群的POD同工酶和EST同工酶谱带均存在差异,酶带颜色也深浅不同.野外种群与室内种群相比,POD同工酶多一条迁移率为0.038的酶带,EST同工酶多一条迁移率为0.58的酶带.说明椰甲截脉姬小蜂室内种群与野外种群存在较明显的差异.