检索结果-内蒙古大学图书馆

计算机技术与发展 2018年第4期28卷 46-49页

作者：施晓静张晋津南京航空航天大学计算机科学与技术学院江苏南京210016 南京审计学院计算机科学与技术系江苏南京211815

n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,... 详细信息

n-精化关系在计算机科学领域中发挥着重要作用。在理论计算机科学中,学者们常用互模拟来刻画状态转换系统(例如,实时控制系统)之间的行为关系,当两个系统之间存在互模拟等价关系时,从某种意义上来说,一个系统的行为可以模拟另一个系统,反之亦然。但是互模拟关系并不能使得在模型检测时所需检测状态空间得到明显的缩减,因此引入了精化关系。精化与互模拟的区别在于,其对向前条件没有限制,如果精化关系满足向前条件,那么该精化关系也是互模拟关系。在刻画系统状态之间精化关系是否在有限的可达关系上成立这个问题时,需要将精化扩展到n-精化关系上,从而提出n-精化的概念,进一步地,探究n-精化关系与n-互模拟关系的联系;提出与标准相对化不同的a-相对化的概念,并研究其与标准相对化之间的区别与联系;在这些研究基础上,将n-精化模态逻辑语言翻译成n-互模拟量化语言。

关键词： n-精化 n-互模拟翻译函数相对化

来源：评论

学校读者我要写书评

暂无评论

共享库的二进制翻译执行方法和装置

共享库的二进制翻译执行方法和装置

引用

作者：王振江武成岗张洪娟 518129 广东省深圳市龙岗区坂田华为总部办公楼

本发明实施例公开了共享库的二进制翻译执行方法和装置。其中，共享库的二进制翻译执行方法可包括：当上述第二共享库中的第一函数被调用时，上述宿主机执行上述第一函数以调用上述第一共享库中的翻译函数；上述宿主机利用上述调用的上... 详细信息

标准号: CN105335203A

本发明实施例公开了共享库的二进制翻译执行方法和装置。其中，共享库的二进制翻译执行方法可包括：当上述第二共享库中的第一函数被调用时，上述宿主机执行上述第一函数以调用上述第一共享库中的翻译函数；上述宿主机利用上述调用的上述第一共享库中的翻译函数，对上述第三共享库中的函数接口与上述第一函数的函数接口相同的第二函数进行翻译，以得到上述宿主机支持的第三函数；其中，上述第三函数的函数接口和上述第二函数的函数接口相同；上述宿主机执行上述第三函数。本发明实施例提供的方案有利于减少翻译共享库时的相关代码翻译量，从而提高二进制翻译的执行效率，进而提升用户体验。

关键词：共享库函数接口宿主机二进制翻译调用翻译函数执行方法翻译相关代码用户体验执行效率相同执行提升公开减少支持进行

来源：评论

学校读者我要写书评

暂无评论

OPENGL到OPENGL│ES翻译器和OPENGL│ES仿真器

OPENGL到OPENGL│ES翻译器和OPENGL│ES仿真器

引用

作者： C·夸尔李海珍陈国基中国上海市东川路555号紫竹科技园区数码港四号楼四层五层

标准号: CN101059760B

关键词：翻译过程翻译函数蜂窝电话移动设备正确数据翻译器仿真器存储扩展

来源：评论

学校读者我要写书评

暂无评论

进行格变换的方法和系统

进行格变换的方法和系统

引用

作者：约奇姆·鲍尔美国纽约

本发明涉及用于将第一集元素变换为第二集元素的方法和系统，更具体地说，本发明涉及例如根据统一字符编码标准进行格变换。它利用计算机系统提供的快速翻译函数提高变换处理速度。根据本发明，将第一集元素分离为：第一子集，含有将被... 详细信息

标准号: CN100390783C

本发明涉及用于将第一集元素变换为第二集元素的方法和系统，更具体地说，本发明涉及例如根据统一字符编码标准进行格变换。它利用计算机系统提供的快速翻译函数提高变换处理速度。根据本发明，将第一集元素分离为：第一子集，含有将被翻译为所述第二集中的一个特定元素的各元素；第二子集，含有所述第一集的剩余元素。编制第一表304，其中属于第一子集的每个元素被分配给第二集中的相应元素，而所述第二子集中的所有元素被分配给异常处理元素。编制第二表314，该第二表表示规则，异常处理函数根据其翻译所述第二子集中的所述元素。

关键词：子集变换统一字符编码异常处理函数异常处理元素进行格变换处理速度翻译函数剩余元素特定元素元素分离编制计算机系统

来源：评论

学校读者我要写书评

暂无评论

基于执行树深度的二进制翻译方法和装置

基于执行树深度的二进制翻译方法和装置

引用

作者：康烁 100084 北京市海淀区清华大学FIT3区124号

本发明公开了一种基于执行树深度的二进制翻译方法和装置。该方法包括在开始构造超级块时，执行树深度初始化为0，并获取预设的执行树深度阈值，从预设的起始地址所在的基本块开始翻译，在翻译时，若翻译的基本块的当前指令为直接跳转... 详细信息

标准号: CN104375879A

本发明公开了一种基于执行树深度的二进制翻译方法和装置。该方法包括在开始构造超级块时，执行树深度初始化为0，并获取预设的执行树深度阈值，从预设的起始地址所在的基本块开始翻译，在翻译时，若翻译的基本块的当前指令为直接跳转指令，则翻译直接跳转指令进入的基本块；若翻译的基本块的当前指令为条件跳转指令，则翻译条件跳转指令跳转后的基本块和条件跳转指令的下一个基本块，并且将执行树深度加1；若翻译的基本块的当前指令为函数调用指令，则翻译函数调用指令对应的函数，并且将执行树深度加1，当执行树深度达到执行树深度阈值时，翻译结束，翻译的所有基本块构成一个超级块。通过本发明，能够提升执行翻译程序的性能。

关键词：跳转指令指令深度阈值函数调用指令二进制翻译翻译程序翻译函数翻译条件起始地址初始化跳转

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：