本发明公开空间信息时空大数据约束表达方法，包括以下步骤：数据采集、构建矢量和栅格相兼容的数据结构、数据综合表达、数据修正、时空基准统一、时空大数据约束和时空大数据清洗与更新；本发明通过数据结构的归一融合来建立多维异构基本数据组织单元和以...

本发明公开空间信息时空元数据构建方法，包括以下步骤：数据收集、构建多个时空系统、构建数据结构形式、构成时空数据集、时空数据表示、构建统一的时空元数据表达式和构建时空元数据的数据相关性；本发明针对时空系统及其大数据中的各类数据集，富含空间...

本发明公开了一种面向PLC程序的自动化测试用例生成系统，包括：转换模块，用于将PLC源程序转换为等价的C语言程序；建模模块，用于根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；分析模块，用于将建模后的C语言程序作为输入，利...

本申请公开了一种基于模型转换的状态机模型时序性质验证方法，包括：模型解析步骤，解析SCADE文本模型，得到语法树实例；符号表容器步骤，装载语法树实例，得到符号表实例；模型转换步骤，根据模型转换规则将符号表实例转换为NuSMV模型；模型检...

本申请公开了一种基于模型转换的状态机模型时序性质验证系统，包括：模型解析模块，用于解析SCADE文本模型，得到语法树实例；符号表容器模块，用于装载语法树实例，得到符号表实例；模型转换模块，用于根据模型转换规则将符号表实例转换为NuSMV...

本发明公开了一种面向航天软件的在轨升级系统，包括存储路径输入模块，代码读取模块，代码解析模块、版本判断模块、升级标记插入模块以及代码升级模块，通过上述系统可以对需要在轨升级的软件进行编译链接操作，并使用户划定需要升级的功能模块，再实施基...

本发明公开了一种二维材料低接触应力的转移方法，该方法适用于硅片、蓝宝石和铜箔常见衬底，也适用于原位加热芯片、微栅、表面有微结构的衬底。该方法包括两种不同厚度、浓度的PVA（聚乙烯醇）薄膜制备，再利用这两种不同厚度、浓度的薄膜转移二维材料...

本发明公开了一种用于检测动物毛发皮质醇的预处理方法，尤其适用于野生动物毛发中皮质醇提取的预处理方法，包括以下步骤：步骤一：获得毛发样品；步骤二：清洁毛发并去角质化；步骤三：利用液氮磨碎清洁并去角质化后的毛发；步骤四：萃取步骤三中磨碎的毛...

本发明公开了一种促进产谷氨酰胺转胺酶的茂源链霉菌快速生长的培养基，其组分及质量体积比为：可溶性淀粉16～24g/L、KNO

本发明公开了一种具有cfi层板结构ECNU‑n分子筛及其制备方法和应用，其特点是该分子筛为“第一氧化物·第二氧化物•第三类氧化物”组成三种不同层间连接的cfi层板结构，其制备是将*CTH硅锗分子筛母体置于水溶液中，于室温下力搅拌反应，产...

本发明公开了一种多路高清视频分布式处理设备，它包括视频源选择切换模块、分布式转发显示电路、各终端接收显示电路与显示设备，即显示屏或投影仪等，所述视频源选择切换模块与分布式转发显示电路PCIE接口连接，分布式转发显示电路与各终端接收显示电...

本发明公开了一种区块链智能合约交易并发执行方法，其特点是将矿工集合一批交易，按交易重排序的OCC协议并发执行，然后将调度信息划分成多个子图后验证节点，按并发控制协议并发重新执行交易，其流程包括：矿工节点并发执行交易、调度信息生成、调度信...

本发明公开了一种基于智能合约的数字货币资产托管与转移方法，包括：记录用户充值的类型与金额；保存用户的资产条件转移设置；用户申请手动转账时处理转账请求；用户申请提现时处理提现请求；资产转移条件满足时执行资产转移操作。本发明利用了智能合约技...

本发明公开了一种基于多视图虚拟球的地球空间信息比对方法，该方法包括以下步骤：设置虚拟球视图布局；创建多个虚拟球视图；定义多个视图之间的关系；构建多视图之间的协调性；在多视图虚拟球环境下进行地球空间信息浏览和比对。本发明的实现过程简单、自...

本申请公开了一种动态符号执行的测试用例生成方法，包括：根据输入的结构化文本ST源程序生成控制流图；根据控制流图对变量属性和标准函数进行建模，生成初始测试用例，代入控制流图中执行得到已覆盖路径，获取约束集，根据约束集确定候选路径池选择一条...

本申请公开了一种基于动态符号执行的测试用例生成系统，包括：解析模块，用于根据输入的结构化文本ST源程序得到抽象语法树；控制流图生成模块，用于生成控制流图；动态符号执行模块，用于根据控制流图对变量属性和标准函数进行建模，生成初始测试用例，...

本发明公开了一种面向PLC程序的自动化测试用例生成方法，包括：将PLC源程序转换为等价的C语言程序；根据所述PLC源程序的周期执行语义，对所述C语言程序进行建模；将建模后的C语言程序作为输入，利用C语言的符号执行工具生成测试用例集。本发...

本发明公开声光调制实现时空测探的光谱响应调节方法，包括以下步骤：选定区域、单频调制、多频调制、改变光谱分辨率、调整各驱动信号功率、计算具体位置、得出数据；本发明在具体区域的时空探测中，选取单频信号和多频信号同时成像，配合衍射光斑成像，方...

本发明公开了一种生成随机密码的数字电路，包括定时计数电路和生成密码锁存电路。本发明提供了一种以数字电路为基础，使用时，只需使能然后送入下降沿即可产生2位真随机密码并锁存，且可以并联使用从而产生任意位真随机密码。本发明具有制作简单、使用方...

本发明公开了高精度室内外时空数据重构及其处理方法，包括以下步骤：采集室外多维时空数据，形成室外遥感数据影像库；采集室内多维时空数据，形成室内时空监测影像库；构建室内外时空数据三维模型，构建室内外时空数据三维模型；利用数据重构方法对高时间...