形式化可测性约束在软件模型实现过程中的研究

在软件测试中,软件使用模型反映实际运行场景的能力是直接决定测试的成功与否的关键因素之一。一般可以通过对在需求分析阶段已生成的UML建模进行研究得到使用模型,但原始的UML模型,由于缺乏严格的定义及必要的约束,如果要生成高精度的软件模型,必须对其添加必要的形式化可测性约束。这正是文章研究的重点。     

基于智能Agent技术的雷达反干扰控制模型

为提高雷达快速反应、对抗干扰的能力,对雷达终端的反干扰控制模型进行了研究。介绍了智能Agent技术,建立了雷达反干扰控制模型,阐述了各模块的功能,并详细分析了雷达反干扰智能控制决策机理。并可提高单雷达的环境对抗能力。     

简化UKF算法在SINS／GPS组合导航中的应用

针对SINS／GPS组合导航系统的特点,建立了系统的非线性误差模型。根据系统状态方程为非线性而观测方程为线性的特点,将一种简化的UKF方法（Rao-Blackwellisation Additive Unscented Kalman Filter,RBAUKF）用于SINS／GPS组合导航系统中,RBAUKF采用较少的采样点数目和简化的更新算法,降低了计算复杂度。最后,在机动条件下,进行了SINS／GPS组合导航实验仿真。仿真结果表明,RBAUKF相比EKF具有更高的滤波精度,更适合在SINS／GPS组合导航系统中应用。     

核测井中NaI(Tl)闪烁探测器性能探讨

NaI(Tl)闪烁探测器由于具有较高的探测效率,价格也比较便宜,被广泛地应用于国防工业和国民经济建设中,本文介绍了石油测井中所用到的NaI(Tl)闪烁探测器。利用我们的多道分析器(ORTEC918A),对组装好的NaI(Tl)探测器的性能作了测试,分析了影响探测器性能的因素,为探测器的选型、定型提供了实验方法。     

U型半潜式起重铺管平台的总强度分析

采用有限元分析的方法,对一U型半潜式起重铺管平台进行了总强度分析,为该平台的结构设计提供了重要参考依据。     

青岛前湾港南港区混合土的研究

工程中常见淤泥类土与砂类土相混构成的混合土,其中淤泥类土土质极软但在土工试验中却可得出较大内摩擦角.以青岛港前湾港区南区的混合土为例,阐述混合土的成因和分布特征,分析与评价混合土的物理力学性质和采用混合土工程设计特性指标的原则、方法,并提出该地区混合土工程特性指标.     

基于数据挖掘的客运营销与优化系统分析

用数据挖掘技术对我国铁路客运信息进行分析和处理,从而促进铁路客运市场营销策略的灵活调整,并根据分析结果对客运营销旅客列车在开行方案上进行优化,这有利于铁路客运主管部门的管理和决策,为铁路客运争取更大的经济效益和社会效益。     

边坡失稳的水岩相互作用机理分析

边坡的变形发展及破坏,影响因素很多,内在因素有岩土体的性质、结构等,变化是缓慢的。外在因素有风化作用、水文地质、水的作用、地震及人为因素等,变化是很快的。坡体的变形破坏,实际上是内在和外在的各种因素综合作用的结果,其中水的作用往往是关键的诱发因素。     

山区泥石流发育地段的河岸冲刷防护设计

结合国道314线喀什至红其拉甫公路冲刷防护工程实例,详细介绍山区泥石流发育的宽阔河床地段的冲刷防护设计,实践证明,该设计方法是行之有效的。     

基于大数据的交通拥堵影响因素关联性实证分析

为提升城市交通治理水平,基于大数据技术获取广州市62个交通分区的拥堵指数、人口密度、就业密度、职住平衡率等9个指标数据,采取归纳法将各指标归纳为设施不便利程度、人口岗位综合密度、对外分布影响因子、过境交通因子四大综合指标,利用SPSS软件分析交通拥堵指数与四大综合指标的关联性.结果表明,交通设施越不便利、人口岗位综合密...