论文部分内容阅读
该文共分为五部分.第一章概述了形式倾方法;第二章着重讨论自定义Java类库的设计和实现;第三章阐述工算子的研究、实现和应用;第四章说明程序转换器的实现技术及应用实例;第五章对整个工作做了总结和展望.
带迭代算子的APLA-JAVA程序转换实验系统的研究与实现
【摘 要】
：
该文共分为五部分.第一章概述了形式倾方法;第二章着重讨论自定义Java类库的设计和实现;第三章阐述工算子的研究、实现和应用;第四章说明程序转换器的实现技术及应用实例;第
【机 构】
：
江西师范大学
【出 处】
：
江西师范大学
【发表日期】
：
2000年期
其他文献
山东省公众多媒体通信网使用INTERNET的技术,可向社会公众提供INTERNET的所有服务.在山东省公式多媒体通信网内,该文采用OSPF的路由协议,设计了全网的路由策略.利用OSPF的度
近年来,随着互联网与智能移动设备的快速发展,以Twitter,微博等为代表的社交媒体应用变得越来越受欢迎,个人网站,博客,社交网站等应用每天会产生大量的信息,导致了严重的信息
该文提出了一种电子投票系统,它在吸取了以往电子投票方案的优点,摒弃这些方案缺点的基础上对电子投票协议的开票阶段进行了革新.使用了建立在Shamir密钥分存算法基础上的开
随着互联网的不断发展,互联网信息呈爆炸式增长,如何从这些海量数据中快速、准确地获得关键信息变得十分有意义。关键词作为反映文章主旨的重要方式,成为用户对海量数据进行
该文主要分为两大内容,距离变换及其在医学软组织中的应用,模糊聚类均值分割方法的改进.我们详细介绍了各种近似距离变换(街区、棋盘和切削距离变换)和精确欧氏距离变换,并在
该文介绍了综采工作面设备综合监控系统的研究与设计.包括了数据通讯系统、综采支架压力监测系统、综采工作面通讯控制系统、以及电气设备负荷监测及保护子系统几个方面.结合
该文系统地分析了湖南邮政建设电子邮政项目的目的和意义,并从全局地角度对全省电子邮政的建设提出了合理可行的总体方案.该文提出了电子邮政的基本概念、基本内容和基本框架
该文给出基于转换系统的不同扩充形式，作为三类反应式系统的计算模型;采用时态逻辑PLTL及其扩充形式作为三类反应式系统的形式化描述语言。对上述问题，进行了系统而深入的研究，