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

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

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

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

跳跃扩散模型外汇重置期权定价

在完全外汇市场环境下讨论了外汇汇率过程受Brown运动和Possion过程共同驱动时外汇重置期权的定价问题.利用等价鞅测度和标准正态分布函数给出了这一模型下单时点重置外汇看涨期权的定价公式,最后在常系数条件下导出了一种特殊形式外汇重置期权的Black-Scholes公式.     

驱动单个原子制备纠缠相干态

提出一种利用经典场驱动单个原子与一个多模腔场相互作用制备腔场的多模纠缠相干态的方案.交替调整原子的跃迁频率,使原子与经典场及多模腔场交替作用,通过对原子的选态测量使多模腔场塌缩为多模纠缠相干态.     

复杂动态网络模型研究进展

对复杂动态网络模型的研究现状做了综述,总结了复杂网络的演化机制与属性特征,提出了以复杂动态网络为虚拟计算平台和理论基础,开展大型Ad Hoc网络、传感器网络的网络性能、网络规划、信号增强、拓扑优化的一系列研究课题.     

双结构互补网络的研究

近几年研究发现,互联网运作的数学模型,由原先正态分布的随机模型转变为幂次分布的无尺度模型。无尺度现象导致“带宽瓶颈”、“数字鸿沟”等问题。如何才能从爆炸式增长的互联网信息资源中筛选主流资源?由此提出双结构联网思想:在保留TCP／IP主体结构的基础上,增添一种专门用于传播主流资源的次级结构。采用互联结构与播存结构并存,可以让主流资源通过卫星广播直达全国城乡,克服数字鸿沟,实现“适当的人在适当的时候享用适当的信息”的目标。     

J-C模型中求解波函数的算符矩阵方法

提出了一种利用算符矩阵的方法,可以简便地求出J-C模型中的能量本征值和本征函数,并得到波函数随时间的演化规律.     

基于类型系统的完整性信息流控制

构造了一种实现完整性信息流控制的安全类型系统.首先,为π-演算建立具有完整性安全等级的安全类型.然后,建立该安全类型的子类规则和类型规则,这些规则实现了系统的完整性策略及对系统行为的限制.最后,证明该类型系统的类型合理性,表明满足初始安全策略的系统经过不断的演进、交互,系统的安全属性依然可被满足.所建立的完整性信息流控制机制可通过静态类型检验高效实现.     

网络环境下组合体交互式3D动画的设计

工程制图组合体网络教学系统的特点是三维实体造型多,动画数据量大,交互性强,对网络带宽要求高,开发该系统的关键和难点在于实现组合体三维动画的网络快速传输和实时交互.介绍了建立组合网络3D模型、动画及交互式操作,以及如何提高三维模型网络传输速度的实现方法.实验表明,基于Java 3D的组合体动画具有网络响应速度快、交互性强、文件占用空间小的优点,对于开发组合体网络教学系统十分适用.     

用于可压缩Navier-Stokes方程的多速度级与多能级

构造了用于可压缩Navier Stokes方程的25 bit格子Boltzmann模型, 它具有3个速度级和3个能级. 令其局部平衡态分布函数具有质量、 动量和能量守恒, 同时假设平衡态分布函数满足高阶矩条件, 得到了具有二阶截断误差的可压缩Navier Stokes方程. 数值模拟表明, 所得结果比一阶模型的结果有较高的精度与分辨率.