基于知识积累的软件运行剖面生成方法及黑箱测试技术

软件的黑箱测试是一个面向用户的软件测试方法，当它以运行剖面为基础生成测试案例时，运行剖面的完备性将直接影响其测试结果的可信性，基于知识积累的软件运行剖面生成方法就是试图通过知识的获取和积累使生成的运行剖面日趋完备，从而达到黑箱测试技术在某些特殊的软件测试领域中更具实用和可信。文章讨论了软件 运行剖面的完备性和软件失效类等概念，提出了一种基于知识各界的软件运行剖面生成广阔圾黑箱测试技术，这种技术现已     

公共交通系统营运可靠性研究

优先发展公共交通是大城市解决交通拥堵,实现城市交通可持续发展的一项重要措施,然而,公交营运水平的低下制约着公交的发展。本文借鉴可靠性理论对公共交通营运可靠性进行定义,并对公交营运时间和乘客服务可靠性分别进行了描述,据此建立起公交系统营运可靠性模型,然后采用随机模拟技术(即Monte Carlo模拟)进行求解,通过算例说明模型的可行性,最后通过分析可靠性模型得出大型活动期间改善公交营运的途径。     

美国海军业务化海洋预报系统综述

美国海军海洋预报系统最早始于苏联时期,自此之后,美国海军制定了一系列计划,构建海洋观测网络,开发海洋数值模式,发展军事海洋学,旨在建成一套完整、精确的全球海洋预报系统并实现业务化应用。美国海军海洋学一直走在世界前沿,本文将对美国海军海洋预报系统的发展历程、成果及其现状进行阐述,这对于我国军事海洋学以及海洋预报系统的发展具有重要借鉴作用。     

舰艇雷达有源干扰战术运用研究

从水面舰艇雷达有源干扰的任务、特点、分类等问题出发,研究舰艇雷达有源干扰的战术运用,并在此基础上通过建立雷达有源干扰方程进行定量分析和研究。     

“基德”级导弹驱逐舰作战能力分析

“基德”级导弹驱逐舰是美国建造的多用途导驱逐舰，具有较强的立体作战能力。本文对“基德”级驱逐舰的特点及其作战能力进行了分析，并指出了该级驱逐舰在近海反潜、抗饱和攻击，以及抗鱼雷攻击方面的缺陷。     

An algorithm for oceanic front detection in chlorophyll and SST satellite imagery

An algorithm is described for oceanic front detection in chlorophyll (Chl) and sea surface temperature (SST) satellite imagery. The algorithm is based on a gradient approach: the main novelty is a shape-preserving, scale-sensitive, contextual median filter applied selectively and iteratively until convergence. This filter has been developed specifically for Chl since these fields have spatial patterns such as chlorophyll enhancement at thermohaline fronts and small- and meso-scale chlorophyll blooms that are not present in SST fields. Linear Chl enhancements and localized (point-wise) blooms are modeled as ridges and peaks respectively, whereas conventional fronts in Chl and SST fields are modeled as steps or ramps. Examples are presented of the algorithm performance using modeled (synthetic) images as well as synoptic Chl and SST imagery. After testing, the algorithm was used on > 6000 synoptic images, 1999–2007, to produce climatologies of Chl and SST fronts off the U.S. Northeast.     

CORS技术在油田用地变更调查中的应用

结合大庆市油田用地变更调查实际,阐述CORS技术的发展及应用现状,重点介绍在油田用地变更调查中应用CORS系统的实际经验,分析CORS技术在油田土地管理应用中的特点,并对其测量精度进行评价。     

在船舶安检中加强对船员实操性检查

从船舶安检时进行的船员实操性检查中发现的问题出发,对船舶经营人公司、船方的管理和船员方面存在的问题进行了原因分析,提出了实操检查中存在问题的解决措施。     

重型商用车编队行驶设计运行条件分析

编队行驶是指两辆及以上的车辆,利用通信技术和自动驾驶技术使彼此之间保持一定的车距并以稳定的速度进行行驶。近年来随着无线通信技术和自动驾驶技术的快速发展,重型商用车编队行驶成为重点研究的方向,它有助于提高运输的安全性、效率,同时可以降低能源消耗和尾气排放。设计运行条件（ODC）是编队行驶系统的必备条件,即系统可以启动、安全执行动态驾驶任务的条件。文章通过分析国际上关于设计运行条件的构建方法研究现状,结合编队行驶系统的功能特点,提出了适用于重型商用车编队行驶的设计运行条件,并对动静态实体、环境、驾乘人员、车辆状态、跟车距离做了分析,用于保障编队行驶功能在设计运行范围（ODD）内的稳定运行,有助于提升系统安全。