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

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

单体住宅性能的多属性分类综合评价方法

分析了现有的多指标综合评价中的一般常用方法———模糊综合评价方法中所存在的问题 ,根据ABC分类方法的思路提出了一种改进的综合评价方法 ,即多属性分类综合评价方法 ,给出了其分类方法和评价方法 ,最后对 2种方法的特点和使用范围做了对比和分析 .多属性综合评价方法克服了一般常用方法所存在的问题 ,对评价指标的重要性有显著差异的一类综合评价问题 ,此方法更合理 .     

电控天然气发动机燃料喷射和点火的控制方法

结合天然气发动机的具体参数和特性,确定了控制喷射提前角和喷射脉宽以及点火提前角与点火能量的方法,提出了一种统一的控制点火线圈通电时刻的方法,消除了点火分段控制带来的不利影响.按参考点的不同,提出了两种确定点火提前角的方法,并分析了两种方法产生差别的原因.对用一个微控制器来同时控制6缸发动机喷射和点火的可能性和方法进行了研究,提出了实现这一目标的方法,并对这一方法进行了静态试验和台架试验,证实了该方法是可行性的.     

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

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

ALE方法用于气体环流生化反应器数值模拟研究

气体环流生化反应器的研究通常采用试验方法来进行,试验结果用一些宏观指标来评价,其方法和结果的局限性都较大数值模拟方法因其能更好地揭示宏观现象中的本质特性,而在许多领域得到应用本文简要说明了采用数值模拟方法用于气体环流生化反应器研究的目的和意义数值计算中,描述流体运动的方法有Lagrange方法和Euler方法两种,各有其优缺点,ALE(ArbitraryLagrangianEuler)方法是将Euler方法和Lagrange方法结合起来,既能处理畸变较大的流动,又能提供流体内部运动的细节,求解方法通用性较大文中介绍了ALE方法的特点和计算步骤,并采用ALE方法对安装了挡板的气体环流生化反应器的流场进行了三维数值计算和模拟,得到了分别有1块和3块挡板时,流场的发展情况,为进一步的研究建立了基础     

可变限幅滤波方法的参数分析与改进

针对可变限幅滤波方法,通过与常见数字滤波方法的频域和时域分析对比,证实了其优良性能。从频域和时域角度研究了其参数对截止频率和噪声衰减的影响,分析了其参数的设定原则和对信号真值跟踪性能的影响,提出了结合可变限幅滤波方法和一阶低通滤波方法的改进方法。在煤气化过程的煤粉质量流量滤波上获得了应用,证明了该方法的可实现性和有效性。     

核函数方法及其模型选择

核函数方法已成为近年来机器学习领域继人工神经网络方法之后又一个十分流行和有效的方法.阐述了核函数方法的基本原理、特点及实施步骤,介绍了几种主要的核函数方法,最后重点分析和讨论了核函数方法中参数选择和核函数构造等核函数方法研究中的热点问题,并对其未来研究作了展望.     

雷达系统故障的诊断技术

对雷达系统故障诊断技术作了归纳和分类,分析了当前故障诊断技术的优缺点,重点讨论了以下8个方法:基于知识的智能故障诊断方法;对神经网络故障诊断方法;粗糙集诊断方法;基于遗传算法的故障诊断方法;故障树的诊断方法;专家系统故障诊断方法;基于小波分析的故障诊断方法;模糊故障诊断方法.最后,指出了雷达系统故障诊断技术在当前和今后的研究重点和方向.     

风险性投资决策分析

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

Shift-share方法在河南省经济结构分析中的应用

介绍了Shift share方法的基本原理和数学模型,根据我国实际设计提出了这种方法的计算过程和分析技巧,发展和拓宽了Shift share方法的分析范围和深度.并以河南省为例,探索了Shift share方法在我国城市与区域产业结构分析及主导产业发展方面的应用价值和前景.     

An improved R-tree based on childnode''s probability

