遥感信息元数据集成服务系统的研究与实现

在SOA框架下研究遥感信息资源元数据的集成涉及的关键技术。系统中数据源以服务的方式动态接入,并通过一个中间代理层对外提供统一的服务;系统将W eb服务技术与联邦模式技术进行有机地结合,实现了异构遥感元数据的集成,支撑遥感数据的跨域共享。试用结果表明,系统完全达到了设计目标,效果良好。     

复杂嵌入式实时系统体系结构设计与分析语言:AADL

首先归纳了AADL(architecture analysis and design language)的发展历程及其主要建模元素.其次,从模型 驱动设计与实现的角度综述了AADL 在不同阶段的研究与应用,总结了研究热点,分析了现有研究的不足,并对 AADL 的建模与分析工具、应用实践进行了概述.最后,探讨了AADL 的发展与研究方向.     

同步语言的时间可预测多线程代码生成方法

能够提供更强计算能力的多核处理器将在安全关键系统中得到广泛应用.但是,由于现代处理器所使用的流水线、乱序执行、动态分支预测、Cache等性能提高机制以及多核之间的资源共享,使得系统的最坏执行时间分析变得非常困难.为此,国际学术界提出时间可预测系统设计的思想,以降低系统的最坏执行时间分析难度.已有研究主要关注硬件层次及其编译方法的调整和优化,而较少关注软件层次,即时间可预测多线程代码的构造方法以及到多核硬件平台的映射.本文提出一种基于同步语言模型驱动的时间可预测多线程代码生成方法,并对代码生成器的语义保持进行证明;提出一种基于AADL(Architecture Analysis and Design Language)的时间可预测多核体系结构模型,作为本文研究的目标平台;最后,给出多线程代码到多核体系结构模型的映射方法,并给出系统性质的分析框架.     

WebSASE监控管理系统设计与实现

在基于Web服务的应用支撑环境(WebSASE)中,为了监控和管理环境中多个分布式工作流引擎及Web服务运行容器的运行状态、监控部署在引擎中组合服务/服务的运行状态,给出了一个基于Web服务的应用支持环境监控管理系统的设计与实现.     

政务信息资源目录体系和交换体系总体框架探讨

针对电子政务目录体系和交换体系的跨部门共享数据相容性，业务流程协同性等问题．提出一种由服务模式、技术架构．信息资源和管理机制组成的可行解决总体框架；抽象出资源共享式．政务协同式、辅助决策式和公共服务式四种服务模式；给出了一种基于核心元数据实现资源目录和基于UDDI技术实现服务目录．基于Web服务技术和面向消息中间件技术的交换体系技术方案。     

研究型学院人才培养的思考与探索

<正>今天我来谈一谈对研究型学院人才培养方面的思考和探索。首先从社会需求来看,据人事部人才网的统计数据显示,2001～2007年,全国各个地区对人才需求的统计情况如表1所示。     

研究生的质量与培养——求通解,还是求边界解?

蚂蚁带来的启示社会学家曾经做过这样一个实验:蚂蚁活动时,从宏观上看,每只蚂蚁都在忙碌;仔细观察时,却发现只有20%的蚂蚁特别优秀,一直在辛勤地劳作,其中也有20%在偷懒。这时,如果把20%特别忙碌的蚂蚁从观察对象中取出,再对剩下的蚂蚁进行观察,发现又会有20%的蚂蚁特别优秀。如果把20%不好好干活的蚂蚁取出来,就发现仍有20%的蚂蚁不好好干活。无论观察对象的群体有多大,忙碌的和偷懒的蚂蚁所占比例总体相当。这说明,在群体里,有优秀的是正常的,有不优秀的也是正常的。当群体中个体数目比较多的时候,优秀的和不优秀的数目也都相应增多了,不…     

局域网上支持组播的网络仿真环境的构建方法与实现

网络仿真是设计、验证、分析和评测网络协议及网络应用程序的重要方法,NS是目前网络协议研究领域广泛使用的网络模拟和仿真软件,具有良好的开放性和可扩展性。文章分析了NS的仿真实现-NSE采用的网络仿真方法及其不支持组播仿真的局限;给出了一种在局域网内构建支持组播的网络仿真环境的方法,通过该方法可以在局域网上构造易配置、仿真精度较高、并且支持组播的仿真环境;最后给出对该组播仿真方法的测试及评价。     

基于规则子块体数据的属性几何体建模

论文着重研究基于规则子块体数据的属性几何体建模方法。基于一种适合大数据量的标量体数据表示结构和一种基于种子填充的三雏空间区域划分算法,提出了一种新的属性几何体建模方法,该方法可应用于由复杂曲面生成复杂体结构,并要求对空间节点进行属性分析的领域,如石油地质建模等。     

一种基于Web Service的分级QoS的研究与实现

随着Web Service技术的广泛应用,Qos成为一个非常重要的问题．以服务响应时间为Qos参数,验证了一种基于Web Service的分级QoS方法,提出了目标时间预设模型,并针对优化问题提出一种基于动态规划的解决方法,并实现了原型系统．实验数据表明这种方法有效地控制了负载平衡,实现了服务分级．