仿真模型的智能化验证方法

为实现仿真模型可信度验证过程的自动化,并解决验证技术在应用中过度依赖领域专家经验等问题,提出基于知识的模型验证方法.首先,对模型验证的客观和主观方法中的数据和信息转化过程,以及用于模型验证中真实系统测试数据和领域专家的经验等参考信息进行抽象和归纳.其次,在知识抽象的基础上,分别建立领域知识模型、验证技术模型和验证任务模型.最后,在知识模型的基础上设计和实现智能化验证系统.对电磁轨道炮仿真模型的验证表明,该方法可有效对仿真模型进行验证,且主观和客观的验证方法均可以集成到该系统中,提高了模型验证效率.     

基于三角模糊数的仿真模型验证方法

为了保证仿真模型可信度量化结果的准确性,同时便于验证方法的实际应用,既需要充分考虑各种专家意见带来的不确定性,且需要采用统一的形式对专家意见进行刻画。由此提出基于三角模糊数的验证方法。首先分析专家意见的特点,并采用三角模糊数进行描述;然后将仿真输出分为静态、缓变和速变三类数据,并分别采用相应的图形将各自特征直观地呈现给专家,进而评定得到每个仿真输出分量的符合度;再者基于三角模糊数层次分析法得到各仿真输出变量的权重;最后基于模糊综合评判法综合各仿真输出分量的符合度,得到仿真模型的可信度。在实例应用中,该方法有效地对某导弹导引系统仿真模型进行验证。     

多元响应线性回归模型的马氏Mallows模型平均方法改进

针对多元响应线性回归模型,提出了修改的马氏Mallows模型平均(MMMAc)方法。为了更充分地利用多元响应变量之间的相关性信息从而更好地提高预测精度,组合权重选择准则的构造同样考虑了马氏距离预测风险,并通过构造Wishart分布,推导出预测损失的无偏估计作为权重的选择准则,最终得到的MMMAc准则相比马氏Mallows模型平均(MMMA)准则增加了一个偏差矫正项,减小了对预测损失估计的偏差,因此通过最小化该准则得到的权重估计能更接近不可得的理论最优组合权重;最后,模拟对比实验验证了MMMAc方法的优势：MMMAc估计具有与MMMA估计同样的渐进最优性,因此两者的表现在大样本情形下没有太大差异,然而,由于修改后的权重选择准则为预测损失的无偏估计,因此在样本量不足的情形下,MMMAc方法的预测表现更佳。     

证书验证服务及在下属层次信任模型下的实现

对基于服务器的证书验证协议(SCVP)作了简要介绍,分析了协议的优缺点.针对下属层次信任模型的特点,给出了此种信任模型下协议的一个模型系统设计与实现方案.     

多元线性模型系数的广义根方改进估计类

从矩阵变换理论出发，对多元线性模型的系数提出了广义根方估计。证明了它优于系数的ＬＳ估计，根方改进估计，且是β的线性可容性估计等性质。     

管制中心系统效能评估系统的研究与实现

针对管制中心系统效能评估模型,开发了基于改进的层次分析法和专家调查法的管制中心效能评估系统.首先给出了管制中心效能评估系统的功能需求分析,然后详细介绍了系统的实现过程以及其用到的关键技术,最后给出了效能评估实例.实践表明,该系统能较客观准确地评估管制中心系统效能,具有较强的鲁棒性和实用性.     

管制中心系统效能评估系统的研究与实现

针对管制中心系统效能评估模型,开发了基于改进的层次分析法和专家调查法的管制中心效能评估系统。首先给出管制中心效能评估系统的功能需求分析,然后详细介绍系统的实现过程以及其用到的关键技术,最后给出了效能评估实例。实践表明,该系统能较客观准确地评估管制中心系统效能,具有较强的鲁棒性和实用性。     

使用窗谱估计法验证仿真系统模型

使用窗谱估计法对仿真系统模型进行了验证 ,讨论了验证的数学方法 ,推导了验证所使用公式 ,并进行了实例分析。这种方法可望用于工程实践     

电喷系统高速电磁阀的仿真及响应分析

对某小型重油发动机电喷系统内部的高速电磁阀,进行了建模仿真与响应分析。先建立该高速电磁阀的数学模型,再用Matlab/Simulink对其仿真。通过对不同输入参数的仿真对比,分析影响电磁阀响应的主要因素,从而确定模型的各项参数,得到该电磁阀的稳定及快速响应。该仿真模型考虑了铁磁材料的磁阻及磁阻变化对电磁力的影响,对电磁阀的开发和研制具有一定的参考价值。     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

多元加权线性模型的影响分析

