论文部分内容阅读
文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形式的指称语义是等价的。
命令的指称语义在谓词域上的一种表示
【摘 要】
：
文中讨论了谓词转换器和状态转换器之间的对应关系，将谓词转换器作为命令的指称，刻画了IMP语言命令的指称语义，并证明与状态转换器形式的指称语义是等价的。
【机 构】
：
华东理工大学计算机科学与工程系,宁夏大学数学计算机学院
【出 处】
：
计算机科学
【发表日期】
：
2008年7期
【基金项目】
：
国家自然科学基金资助项目（60373075）,教育部科学技术研究重点基金资助项目（01077）,中科院计算机科学重点实验室基金资助项目（SYSKF0305）,上海市科学技术委员会科研计划项目资助（045115006）,宁夏自然科学基金项目（NZ0725）.
其他文献
本文基于TTA结构提出了一种嵌入式协处理器体系结构，并完成了其VLSI设计与实现。该协处理器具有双Cluster的运算内核，能够高效地支持多媒体应用中的数据密集型计算。为了充分发
在软件设计过程中，将界面与处理逻辑分离，有利于得到更清晰的软件结构。然而在向特性差异较大的系统移植程序时，为了使应用能够适应于具有不同显示特性的设备上，开发人员通常需要
本文从基于信念修改的角度提出了两个AGENT之间的一个重复协商框架。在这个框架中，一个逻辑程序被当作一个协商的AGENT，每一个AGENT（逻辑程序）选择自己的一个回答作为自己最初的
本文以乒乓球运动为例,提出了一种使用AVI函数从视频序列中分解帧,然后逐帧进行预处理和区域生长分割,从而实现目标提取的方法。通过放置在乒乓球台上方两侧的双目视觉测量系统对乒乓球的运动速度等参数进行了测量,进行了数字图像处理技术在球类运动分析中的探索。
构件软件相较于传统软件系统有更快的演化速度，对其变更进行有效的度量将有利于后期的维护活动。本文分别针对代码可见及不可见两种类型的构件，运用改进的构件依赖图建模，表示构
并行计算技术是衡量一个国家科技水平的重要标志之一，PC机群计算机是最廉价的高性能计算机。本文构建了一个Beowulf-T机群系统，提出了在该系统上的加速比和效率计算公式。通过
对钛合金中铝含量测定过程中的不确定度来源进行了分析，测量不确定度主要来源于试样称量、标准溶液配制、各种玻璃量器的使用及测量重复性。依据不确定度评定的步骤，分析和计算
本体能够对特定领域的概念、术语以及关系提供一种形式化的描述方法。尽管本体在知识表示上有很强的能力，但是有一个缺陷，即不能表达不确定和不精确的信息。而这些信息在语义网
目前国内外对于异构无线网络中联合呼叫接纳控制和流量均衡策略的研究大多停留在网络层以上，即认为不同的网络具有不同的覆盖面积和网络容量，而没有考虑不同网络在物理层和链路