技术简介： 本发明提供了一种可重构定浮点通用FFT处理器，既可以实现18位的定点FFT运算，也可以实现32位的单精度浮点FFT运算。所述处理器将定点运算器（包括乘法器和加法器）与主体结构相分离，定点运算器…… 查看详细 >
技术简介： 本发明涉及一种可配置流水信号处理核的高效率控制器，可配置流水信号处理核包括含有可重构计算阵列的运算单元与控制器，并外接软处理器核，控制器包括：寄存器组，配置寄存器接收软处理器核的配…… 查看详细 >
技术简介： 本发明涉及基于可重构计算阵列的协处理器，包括：主控制器，接收外部通用处理器发出的控制信息，再解析所述控制信息，并发出相应的配置指令，所述配置指令包括传输参数与算法参数；重构控制器，…… 查看详细 >
技术简介： 本发明涉及一种基于FPGA的网络接口控制器，向接收卡发送流媒体数据，包括接口模块，包括RGMII接口，传送所述流媒体数据的回传数据，完成数据从媒体介入控制层到物理层或从物理层到媒体介入控制…… 查看详细 >
技术简介： 本发明涉及一种内存冗余消除方法，包括：步骤1，将计算机内存划分成不同的区域块并选择；步骤2，计算当前选择区域块的哈希值；步骤3，查找是否有其他区域块的哈希值与步骤2中区域块的哈希值相同…… 查看详细 >
技术简介： 本发明公开了一种基于JPF的Java代码SSA单路径的生成方法，其特征是包括如下步骤步骤10输入.java文件和.jpf文件，存放在src目录下；步骤11对.java文件进行代码插桩，以便获得path 查看详细 >
技术简介： 本发明公开了一种智能手机应用开发中的代码缺陷预测方法，其步骤是1)整理代码单元，区分标注集和目标集，定义特征指标，提取特征向量；2)基于特征向量对标注集代码单元赋予权重；3)训练带权重分…… 查看详细 >
技术简介： 本发明涉及一种图形界面自动化测试方法，包括以下步骤：对待测试软件自动生成随机测试用例，并对每个测试软件的功能模块生成操作序列的记录，保存运行截图；根据操作序列的记录计算操作序列之间…… 查看详细 >
技术简介： 本发明公开了一种迭代学习模型行为相似性的测试用例生成方法和装置。本发明首先根据系统状态模型构建系统状态机图，然后根据系统状态机图、已有的测试用例集、已有的测试用例集相应的测试结果生…… 查看详细 >
技术简介： 一种程序静态自动分析方法。本发明涉及一种使用数据流分析手段和逻辑推理系统进行程序性质自动化分析的方法，首先使用语法分析工具分析源码，构建语句级别的扩展程序流图，其次使用递归函数和其…… 查看详细 >
技术简介： 本发明公开了一种面向线性约束代码的有界模型验证方法，包括如下步骤：步骤1：构建代码的控制流程图CFG状态模型；步骤2：结合步骤1中构建的CFG状态模型，从程序的起始状态起，验证代码的CFG状态…… 查看详细 >
技术简介： 本发明方法是基于安卓开发框架和其多线程模型，插桩安卓应用程序并动态运行提取单个执行轨迹，再使用预测性分析方法对执行轨迹进行分析，构造其活动间的发生序关系(Happens-Before)并预测生成多…… 查看详细 >
Copyright © 2016 国家技术转移西南中心－区域技术转移公共服务平台 All Rights Reserved 蜀ICP备12030382号-1
主办单位：四川省科技厅、四川省科学技术信息研究所、四川省技术转移中心科易网