【摘 要】
：
该文首先在研究Ada83和Ada95的语言机制和不兼容性的基础上,针对系统所面向的专用领域和编译器平台的特点,细化和扩充了Ada兼容性指南(AdaCompatibilityGuide),提出了用类似
论文部分内容阅读
该文首先在研究Ada83和Ada95的语言机制和不兼容性的基础上,针对系统所面向的专用领域和编译器平台的特点,细化和扩充了Ada兼容性指南(AdaCompatibilityGuide),提出了用类似于编译器的体系结构来实现转换系统的方案,并使用了螺旋增量开发方式控制工程的进度和质量.在详细设计和实现部分,该文详细介绍了系统后端,包括:转换规则字典和报告模板字典的组织和引用;中间表示中几种对象的设计和实现;自动转换、程序代码输出和报告生成功能模块的实现.最后,给出了系统的测试方案和完成指标.
其他文献
机群系统中负载平衡的基本目标是通过任务调度,将运算均衡的分布到各个结点,从而提高系统资源的利用率.负载平衡策略直接影响到系统的并行性能.该文针对机群系统下的负载平衡
信息化社会中人们工作的特点是群体性、交互性、分布性和协作性.计算机支持的协同工作CSCW作为一种将人类合作行为模式与计算机技术融合为一体的新兴技术,正是适应了信息社会
该文通过研究IPv6的数据报文格式、双协议栈的安全性、防火墙的体系结构和过渡阶段演进技术这几方面,实现了一个基于IPv4/IPv6双协议栈的防火墙.这个防火墙由IPv4/IPv6包过滤
该文首先介绍了组件技术的重要理论基础,给出了组件的定义和设计构造组件的原则,以及组件的分类.之后详细阐述了在开发应用软件系统中采用组件技术的意义.研究组件技术的核心
该文主要研究了基于自适应投影算法的径向基函数网络、基于统计学习理论的支撑矢量机,及用以提高支撑矢量机分类速度和精度的中心距离比值法、修正核函数算法的机理,在对以上
SNMP和CMIP在传统的网络和系统管理上占据主导地位。然后，当需完成复杂的管理任务时，SNMP就会体现出其局限性。至于CMIP，由于其复杂性和标准化过程的缓慢，还没有与SNMP一样获得广
该文在从计算机系统结构的方法学出发进行研究,充分分析PC系统与嵌入式系统的共性与差异性后,基于一个嵌入式系统的目标理论模型,改造MINIX的内核源码,得到一个可用于嵌入式
伴随着互联网的逐渐普及,Web上各类搜索引擎得到迅猛的发展,可以说如今搜索引擎已经成为了人们生活中不可或缺的一个信息获取工具。人们通过搜索引擎来获取信息的过程是用户
该文结合了有关理论和系统的开发实现对智能电话电子商务购物系统进行了阐述.论文主要包括:电子商务的概念、相关技术、安全性问题;在该系统中使用到的网络部分数据传输协议
这里我们讨论了当前的网络管理技术,以及一个网管系统的设计与实现.第一章和第二章主要介绍了有关网络管理的基本概念和基本功能模块;第三章描述了一个通用网络管理模型必不