雷达侦察信号环境描述与建模

信号环境仿真是检验雷达侦察设备性能的重要手段。针对雷达侦察信号环境时域、空域、频域、能域分布特点,对雷达侦察信号环境进行了数学描述,建立了雷达辐射源信号环境数学模型,为雷达侦察信号环境仿真奠定基础。     

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

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

中国海洋救助船主力船型——8000kW海洋救助船

文章介绍了中国海洋救助船及主力船型在设计中的优化组合,对海洋救助船船型,主尺度及设备选择有扼要描述,对该类船型的快速性有深入分析,可以作为今后同类船型的良好借鉴.     

主曲线方法在交通安全数据分析中的应用

针对交通安全数据的非参数性,将主曲线方法应用于交通安全数据分析.通过未知分布数据集的HS主曲线算法对交通安全数据进行分析后,得到一条通过数据集合中间的曲线,来描述该数据集合的特征,以此作为执行管理标准的依据.研究表明,交通安全数据集的主曲线能够较好的描述出数据本身所具有的非线性关系,可以作为执行管理标准的依据.     

基于广义回归神经网络的公路货运量预测方法研究

公路货运量受多种因素影响,各因素的作用机制通常不能准确地用数学语言进行描述.采用广义回归神经网络(GRNN)对货运量进行分析及预测.通过对1995～2003年南京市公路运量的历史数据进行分析和处理,对网络进行训练和拟合,用2004～2005年的实际数据进行模型检验,结果证明了GRNN用于货运量预测的有效性.     

空间描述的三维有限变形固结理论

本文从连续介质力学的基本理论出发，用欧拉描述方法，建立了空间构形下饱和土体三维有限变形的固结微分方程及其增量表达式。这组方程在形式上与Biot固结方程很相似，小变形条件时亦可直接 经为Biot固结方程。     

灰色理论与模型在交通量预测中的应用

由于缺乏交通量预测资料及判断影响交通量生成与增长因素的准确性不够，致使道路交通量的预测结果与实际有较大差异。本文论述了灰色理论与模型在交通量预测中的应用技术、方法与程序。该方法利用了累加生成手段和微分方程描述的灰色模型，与目前常规交通量预测理论和模型相比，可有效地处理贫信息和离乱数据，在一定预测时段内具有良好的预测精度和实用性。     

某舰炮电液伺服系统的非线性自振荡

电液伺服阀主阀芯上的摩擦力和弹簧力可以形成一种能使绝大多数一阶无差系统产生自振荡的非线性特性。本文根据某舰炮电液伺服系统的研制实践，分析了这种非线性自振荡的起因，介绍了不同校正方案的结果，提出了抑制这种非线性自振荡的方法和途径。     

角色自律分散系统的RN-C形式化描述方法

旨在为角色自律分散系统的建模提供一种形式化方法,为形式化验证奠定基础.角色随时空变化的动态表达取决于系统的自律度和环境条件.在对几类系统自律性的度量指标分析比较的基础上,从内部视点和外部视点2个角度,以及行为层、协调层和规范层3个层次,定义了角色自律度矩阵;提出了角色规范-条件(RN-C)形式化描述方案,包括角色、角色空间、规范、角色转换、行为条件等基本要素.应用RN-C方案,建立了角色行为状态的自激状态声明和受控状态声明的形式化描述;给出了角色域与数据域双重驱动体系结构中的行为原语描述,包括操作行为原语、请求行为原语、改变行为状态原语、角色仲裁行为原语;实现了角色自律分散系统行为的形式化描述.指出基于分层有限自动机的角色演化建模,环境依存度与规范-条件的映射关系等是下一步研究的重点.     

离散描述系统干扰解耦状态观测器设计及鲁棒故障诊断

对一类带有未知输入干扰的离散描述系统，提出了一种新型的干扰解耦状态观测器；对一类带有未知输入干扰和有界不确定性的离散描述系统，以状态观测器为基础，利用故障信号与观测误差之间的关系，构造了一种带有未知输入干扰的离散描述系统的鲁棒故障诊断方法。该方法不但能够检测系统中是否出现故障，而且还可以估计出故障的幅值大小。文中还讨论了阈值的选取、该算法能检测到的最小故障信号和故障信号的估计误差，其仿结果表明了该方法的有效性。