形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.     

建筑结构设计优化方法在房屋结构设计中的运用分析

该文简要说明了建筑结构设计优化方法的涵义与特点,阐述了建筑结构设计优化方法在房屋结构设计中应用的必要性,分析了建筑结构设计优化方法在房屋结构设计中应用的注意事项,并论述了建筑结构设计优化方法在房屋结构设计中的实际运用。     

结构化方法与面向对象方法的比较分析

剖析了结构化方法和面向对象方法这两种软件开发方法具体的分析设计过程,讨论了各自在不同软件开发中的应用及局限性,提出了在选用面向对象方法开发大型软件系统的同时可结合结构化方法。     

论数学中逻辑与历史的统一

本文论述了逻辑的方法与历史的方法在数学中是相互渗透,相互补充,相互转化的.提出了在数学中辩证地处理逻辑方法与历史方法之间的关系,即逻辑与历史的统一方法,并阐明这一方法在数学研究和数学教育中的重要作用.     

焦点团体访谈方法在图书情报领域的应用研究

焦点团体访谈方法在定型数据采集方面非常有效。阐述了焦点团体访谈方法的特征及其优缺点,分析了焦点团体访谈方法的实施过程,探讨了焦点团体访谈方法在图书情报领域中的应用。     

多糖的提取、分离纯化及分析鉴定方法研究

详细介绍了动植物多糖的常见提取、分离纯化方法的最新研究进展,并比较了各种方法的优缺点．每种方法都有各自的优缺点,在提取时应根据所选材料的性质选用不同的方法,有些方法在一定的条件下可与别的方法协同作用,并对糖的含量测定及分析鉴定方法的研究进展作了概述．     

热水锅炉停炉后的保养措施

阐述了热水锅炉在停炉期间的保养方法,包含传统保养方法和有效保养方法,论述了这些方法的特点,指出有效保养方法不仅在停炉期间保护了锅炉本体,还对整个采暖系统都进行了保护,并进一步提出停炉保养工作是一项重要工作,锅炉使用单位必须予以重视。     

知识发现中的聚类分析及其应用

知识发现的目的是在大量数据中进行模式识别、提取有用的知识 .本文在对知识发现方法作了一般论述的基础上 ,着重分析了聚类分析方法 ,设计了该方法的一个实现算法 ,并结合员工业绩考核讨论了方法的应用     

基于PLC—iDistance的结构化P2P相似性检索算法

针对传统iDistance索引方法的缺陷和不足,提出了近似位置编码索引方法PLC—iDistance（ProximityLocationCode—iDistance）,并在结构化P2P网络中实现了高维数据检索。在改进方法中,有效地缩小了需要搜索的范围,提高了检索性能;．实验表明,相比传统的iDistance索引方法．PLC—iDistance索引方法在时间性能上有较大的提高。     

用ANSYS实现对文克勒地基梁、板的有限元分析

本文总结了建立在文克勒地基模型假定上的基础梁板的有限元分析方法,提出了在ANSYS平台上的实现方法,给出了该方法在基础工程中的应用实例,说明该方法是合理的。     

车辆运动模糊图象恢复的一种新方法

介绍了图象处理和分析的方法在交通监测中的应用,在状态空间运动模糊图象恢复方法的基础上提出了一种改进方法,实验结果表明该方法可以有效地恢复原图象．     

一种关于XPATH视图维护的优化方法

Sawires等人给出的视图维护方法能在少量辅助空间的情况下增量地维护视图,但是在较多约束的视图定义下,由于该方法在约束检测方面没有被优化,所以影响了视图维护效率.提出了Sawires视图维护方法的一种优化方法,并通过试验验证了该方法能够有效地提高视图的维护效率.     

Bootstrap方法的仿真实现及其在系统偏差估计中的应用

该文研究Bootstrap方法与Bayes Bootstrap方法的原理及在小样本情况下的应用问题.分析了这二种统计方法的原理,给出了总体分布中未知参数的点估计方法和区间估计方法,后采用非参数抽样法,编写C语言程序,实现了Bootstrap方法与Bayes Bootstrap方法的计算机仿真.通过实例分析,给出了射击系统偏差在Bayes Bootstrap方法、Bootstrap方法和经典统计方法下的具体偏差值,得到Bayes Bootstrap方法优于其它二种方法的结论.     

