建模与仿真校核、验证与确认综述

校核、验证与确认(verification, validation, and accreditation,简称VV&A)是必须贯穿于建模与仿真全生命周期的重要部分。文章综述了建模与仿真生命周期中的VV&A活动、原则、技术及其适用范围,以及V&V的分级方法。     

飞航导弹弹道仿真的校核、验证和确认

论述了仿真VV&A的重要意义,提出了飞航导弹弹道仿真VV&A的几条基本原则。提出了飞航导弹弹道仿真VV&A的基本思想和标准。建立了进行飞航导弹弹道仿真VV&A的步骤和方法。对于如何利用非同一母体的实飞数据对仿真数据进行校核和验证的问题提出了解决方案。为飞航导弹武器系统仿真和作战仿真提供了依据和参考。     

专家系统知识库验证：Ⅱ.基于决策表的知识库验证工具KBV

说明决策表和知识库之间的关系，详细介绍了作者开发的基于决策表的知识库验证工具ＫＢＶ。给出了在ＫＢＶ中检查冗余，矛盾，循环，守完备性的算法。ＫＢＶ能对包含特定规则，通用规则和框架的知识库进行验证。由于考虑了各子决策表之间的逻辑关系，ＫＢＶ得到的结果是全局的。     

牛顿科学的"推理规则"与科学发现的逻辑

牛顿在<自然哲学的数学原理>中提出的"哲学中的推理规则",不仅浓缩了牛顿时代有关科学方法论的许多内容,而且还蕴涵着在此之后有关"科学发现的逻辑"问题的历史变化的思想根源,甚至这一规则也可以作为今天"复活发现逻辑"的一个典型的科学史范例.     

面向FSAE竞赛的某赛车动力学仿真及试验验证

建立了考虑空气动力学因素的北京理工大学2010FSAE赛车多体动力学虚拟样机及2010中国大学生方程式汽车大赛耐久赛的赛道模型.在多体动力学仿真软件ADAMS/Car环境中,仿真了北京理工大学2010FSAE赛车的直线加速比赛和耐久赛首圈比赛过程.仿真结果表明,得到的赛车车速、车身纵向加速度和车身侧向加速度等数据与实测数据具有较强的一致性.验证了2010FSAE赛车多体动力学虚拟样机的准确性.     

靶向TTF-1的siRNA腺相关病毒载体组装验证

为了解决靶向TTF-1的siRNA导入肺腺癌细胞的问题,设计了3条靶向NCI-H1975细胞TTF-1基因的siRNA,并将其分别构建到腺相关病毒上.在293细胞中装配病毒,收获病毒原初液后进行超滤浓缩、层析柱纯化,测定病毒滴度.重组病毒感染肺腺癌细胞系NCI-H1975,通过Western-Blot实验检测siRNA效果,利用凋亡实验验证细胞生物学效应.Western-Blot实验测得siRNA有较好的干扰效果,凋亡实验测得肺腺癌细胞NCI-H1975产生了凋亡,从而证明具有感染性的靶向TTF-1的siRNA腺相关病毒载体组装成功.     

“钢瓶物联网”应用解决方案

阐述了"钢瓶物联网"的关系与功能,探讨了"钢瓶物联网"的技术实现,分析了"钢瓶物联网"的可行性,指出"钢瓶物联网"系统的应用和推广具有明显的经济价值和社会价值。     

结冰风洞绝热系统设计与实现

结冰风洞是研究飞行器表面结冰机理和防除冰方法的试验设备。典型的结冰风洞采用风扇或压缩机驱动的连续式风洞结构;并且一般设计有洞体绝热系统。绝热系统对结冰风洞性能、运行经济性等方面具有重要影响。通过总结某结冰风洞绝热系统的研制和使用经验,着重分析了结冰风洞绝热系统的传热计算方法和结构设计方案;并且通过实验研究对绝热系统的性能进行了验证。     

乙酸乙酯-乙苯二元混合溶液的折射研究

计算混合溶液折射率的新方法:n=1 ∑wiρMDMi,对于无机混合溶液、乙醇水溶液和丙三醇水溶液等有着很好的适用性,但对含有羰基和苯环官能团复杂物质是否适用还不清楚.本文对含有羰基和苯环官能团的、不同浓度乙酸乙酯-乙苯溶液折射率进行计算,计算结果与实验测量值吻合的非常好,进一步证实了该方法对酯类、芳香族溶液的适用性,并给出了该溶液浓度、密度和折射率计算所需的重要参数值.这些结果也支持了该方法的理论基础,证明了该方法的电子云导体理论模型的合理性.还用Lorentz-Lorenz公式计算了这些混合溶液的折射率,并对2种计算方法的偏差进行了比较.     

安全高效的流媒体服务器集群系统

为适应流媒体技术要求存储大容量、传输实时高效的特性,提出一种基于L inux的安全高效的流媒体服务器集群系统模型,。该方案利用身份验证保证用户的合法性,基于用户的级别分配不同的服务资源;利用网络负载平衡技术(NLB:Network Load Balance)实现服务器集群各节点的负载均衡;利用改进的两级高速缓存模块保证媒体文件的存储调度的高效性;在两级缓存中增加1台首数据段缓存服务器预处理用户请求,使用户响应时间减少40%。实验数据和结果证明了系统的可行性。