基于网格计算市场模型的资源与作业描述语言的研究

网格计算市场模型是把经济学的概念应用到网格的资源管理和作业调度中的模型。本文分析了网格计算市场模型中资源和作业描述语言的需求,简要介绍了资源和作业描述语言Classified Advertisements(Classad),指出它在网格计算市场模型中描述资源和作业的不足之处,对它做了相应的改进和扩充．以实现在经济模型下对资源和作业更加灵活、细枉度的描述。     

基于作业进展描述的计算网格作业检查点

分析了计算网格环境中实现检查点机制的特殊性,提出了一种新的应用级检查点方法：基于作业进展描述的检查点方法。介绍了这种检查点方法的基本思想,定义了构成作业进展描述的作业进展状态对象和作业进展描述对象,这些对象的方法构成了检查点API;讨论了检查点作业的构建。     

网格环境下的作业流量分析与建模

网格作业流量模型是网格性能评价和预测的基础,通过对Grid’5000一年内的网格作业记录的分析,描述了网格作业流量的特点。基于该特点和Poisson模型的不足,提出以作业到达时间间隔描述作业流,采用马尔可夫调制泊松过程(MMPP)作为流量模型的建模方法。通过在网格层和虚拟组织(VO)层的建模,并与Poisson模型和超指数模型的对比实验分析,表明MMPP可较好地为网格作业流量建模。     

基于移动代理的网格作业管理模型的研究

网格作业管理是网格的最主要的功能之一,主要涉及到网格计算环境下作业调度和分配、作业分解和迁移、负载平衡等问题.介绍了一种引用移动代理Agent技术的网格作业管理模型,并针对该系统依次详细地描述了其中的作业提交与发布、作业调度以及作业的分解和迁移,最后给出基于移动代理的网格作业管理模型的原型系统,并对该系统作单机与联机的性能进行分析和比较.     

生物数据网格的应用研究

网格研究的背景和生物科学发展所提出对数据处理的要求出发，引入了生物数据网格．介绍了目前一些用于生物数据管理及计算的网格系统，提出了一个生物数据网格框架，描述了在调控基因的生物数据网格上进行数据挖掘的过程和相应的机制。     

面向生物信息的网格工作流开发与运行环境

网格工作流系统通过组合网格计算结点上的资源为生物计算等领域的复杂计算任务提供了支持。为了解决已有系统中用户需要对流程语言细节有较深入了解以及操作和配置较为复杂等问题,设计和实现了面向生物信息领域的网格工作流开发与运行环境。生物信息领域的用户使用该系统,可以通过web的方式实现对生物计算模型较高抽象层次的在线流程设计、流程作业的提交、作业状态的管理以及计算结果的查看等操作。最后通过生物计算领域的基因计算任务说明了系统对生物信息学应用的支撑功能。     

基于SGE的仿真网格及其作业调度研究

网格引擎是一个构建本地和集群网格的工具,其框架是由四种类型的主机及其对应的守护进程构成.该文主要研究了通过SGE框架构建分布式仿真网格平台的方法,描述了仿真网格平台上执行用户提交的仿真任务的工作流程.随后讨论了基于SGE仿真网格中的资源组织和作业调度,并分析了仿真网格中所使用的作业调度算法,包括确定作业顺序的FIFO算法、优先级算法、等额度和日历算法等;确定队列顺序的负载调整、队列号等算法等.     

计算网格资源管理的并行实现

对网格资源的含义及目的作了介绍，给出了资源管理的实现过程。在计算网格资源管理模型Globus的基础上，提出了网格资源管理中作业管理的并行化，对各个管理部分做了具体的描述。提出了作业并行分析器，实现作业管理的并行化，在一定程度上缩短了作业管理的时间，提高了作业管理的效率。其中对作业并行分析器进行了详尽的描述，使其根据各任务的依赖关系将作业中的任务划分为不同的任务组，并对每个任务组进行适当描述后提交给资源分配器。     

基于GridSim的网格模拟框架设计与实现

设计并实现一个基于GridSim的网格模拟框架GSF,利用XML语言描述网格资源、用户、作业,提供网格调度接口。针对工作流作业定义工作流描述语言GSWDL,实现一个工作流模拟器WorkFlowEngine。模拟实验结果证明,GSF可以减少用户对GridSim的学习时间和难度,为研究者提供一个易用、可扩展的网格模拟环境。     

校园网格的资源评估算法研究

