面向同步系统的可信代码生成研究

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户:lcc54202346
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
该文以二分演化思维模式作为算法设计的创作策略,以二分演化的复制技术作为算法设计的基本工具,考察了高效算法的设计.对该文所设计的算法,从理论分析、数据实验和在复杂科学
在该文中,首先设计出了基于图象的建筑场景造型和绘制系统框架,并实现了相关的主要模块.在系统框架的设计过程中,充分考虑了建筑场景结构上的特殊性以及普通用户设备相对简单
该文的工作基于全国成人高考网上招生系统,该系统是一个基于INTERNET的分布式信息管理系统,主要任务是通过INTERNET在全国各地完成考生的招生录取工作,针对该系统的特点,我们
该文提出了一种汉字识别技术中能够很好的反映统计特征与结构特征的汉字特征提取的新方法.首先在理论上,我们通过对小波技术与分形技术的研究发现,分形的自相似性或无标度性
论文中在对比了现有主要ATM网络拥塞控制方法后,提出了基于模糊神经网络融入令牌的ATM拥塞控制方法,并且对其进行了分析推理和仿真。论文分为四部分: 第一部分提出问题并介绍
该文主要进行了语音识别技术在智能业务中的集成应用研究.针对当前语音识别技术发展现状和技术水平,根据智能业务产品对语音识别功能的需求,将X2000的语音识别系统作为资源集
文章首先介绍了用户界面开发工具的发展及其现状,并且总结了用户界面自动生成的主要的研究思想,在此基础上,分析对比了各种自动生成方法的优点和缺点,从而提出了该项研究主要
该论文首先介绍了分布式网络管理的发展现状,接着重点阐述了基于委托管理ScriptMIB的概念和结构,以及基于ScriptMIB的应用前景.第二部分重点介绍了该硕士论文研究的主要任务
该文作者在对SCADA系统进行了深入学习后,对SCADA系统的基本原理以及相关的软件设计理论进行了简要的概述,并根据已有的软件平台,重新设计了SCADA系统中的通讯部分.该文涉及