Gdel语言编译时类型处理技术研究

Gdel是一种发展中的逻辑程序设计语言,目前还没有开发出编译器。Gdel语言的类型系统独特于通常的逻辑程序设计语言,语义上已初步形成了相应的描述方法,建立了严格的理论基础。按照传统的方法,逻辑程序的运行机制和Gdel语言的多态性决定了一些变量的类型和语义只能在运行时才能确定,把这类变量的类型检查放到程序运行中处理,势必增加许多额外的计算。提出了一种处理Gdel语言类型系统的编译技术。针对语言的类型,对其相关语法进行适当修改,通过类型推断,把变量类型的检查工作提前到编译阶段完成,可以较好地处理其变量类型的语义问题,同时减少了运行时类型检查工作,从而提高程序的运行效率。     

统一数据管理空间在大规模并行作业计算中的应用

大规模并行作业的计算通常涉及海量的计算数据和众多的高性能计算设备.随着网格计算技术帮助人们进行计算的同时,大规模并行作业的数据规模的增长也越来越快,对计算速度的要求也越来越高,为了充分利用网格等计算平台上的资源,提高作业的计算效率,人们通常需要将待计算的数据进行分组,然后分别上传至不同的平台上进行计算,这对科学研究和数据管理造成了极大的不便.本文提出了一个针对大规模并行作业计算的统一数据管理空间,实现了异构网格和计算平台上数据的逻辑整合,从而大大提高了对计算数据的管理效率,加快了科学活动的进程.本文最后通过统一数据管理空间在大规模虚拟筛选中的应用,对该统一空间的数据传输效率和数据管理能力进行了分析.     

一种无缝集成的二三维联动WebGIS设计及实现

传统二维GIS具有强大的空间查询、分析功能,而三维GIS具有很好的空间直观显示性。实现二三维GIS的联动与互操作,可以充分发挥二三维GIS各自的优点。本文提出了一种有效可行的解决方案,实现了具有实时联动漫游、缩放和信息标注等功能的WebGIS二三维联动系统。     

基于HJ-1高光谱数据的植被覆盖度估测方法研究

植被覆盖度是衡量地表植被状况的一个重要参数,在水文、生态等方面有重要意义,同时,也是影响土壤侵蚀与水土流失的主要因子,是评价土地荒漠化最有效的指标。以环境一号(HJ-1)小卫星上搭载的新型传感器HSI获取的高光谱数据为数据源,通过选择合适的植被指数建立了植被覆盖度反演模型——像元二分模型。然后运用该模型提取了新疆石河子地区的植被覆盖度信息。通过与地面样方数据进行交互比较,对HJ-1/HSI数据反演植被覆盖度的精度进行了评价。研究结果表明,HJ-1/HSI数据能够得到较高精度的植被覆盖度反演结果,在植被动态及全球变化研究领域具有潜在应用价值。     

基于口令锁生成动态组密钥的整盘加密方案

针对整盘加密模式在实际应用中系统较难维护和密钥管理困难的问题,采用基于口令锁的双层密钥获取结构,应用动态组密钥和安全参数的秘密拆分与门限接入等技术,提出一个基于逻辑口令锁生成组密钥的整盘加密方案。该方案可以实现多用户独立接入,且无需保存磁盘密钥。理论分析和实验结果证明其具有较高的安全性,性能优于同类方案。     

基于价值密度和截止期的网格作业调度算法

对商业网格中的作业调度问题进行研究,采用作业的到达时间、计算量、预算和截止期4个参数定义作业的优先级。在此基础上提出基于价值密度和相对截止期的网格作业调度算法,并对其进行仿真。仿真结果表明,该算法在实现价值率、按时完成作业数和加权作业按时完成率3个性能指标上优于现有算法,兼顾了消费者和服务者的利益。     

基于热平衡的中智学图像分割方法

为降低噪声对图像分割结果的影响,提出一种基于热平衡理论的中智学图像分割方法。该方法将图像转化为中智学图像,考虑每一个像素的不确定性,通过热平衡运算及图像增强处理,使噪声点变得更平滑,再使用γ-均值聚类方法分割图像。实验结果表明,对于含不同程度噪声的图像,该方法的分割效果明显优于中智学方法及改进的模糊C-均值方法。     

基于网络的智能辅导模式研究与系统设计

针对目前辅导行业的现状,为解决课后辅导的自动化、实时化的问题,分析了学生课后学习掌握知识的过程,提出了一个基于学生课后学习规律的辅导模型,建立了面向问题的多层面知识辅导新模式,构建了基于此模式的网络智能家教系统的框架结构。该系统采用基于知识的自动推理技术使得推理过程得以完整保存来分析后续的多层面辅导信息,采用资源模型分解知识粒度保证抽象度,采用网络服务模式满足用户的实时使用。以学生提出的几何问题为实例,展示了多层面辅导过程,实验结果表明了该模式和系统设计的可行性。     

能量优先的无线传感器网络拥塞缓解机制

为适应无线传感器网络大数据量传输的需求,提出一种基于能量优先的拥塞缓解机制(PECR)。根据网络对整体能耗的要求,将节点剩余能量作为一项重要参考指标。节点周期性地检测缓冲区队列占用率来确定当前拥塞度,当拥塞发生时,节点依据拥塞度和剩余能量两项属性,尝试在拥塞节点周围建立临时最佳路径进行分流调节。实验结果表明,采用该机制时,在有节点冗余的网络区域内,可降低节点能耗,提高网络整体生存寿命。     

煤矿安全监控网络中嵌入式网关的研究

设计了一个嵌入式异构网络互联网关,实现计算机网络与现场总线异种网络的互联。讨论了网关的硬件构架以及以太网接口、CAN总线接口的具体设计,介绍分析了嵌入式Linux操作系统下的设备驱动程序、嵌入式TCP/IP的实现过程。在实验室条件下模拟了网关的应用环境,对网关的接口和性能的可靠性和正确性进行了测试,实验结果表明,网关较好地实现了数据通信和协议转换功能。