程序语义差异计算方法分析与研究

本论文在介绍了程序语义差异的重要性的基础上,详细描述了目前所存在的几种计算语义差异的方法,分别是:基于程序切片的方法,分割方法,输入输出依赖关系法和基于抽象语义图的方法,并且在研究这些方法的基础上比较了他们各自的优缺点。     

森林立地分类研究评介

<正>本文对各具特色的森林立地分类途径,即非生物环境因子、植被和综合多因子(生态系统)途径的主要方法作了详细介绍和评价。在非生物环境因子途径中,分别讨论了气候、土壤和地形在森林立地分类中的作用,并对生活因子组合法、主导环境因子方法和土壤-立地研究方法作了重点评述;在植被途径中,阐述了植被在立地分类中的重要性和局限性,着重讨论了地位级与地位指数方法,美国西部的生境类型分类方法及苏卡乔夫的林型学说;在综合多因子途径中,论述了生态系统各组分在划分森林立地类型时的有效性和合理性,详细评述了巴登—符腾堡方法及其在美国发展形成的生态学立地分类方法和波格来勃涅克的林型学说。对我国曾采用的各种森林立地分类方法以及所取得的研究成果也结合在以上评述中作了详细介绍。通过以上各学派分类方法的比较,展望了未来森林立地分类研究的发展动态,并提出了目前急待解决的几个问题及其对策。     

基于混合割线方程修正的L-BFGS算法

L-BFGS方法是解决大规模无约束优化问题最有效的拟牛顿方法之一,该方法既保持了BFGS方法在理论上良好的收敛性,又克服了拟牛顿法储存量大、计算量大的困难。大量研究表明,对割线方程进行修正能更好地逼近目标函数的二阶曲率信息,进而改善BFGS方法的计算效率。基于Li和Yuan等人提出的两种割线方程,构造了一种新的混合割线方程,并用该方程修正了L-BFGS算法,提出了一个基于混合割线方程修正的L-BFGS算法(ML-BFGS)。在适当的假设条件下,建立了ML-BFGS方法在一致凸函数上的全局收敛性,并证明了该方法是R-线性收敛的。数值结果表明,在某些情况下,ML-BFGS方法要比L-BFGS方法更优。     

Fetkovich综合IPR、三相IPR相关式及其应用

因Fetkovich方法是在现场测试数据的基础上得来,在IPR预测方面具有其独特的优势。在Fetkovich方法基础上,结合单相流和油气两相流动特点,推导出了基于Fetkovich方法的综合IPR方法,并给出了如何通过测试数据获得采油指数的计算方法。再由按含水率取纯油IPR曲线和水IPR曲线的加权平均,推导出了基于Fetkovich方法的三相流的采液指数计算方法和某一产量下流压计算方法。最后分别给出了实例进行验证,说明导出方法具有一定可行性。     

动态测量误差分解方法研究

在讨论神经网络方法的基础上,尝试将其应用于动态测量误差分解理论。建立了一个简单的动态测试仿真系统,分别用小波变换方法和神经网络方法对系统输出的总误差进行分解,并对两种方法的处理结果作了比较,指出了神经网络方法在动态误差分解中的实用性和优越性。     

基于两阶段加载模式的改进模态推覆分析方法

在模态推覆分析(MPA)方法的基础上,提出了改进的模态推覆分析(IMPA)方法;IMPA方法克服了MPA方法采用固定加载模式的不足,考虑对结构屈服前后采用分段的加载机制进行推覆分析;并通过两个算例对IMPA方法、MPA方法计算得到的结构顶点位移和层间位移角与弹塑性时程分析结果进行了比较.结果表明,IMPA方法在评估结构地震反应时较MPA方法在精度方面有了较大的提高.     

基于TCA2003的测边交会法应用分析

文章简要介绍了测边后方交会法的基本原理,推导了测边后方交会法的计算公式,评定了该方法的精度,论证了该方法在精密工程中的可行性,弥补了极坐标、直角坐标等普通测设方法在精密工程中的缺陷。