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

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

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

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

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

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

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

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

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

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

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

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

核函数方法及其模型选择

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

雷达系统故障的诊断技术

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

风险性投资决策分析

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

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

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

巧用代数方法解决解析几何中的某些问题

高等代数是解析几何的工具,同时,解析几何为代数提供具体的实例模型,因此它们是不可分割、紧密联系的.解析几何中的某些问题,如果使用常规的解题方法,其过程可能相当复杂,但如果巧用代数方法,则问题的解决会变得非常简单.文章将巧用代数方法解决解析几何中的某些问题.     

有序域上仿射几何之同构

本文首先给出了仿射几何的公理构造法、一般体(或域)上的仿射几何以及体(或域)K上的仿射几何之同构的意义。进而又给出了有序仿射几何、有序域上的仿射几何的意义。最终论证了仿射几何的基本问題:每一个同公理化定义的仿射几何与有序域上仿射几何的同构问題。     

悬索桥空间主缆分析

为了确定悬索桥空间主缆恒载线形,根据已有的二维模型,提出了一个三维主缆线形计算方法.直接从三维索的几何方程和平衡方程出发推导了索形迭代计算方法,该方法将三维主缆投影到2个平面上分别考虑几何边界条件和力的平衡条件,考虑了倾斜吊杆的影响,引入梯度迭代法,推导了三维主缆的迭代方程,给出了具体计算分析的迭代流程;采用C++语言编制了主缆三维恒载线形分析程序CF3D.基于该方法和程序对一座悬索桥的主缆进行了恒载线形的迭代计算分析.研究结果表明:该方法精度完全能满足工程计算要求,迭代计算出的主缆线形平顺.该方法具有使用方便、精度高等优点,适用于多跨空间缆索悬索桥.     

超大跨度斜拉桥的安装构形与无应力构形

节段施工桥梁的安装构形与无应力构形是现场施工和工厂预制的重要信息，而工程中对此存在一些误解。论述了安装构形与预制构形的联系与区别。根据力与变形的协调原理，提出求安装构形的大循环迭代法和求无应力构形的单元CR（随转坐标系）位移法。对苏州一南远大桥的计算结果表明：结构整体无应力构形与设计构形相差较大，但由于密索体系斜拉桥的恒载弯矩较小，短线法预制只需考虑单元长度修正，无需考虑梁端角度修正；切线拼装的误差随悬臂拼装急剧放大，完全按无应力控制法进行斜拉桥施工控制需慎重。     

从Hilbert、Euclid、Klein浅议几何学的认识方法与思想

从Hilbert的大范围几何学思想,从Euclid与Klein两个代表性几何学流派出发,论述了几何学研究问题的方法与思想,以及各几何学的联系.     

变化中的不变量 --谈立体几何折叠问题的解题思路

从立体几何自身的线面关系问题;与空间向量结合的综合问题;与解析几何结合的综合问题;与最值结合的综合问题四个方面探求立体几何折叠问题的解题思路.结合具体题例,总结了其解法的关键是抓住变化中的不变量.     

叶剖面厚度变化所引起螺距修正方法

根据螺旋桨桨叶剖面升力系数与叶剖面型值的内在联系，依据等效螺距原理，在理论上解决了桨叶厚度变化对螺旋桨螺距的修正方法，为图谱法设计的螺旋桨厚度修正提供了理论依据和有效方法。     

几何信息分割算法在居民地提取中的应用

针对从全色航空影像中进行居民地区域提取的随机性和复杂性 ,阐述了一种基于几何结构信息进行居民地提取的新算法。此算法的特点是在影像上提取居民地的几何信息 ,形成居民地影像的特征。与传统的居民地提取方法比 ,此算法用到了居民地纹理的矢量信息 ,从而更准确的刻画了居民地的纹理特性。试验结果表明 :基于几何信息的分割算法对居民地有较好的提取效果     

平面构成教学改革初探

平面构成是学习艺术设计的一门重要专业基础课,本文从教材内容和教学方法上指出了在目前的平面构成教学中存在的不足,并有针对性地提出了改革措施.     

平面构成教学改革初探

平面构成是学习艺术设计的一门重要专业基础课，本文从教材内容和教学方法上指。出了在目前的平面构成教学中存在的不足，并有针对性地提出了改革措施．