R-Tree is a good structure for spatial searching. But in this indexing structure,either the sequence of nodes in the same level or sequence of traveling these nodes when queries are made is random. Since the possibility that the object appears in different MBR which have the same parents node is different, if we make the subnode who has the most possibility be traveled first, the time cost will be decreased in most of the cases. In some case, the possibility of a point belong to a rectangle will shows direct proportion with the size of the rectangle. But this conclusion is based on an assumption that the objects are symmetrically distributing in the area and this assumption is not always coming into existence. Now we found a more direct parameter to scale the possibility and made a little change on the structure of R-tree, to increase the possibility of founding the satisfying answer in the front sub trees. We names this structure probability based arranged R-tree (PBAR-tree).     

前混合磨料射流系统性能和结构的改进

针对前混合磨料射流系统存在的磨料涌出而导致对系统管件 ,尤其是喷嘴产生磨损的问题 ,对原有的射流系统进行了分析 .在分析结果的基础上 ,提出了 3种改进型系统 .对改进型系统进行了定性的理论分析 ,用试验手段得到高压管路的波速值 ,并用试验检验的方法得出了 3种改进型系统性能优劣的比较 ,认为改进 型系统较好的解决了磨料涌出并磨损管路元件的问题 .图 6 ,表 2 ,参 6     

诗与"在"--海德格尔诗学的阐释

海德格尔对荷尔德林诗歌的阐释，目的是进行诗与思的对话，归根结底还是探讨存在。诗与“在”的关系，是海氏诗学框架的核心内容，诗与“在”的关系又进一步引申为艺术与真理的关系，本从真理如何被遮蔽的问题入手，试图读解海德格尔诗学的内涵。艺术是无蔽的真理显明的一种方式，诗是危机的拯救，语言是存在的家园。海德格尔对诗与在的探讨最后又转入了对语言的探讨，无法走出语言的牢笼。只有在实践中，把艺术变成为社会变革的一个因素，才可以解放被传统理性压迫的力量，显现艺术的真理，确立艺术的价值。     

Characterization of Ordovician carbonate reservoirs, southeastern Saskatchewan, Canada

The discovery of the prolific Ordovician Red River reservoirs in 1995 in southeastern Saskatchewan was the catalyst for extensive exploration activity which resulted in the discovery of more than 15 new Red River pools. The best yields of Red River production to date have been from dolomite reservoirs. Understanding the processes of dolomitization is, therefore, crucial for the prediction of the connectivity, spatial distribution and heterogeneity of dolomite reservoirs.The Red River reservoirs in the Midale area consist of 3～4 thin dolomitized zones, with a total thickness of about 20 m, which occur at the top of the Yeoman Formation. Two types of replacement dolomite were recognized in the Red River reservoir: dolomitized burrow infills and dolomitized host matrix. The spatial distribution of dolomite suggests that burrowing organisms played an important role in facilitating the fluid flow in the backfilled sediments. This resulted in penecontemporaneous dolomitization of burrow infills by normal seawater. The dolomite in the host matrix is interpreted as having occurred at shallow burial by evaporitic seawater during precipitation of Lake Almar anhydrite that immediately overlies the Yeoman Formation. However, the low δ18O values of dolomited burrow infills (-5.9‰～ -7.8‰, PDB) and matrix dolomites (-6.6‰～ -8.1‰, avg. -7.4‰ PDB) compared to the estimated values for the late Ordovician marine dolomite could be attributed to modification and alteration of dolomite at higher temperatures during deeper burial, which could also be responsible for its 87Sr/86Sr ratios (0.7084～0.7088) that are higher than suggested for the late Ordovician seawaters (0.7078～0.7080). The trace amounts of saddle dolomite cement in the Red River carbonates are probably related to "cannibalization" of earlier replacement dolomite during the chemical compaction.     

海南岛地体及其毗邻陆缘晚中生代—新生代古地磁研究和构造演化

