中国科学院计算技术研究所专利技术

中国科学院计算技术研究所共有4275项专利

  • 本发明公开了一种用串联质谱中碎片离子的同位素峰预测离子分子式的方法,该方法从串联质谱和从各元素的原子个数待定的通用分子式中分别获取碎片离子的单同位素的质量以及各同位素谱峰相对于单同位素的相对丰度;将分别获取的质量和相对丰度做匹配以获得所...
  • 本发明公开了一种改进的虚拟地址变换方法及其装置,该方法包括利用数据局部性,将需要变换成物理地址的虚拟地址同上次变换的虚拟地址相比较,如果同属一个虚拟页表,则不访问翻译后援缓冲器(TLB)的随机存储器(RAM)部分,而直接利用上次变换得到...
  • 本发明公开了一种从虚拟地址向物理地址变换的方法及其装置,利用数据局部性,将需要变换成物理地址的虚拟地址同上次变换的虚拟地址相比较,如果同属一个虚拟页表,则不访问翻译后援缓冲器(TLB)的随机存储器(RAM)部分,而直接利用上次变换得到的...
  • 本发明公开一种汇编代码热函数中的热路径搜寻方法,用于搜寻汇编代码中执行频率高的路径,包括:将所述汇编代码还原成控制流图,所述控制流图由多个基本块组成,并且包括所述多个基本块的信息;根据所述基本块的信息识别所述控制流图中基本块的循环信息以...
  • 本发明涉及自然语言处理领域和信息检索领域,特别是一种完美双数组TRIE树词典管理与检索方法。将Trie树结构转换成两个线性数组表示,并在构造过程中提出了一种优化策略。同时提出一种自适应编码方案,以字节为编码单位对字符进行自动编码。包括步...
  • 本发明公开了一种COBOL到JAVA代码翻译中面向对象翻译的方法,包括:定义一个类数据的抽象封装类;定义类体,按照翻译传统COBOL程序的方法把COBOL类语法元素:类、类对象、对象和方法翻译成相应的JAVA类;为类体定义一个类接口,该...
  • 本发明提供一种用于测试MIPS处理器的设备。本发明采用测试主板与处理器分离的方式,该设备包括处理器子卡和测试主板两部分,该测试主板和处理器子卡之间通过SLOT1插槽连接。处理器子卡封装有待测的MIPS处理器、处理器倍频跳线电路和上电逻辑...
  • 本发明公开了一种内存访问信息实时捕获装置及访存信息捕获方法,该装置包括内存信号捕获逻辑单元、数据缓冲区单元、高速数据接口单元、嵌入式处理器单元及配置缓冲区单元,这些逻辑单元利用高速IO、大容量RAM和嵌入式处理器,实现高速内存接口和数据...
  • 本发明公开了一种二进制翻译中对局部变量识别和提升的方法包括以下步骤:a.对翻译单元进行条件判别,判断在此翻译单元内能否进行局部变量的提升;b.依次对可处理翻译单元的每个基本块进行处理,对每条指令的局部变量进行识别;c.将b步骤中识别出来...
  • 本发明公开了一种组通信系统中利用中间件进行数据库复制的方法和中间件,用于多个数据库存储节点上之间数据库的复制,以保证各个节点上数据库的一致性。该方法包括本地事务执行步骤、事务广播步骤、事务排序步骤、乱序判断步骤、定序事务执行步骤和数据库...
  • 本发明涉及一种浮点乘法器及其兼容双精度和双单精度计算的方法,包括双单精度连续编码填充单元,第一选择器,基2的波茨编码器,13∶2的压缩树,14∶2的压缩树,48比特加法器,4∶2的压缩复合树,第二选择器,106比特加法器,48比特单精度...
  • 一种用于大规模计算部件环境的高可信轻量级日志管理方法,包括以下步骤:每个受日志监测部件管理的计算部件,当有日志消息产生时,为该消息自动生成一个在所有计算部件中全局唯一的编码;每个计算部件将日志消息与所产生的日志消息全局唯一编码一起保存在...
  • 本发明公开了一种多IO扩展接口的服务器主板装置,包括AMD  Opteron(皓龙)中央处理器,HT总线控制器,和外围扩展插槽,其中,HT总线控制器包括3个AMD8131HT总线桥接芯片和1个AMD8111  HT总线I/O集线器;外围...
  • 本发明公开了一种农业诊断系统的开发平台,包括逻辑功能构件层,面向用户构件层和平台定制构件层,通过下一层构件向上一层构件提供服务的方式将三层构件连接成一个整体平台,其中:逻辑功能构件层用于与界面无关的基础的数据处理过程;面向用户构件层包含...
  • 本发明公开了一种针对受限制的索引寻址模式的偏移量分配优化方法。本发明在对访问图进行划分的时候,考虑了多个顶点与当前子图内所有顶点构成的边上的权重之和相等的情况下,若当前组中节点的数量小于可允许最大数量的一半,则优先选取与当前子图外所有顶...
  • 本发明公开了一种解决多寄存器组冲突的方法,包括:1)建立寄存器冲突图,图中的每个节点都代表一个虚拟寄存器,各个节点有优先级;两个节点之间存在一条边表示存在寄存器组冲突;2)对节点,按照优先级从高到低的顺序开始分配寄存器组;3)对一个节点...
  • 本发明公开了一种虚拟人群运动仿真框架,包括:1)总控台部分,由显示控制、渲染管理、环境管理、群体管理、时钟更新控制等子部分构成,提供程序正常运行所需要的各种配置和各部分调度管理;2)环境表示部分,组织管理群体所处环境的环境信息,支持对环...
  • 本发明公开了一种二进制翻译中库函数调用的处理方法,尽可能地对源X86二进制程序中的库函数调用进行识别和提升;对于可包装库函数,用目标机本地的约定进行传参和返回值处理,这样省去了对X86参数压栈和从堆栈中取返回值的模拟,避免了频繁的内存操...
  • 本发明公开了一种在微处理器用户态随机验证中实现核心态程序验证的方法。该方法包括:a)在指令模版中添加异常处理相关的约束;b)对指令级随机验证产生引擎进行改进;c)在指令级处理器模拟器中加入核心态指令的执行机制,设置寄存器,在系统运行核心...
  • 本发明公开了一种基于组合并算法的偏移量分配优化方法,特别涉及一种针对“受限制的索引寻址模式”的偏移量分配优化方法。本发明在对访问图进行划分的时候,采用组合并的方法,将权重较大的边优先划分到一个子图内,使得各个子图之内的顶点构成的子图之内...