针对校园网格主要应用于科学计算的特点,面向应用提出并实现了一种评估资源是否适宜分配作业的算法,指导校园网格应用合理分配作业,实现校园网格系统中作业运行时间短和资源负载平衡.重点阐述了网格资源的作业适宜分配度算法,包括网格资源的初始权重算法、信誉度算法和动态负载算法,完善了网格资源评估体系.最后通过仿真实验对资源评估算法完成了验证,证明所提出的算法是可行并有效的.     

基于流程描述的测试程序开发平台的研究与应用

为提高通用自动测试系统中测试软件的通用性和开发效率,以STD（测试和信号定义,IEEE1641）标准为基础,借鉴该标准中信号分类及处理的方法,对测试流程进行描述。并以测试流程描述为基础,提出基于流程描述的测试软件开发平台。该平台通过对测试流程的描述和自动解析,实现无编程的测试程序开发。目前,该测试程序开发平台已经在某新型通用测试诊断系统中得到初步应用。     

基于层次消息的应用系统模型

在分析应用系统层次结构的基础上。提出了应用系统构件化的层次消息开发模型；描述了基于层次消息模型应用系统的抽象层次、组成构件及其结构特征、连接方式及其形式化的描述、消息及其形式化的描述，并给出了一套在该模型下开发的建议规范与方法。     

一种基于接口匹配的构件库设计

基于构件的软件工程可以提高软件的质量,降低软件开发和维护的成本,构件的描述是构件检索和复用的基础,本文提出了一种基于的构件接口描述的匹配方法,从而提高构件的查全率和查准率,进而改进了构件库的检索效率。     

军事应用网格的资源模型及形式化描述

结合军事应用网格建设的需要，提出了一种基于自治资源域的层次化逻辑资源树模型，研究了军事应用网格的资源类型，给出了网格资源的形式化定义，解决了网格环境下资源的统一表示问题，方便了各种资源的描述、发布及应用。     

面向图形的构件依赖关系的描述方法

对CORBA分布式应用中构件间依赖关系的描述和依赖关系的动态更新进行了较详细的分析.在此基础上提出了一种面向图形的构件间依赖关系的描述方法,该方法把基于CORBA的分布式应用的体系结构视为一张逻辑图,在图上预定义一组操作,这有助于构件间依赖关系的描述和应用系统的动态配置.同时在CORBA之上实现了一个原型,概括地介绍了实现方法.     

基于JSP的藏文古籍著录系统设计研究及实现

本文对藏文古籍著录的内容进行了具体的研究和分析,并对著录系统界面进行了设计和基本功能的实现。本系统包括了四个子系统,分别是书籍著录系统、铭刻著录系统、文书著录系统和讲唱著录系统。最后,本文详细介绍了书籍著录系统的设计和实现。     

军事应用系统效能仿真的仿真想定开发方法研究

以军事应用系统为主体的效能仿真,其仿真结果的真实性和可信度是用户最为关注的问题。仿真想定为军事应用系统的效能仿真供提了从真实世界到概念模型的转化方法和描述规范。通过对军事应用系统在真实世界中的应用背景、应用模式、应用过程的研究,依据其效能指标和应用原则,以及相关的作战想定和军用文书制定的仿真想定,对仿真系统的开发和仿真结果真实性有着很大影响。该文着重分析了仿真想定的开发过程和描述规范。     

基于粗糙描述逻辑的不精确时态知识表示研究

在粗糙描述逻辑基础上扩充不精确时态关系,以满足不精确时态知识表示与推理的需要。首先给出了粗糙集及粗糙描述逻辑的相关概念;接着通过定义粗糙时态描述逻辑不精确时态关系,扩展了粗糙描述逻辑中具体域,并给出了可靠性和完备性证明;最后通过实际例子说明粗糙时态描述逻辑的知识表示和应用,结果表明扩展后的粗糙时态描述逻辑可以实现不精确时态知识的表示与推理。     

多维度的安卓应用相似度分析

基于安卓的智能设备的普及和移动互联网的发展带来了安卓应用的繁荣,但同时也带来了移动应用的开发、维护、安全等方面的问题。采取了多种技术,提取了安卓应用的功能描述、权限声明及源代码,并基于这些信息对1173个安卓应用进行了统计分析、相似度计算、聚类以及交叉对比;利用多个维度的安卓应用特征相似度分析,初步得到了安卓应用多个维度的相关规律,其可辅助不同的安卓应用的开发和管理任务,如权限过度声明检测、重打包检测、应用描述完善、领域内的公共类库的发现和提取等,从而帮助改善安卓市场的生态并提高安卓应用的开发效率。