防空武器目标服务时间和等待时间指数分布的仿真验证

排队理论广泛应用于防空武器系统突防过程的分析和突防概率的解算。首先对目标服务时间和最大等待时间分布特性进行了理论分析。应用计算机仿真方法,对上述两种随机变量的统计特性进行了分析验证,得出了比较合理的结论。     

舰载火箭弹弹道重构与模型验证

为了验证火箭弹系统六自由度仿真模型的可信性,建立用于弹道重构的系统状态模型和基于GPS观测数据的量测模型,运用无迹卡尔曼滤波(UKF)算法和TIC不等式系数法,探讨仿真模型静、动态性能的验证方法。以某型舰载火箭弹系统为研究对象,通过重构火箭弹飞行状态的误差参数,对其仿真模型进行定量验证。仿真结果表明,利用弹道重构方法对六自由度弹道仿真模型进行验证是有效的。     

钢筋混凝土梁柱节点最新抗剪通用分析模型的修正

研究目的:更好地在我国应用最近在美国混凝土学会的《结构学报》上发表的钢筋混凝土梁件节点抗剪通 用分析模型。 研究方法:通过整理我国的不同类型梁柱节点试验实测的抗剪承载力数据,对该抗剪通用分析模型进行了 检验和修正。另外对节点的配箍率、梁纵筋配筋率、轴压比等参数对于节点抗剪强度的影响趋势进行了分析。 研究结果:检验结果表明,虽然这个节点抗剪通用分析模型的预测结果与我国梁柱节点的试验数据相比基 本上符合,但也存在着根据该抗剪通用分析模型估算的节点抗剪承载力结果有时会明显偏于不安全。 研究结论:根据我国梁柱节点研究组的不同类型梁柱节点的检验结果,对该分析模型中几个系数提出了改 进的建议,修改后公式的计算结果与试验结果比较接近,且便于安全。     

基于时间自动机的自主化ATP等级转换功能建模与验证

自主化ATP(列车自动保护)系统在国产化ATP系统的基础上,增加了一些新的功能需求。针对自主化ATP系统安全关键功能的安全性和正确性保障的问题,以自主化ATP系统中典型的C2等级转换C3等级的等级转换功能为研究对象,采用时间自动机形式化地分析等级转换功能的安全性、活性和实时性。研究时间自动机的数学理论基础,分析自主化ATP系统等级转换功能的逻辑和与其他系统的数据交互;采用时间自动机建模方法,从ATP、RBC(无线闭塞中心)和应答器3个方面,建立C2等级转换C3等级的时间自动机模型;研究自主化ATP系统等级转换功能需要满足的安全性、活性和实时性要求,利用UPPAAL软件验证等级转换功能的系统性质。结果表明,自主化ATP系统C2等级转换C3等级功能满足期望的系统需求。     

CTCS-3级列控系统规范建模与验证

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。     

太原铁路局宁岢线与岢瓦线通信传输网络优化

为了提高太原铁路局宁岢线与岢瓦线通信传输网络的安全可靠性,保障铁路重要通信业务畅通无阻,提出通过二纤单向通道保护环(PP)、子网连接保护(SNCP)和1+1线形复用段的保护机理来优化通信传输网络。     

CCFJ880J—W型船用柴油发电机组的设计开发

我厂在6缸230系列柴油机为原动机的CCFJ660J—W型660kW船用柴油发电机组成功应用的基础上，2007年设计开发了以8缸230柴油机为原动机的CCFJ880J—W型880kW船用柴油发电机组，本文阐述了CCFJ880J—W型发电机组开发的技术设计要点。     

高速铁路环保静态验收现场核查探讨

以新建杭州至宁波铁路工程为例,对高速铁路环保静态验收现场核查的技术路线、内容、工作程序等进行探讨,针对存在的环境问题,提出切实可行的整改方案,为高铁建设项目竣工环保验收提供技术支持。     

140km/h地铁车辆转向架的研制

介绍速度等级140km/h地铁转向架的主要结构特点。该转向架借鉴了现有各种车型转向架的成熟技术,通过设计、计算、样机试制等来验证该转向架各项性能是否能够满足140km/h速度等级的要求。     

基于因式分解的可证实的门限群签名方案

针对现有的(t,n)门限签名方案存在着当群内任何t个或更多秘密分享成员联合攻击,能暴露系统的秘密参数以及验证效率低等问题,本文先对Guillou Quisquater的数字签名方案进行改进,并在此基础上设计出了一个新的(t,n)门限签名方案。该门限签名方案除了具有一般门限签名的群签名特性和门限特性外,还具有可验证性、强壮性、稳定性和验证高效性等优点。