基于3SF技术嵌入式软件可靠性定性仿真分析

针对嵌入式系统软件可靠性设计中存在的失效问题,从可靠性的概念和特点入手,将“3F”技术—故障模式影响及危害性分析FMECA,故障树分析FTA和故障报告、分析与纠正措施系统FRACAS引入到软件可靠性定性分析中,称之为“3SF”技术。深入研究了3SF技术在软件可靠性定性分析中的应用,给出软件FMECA和FTA分析实例,并对将两者与软件FRACAS的结合作了研究。     

水面舰水声对抗综合仿真环境研究

在水声对抗仿真研究中,由于依据声纳方程建立的声抗模型误差较大,因此可通过信号仿真及半实物仿真方法来提高模型精度,但这将为水声对抗仿真环境的构建带来较大困难。为了尽可能真实地评估水面舰水声对抗系统对抗来袭鱼雷的作战效果,建立了包括作战平台、声抗平台以及半实物平台的水面舰水声对抗综合仿真环境。本文给出了构建该综合仿真环境的解决方法,并介绍了该环境中的三个子环境的组成及作用,而后描述了本综合仿真环境的功能及运行效果。该综合仿真环境的构建,对提高评估结果的可信度以及水面舰水声对抗系统的研制和使用有着重要的意义。     

基于事例推理的车辆路径问题智能建模方法

针对传统的人工离线建模难以适应现实环境中车辆路径问题动态性这一缺陷，以车辆路径问题的机器建模方法为研究内容，以提高建模工作的实时性和智能性为目标，提出了基于事例推理的智能建模方法。该方法使用基于属性-建模知识重用度的多层加权最近相邻检索方法实现事例的检索；使用基于规则的推理方法完成旧事例建模经验的复用与建模结果的调整。基于这一智能建模方法，实现了车辆路径问题智能建模的原型系统。系统的应用表明，该建模方法在速度币口有效性方面符合实际环境的基本要求。     

五叉环形交叉口信号协调控制模型

对五叉环形交叉口的信号控制方法进行了研究。给出了基于环道容量约束的信号控制参数优化的模型。模型着重考虑了两个因素：环道容量约束，进口道灯、环道灯相互之间的绿信号协调、红信号协调。利用本文提出的控制模型设计了一个实例的信号控制方案，并通过VISSIM仿真评价了该信号控制方案。验证了本文提出的控制方法的有效性。     

中国农村金融组织架构的帕累托最优状态分析

从农村信用社在中国农村金融市场中的垄断低效率出发，利用帕累托最优化分析了中国农村民面金融的存在和发展是对垄断低效率的一种帕累托改进，在有效的引导和监管机制下，民间金融的发展对农村信用社、农村经济主体和政府是有利的，不会损害三者中任何一方的利益。     

带有违约风险的最优投资组合

研究了投资者面对违约风险时,在由可违约零息债券、股票、国债及货币市场账户组成的投资组合之间进行最优投资的问题。其中,违约风险在一个简化形式模型框架中建模,并且,投资组合中风险资产的价格根据状态变量的仿射结构在一个仿射期限结构框架中建模。指出:最优投资组合策略包含了一个均-方部分和分别对应于短期利率及风险市场价格的两个套期保值部分。最后,研究了状态变量是V asicek过程时的确定解。     

水利水电工程三维动态可视化仿真技术与应用

提出了基于地理信息系统（GIS）的水利水电工程三维动态可视化仿真技术，实现图形辅助仿真建模、全过程动态仿真计算和基于GIS的仿真可视化。图形辅助建模采用层次化和模块化建模思想，通过组合图形元素建立模型，有效地降低了建模的复杂性。全过程动态仿真采用“双仿真钟”模式，兼顾了仿真的整体性和细节性，对整个施工动态过程进行仿真。用GIS实现仿真的三维可视化改变传统的仿真结果的表现模式，为施工系统分析和管理提供了一个有力的工具。实际工程应用证明了该方法的有效性。     

非线性系统自适应逆设计及应用

对于一类存在输入未建模动态的非线性系统,提出了一种基于RBF神经网络的自适应逆补偿器设计方法。首先应用两个神经网络设计了补偿器,一个用来估计输入未建模动态,另一个用来作为未建模动态的自适应逆补偿器。该设计放宽了对未建模动态的一些苛刻的要求,如相对度为零,满足小增益条件等。仅要求D(u)逆稳和连续光滑。然后应用反演设计技术设计了控制器,并应用Lyapunov稳定性理论推导出神经网络权重向量的调节律,同时证明了闭环系统的渐进稳定性。最后给出的BTT导弹纵向控制系统设计仿真实例证明了该设计方法的有效性。     

空间聚类算法中的K值优化问题研究

在典型的空间聚类算法K-平均法和K-中心法中,K一般为用户事先确定的值,然而,实际中K值很难被精确地确定,往往表现为一个模糊的取值区间。在此提出距离代价函数的概念,建立了相应的数学模型并设计了一个新的K值优化算法,对空间聚类K值优化问题进行了初步的研究。     

资产价格的抛物线跳跃扩散模型

以Bibby与Sφrensen(1997)抛物线扩散模型为基础,用一个线性趋势和跳跃加上一个扩散过程为资产价格对数建模,该扩散过程是一个漂移项为0、扩散系数依赖与瞬时的资产价格,该模型称之为抛物线跳跃扩散模型.通过模型成功的拟合了几个不同价格指数数据集合,表明抛物线扩散跳跃模型能够很好的体现资产收益分布的检验特征.开发了基于Milstein的McMC算法,成功的估计了模型的参数及隐含变量,并验证了所开发算法的有效性.