本文叙述了对海南岛及其毗邻大陆边缘白垩纪到第四纪地层岩石进行古地磁研究的全部工作过程。通过分析岩石中剩余磁矢量的磁偏角及磁倾角的变化,提出海南岛白垩纪以来经历的构造演化模式如下:早期伴随顺时针旋转而向南迁移,后期伴随逆时针转动并向北运移。联系该地区及邻区的地质、地球物理资料,对海南岛上述的构造地体运动提出以下认识:北部湾内早期有一拉张作用,主要是该作用使湾内地壳显著伸长减薄,形成北部湾盆地。从而导致了海南岛的早期构造运动,而海南岛后期的构造运动则主要是受南海海底扩张的影响。海南地体运动规律的阐明对于了解北部湾油气盆地的形成演化有重要的理论和实际意义。     

微生物作用下混凝土裂缝修复效果试验研究

微生物矿化作用可以有效愈合混凝土裂缝,达到修复混凝土裂缝的目的.本文以带裂缝混凝土为研究对象,设置0.2、0.3、0.6 mm三个裂缝宽度和20、30 mm两个裂缝深度,以巴氏芽孢杆菌为菌株,通过裂缝观测、超声波测试、立方体抗压强度测试及裂缝内部微生物沉积物质的微观形貌分析,研究微生物对不同深度及宽度混凝土裂缝的修复效果.研究结果表明:巴氏芽孢杆菌可有效修复混凝土表面裂缝;氧气的供给是微生物在裂缝内部矿化的重要环境条件,随着裂缝深度的增加,巴氏芽孢杆菌的修复效果减弱;随着裂缝宽度的增大,微生物在裂缝内部的矿化效果减弱.     

石油勘探开发建设项目评价系统探讨

石油勘探开发建设项目评价是石油勘探开发建设项目管理的重要内容之一,也是提高项目决策科学性的一个重要环节。首先分析了石油勘探开发建设项目评价的理论和方法,然后从项目前评价、项目中评价、项目后评价、技改项目评价四部分讨论了项目评价的基本内容,并在此基础上构建出了新的项目评价系统。指出:新的项目评价系统与传统的评价系统[1]的最大区别在于增加了项目中评价内容,并且对其它大、中型建设项目也是适用的。     

“物理”流变考

“物理”一词,在中国古代最早见于战国,此后在各种典籍中被广泛使用。其含义泛指万物之理与自然规律,这种含义与西方古代“物理”一词的含义相近,明清时期西学东渐,“物理”一词的翻译几经变化,古代日本的科学在相当程度上受到中国的影响,17世纪至19世纪上半叶来华传教士译述的物理书籍也在日本被注释翻译,甲午战争后,中日两国之间科技交流的态势发生了逆转,19世纪下半叶至20世纪初,日中两国“物理”一词的译名先后确定,随着现代物理学的迅速发展,物理学研究的范围和对象又在不断地变化。     

普通话朗读中的停延

学习普通话的重要环节是在语流中模仿普通话的节律。停延作为节律的基础,确定了语流中的音步组合,进而关系到协同发音、连续变调等一系列语音现泉。停延的研究对于普通话的朗读教学具有重要的现实意义。该文以《普通话水平测试实施纲要》提供的60篇短文为语料,对于文中的停顿做出了定量、定性的分析：普通话的音步组合层的平均长度为5—7个音节,影响各篇短文音步组合层长度的主要因素是文体风格。该文根据60篇短文的语音资料,提出了设置句中无标点停顿的语义原则、语法原则、语用原则。根据语义原则,只能在有助于语义表达的地方停顿。根据语法原则,只能在构成语法结构的地方停顿。如果在某种情况下构成了非语法停顿,那是为了满足节律的需要。根据语用原则,人们通过对语境的分析,以停顿为手段,实现表情达意的最佳效果和节奏的匀称感。文中以大量例句,对各种语法结构中的语音停顿现泉进行比较说明,做出了令人信服的阐释。     

IDL程序去除MODIS遥感影像镶嵌图中的黑色条带

采用基于地理坐标的镶嵌方法和剪切线的方法对两幅MODIS遥感影像做镶嵌时,在影像接缝处出现了黑色条带,条带值显示为-NaN或者0。主要针对这一现象介绍在IDL 7.0环境下编写的Delete_NaN程序和Delete_0程序的应用。该程序实现了消除黑色条带,并找回了丢失的数据,该程序运行速度快,操作简便,特别适用于MODIS遥感数据的影像镶嵌图。