【摘 要】
：
该文以标准UNITY为基础,开发了一个实用化的程序设计语言BD_UNITY,作为新型不依赖于交叉语义假设的并行程序设计工具UNINET的主要组成部分.UNITY不同于传统程序设计语言的成
论文部分内容阅读
该文以标准UNITY为基础,开发了一个实用化的程序设计语言BD_UNITY,作为新型不依赖于交叉语义假设的并行程序设计工具UNINET的主要组成部分.UNITY不同于传统程序设计语言的成分和执行机制,如量化结构、无限不确定和不动点等,是实现BD_UNITY的中心内容.该文首先详细讨论了BD_UNITY的实现技术,包括编码器构造、目标语言的选择、主要语法成分的转换及如何在运动目标代码时保留UNITY程序的特点等,并在此基础上对标准UNITY做了重要的扩充,如输出段和局部控制流等,形成了BD_UNITY的独特之处.标准UNITY提出的两种程序组合方法--合并和层加--都依赖于交叉语义假设所带来的无限不确定性.由于UNINET的优势就在于不依赖于交叉语义假设,所以需要为BD_UNITY寻找亲折程序组合方法.该文从理论上探讨了BD_UNITY的组合算子--堆加,使用它进行程序组合不仅把无限不确定性限制在构件之内,同时也保持了构件的安全性和进展性.
其他文献
在无线传感器网络中，节点通常都是由电池来供给能量的。在某些应用情况下，电池可能无法更换也无法充电。因此，如何节省节点的能量消耗以延长节点在网络中的寿命就成为无线传感器
计算机网络技术发展到今天已取得了巨大的成就,Internet尤其是Web技术的应用已经成为计算机网络应用技术的一个主导方向.Internet技术已经涉及电子商务、网络视频会议和网络
该文研究在互联网上建立人体经络虚拟现实模型的方法,针对人体的特定对象,利用人体电子数据中的部分图片,用多边形生成法建立模型,其结果与原人体(美国人)十分相像,但却不具
该文工作以国家"九五"重点科技攻关项目中的子专题"青鸟构件库系统用户反馈子系统"的开发为背景.结合Internet技术,作者设计并实现了基于WWW的用户反馈子系统, 它是青鸟构件
存储管理系统在操作系统中是非常重要的.它负责管理系统中的存储资源,为系统的运行提供基本支持.存储管理是操作系统开发与研究工作中的核心问题之一.合理而优化的实现,将为
该文把口语分析中所涉及的一系列问题的解决统一在神经网络框架下, 提出了一种基于精简循环网络和汉语口语分析方法,并针对口语机器翻译的特点,提出了一套综合利用多种自然语
为了指导用户集中注意力在程序最为重要部分和计算最为密集的循环以及指导数据划分和通信优化,大部分并行化系统都集成了性能工具来提高并行化的能力.该文对性能预测技术进行
近年来,BP神经网络方法被广泛地应用到许多领域,如工业自动控制、经济预警系统、气象研究、地质研究、化工研究、农业研究、等等.已有大量成功应用BP网络方法的实例报道.利用
传统防火墙部署在内部网和因特网之间的边界节点,其特点是能够防范源自外部网入侵但不能防范来自内部网的网络攻击。因此出现了一种新颖的分布式防火墙体系结构。这种能够防
中国教育学科站点是CERNET支持的僵十大重点学科站点之一.北京师范大学为了获得了教育学科站点的承办权,投入了大量人力、物力.为支持学校的承办工作,电子系承担了有关站点建