2. 您的位置
3. 首页
4. 学位论文
5. 基于形式化方法的通用编程技术及其应用

基于形式化方法的通用编程技术及其应用

来源 :华东理工大学 | 被引量 : 0次 | 上传用户：zkry123

【摘 要】

：

该文的重点是研究面向概念的软件设计方法即通用编程(Generic Programming)思想,研究标准模板库的结构和设计思想,介绍一种形式化的概念描述语言Tecton,对概念进行规范和描述

【作 者】

：

丁承 

【机 构】

：

华东理工大学

【出 处】

：

华东理工大学

【发表日期】

：

2002年期

【关键词】

：

通用编程 形式化方法 Tecton AES 二叉树 

下载到本地 , 更方便阅读

下载此文 赞助VIP

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

论文部分内容阅读

该文的重点是研究面向概念的软件设计方法即通用编程(Generic Programming)思想,研究标准模板库的结构和设计思想,介绍一种形式化的概念描述语言Tecton,对概念进行规范和描述.然后,基于Tecton描述语言和通用编程思想,我们实现了AES加密算法,设计了二叉树容器类并实现了相应的哈夫曼编码算法.

其他文献

基于程序数据值的恶意软件变种识别研究与实现

通过互联网,恶意软件迅速传播,数量急剧增加,新出现的恶意软件大多是以前出现过的恶意软件的变种,恶意软件的变种识别成为了识别恶意软件、保护计算机系统安全等相关工作的重

学位

恶意软件变种动态分析数据值分类

基于问题的软件过程建模、实施和改进

该文首先探讨了软件过程的背景及其发展和现状.接着对软件过程建模进行深入研究,在此基础上,提出并设计了基于Petri网的可视化过程建模语言PBVPML(Petri-Based Visual Proces

学位

软件过程软件过程建模语言问题跟踪软件工程环境

基于用户交互的半监督式Web信息抽取规则生成技术研究

信息技术的出现和快速发展使得Web成为了人们发布和获取信息的主要平台和渠道。特别是Web2.0出现以来,诞生了各类互联网应用,Web页面急剧增长,海量的Web数据中包含了大量有价

学位

精确Web信息抽取抽取规则推导XPath规则半监督式学习Web文本规则

基于谱系聚类分析的集装箱装箱方案优化研究

在现代运输中，集装箱是一种不可缺少的运输工具。有研究指出，集装箱利用率仅为75％～～82％。在运费如此昂贵的情形下，研究一种优化的集装箱装箱方案尤为重要。本文的研究也是远洋、铁路

学位

聚类分析分类集装箱装箱优化算法图形显示

基于利益的常识逻辑研究

该文研究了人的常识能力中的理性特点,主要内容包括:1、总结了认知科学中对理性的研究,包括对人类理性和一般理性的研究.我们还对目前人工智能中Agent理性的研究进行了分析.2

学位

常识能力人类理性利益逻辑

基于构件的电子商务系统体系结构研究与应用

随着软件工程的发展,对软件体系结构的研究越来越引起人们的重视.近年来,电子商务在世界范围内迅速发展,研究电子商务系统的体系结构对电子商务系统的开发工作有着非常重要的

学位

电子商务体系结构构件图论构件依赖图

数据仓库和数据挖掘技术的研究

该文的主要工作包括:1、查阅了大量国内外有关数据仓库和数据挖掘技术的相关资料.2、对现今流行的数据挖掘工具进行了比较研究.3、对相关的统计分析方法进行了学习和研究.4、

学位

数据仓库数据挖掘BootstrapsR语言

基于数据仓库的联机分析挖掘

该文在分析数据挖掘、联机分析的主要技术、应用状况、研究热点的基础上,提出了将联机分析和数据挖掘有机结合起来的体系结构--联机分析挖掘.首先针对具体应用数据的特点以及

学位

多维关联规则增量式数据仓库联机分析挖掘

基于Linux的嵌入式浏览器的实现

作者参与并长期主持了北京工业大学和北京灵思系统公司合作的基于Linux的嵌入式浏览器项目的开发.目前我们的嵌入式浏览器产品openEye已应用到灵思公司的机顶盒和Windwos终端

学位

浏览器嵌入式系统Linux

并行系统的验证技术

模型检查是一种重要的自动验证技术,是通过显式的状态搜索和隐式不动点计算来验证并行系统的性质,以保证设计的正确性.该文主要研究了并行系统的模型检查验证技术.并且通过对

学位

混合自动机模型检查组合验证定理证明自动验证技术