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

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

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

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

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

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

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

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

核函数方法及其模型选择

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

浅析面向对象程序设计特点

分析了面向对象技术、面向对象程序设计特点.通过实例对面向对象程序设计方法和结构化程序方法进行详细分析,介绍了面向对象程序设计方法和结构化程序方法的区别及联系,进一步阐述了面向对象技术.     

雷达系统故障的诊断技术

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

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

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

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

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

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

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

随机场与系统理论的数学基础

介绍了Markov随机场的一些初步结果,并建立与平衡、非平衡系统理论之间的关系,导出各种配分函数.还应用于电网络理论中,对熵产生、熵流的意义给了具体的解释.     

萨马瓦尔的多项式理论

研究了萨马瓦尔在多项式理论方面的工作, 分析了他取得成功的因素和未能进一步深入研究的原因.     

介质界面处的介电常数与场强的计算

给出了介质界面处的介电常数和场强的计算公式,并通过论证结论的正确性,澄清了对介质界面处电场强度的错误认识。     

2005-2007年国内高等职业教育研究期刊文献分析

以2005年-2007年度的“中国知网”上的源期刊为依据，统计分析了刊登篇名为“高等职业教育”的有关论文和期刊，并归纳了期间高等职业教育的热点问题，以及相关论文的引用情况分析。     

高速、多幅、傅里叶频谱存贮型动态全息干涉术实验成功

我系研究了一种基于傅里叶频谱存贮原理的二次曝光新技术。采用脉宽和间隔可调的调制脉冲对激光光源即可对瞬态流场进行高速,多幅、动态全息干涉摄影。     

高分辨磁旋转编码器磁鼓表露磁场分析与AMR检测磁头设计

应用静磁场理论分析了高分辨磁旋转编码器磁鼓的表露磁场,通过数值计算得到磁鼓表露场分布的直观曲线.设计制作出性能优良的磁旋转编码器AMR检测磁头,理论分析结果与对磁鼓表露磁场的实际测试结果进行了分析对比.结果表明,AMR检测磁头输出信号形状与幅度及其倍频特性与理论计算结果是相符的.     

垂直单向流洁净室速度场均匀性的影响因素

对垂直单向流洁净室内的速度场进行数值模拟,计算出洁净室工作区的乱流度指标.通过分析洁净室的室宽、室高与洁净室速度场均匀性之间的关系,得出结论:洁净室的宽度尺寸是影响速度场均匀性的主要因素,当室宽小于6.0 m、室高为2.7~4.2 m时,洁净室内速度分布均匀.     

基于纳米磁流体材料的传感应用

 磁流体是具有磁性和流动性的新型功能材料, 以其独特的性能在传感器领域具有巨大的应用潜力。本文综述了利用磁流体的多种特殊性质实现体积、流速、角度、温度、电流和磁场等物理量传感的研究进展, 并分析各类磁流体传感器的工作原理。基于几何光学理论, 推导和模拟了两套利用磁流体可调谐折射率的磁场传感系统。     

Fuzzy数学规划求解的约束域分割法

对模糊数学规划的目标函数取大∨与取小∧的问题，给出了一种求解方法——约束域分割法，此法对约束集凹集的数学规划问题亦有效。     

丙硫咪唑早期和重复治疗猪细颈囊尾幼病及增重试验

采用丙硫咪唑粉剂按90mg/kg 剂量间隔48小时三次口服投药治疗早期感染细颈囊尾蚴猪(感染30日龄),结果表明是安全、有效的,驱(杀)虫率高达99.7%,死虫完全吸收,与对照组比较,治疗组日增重和屠宰率均有明显提高(P<0.01),可进行扩大治疗试验.