基于UML的软件可靠性建模

标准的UML方法对软件质量部分如何建模是缺乏的,由此本文研究了针对软件可靠性建模和评估的UML剖面,它是基于标准UML元模型的扩展,能对系统中影响软件可靠性的因素建模;同时研究了此模型应用于传统的可靠性评估技术中的一些结论;此模型有助于贯穿软件生命期的软件可靠性工程,以提高待开发软件的可靠性指标.     

一类具有脉冲效应的恒化器数学模型

分析了一个简单的具有两种微生物和周期注入营养液的恒化器模型,得到了一个微生物和营养液共存的周期解,另外,还证明了当脉冲周期小于某个临界值时,该周期解是稳定的,当脉冲周期大于该临界值时,稳定性丧失.     

多维分数次Black-Scholes模型中欧式未定权的定价

讨论了具有任意Hurst参数的多维分数次Black-Scholes模型中欧式未定权益的定价,首先得到了未定权益在到期前任意时刻的分数次风险中性定价,然后求出了欧式未定权益在单资产多噪声、多资产单噪声、多资产多噪声等情形下的定价公式.     

空间数据挖掘技术

空间数据挖掘是数据挖掘的一个分支,在地理信息系统、遥感、导航、环境研究以及许多使用空间数据的领域中有着广泛的应用。阐述空间数据挖掘的定义、特点、体系结构与一般过程,介绍空间数据挖掘的方法和知识表达方法,指出空间数据挖掘的主要研究方向,提出开发空间数据挖掘系统的几点思考。     

计算机组成原理网上虚拟实验系统的建模与实现

基于面向对象思想,对计算机组成原理网上虚拟实验系统进行了分析和建模,并采用信号数据驱动机制对实验过程进行控制,给用户提供一个具有自主性的实验环境.     

一类保费与理赔相关的破产模型

对经典poisson风险模型推广至一种相依的结构,索赔产生时以概率P的可能性同时产生一次续保.对此模型,得到了最终破产概率的一般表达式和破产概率的一个上界估计.     

工程量清单计价模式下的投标报价策略

简述了工程量清单计价法的主要内容,重点探讨了工程量清单计价模式下的一般投标策略和平衡投标策略的技巧,并提出了实行工程量清单计价的注意事项。     

基于单线模型的交通车载电子地图

针对车载导航系统的需要,提出了一种基于单线模式的车载电子地图模型。该模型采用分层管理,对核心的路网结构采用单折线表示道路,节点表示路口,用形值点表示道路的形状,通过有序节点对和道路对的方式来表示交通限制信息。整个地图数据库可以由节点集、道路集和转弯限制集3个集合来描述实现。该模型可以清晰准确地描述道路网络结构及其相关的交通限制信息。试验表明:这种电子地图能很好地支持寻路以及路径导航功能,存储空间较小,非常适合于车载导航使用。     

感潮河道水环境容量理论及计算的若干问题

介绍了感潮河道水环境容量理论及计算的研究现状,分析了存在的主要问题,提出了开展闽江下游河道水环境容量研究的初步设想.     

非参数计量经济模型的变窗宽核估计

在随机设计(模型中所有变量为随机变量)下,提出了非参数计量经济模型的变窗宽核估计,并利用概率论中大数定理和中心极限定理,在内点处证明了它的一致性和渐近正态性.它在内点处的收敛速度达到了非参数函数估计的最优收敛速度.