山西省石膏矿床开采中存在的问题及对策

以山西省石膏矿山的实测数据为例,采用推理的方法,分析了采矿安全的影响因素,提出了合理的采矿时策.     

Dynamic Air-Route Adjustments——Model,Algorithm,and Sensitivity Analysis

Dynamic airspace management (DAM) is an important approach to extend limited air space resources by using them more efficiently and flexibly.This paper analyzes the use of the dynamic air-route adjustment (DARA) method as a core procedure in DAM systems.DARA method makes dynamic decisions on when and how to adjust the current air-route network with the minimum cost.This model differs from the air traffic flow management (ATFM) problem because it considers dynamic opening and closing of air-route segments instead of only arranging flights on a given air traffic network and it takes into account several new constraints,such as the shortest opening time constraint.The DARA problem is solved using a two-step heuristic algorithm.The sensitivities of important coefficients in the model are analyzed to determine proper values for these coefficients.The computational results based on practical data from the Beijing ATC region show that the two-step heuristic algorithm gives as good results as the CPLEX in less or equal time in most cases.     

一类结合环的交换性

目的证明满足一定条件的结合环的交换性。方法在以往研究满足一定条件结合环之交换性的思路和方法的基础上,根据结合环的交换性定理,给出了通过环论用演绎法证明的方法。结果设R为结合环,如果R满足条件:(i)R有单位元1;(ii)R无幂零指数为2的非零幂零元;(iii)对任意x,y∈R,均有依赖于x,y的正整数n=n(x,y)使得xyn-ynx∈C,xyn+1-yn+1x∈C,此处C为环R的中心,则R为交换环。结论当结合环满足一定条件时具有交换性。     

基于Bloom filter引擎的分布式网络取证系统

针对目前网络取证的特点和技术挑战,提出和设计了一种基于Bloom filter引擎的分布式网络取证系统.该系统以Bloom filter引擎为核心,能够实时的对网络原始数据进行过滤,映射压缩和存储,捕获完整的证据,节省存储空间,有效支持网络取证的事后分析查询.     

硫酸盐还原菌培养基组分及培养条件的优化

为提高硫酸盐还原菌B13菌株的硫酸盐转化能力,采用正交实验对主要培养基组分和培养条件进行了优化.结果表明:(1)影响B13菌株硫酸盐转化性能的主要因素是碳源含量和培养温度;(2)培养基组分和培养条件经优化后,B13菌株的硫酸盐转化率高达88.49%,硫酸盐转化能力大大提高.     

数控加工“教学做”一体化模式初探

高职教育以就业为导向,大力推行工学结合、校企合作,探索“教学做”一体化的教学模式,是促进高职教育教学质量不断提高的重要措施,本文就数控加工教学中的“教学做”一体化教学模式进行了初步的探讨,以寻求出切合社会和学生需求的教学方法。     

基于频率比-随机森林模型的滑坡易发性评价

本文以陕西省洋县为研究区,通过搜集资料、实地调查获得研究区滑坡分布状况。结合研究区地质环境特征与前人研究经验,初步选取海拔、坡度、坡向、地形起伏度、曲率、距水系距离、距道路距离、降雨量及岩土体类型,共九种滑坡影响因子展开滑坡易发性研究。首先,采用皮尔森相关系数法对各因子间的相关性进行分析。其次,按照70/30的比例将滑坡数据随机划分为模型训练集与模型验证集。然后,采用模型训练集对频率比模型(FR)、随机森林模型(RF)及两者的耦合模型(FR-RF)进行训练,利用模型验证集对模型训练结果进行检验,并绘制ROC曲线。最后,利用验证后的模型绘制研究区滑坡易发性分区图。结果表明：(1)所选取的9个滑坡影响因子是相互独立的;(2)本研究所采用的三个模型均表现良好,其中FR-RF模型预测准确度最高(0.901),其次为RF模型(0.863),最后为FR(0.833);(3)本研究所绘制的滑坡易发性分区图可为当地政府制定土地利用规划、预防滑坡等方案提供参考借鉴。     

栉孔扇贝消化系统的组织学研究

以组织学方法研究了栉孔扇贝的消化系统、栉孔扇贝消化系统由食道、胃、晶杆囊、肠、直肠及消化腺等组成,消化道管壁由粘膜层和粘膜下层组成,除食道外缺乏肌层．消化道粘膜上皮主要为纤毛柱状细胞,在食道、肠和直肠还有少量的粘液细胞．消化腺为复管状腺。腺管上皮有消化细胞和嗜碱性细胞两种类型,消化细胞内含许多囊泡和颗粒。     

TM1：1O万卫片在吉林省松原市沙地动态监测中的应用

本文介绍了TM1：10万卫片在吉林省松原市沙地动态监测中的应用,采用两级分类系统建立了土地资源6类19个类型的解译标志,充分表现了遥感技术在土地资源调查中的应用前景。     

电磁搅拌对弹簧钢60Si2Mn凝固组织的影响

利用金相观察了电磁搅拌对弹簧钢６０Ｓｉ２Ｍｎ凝固组织的影响情况,并讨论了形成机制。结果表明：在凝固过程中进行电磁搅拌,引起熔体的强烈流动,使液相区的温度场和溶质含量趋于均匀;凝固时奥氏体的一次臂生长速度减慢,消除弹簧钢６０Ｓｉ２Ｍｎ一次结晶组织中发达的柱状树枝晶层;