用于C交叉编译的HUST抽象机

来源 :华中理工大学学报 | 被引量 : 0次 | 上传用户:fengjikun
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
HUST抽象机是专为面向多目标机的C交叉编译系统设计的一种抽象机。本文阐述了该抽象机的结构、特点及设计思想。与其他抽象机比,该抽象机执行速度快,具有查运行溢出错、越界访问数组元素错和类型转换溢出错的能力。
其他文献
<正>Telles和黄玉盈用不同方法分别求得了各向同性弹性半平面问题的基本解。本文借助F.J.Rizzo等人给出正交异性全平面问题的基本解,利用镜象法导出了正交异性弹性半平面问题
本文对空间板壳结构的有限元网格自动生成进行了研究,讨论了结构整体网格的拼合及可展曲面的网格自动生成等问题,并提出了一个新的二维三角形网格自动生成算法,算法具有精确拟合边界、多连通域处理及局部网格加密等功能.
本文给半序空间设置了一套合理的公理系统,对其上取值的抽象度量空间引入拓扑结构。证明了抽象度量空间中点列的收敛性与同一点列在所引入拓扑下的收敛性是一致的,并在隔离性
本文利用动态Lemaitre度规,给出了微分形式表达的球对称度规下的Dirac方程,并求得一个含有任意函数的径向严格解。为研究弯曲时空中费米子的行为,提供了有效的方法。
正确有效的评价方法和反馈方法对于方案设计专家系统的质量是至关重要的。本文提出了评价子系统的基本模式,研究了评价数学模型和优化反馈模型,研制了建立评价子系统的工具软
2.2D,3D-SRAT-1型表面粗糙度自动测量分析仪 2D,3D-SRAT-1型表面粗糙度自动测量分析仪,是对制件表面微观形貌进行自动测量分析的精密、高效、多功能仪器。它特别适用于研究
本文利用一个能产生稳定的离子浓度的独立的离子源,在被研究的间隙中形成一定的离子背景,用升降法观测了正、负背景离子对棒-板间隙百分之五十击穿电压的影响;测量了正、负背
本文提出了一个实用的无功补偿最优规划综合模型。该模型的目标函数计及了无功补偿费用和网络损耗费用,对电力系统在正常和故障时的调压要求、无功补偿点的优化选择以及不同