80486极小指令集及其构造性证明

来源 :南京邮电大学学报:自然科学版 | 被引量 : 0次 | 上传用户:hrwhrw
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令。研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。
其他文献
提出了一种分布式差分空时分集方案,通过对差分编码方式的改进,可使用多种星座形状来进行调制。在采用了QAM星座调制时,比传统的PSK调制具有更好的性能,可以改善无线网络中的能量
由于SNMP(Simple Network Management Protocol)管理系统在配置管理方面具有一定弱点。Netconf协议被认为是解决网络配置管理问题较为有效的方法。文中采用XML Schema描述网络
在国内首次综合运用了计量经济学、系统仿真和系统动力学等方法对电信业务资费模型及其决策支持系统进行了深入的探讨 ,提出了可供实用的电信业务资费决策的需求价格模型。此
讨论了一阶相关免疫函数的结构、构造,根据文中的构造法,新下界具有形式g(n)22n-1,这里g(n)→∞(n→∞).
本论文以测量绿化树木的滞尘能力为前提,为城市园林植物配置提供依据为目的,使用目前较为先进的方法进行了一系列调查分析。结果显示在所调查树种申滞尘能力方面,杜松、红皮云杉
首先分析讨论了两种基于信号到达时间的超宽带定位方法——最小二乘法和DFP算法,最小二乘定位方法计算简单,但在存在测距误差的情况下定位精度较低;DFP算法的定位结果通常与初值
IP层实现的主动队列管理(AQM)方案已经成为目前拥塞控制算法研究中的热点。文中对AQM的惟一候选算法,即随机早期检测(RED)进行了研究,并基于OPNET仿真实验,比较和分析了不同网络环境
对含频率啁啾的高斯脉冲在色散管理孤子系统中的传输进行了分析。结果表明初始啁啾的存在将使脉宽和幅度沿传输距离涨落,并引起能量加重因子的增加,还研究了由谱窗技术产生的近
网络流量分析表明很多信息源的聚合会产生具有自相似特性的信息流,在自相似环境下分析IP网络的排队性能成为当前热点.文中采用具有Pareto分布的ON/OFF叠加模型作为输入业务,
通过对短叶片常用结构的探讨,介绍了几种叶冠连接方法及拉筋连接方式,给出了各种连接方式的作用及对叶片安全可靠性的影响。