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

作者：李扩拉 710076 陕西省西安市高新区丈八四路20号神州数码西安科技园4栋26层D区

本发明公开了一种将专利检索表达式转换为搜索引擎查询语句的方法，包括：获取待处理的专利检索表达式；利用预先构建的分词器解析专利检索表达式对应的字符串，得到解析出的多个分词；基于专利检索表达式语法结构，将多个分词处理为标... 详细信息

标准号: CN115587162A

本发明公开了一种将专利检索表达式转换为搜索引擎查询语句的方法，包括：获取待处理的专利检索表达式；利用预先构建的分词器解析专利检索表达式对应的字符串，得到解析出的多个分词；基于专利检索表达式语法结构，将多个分词处理为标准语法节点的列表；根据标准语法节点的列表生成标准语法树；利用预先构建的、与目标搜索引擎匹配的语法转换器，将标准语法树转换为目标搜索引擎的查询语句。其中，专利检索表达式、分词器基于预先定义的可扩展的专利检索表达式语法结构构建。本发明能将专利检索表达式转换为相应的搜索引擎的查询语句，可适用于多种搜索引擎，能实现专利数据异构检索，可适配不同的数据格式和数据存储方式，可适配性和可扩展性高。

关键词：专利检索搜索引擎查询语句构建语法表达式转换语法结构分词器语法树解析数据存储方式转换器分词处理可扩展性列表生成数据格式预先定义专利数据可扩展适配性字符串分词适配异构匹配检索转换

来源：评论

学校读者我要写书评

暂无评论

一种表达式转换方法、装置、设备及存储介质

一种表达式转换方法、装置、设备及存储介质

引用

作者：张钦朱仲颖 201203 上海市浦东新区博霞路50号403室

本发明实施例公开了一种表达式转换方法、装置、设备及存储介质。该方法包括：获取表达式链表中的至少两个表达式；将至少两个表达式中相同的表达式转换为第一变量；于计算至少两个表达式时，若当前表达式为第一变量，则替换当前表达式... 详细信息

标准号: CN109145013A

本发明实施例公开了一种表达式转换方法、装置、设备及存储介质。该方法包括：获取表达式链表中的至少两个表达式；将至少两个表达式中相同的表达式转换为第一变量；于计算至少两个表达式时，若当前表达式为第一变量，则替换当前表达式为第一变量的对应值，通过本发明的技术方案，既避免了表达式的重复计算，又能够有效的提高性能。

关键词：表达式转换存储介质重复计算链表替换

来源：评论

学校读者我要写书评

暂无评论

一种从函数式卷积表达式到C代码的重写转换方法

一种从函数式卷积表达式到C代码的重写转换方法

引用

作者：张晓丽陈钢 213300 江苏省常州市溧阳市滨河东路29号

本发明提供了一种在Coq定理证明器中以函数式方式表达AI神经网络算子的方法，实现了一种将函数式卷积表达式转换为C代码的重写技术。主要包括六个关键部分，张量原语的形式化定义、中间变量绑定值的形式化定义、张量原语及中间变量绑定... 详细信息

标准号: CN118170384A

本发明提供了一种在Coq定理证明器中以函数式方式表达AI神经网络算子的方法，实现了一种将函数式卷积表达式转换为C代码的重写技术。主要包括六个关键部分，张量原语的形式化定义、中间变量绑定值的形式化定义、张量原语及中间变量绑定值的命令式组合子的形式化定义、张量原语及中间变量绑定值的重写规则的形式化定义、函数式张量卷积表达式的定义，以及其他AI神经网络算子如池化、激活等的表达式形式化定义。对于后续在Coq中进行神经网络算子正确性验证和优化提供了有力支持。有效规避了传统深度学习框架中常见的形状不匹配和不可靠性等问题。这为构建高可靠性的AI编译器打下了坚实的基础。

关键词：形式化定义原语神经网络中间变量函数式算子绑定卷积表达式转换定理证明器正确性验证高可靠性重写规则编译器组合子池化构建重写匹配激活优化学习

来源：评论

学校读者我要写书评

暂无评论

