2. 您的位置
3. 首页
4. 会议论文
5. 对形式描述语言E-LOTOS的进一步研究及应用

对形式描述语言E-LOTOS的进一步研究及应用

来源 :第三届全国CSCW暨第一届全国AIN学术会议 | 被引量 : 0次 | 上传用户：ytcxw

【摘 要】

：

本文根据实际需要,按照形式描述语言E-LOTOS的语法和语义,对现有的E-LOTOS的某些功能进行了改进和完善,对[1]中提出的对形式描述语言E-LOTOS的图形表示进行了进一步研究;作为

【作 者】

：

赵玉兰 叶新铭 

【机 构】

：

内蒙古大学计算机学院,呼和浩特,010021

【出 处】

：

第三届全国CSCW暨第一届全国AIN学术会议

【发表日期】

：

2002年期

【关键词】

：

形式描述语言 路由信息协议 语法和语义 转换 图形表示 工具软件 应用 功能 

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

本文根据实际需要,按照形式描述语言E-LOTOS的语法和语义,对现有的E-LOTOS的某些功能进行了改进和完善,对[1]中提出的对形式描述语言E-LOTOS的图形表示进行了进一步研究;作为应用,对路由信息协议(RIP协议)进行了E-LOTOS的说明并使用改进和完善了的工具软件(把E-LOTOS转换成GE-LOTOS)对RIP协议进行了GE-LOTOS的转换.

其他文献

群体决策支持系统协调Agent的分析与设计

本文结合分布式人工智能(DAI)技术和多Agent系统(MAS)技术,提出了基于MAS的分布式群体决策支持系统的框架体系结构,对群体决策支持系统中的协调作了研究.

会议

群体决策支持系统分布式人工智能多Agent系统

新一代协同编著系统的研究

本文是在课题组原协同编著系统的基础上,对其中的多媒体群件、动态多版本管理进行了深入的探讨,并对CSCW环境下多数据源的协同管理和通用CSCW开发平台进行了研究.

会议

协同编著系统多媒体群件协同管理开发平台多数据源版本管理通用课题基础环境

外语写作网络课程的设计与教学实践

本文阐述了基于网络环境下的外语写作课程设计的基本要求,对其教学内容和教学策略的设计依次展开了讨论,并结合我们的教学实践和体会,提出了一些有益的看法.

会议

外语写作网络课程课程设计网络环境下教学实践教学内容教学策略

协同工作平台ECCS的异常处理

本文通过分析实际应用中异常的表现形式,以人工交互为主要处理方式,通过提供有利的监控工具,在可预测的异常和不可预测的异常处理中分别给出了解决方法,使得系统具有灵活的异

会议

协同工作平台异常处理预测实际应用监控工具互为主系统人工方法

对我国几种铸造企业体制模式效率的分析

本文提出了人际合作的"中心约定"理论,该理论认为,约定是人际合作的前提,硬约定是有效可控的合作模式,软约定不可控,效率低."中心约定"理论对中国建国以来的铸造企业体制模式

会议

铸造企业体制中心约定体制模式人际合作理论股份制企业董事会有效率可控合作模式硬约定软约定分析表中国

从技术、体制和管理相统一的角度对铸造企业长期质量问题的定位分析及对策

从围绕铸件生产的铸造企业宏观结构层次出发,从技术、体制和管理统一的角度建立了分析铸件长期质量问题的诊断程序,应用该程序原理,对三个国有铸造企业和一个外企的铸件质量

会议

技术铸造企业体制企业管理体系质量问题定位分析系列标准铸件生产诊断程序结构层次原理应用外企设计国情

协同式电子商务中的感知机制研究

本文介绍了协同式电子商务研究背景,分析了协同式电子商务环境中感知信息的特点、形成过程和潜在问题,并给出了一种能支持协同式电子商务运作的发展平台模型.

会议

协同式电子商务感知CSCW电子商务

超轻型Mg-Li合金的研究现状与应用前景

Mg-Li合金是工业上所能得到的最轻的结构合金,具有很多优点,例如比强度和比刚度高、减振性好、电磁屏蔽性好及优良的机械加工性能和可回收利用等.本文从熔铸工艺、合金强化、

会议

超轻型结构合金机械加工性能电磁屏蔽性应用前景熔铸工艺回收利用合金强化复合强化减振性超塑性比强度比刚度历史国内工业

协同设计PDM系统开发

本文在自行开发的wit-PDM系统上集成开发了基于web的产品协同设计PDM系统,重点对协同产品开发工作模式及系统结构进行了研究,解决了部分协同设计过程中的实际问题.

会议

产品协同设计协同产品开发系统结构集成开发工作模式

协同知识库及其在协同虚拟环境自适应信息过滤中的应用

.本文在充分分析可扩展性要求及目前解决办法和协同要求及目前解决办法的基础上提出了协同工作类型和协同知识库,并以协同知识库为基础提出了一种基于知识的自适应信息过滤技

会议

协同知识库协同虚拟环境环境自适应信息过滤技术过滤中可扩展性基础工作类