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

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

森林立地分类研究评介

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

管理研究中的科学方法和思辩方法

管理科学研究的方法可划分为两类科学方法和思辩方法.本文考察了这两种研究方法在管理科学发展史上的应用,分析了它们各自的优势和受限之处,指出由于管理科学兼有科学性和艺术性,管理科学的研究需要结合这两种研究方法,并且这两种方法之间存在着相互转化的关系.本文最后对科学方法和思辩方法在管理研究中分别适合的领域进行了归纳.     

序贯模拟方法在储层建模中的应用研究

条件模拟方法是地质统计学发展的一个主要方向和研究热点.作者通过序贯模拟方法在储层建模中的应用,对模拟结果进行了参数统计和变异函数分析;并对克立格和序贯模拟方法进行了比较.应用研究的结果证明了该方法的各种特点,弥补了条件模拟方法在理论研究上的不足,为进一步的方法改进和拓宽其应用范围提供了理论依据和实例参考.     

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

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

基于PHP数据加密多种方法的讨论与研究

本文讨论了在LAMP平台下使用PHP对下载的文件进行加密和解密的方法和过程,对LAMP平台和PHP的应用情况做了相应的介绍。研究和分析了在LAMP平台下通过调用PHP的内置函数、扩展库和GnuPG软件进行数据加密和解密的方法,并在这几种方法中对实验结果进行了分析和比较,找出几种加密和解密数据方法的优缺点。     

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

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

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

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

关于自然科学方法与社会科学方法的历史考察

本文着重从历史发展的角度,对自然科学方法和社会科学方法进行了比较研究。文章通过对科学方法产生和发展的历史考察,阐明了自然科学方法的基本精神和主要特点,分析了社会科学落后的原因,马克思主义理论的方法论意义,以及自然科学方法和社会科学方法汇合发展的总趋势等方面的问题。在此基础上,提出了关于科学方法的研究和应用方面的意见。     

基于MCLA的“Photoshop”教学方法初探

MCLA是一种基于问题和榜样的学习方法,它是一种在专家引导下的独立解决实际问题的科学学习方法．本文阐述了该方法的概念和过程,并将MCLA与传统方法进行比较,进而体现了在Photoshop这一学科中引入该种学习方法的意义和作用,并就进一步的在Photoshop中应用好该方法提出建议。     

两类五阶收敛的牛顿迭代格式

在两种三阶的牛顿变形方法的基础上,利用线性插值和待定系数法得到了两类新的牛顿变形方法.这两类方法都只增加了一个函数值就提高了原来两种三阶方法的收敛阶数和效率指数.从理论上证明了这两类方法的收敛阶都能达到五阶,其中有一种方法可以达到六阶收敛.数值实验结果验证了此方法的有效性,丰富了非线性方程求根的方法,在理论上和应用上都有一定的价值.     

一种协同诊断的任务协作规划方法

在多诊断资源协同诊断领域,由于装备复杂性和诊断资源异构性,诊断任务分配应具有自适应性.提出了一种动静态集成的协同诊断任务分配方法.在静态任务分配中,以装备的定性模型和模糊关系矩阵建立了诊断任务关系模型,通过改进D算法实现诊断路径规划,运用多约束整数规划进行资源配置;在动态诊断任务分配方法中,引入了基于效用和协商的扩展合同网方法.最后,通过工程装备的诊断事例验证了分配方法的有效性,并通过结论总结和延伸了该方法.     

时间相位展开的误差分析与算法设计

时间相位展开方法投射一系列不同频率的条纹图到物体表面,然后将每点的相位在时间序列上独立进行展开,从而避免了误差的扩散,在近年来得到了很好的发展.本文对时间相位展开方法的效率、可靠性和精度之间的关系进行了研究和分析,并针对三种典型的时间相位展开方法：负指数拟合法,三频展开法和外差法,在上述三个方面作了定量计算和比较.根据几种方法的特点,提出了结合三频展开法和外差法优点的算法设计方法——三频外差法.计算机仿真和实验表明,该方法在仅使用三频条纹图的情况下,可以达到较高的可靠度和精度,应用前景比较好.     

风险性投资决策分析

对比研究了传统的风险性投资决策分析技术与风险性投资的期权方法,得出了结论在风险性投资决策中引入期权概念和方法,突破了传统方法的局限性,不仅增加了投资决策的合理性和科学性,而且给投资决策理论带来了具有革命性的观念创新和方法创新.     

维纳控制论思想方法述评

维纳在总结当时关于自动控制、无线电通讯和电子计算机的实践经验,并吸收生物学、医学和神经生理学最新成果的基础上,突破传统的机械还原论的方法,通过行为把反馈与目的联系起来,在行为和功能的意义上,统一了生物系统和技术系统,将目的性赋予了机器,从而解决了原因与目的的关系这一哲学难题。不仅如此,维纳在创立控制论过程中,把行为主义的观点和行为类比、黑箱方法、功能模拟方法、信息的观点和方法,统计的观点和方法结合成有机整体,形成了控制论特有的方法论。     

改进型信息安全风险评估计算模型研究

介绍了信息系统安全风险评估概念、要素和基本评估方法,分析了典型的信息安全风险评估计算模型和计算步骤。针对传统的信息安全风险评估计算模型和方法,构建了改进型的信息安全风险评估计算模型,在原有计算方法的基础上提出了新的模型计算方法,克服了传统模型和计算的缺点,为信息安全风险评估提供了一种新的评估方法和计算思路。     

后方法时代审视“方法”的存与亡

后方法时代宣布"方法"已死,那么"方法"真的死了吗?如果"方法"已死,现在的外语教学舞台上又是谁在表演?在对方法时代的众方法和后方法进行分析研究后指出后方法是方法的继承与发展,并从宏观的角度阐释了方法的选择、使用和整合。     

科学思维方法在高等数学教学中的渗透研究

本文通过分析科学思维方法和高等数学课程的特点,指出在高等数学课堂教学中渗透科学思维方法的可行性和必要性,介绍了比较与分类法、归纳与演绎法、分析与综合法和抽象与概括法等科学思维方法在高等数学教学中的体现和运用,探讨了一种在课堂教学中渗透科学思维方法的教学模式。     

人脸检测技术研究及实验

本文论述了人脸检测研究的背景和方法,重点介绍了基于启发式模型的方法和基于统计模型的方法,包括基于知识的方法、基于局部特征的方法、基于特征空间的方法、基于人工神经网络的方法等。最后在VC下实现了一个基于肤色模型的人脸检测算法,并分析和比较了算法结果。     

基于Solidworks的斜齿轮绘制方法的探讨

基于Solidworks软件,研究了渐开线斜齿轮的三维造型方法,提出了在Solidworks中实现参数化齿轮实体设计的插件方法和渐开线的精确画法,这些方法扩充了Solidworks在齿轮方面的应用,提高了齿轮设计效率,节约了设计成本,为企业赢得时间和客户。