涉及深度图转换的编码器、编码方法以及三层表达式的存储方法和格式

涉及深度图转换的编码器、编码方法以及三层表达式的存储方法和格...

引用

作者：李应樵陈增源中国香港洛克道188号兆安中心7楼

公开了一种深度图转换成三层表达式的编码器，包括：深度图输入接收模块，用于接收8位模式或者16位模式的深度图的输入；间隔/区间划分模块；直方图创建模块；像素数计算模块，位于直方图创建模块内；最大计数间隔/区间识别模块；以及... 详细信息

标准号: CN109600600B

公开了一种深度图转换成三层表达式的编码器，包括：深度图输入接收模块，用于接收8位模式或者16位模式的深度图的输入；间隔/区间划分模块；直方图创建模块；像素数计算模块，位于直方图创建模块内；最大计数间隔/区间识别模块；以及三层表达式转换模块，用于将深度图的深度值转换成三层表达式：其中D'(x,y)是转换后的深度值；在8位模式下执行转换三层表达式时，上述表达式中的阈值A、B分别为51、77、102、153、179、204，在16位模式下执行转换三层表达式时，上述表达式中的阈值A、B分别为13107、19662、26214、32768、39321、54523。由此降低了整体计算复杂性，从而提高渲染帧速率并改善用户体验。

关键词：位模式深度图三层转换直方图创建输入接收模块表达式转换深度图转换划分模块计数间隔计算模块区间识别用户体验整体计算编码器像素数渲染

来源：评论

学校读者我要写书评

暂无评论

涉及深度图转换的编码器、编码方法以及三层表达式的存储方法和格式

涉及深度图转换的编码器、编码方法以及三层表达式的存储方法和格...

引用

作者：李应樵陈增源中国香港洛克道188号兆安中心7楼

标准号: CN109600600A

来源：评论

学校读者我要写书评

暂无评论

定制生成表达式方法及装置

定制生成表达式方法及装置

引用

作者：刘奇杰 518000 广东省深圳市福田区福田街道岗厦社区金田路3038号现代国际3210A

本发明公开了定制生成表达式方法及装置。涉及软件领域，其中，方法通过根据包括表达式初始化、表达式元素编辑、表达式元素追加、表达式转换成生成等在内的表达式定制规则以点击或拖曳的方式生成表达式，然后提取生成的表达式进行表达... 详细信息

标准号: CN111126012A

本发明公开了定制生成表达式方法及装置。涉及软件领域，其中，方法通过根据包括表达式初始化、表达式元素编辑、表达式元素追加、表达式转换成生成等在内的表达式定制规则以点击或拖曳的方式生成表达式，然后提取生成的表达式进行表达式调试，并根据表达式定制规则进行表达式调整，直至得到通过校验的目标表达式，显示生成的目标表达式。通过直观的点击或拖曳方式按照表达式定制规则生成表达式，然后对生成的表达式进行在线调试，保证定制表达式的准确性，表现方式直观，在保证生成过程灵活性的前提下，降低定制表达式的难度，提高用户友好度，减少定制表达式花费的时间。

关键词：定制表达式定制规则目标表达式拖曳直观表达式转换用户友好度软件领域显示生成在线调试校验初始化调试追加保证表现

来源：评论

学校读者我要写书评

暂无评论

定制生成表达式方法及装置

定制生成表达式方法及装置

引用

作者：刘奇杰 518000 广东省深圳市福田区福田街道岗厦社区金田路3038号现代国际3210A

标准号: CN111126012B

关键词：定制表达式定制规则目标表达式拖曳直观表达式转换用户友好度软件领域显示生成在线调试校验初始化调试追加保证表现

来源：评论

学校读者我要写书评

暂无评论

一种基于虚拟堆栈的表达式解析方法及系统

一种基于虚拟堆栈的表达式解析方法及系统

引用

作者：徐艳艳徐云松孙运乾叶留义李杰马卫平姜艳娟闫振宇陈一飞李旺张玉龙孙栋斌岳银涛 461000 河南省许昌市许继大道1298号

