检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

支持软件重用的模板化技术

计算机工程与科学 1993年第4期15卷 19-27页

作者：罗铁庚齐治昌国防科大计算机系 410073

本文基于软件重用和软件自动化的思想提出了支持软件重用的摸板化技术TTSSR。在TTSSR中,我们引入了软件模板的概念和可重用软件预处理的方法。使得可重用软件能按照用户需求自动进行修改,生成多种可用软件。同时,在模板库管理方面采用... 详细信息

本文基于软件重用和软件自动化的思想提出了支持软件重用的摸板化技术TTSSR。在TTSSR中,我们引入了软件模板的概念和可重用软件预处理的方法。使得可重用软件能按照用户需求自动进行修改,生成多种可用软件。同时,在模板库管理方面采用了一种适合大型库管理的类图书管理方法,提供了较强的库导航能力,极大地方便了用户。另外,TTSSR工具提供集成界面、用户界面两种和外界的接口,这使得它具有较强的适应性和良好的灵活性。

关键词：软件重用模板化 CASE

在线全文

学校读者我要写书评

暂无评论

遗传程序设计(之一)

计算机科学 1995年第6期22卷 12-15页

作者：陈火旺吴少岩罗铁庚国防科技大学计算机系长沙410073

1.引论近三十年来,计算机学者对模拟自然过程,特别是生物进化过程的算法产生了日浓厚的研究兴趣。研究分析表明。

关键词：程序设计遗传算法遗传程序设计计算机

在线全文

学校读者我要写书评

暂无评论

协议形式化开发环境的规范语言

软件学报 1997年第11期8卷 817-823页

作者：罗铁庚陈火旺齐治昌龚正虎长沙工学院计算机系长沙410073

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制... 详细信息

LOTOS（languageoftemporalorderingspecification）是一种基于进程代数CCS的协议规范语言，面向协议验证，但它不能描述协议的某些性质．本文提出了一种LOTOS的扩充语言ELOTOS（extendedLOTOS），它在LOTOS的基础上引入了异步通讯机制、时间描述、事件发生的随机性描述．

关键词：协议规范语言协议形式化 LOTOS语言计算机网络

在线全文

学校读者我要写书评

暂无评论

分布实时系统的概率规范和证明形式化

计算机科学 1995年第6期22卷 16-18页

作者：罗铁庚陈火旺齐治昌国防科技大学计算机系长沙410073

1引言随着数字系统变得越来越小、越来越便宜,它们用于物理过程控制和与物理过程互协作的机会将越来越多。互相协作的过程如果出现意外行为,后果将可能很严重。

关键词：实时系统概率规范证明形式化操作系统

遗传程序设计(之二)——基于自然选择的程序设计范型

在线全文

学校读者我要写书评

暂无评论

计算机科学 1996年第1期23卷 14-18页

作者：吴少岩罗铁庚陈火旺国防科技大学计算机系长沙410073

1.引论“物竞天择,适者生存”是达尔文生物进化论阐明的主要原理之一。自然界中,生物体的结构体现了生物对其环境的适应能力(即生存与繁殖的能力)；

关键词：遗传程序设计程序设计范型自然选择程序设计

在线全文

学校读者我要写书评

暂无评论

群机计算资源管理研究

计算机工程与应用 2001年第9期37卷 68-70,102页

作者：吴巨红罗铁庚龚正虎国防科技大学计算机学院网络与信息安全研究所长沙410073

随着网络技术的发展，群机计算管理软件作为对群机计算资源进行统一管理的中间件，越来越受到人们的关注。如何合理地管理地理上相对分散的计算资源，达到资源共享的目标，是群机系统发挥性能的关键。文章首先给出了一个基于资源集合概... 详细信息

随着网络技术的发展，群机计算管理软件作为对群机计算资源进行统一管理的中间件，越来越受到人们的关注。如何合理地管理地理上相对分散的计算资源，达到资源共享的目标，是群机系统发挥性能的关键。文章首先给出了一个基于资源集合概念的资源管理模型，在此基础上，研究了群机系统的资源分配和负载管理问题，并结合作业调度过程说明了资源管理模型与策略的应用。

关键词：群机计算群机系统资源管理 TUMLER 操作系统中间件

在线全文

学校读者我要写书评

暂无评论

网络计算管理研究

计算机工程与应用 2000年第1期36卷 54-56,94页

作者：吴巨红罗铁庚龚正虎国防科技大学计算机学院长沙410073

相对巨型机而言，基于网络的群机系统因其费用小、可靠性好、升级方便等特点，在解决某些高性能计算问题时完全可以代替巨型机，而且随着网络技术的发展及分布式理论的成熟，它将比巨型机有更可观的发展及应用前景。网络计算管理是群机... 详细信息

相对巨型机而言，基于网络的群机系统因其费用小、可靠性好、升级方便等特点，在解决某些高性能计算问题时完全可以代替巨型机，而且随着网络技术的发展及分布式理论的成熟，它将比巨型机有更可观的发展及应用前景。网络计算管理是群机系统能否充分发挥出优势的关键因素。该文介绍了网络计算管理的研究意义、发展阶段和趋势，从评价标准、关键技术和系统结构等方面介绍了网络计算管理的研究内容，并根据比较，选择介绍了几个性能较好的软件产品。

关键词：分布计算 DQS 网络计算管理软件

在线全文

学校读者我要写书评

暂无评论

群机管理系统的作业调度算法研究

计算机工程 2001年第2期27卷 131-132,143页

作者：吴巨红罗铁庚龚正虎国防科技大学计算机学院网络与信息安全研究所长沙410073

首先分析了常用的作业调度策略及单独使用各策略的不足，然后介绍了作者在自行开发设计的异构群机计算管理系统TUMBLER中提出和使用的三级作业调度策略，重点介绍了在确定作业优先级时使用的基于资源需求度概念的短需求优先的策略。经... 详细信息

首先分析了常用的作业调度策略及单独使用各策略的不足，然后介绍了作者在自行开发设计的异构群机计算管理系统TUMBLER中提出和使用的三级作业调度策略，重点介绍了在确定作业优先级时使用的基于资源需求度概念的短需求优先的策略。经测试表明，采用基于短需求优先的三级调度策略时，TUMBLER系统较未采用短需求优先策略时的性能有明显提高。

关键词：群机管理系统作业调度算法客户/服务器

在线全文

学校读者我要写书评

暂无评论

分布式ARP的研究实现

计算机应用研究 2001年第5期18卷 46-48,83页

作者：彭健颖罗铁庚吕新刚卢泽新国防科技大学计算机学院湖南长沙410073

介绍高速IP路由器体系结构下分布式ARP的实现方法，主要阐述了ARP主从分布式控制方法和分布式ARP软件设计思想。

关键词：地址解析协议分布式ARP 路由器 Internet 网络协议