基于动态权函数的煤层可压性综合评价

煤层可压性直接影响着煤层气井的产量和企业的生产成本。为科学地对煤层可压性进行评价,以煤层地质参数为切入点,利用动态权函数综合评价煤层可压性。首先,针对煤层地质参数进行初选,利用数理统计的方法优选出主控影响参数;其次,通过分析主观赋权法和客观赋权法,对比其优势与不足,引入动态加权函数对煤层可压性参数进行赋值;再次,利用动态权函数的加权冒泡排序法对影响参数进行综合评价,拟合得到动态加权和与生产能力之间的关系;最后,对X区块的26口井进行了评价,利用综合评价结果与实际生产能力进行了对比,可压性评价结果正确率达到88.64%,验证了综合评价模型的准确性。     

参考束型散斑干涉术针孔滤波的统计分析

用随机光波自相关函数传递的方法，对参考束型散斑干涉计量术的偏心小孔滤波过程进行了统计分析．由象面散斑场和参考光场相于迭加引起光波Ｕ＿１、Ｕ＿１和｜Ｕ＿１｜￣２分别在滤波系统的输出面上形成各自的条纹图，明暗条纹的位置受面内位移和位相差的共同影响，三组条纹的对比度函数是相同的．     

原子集团变分法及其在材料结构研究中的应用

对原子集团变分法(CVM)及其在材料结构研究中的应用做了综述.CVM是目前计算相图的最好方法,在材料结构的研究中取得了巨大成功.     

空气负离子浓度的实验研究

测试了周围生活环境中的空气负离子浓度，并通过实验测试了衰减距离、摩擦、风速、温度、湿度等影响因素对材料产生负离子的影响．实验结果表明，周围生活环境中空气负离子浓度小于500个／cm^2，外界空气负离子浓度大于1500个／cm^2，空气负离子在环境中的衰减距离为20cm左右．当临界风速处于3m／s-10m／s之间，风速的摩擦可以产生负离子；相对于摩擦，温度、湿度的变化对材料产生负离子的影响较小．     

TCP-SACK在无线环境下的性能改进研究

为解决传统TCP运行在高误码的无线环境中无法区分误码丢包与拥塞丢包,在遭遇单窗口多包丢失时盲目将发送窗口减半,而导致吞吐量急剧下降的问题,本文提出以TCP—SACK版本为基础改进TCP：l）充分利用SACK在单窗口多包丢失时重传恢复算法的优势;2）在发送端采用可用带宽估计来优化ssthresh和ewnd,歧避免TCP在丢包时盲目将窗口残半;3）与具有ECN功能的中问节点结合起来以区分随机误码丢包和拥塞丢包,根据丢包性质的不同采取不同的重传恢复策略。仿真显示出TCP的改进方案是可行的,并且仿真结果也证明TCP的性能确实得到了改善。     

面向循证医学网络文献的SVM分类方法

支持向量机(support vector machine,SVM)是在统计学习理论基础上发展起来的一种新的机器学习方法,是一种高效的分类识别方法.首先分析支持向量机原理,然后提出一种使用Bagging组合学习方法改进SVM算法的网页分类方法.基于循证医学网络文献分类的实验表明,该方法使训练数据规模大大减小,且比传统的SVM算法分类性能更好,具有较好的精确率和召回率.     

约束混凝土在梁中的应用探讨

钢筋混凝土梁中箍筋的配置主要是用于抗剪，没有考虑其对混凝土的约束作用。在以受弯为主的区段内配置适量的箍筋，对受压区混凝土提供约束，可以提高该区域内混凝土的承载力和极限应变，从而改善梁的工作状况，同时提高梁的承载力及抗弯刚度，有效降低梁的高度，从而产生良好的经济效益。     

凤丹根腐病拮抗放线菌的分离筛选及鉴定

为获得凤丹根腐病拮抗放线菌,丰富凤丹根际放线菌资源,采用稀释涂布平板法对1~5年生凤丹根际放线菌进行分离纯化,平板对峙法及抑制菌丝生长速率法进行拮抗菌筛选,并通过形态学特征、生理生化特征及16S rDNA序列分析进行菌株鉴定。经分离纯化,得到83株凤丹根际土壤放线菌,有15株具有拮抗凤丹根腐病菌作用,抑菌直径大于15mm的放线菌有4株,其中菌株NL_(4-2)10~(-4)6抑菌直径达19. 67mm,发酵液抑菌率最大为84. 38%,抑菌效果最佳,鉴定为Streptomyces tauricus(公牛链霉菌),该菌株对金黄色葡萄球菌、大肠杆菌、白色念珠球菌的抑菌直径分别为11. 50mm、13. 67mm、15. 17mm。凤丹根际拮抗根腐病放线菌资源丰富,NL_(4-2)10~(-4)6具有广谱抑菌性,对凤丹根腐病具有良好的生物防治和开发应用潜力。     

业务流程的形式化设计与验证

针对如何保证业务流程设计模型与业务需求的一致性问题,在研究有限自动机模型的基础上,提出了一种业务流程的自动机模型构建和验证方法.采用扩展的带约束条件的确定有限自动机对业务流程设计模型进行形式化描述,使用线性时序逻辑表示业务需求,分别给出业务流程设计模型到自动机模型和自动机模型到Promela描述的转换算法,并通过模型检测技术,使用Spin工具验证设计模型是否满足需求性质.若不满足性质,则能够获得反例执行的路径.实例分析表明,该方法可用于业务流程设计的正确性验证.