本发明公开了一种基于虚拟堆栈的表达式解析方法及系统，其中方法包括：获取表达式数据项个数和表达式运算符个数；当表达式数据项个数大于表达式运算符个数且下一字符单元为数据项时或当表达式数据项个数小于或等于表达式运算符个数且... 详细信息

标准号: CN114064121A

本发明公开了一种基于虚拟堆栈的表达式解析方法及系统，其中方法包括：获取表达式数据项个数和表达式运算符个数；当表达式数据项个数大于表达式运算符个数且下一字符单元为数据项时或当表达式数据项个数小于或等于表达式运算符个数且下一字符单元为运算符时，输出表达式格式有误标志；当表达式数据项个数大于表达式运算符个数且下一字符单元为运算符时，依据下一字符单元中运算符的优先级将运算符压入第二虚拟堆栈；当表达式数据项个数小于或等于表达式运算符个数且下一字符单元为数据项时，将数据项压入第一虚拟堆栈，并在第二虚拟堆栈为空时结束解析表达式。通过采用虚拟堆栈的方式对表达式进行解析，将表达式转换为可高效执行的指令集。

关键词：数据项表达式运算符虚拟堆栈字符单元运算符压入表达式解析表达式转换解析表达式输出表达式指令集空时解析

来源：评论

学校读者我要写书评

暂无评论

地缘环境扩展指标构建研究

引用

地理空间信息 2020年第7期18卷 17-20,29,I0005页

作者：冯长强曹一冰武丽丽张晓楠张宏地理信息工程国家重点实验室陕西西安710054 西安测绘研究所陕西西安710054 信息工程大学地理空间信息学院河南郑州450001 空军航空大学航空基础学院吉林长春130022

扩展指标是开展地缘环境定量分析的基础,现有软件或研究无法满足地缘环境扩展指标的构建,只能由用户根据基础指标手工创建。介绍了地缘环境专题统计指标的组织方式和扩展指标构建中的特殊函数,研究了地缘环境扩展指标表达式的解析、检... 详细信息

扩展指标是开展地缘环境定量分析的基础,现有软件或研究无法满足地缘环境扩展指标的构建,只能由用户根据基础指标手工创建。介绍了地缘环境专题统计指标的组织方式和扩展指标构建中的特殊函数,研究了地缘环境扩展指标表达式的解析、检查、转换和计算。对现有表达式的转换算法进行了改进,使其支持含有函数嵌套和多参数函数的表达式,实现了地缘环境扩展指标的灵活、快速构建。

关键词：地缘专题统计指标扩展指标构建表达式转换

来源：评论

学校读者我要写书评

暂无评论

一种基于AST的数学表达式计算算法

一种基于AST的数学表达式计算算法

引用

作者：高玉生马仁怀朱明龙 250098 山东省济南市高新区新泺大街1299号鑫盛大厦1号楼18层D2区域

本发明提供了一种基于AST的数学表达式计算算法，包括以下步骤：1、用户输入的表达式转换为Token并识别；输入为：用户表达式；输出为：Token。2、将上步识别的Token组成AST语法树；输入为：Token；输出为：AST语法树。3、解析AST语法... 详细信息

标准号: CN113987405A

本发明提供了一种基于AST的数学表达式计算算法，包括以下步骤：1、用户输入的表达式转换为Token并识别；输入为：用户表达式；输出为：Token。2、将上步识别的Token组成AST语法树；输入为：Token；输出为：AST语法树。3、解析AST语法树计算表达式的值；输入为：AST语法树，输出为：表达式的值。本发明具有以下有益效果：1、可以在用户输入含标识符的表达式时校验输入是否合法。2、如果内置数学函数无法满足用户需求，还提供自定义的函数调用计算功能，即支持用户定义函数的调用，极大地扩展了计算表达式的功能。3、能够处理表达式语句，并根据条件选择计算公式，使用户使用起来没有任何学习成本。

关键词：语法树输出标识符用户定义函数表达式转换数学表达式函数调用计算功能计算公式数学函数条件选择用户使用用户需求校验自定义内置算法语句调用解析合法学习

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：