本文针对多元加权线性模型，讨论了一组观察数据对加权最小二乘估计的影响，给出了影响度量准则和它们的化简式及其分布，建立了Ｗ－Ｋ统计量与广义相关系数之间的联系。     

Uncertainty Model Validation for Unstable System

Uncertainty model validation has been studied for stable system by several authors. This paper considers uncertainty model validation for unstable systans. Under a similar assumption to study for stable system, a necessary and suffident condition is obtained for unstable uncertainty models not to be invalidated, which generalizes the results of previous study and show that the uncertainty model validation for trustable systems is again a bouadary interpolation problem.     

数控机床多变量关联热误差组合模型及其实验验证

针对主要基于受综合因素影响的机床本体温度所建立的热误差模型鲁棒性较差的问题.综合考虑机床本体温度、动力源转速、冷却液温度及环境温度提出了多变量关联热误差组合模型.将最小二乘支持向量机(LS-SVM)的方法运用到热误差建模中,并利用偏最小二乘(PLS)方法提取输入变量的主成分作为LS-SVM的输入,形成PLS-LSSVM组合热误差模型.此外根据数控加工过程及材料热变形原理,将相对起始温度的差温值作为温度输入,使热误差补偿更加准确.在某型号精密加工中心进行实验验证,结果表明:PLS-LSSVM模型比LS-SVM更稳定,比PLSR预测精度高;考虑差温多变量的PLS-LSSVM模型较单纯考虑机床本体测量温度值的PLS-LSSVM~*模型,热误差预测值的均方根误差(RMSE)平均减少了5.5μm.     

流固耦合系统动力响应分析的精细时程积分法

通过对结构与理想流体耦合问题的分析 ,利用有限元方法对流固耦合系统动力响应进行了研究 .采用精细时程积分法、威尔逊θ法和纽马克法进行计算 .算例表明 ,精细时程积分方法具有精度高、不受时间步长的严格限制和计算工作量小等优点 ,适合于流固耦合系统的动力响应分析     

降水量资料多元分析的试探研究

以遍及我国的２４个台站１９５１－１９９１年４１年的月平均降水量为实例,对现代统计学中的一种特殊的多元分析方法进行了分析和研究。发现变量之间的相关在双示图上分布有很特点,分为两个射矢簇：冬－春射矢簇和夏－秋射矢簇;单元（台站）的散布点在一定程度上和其地理位置比较吻合,且随海拔高度呈规律性分布等事实。指出这种多元分析方法在掌握多元数据资料的结构及分布等方面的优越性。     

大跨度结构气弹模型风振响应的阻尼修正系数

在气动弹性模型设计中 ,如果阻尼相似不能在模型设计、制作中实现 ,则须对试验结果加以修正 .因此定义了阻尼比修正系数 ,推导出结构在Davenport脉动风速 (风压 )谱激励下响应和阻尼比的相互关系 ,通过一刚度可调的结构模型 ,分析了大跨度结构气弹模型实测各阶阻尼比相近情况下激励形式和结构模态参数对模型风振响应阻尼比修正系数的影响 .     

多元线性模型回归系数的根方估计

本文采用根方估计估计多元线性模型中的回归系数B,通过根方参数k值的选取,可使(k)=Vec((k))的均方误差MSE小于β=Vec(B)的LS估计B的MSE。本文还给出了选取k值的两种方法及一个应用实例。     

一种新的WWW服务系统性能模型分析

给出一个新的ＷＷＷ系统的性能分析模型，将服务器系统和通信访问网络统一考虑为一个整体，并将模型扩展到多服务器系统；分析了各模型参数对服务系统性能的影响，提出了避免死锁状态的方法和增加新服务器速率的原则；最后对比了几种提高服务器性能的方法在不同拥塞条件下的优劣．仿真实验结果证实了模型的有效性．该模型对于网络管理、规划设计和网络升级都具有实际意义     

GARTEUR飞机模型的模态试验与模型修正技术

为了获得精确的结构动力学模型,需要对结构动力学模型进行修正与确认。首先,采用相位共振/相位分离一体化技术对模型进行模态参数识别。其次,提出一种设计参数的灵敏度分析方法,根据工程经验、误差定位技术以及灵敏度分析技术调整动力学模型的建模细节,以试验与仿真结果的模态频率误差为目标函数,研究了序列二次规划算法、自适应模拟退火算法、多岛遗传算法等三种算法的修正效果,最终选择多岛遗传算法进行动力学模型修正研究。最后,引入三级质量标准来评估模型修正质量。结果表明:修正后的模型具有复现与预测响应水平的能力,证明本文所提出修正方法的正确性和有效性。