ISO／OSI运输层协议的形成描述

通信协议的形式描述是协议实现，正确性验证和一致性测试的基础，本文用一种混合式模型对ＩＳＯ／ＯＳＩ运输层协议进行了形式描述，为协议的实现打下基础。     

基于改进遗传算法的网格任务调度

为在网格环境下完成任务调度,使服务运行时间和费用2个指标达到最优化,将这2个指标作为网格任务调度模型的衡量指标,将计算经济模型引入网格资源管理,改进了遗传算法。算法中的染色体编码采用间接编码方式,对每个任务占用的资源编码,即实数编码方法。生成初始种群时采用随机生成种群和根据某些先验知识生成种群这2种方法相结合,变异操作时根据原来染色体的适应值和适应度函数进行有目的的随机变异。通过网格仿真平台GridSim对该算法进行模拟验证,并将其与简单遗传算法及GridSim中经济模型下时间最优算法DBC_Time比较,试验结果证明,其能较好完成网格环境下任务的调度,实现时间和费用双目标优化。     

ISO/OSI运输层协议的形式描述

通信协议的形式描述是协议实现、正确性验证和一致性测试的基础．本文用一种混合式模型对ＩＳＯ／ＯＳＩ的运输层协议进行了形式描述，为协议的实现打下基础     

基于动态规划的柔性工作流

为提高柔性工作流对业务环境不确定性和多变性的响应能力,提出了一种基于流程模式的工作流动态规划技术.采用流程模式的知识表示方法描述业务领域专业知识,工作流建模阶段不确定的执行过程或执行因素用一个特殊的"目标活动"来表示;通过在流程执行过程中实时获取目标活动的上下文信息,实现流程执行过程中的实时规划,使得流程的执行过程能够更加实时地反映外界影响因素的变化;给出了基于动态规划柔性工作流的结构化设计和上下文数据的形式化定义,进而设计了目标匹配的流程规划算法,该算法支持流程的递归规划.最后,给出了一个"接收对象不明确"的工作单分发流程实例,表明了动态规划的优势,并与其他支持工作流柔性的方法进行了比较.     

面向密集数据处理的网格平台研究

针对网格环境下的密集数据处理,构建了网格平台IDPGP.该平台基于Globus Toolkit 4、OGSA-DAI、Condor和PBS,主要提供网格信息服务、网格资源管理、数据访问与集成等服务,实现网格资源共享,完成密集数据的读取与处理.在网格资源管理服务中设计了一个基于分层模型的计算资源管理模型,既保证了每个虚拟域的一致性和可管理性,又增强了整个平台的可扩展性和容错能力.     

TCP／IP网管技术及结构

论述了ＴＣＰ／ＩＰ协议簇中ＳＮＭＰ的体系结构,管理协议的工作过程,信息管理库ＭＩＢ中变量的命名规划及命名的表示方法,并用ＡＳＮ．１语言表示了一个ＭＩＢ的变量。