罗铁庚
- 作品数：10 被引量：37H指数：4
- 供职机构：国防科学技术大学计算机学院网络与信息安全研究所更多>>
- 发文基金：国家高技术研究发展计划国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 协议形式化开发环境的规范语言被引量：6
- 1997年
- LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．
- 罗铁庚陈火旺齐治昌龚正虎
- 关键词：协议形式化LOTOS语言计算机网络
- 支持软件重用的模板化技术
- 1993年
- 本文基于软件重用和软件自动化的思想提出了支持软件重用的摸板化技术TTSSR。在TTSSR中,我们引入了软件模板的概念和可重用软件预处理的方法。使得可重用软件能按照用户需求自动进行修改,生成多种可用软件。同时,在模板库管理方面采用了一种适合大型库管理的类图书管理方法,提供了较强的库导航能力,极大地方便了用户。另外,TTSSR工具提供集成界面、用户界面两种和外界的接口,这使得它具有较强的适应性和良好的灵活性。
- 罗铁庚齐治昌
- 关键词：模板化CASE
- 映射ELOTOS到基于FSM的性能估价模型被引量：1
- 1997年
- ELOTOS是协议描述规范语言LOTOS的扩展．本文用标号转换系统LTS（labeledtransitionsystem）给出了ELOTOS的语义．然后，通过对LTS进行踪迹等价住分析，将ELOTOS映射到基于有穷状态机FSM（finitestatemachine）的性能估价模型．
- 罗铁庚陈火旺龚正虎齐治昌
- 关键词：FSM网络协议计算机网络
- 群机管理系统的作业调度算法研究被引量：3
- 2001年
- 首先分析了常用的作业调度策略及单独使用各策略的不足，然后介绍了作者在自行开发设计的异构群机计算管理系统TUMBLER中提出和使用的三级作业调度策略，重点介绍了在确定作业优先级时使用的基于资源需求度概念的短需求优先的策略。经测试表明，采用基于短需求优先的三级调度策略时，TUMBLER系统较未采用短需求优先策略时的性能有明显提高。
- 吴巨红罗铁庚龚正虎
- 关键词：作业调度算法
- 分布式ARP的研究实现
- 2001年
- 介绍高速IP路由器体系结构下分布式ARP的实现方法，主要阐述了ARP主从分布式控制方法和分布式ARP软件设计思想。
- 彭健颖罗铁庚吕新刚卢泽新
- 关键词：地址解析协议路由器INTERNET网络协议
- 网络计算管理研究被引量：7
- 2000年
- 相对巨型机而言，基于网络的群机系统因其费用小、可靠性好、升级方便等特点，在解决某些高性能计算问题时完全可以代替巨型机，而且随着网络技术的发展及分布式理论的成熟，它将比巨型机有更可观的发展及应用前景。网络计算管理是群机系统能否充分发挥出优势的关键因素。该文介绍了网络计算管理的研究意义、发展阶段和趋势，从评价标准、关键技术和系统结构等方面介绍了网络计算管理的研究内容，并根据比较，选择介绍了几个性能较好的软件产品。
- 吴巨红罗铁庚龚正虎
- 关键词：分布计算DQS网络计算管理软件
- 遗传程序设计(之二)——基于自然选择的程序设计范型被引量：8
- 1996年
- 1.引论“物竞天择,适者生存”是达尔文生物进化论阐明的主要原理之一。自然界中,生物体的结构体现了生物对其环境的适应能力(即生存与繁殖的能力)；
- 吴少岩罗铁庚陈火旺
- 关键词：遗传程序设计程序设计范型自然选择程序设计
- 群机计算资源管理研究
- 2001年
- 随着网络技术的发展，群机计算管理软件作为对群机计算资源进行统一管理的中间件，越来越受到人们的关注。如何合理地管理地理上相对分散的计算资源，达到资源共享的目标，是群机系统发挥性能的关键。文章首先给出了一个基于资源集合概念的资源管理模型，在此基础上，研究了群机系统的资源分配和负载管理问题，并结合作业调度过程说明了资源管理模型与策略的应用。
- 吴巨红罗铁庚龚正虎
- 关键词：群机系统资源管理操作系统中间件
- 遗传程序设计(之一)被引量：17
- 1995年
- 1.引论 近三十年来,计算机学者对模拟自然过程,特别是生物进化过程的算法产生了日浓厚的研究兴趣。研究分析表明。
- 陈火旺吴少岩罗铁庚
- 关键词：程序设计遗传算法遗传程序设计计算机
- 分布实时系统的概率规范和证明形式化
- 1995年
- 1引言 随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。
- 罗铁庚陈火旺齐治昌
- 关键词：实时系统操作系统
