基于非竞争机制的改进GAF拓扑控制算法

能量问题是制约无线传感器网络发展和应用的瓶颈之一。为均衡网络节点的能量消耗,延长网络的生命周期,需要建立高效的拓扑控制机制。在深入研究GAF算法的基础上,提出了一种基于非竞争机制的改进算法。利用建立的适合度函数和顺序表优化了簇头的选举策略;通过改进虚拟单元格的划分方法,并推导出动态剩余能量阈值估算公式,有效地改善了GAF算法的相关性能。仿真结果表明,改进算法对于减少拓扑控制耗费、延长网络生命周期具有显著效果。     

基于Vega粒子系统的自由大气分子运动虚拟仿真

在军事训练中,三维仿真的战场环境发挥了极为重要的作用。本文将对战场环境中的自由大气进行虚拟仿真。首先分析自由大气中运动分子的性质,详细介绍在模拟不规则自然现象中运用最多的粒子系统技术,最后在Vega中运用粒子系统对大气分子的运动进行模拟仿真。仿真结果能基本模拟出大气分子的运动特性,且可以通过接口编程访问粒子的属性,从而能在无人机等航迹规划的危险天气现象的规避中加以运用。     

气象传感器网络系统架构与体系结构研究

传感器网络将在气象观测领域发挥越来越重要的作用。针对地面气象观测的现实需求,提出了气象传感器网络的概念,构建了气象传感器网络的应用场景,完成了其需求分析与系统架构设计,深入分析了气象传感器网络可采用的通信手段。在陆上传感器网络体系结构的基础上,结合气象传感器网络的特点,设计了气象传感器网络的体系结构,将其结构划分为物理层、数据链路层和网络层。对该体系结构各层的功能进行了深入分析,最后对气象传感器网络的应用前景进行了展望。     

多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。     

基于Grid Services的水库洪水预报系统研究

该文在深入研究Grid Services技术的一些最新学术和应用成果基础上,结合目前水库洪水预报系统的需求分析和设计原则,系统地论证了使用Grid Services技术实现水库洪水预报系统可行性和优势。同时根据系统特性和要求,给出了基于Grid Services的水库洪水预报系统的基本框架结构．为实现在Internet环境下进行洪水预报调度提供了分布式计算平台。     

乐清湾海洋环境季节特征及水交换过程研究

基于4个航次的实测资料,分析乐清湾的温(度)盐(度)、潮汐、潮流和余流等海洋环境季节分布特征,并采用环境流体动力学模型研究乐清湾的水交换过程,提出一个计算海湾水体平均置换率的简单公式,以直观描述湾内水体与湾外水体交换的过程特征。结果表明,乐清湾的水交换能力与湾内温(度)盐(度)水平及断面分布特征一致,从口门到湾顶,水交换能力差别较大,连屿至打水山断面以南的水体基本1个月可完全交换,连屿至打水山断面以北的水体2个月仍然无法交换到湾口水平。     

基于模糊控制的微型燃机燃料压力控制

针对微型燃气轮机在控制时由于压力不恒定而导致的运行效率低的问题,将模糊PID控制思想运用到控制系统。在传统的PID控制下加入模糊控制,使其PID参数具有在线自整定功能。仿真结果表明,该方法能够很好地提高压力控制效果。     

Surfer Automation技术在气象业务软件中的应用研究

针对当前气象业务应用软件存在绘制局部等值线图编程复杂、操作繁琐、地形边缘不精细、要素显示不直观等不利于天气分析的弱点,以军队格点报为例,介绍了基于Surfer Automation技术绘制军队格点报等值线图的方法,实现了局部精细绘制等值线图和动态显示站点气象要素值的功能,降低了编程复杂度,并将该技术应用于业务应用软件中。     

求解含非线性参数的QoS路由的启发式算法

具有非线性参数的QoS路由分为含有非线性约束条件的QoS路由和含有非线性优化目标的QoS路由两类，它们都是NP问题．提出了两种启发式算法求解这两类QOS路由优化问题问题．对第一类问题，求解去掉非线性约束条件后的优化问题．如果找到的解满足非线性约束条件，则该解是最优解；否则在优化问题中添加一个新的线性约束，将已得到的解去掉，反复下去就可得到最终解．对第二类问题，将非线性优化目标换为约束条件中的线性参数，求解此优化模型，如果有解，则记录此时对应的非线性目标值．而后增加一个新的线性约束，去掉刚才得到的解，比较两次得到的非线性目标值，保留最小值．如果得到的解不满足该线性参数的约束条件，则算法结束；否则继续迭代．证明了两种算法的收敛性，并且时间复杂性为近似多项式时间．计算实例表明了算法的有效性．     

利用数字化 开展个性化 缩微影像资源 推送服务

缩微品数字影像资源个性化主动推送服务体现的是:由“封闭式”服务向“开放式” 服务转变;由“被动式”服务向“主动式”服务转变;由“自我式”服务向“共享式” 服务转变的全新服务理念。