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

作者：宋有蓝灯晓李统超 100070 北京市丰台区南四环西路188号11区32号楼(园区)

本发明提供一种汽车诊断协议字符串类型数据数学表达式解析方法，所述方法是通过提供的编辑器导入或输入字符串类型数据表达式文件，对所述字符串类型数据表达式文件进行表达式识别，首先判断是否为数学表达式，若是，则按数学运算符优... 详细信息

标准号: CN116661791A

本发明提供一种汽车诊断协议字符串类型数据数学表达式解析方法，所述方法是通过提供的编辑器导入或输入字符串类型数据表达式文件，对所述字符串类型数据表达式文件进行表达式识别，首先判断是否为数学表达式，若是，则按数学运算符优先级对表达式解析并进行运算，打印输出计算结果文件，若否，则拆分成不同的表示式类型，并判断是否有嵌套，有，则循环对文件表达式类型进行识别。本发明能够对汽车诊断协议字符串类型数据进行数学表达式自动识别、解析和运算，不需要开发人员对诊断协议逐一进行解析、校验和整理，大大减少不必要的数学表达式代码解析的编写，不仅提高的软件开发周期，同时避免人为失误导致运算结果错误，影响诊断软件的准确度。

关键词：数学表达式字符串类型解析数据表达式汽车诊断嵌套软件开发周期表达式解析表达式类型表达式识别输入字符串数学运算符代码解析结果文件人为失误输出计算运算结果诊断软件自动识别准确度编辑器和运算校验和运算打印诊断开发

来源：评论

学校读者我要写书评

暂无评论

基于广义量词理论和时态逻辑的汉语量化表达式研究

基于广义量词理论和时态逻辑的汉语量化表达式研究

引用

作者：于宇西南大学

学位级别：博士

自然语言的意义很大程度上依赖量化表达式，人工逻辑语言的表达式也不能缺少量词，人们在使用语言进行日常推理时，更是离不开量词。因此，量化问题的研究是自然语言逻辑研究的一个重要的或者说核心的内容。然而，就目前的研究状况来看... 详细信息

自然语言的意义很大程度上依赖量化表达式，人工逻辑语言的表达式也不能缺少量词，人们在使用语言进行日常推理时，更是离不开量词。因此，量化问题的研究是自然语言逻辑研究的一个重要的或者说核心的内容。然而，就目前的研究状况来看，汉语量化问题的研究与英语相比较还不够深入，也没有形成系统。本文以广义量词理论和时态逻辑为理论工具，运用语言学相关的研究成果对汉语量化表达式进行系统的逻辑语义研究；在此基础上探讨汉语简单量词的逻辑性质和单调性问题，并对汉语简单量化句推理进行系统研究。\n 首先，从汉语量化现象入手，分析梳理汉语量化表达式的类型。并分析不同类型汉语量化表达式的语义特征，给出针对不同类型量化表达式的不同解决方案。说明为什么除基于广义量词理论对汉语量化表达式进行逻辑分析外，还需要基于时态逻辑理论对汉语量化表达式进行逻辑分析；以及说明为什么在对量化表达式语义分析的基础上还需要分析汉语简单量词的逻辑性质以及单调性和推理问题。\n 其次，基于广义量词理论对汉语量化表达式进行逻辑分析。先介绍广义量词理论的基本思想和主要方法，为研究汉语限定量词做好理论准备。利用语言学的研究成果对包含限定量词的汉语量化表达式进行分类并分析其语义特征。再基于广义量词理论从逻辑角度系统地刻画包含限定量词的汉语量化表达式的语形和语义。\n 第三，基于时态逻辑理论对汉语量化表达式进行逻辑分析。先介绍时态逻辑产生的背景及意义，然后引入两个时态逻辑的基本命题逻辑系统，为研究汉语量化副词做好理论准备。在此基础上，从语言学角度对汉语量化副词进行分类，并使用时态逻辑工具对各类量化副词进行语义刻画，最后从逻辑角度对包含量化副词的汉语简单量化句进行深层结构分析。\n 第四，在深入分析汉语量化表达式语义的基础上，探讨汉语简单量词的逻辑性质、单调性和推理问题。首先介绍量词的逻辑性质和单调性的定义，然后分析各种汉语简单量词的逻辑性质，并运用集合运算法则对各种简单量词的单调性进行一一证明。在此基础上，进一步讨论汉语简单量化句之间的推理问题。先系统地探讨汉语简单量化句之间的单调推理，为很多直观上成立的自然语言推理提供理论依据；然后把传统逻辑中的对当关系推理拓展到其它类型的汉语简单量化句，并证明其对当关系的成立。\n 总之，本文以广义量词理论和时态逻辑为主要理论依据，试图分析和讨论包含限定量词和量化副词的汉语量化表达式的语义，并进一步讨论汉语各种简单量词的逻辑性质和单调性，最后在精确分析汉语量化表达式语义的基础上对汉语简单量化句的推理问题进行系统的研究。

关键词：广义量词时态逻辑汉语量化表达式类型自然语言逻辑

来源：评论

学校读者我要写书评

暂无评论

贸易乘数不同表达式的成因及其内在关系的辨析

引用

集美大学学报（哲学社会科学版） 2000年第4期3卷 5-10页

作者：赵应宗集美大学外经系福建厦门361021

贸易乘数又称外贸乘数 ,它虽然与出口密切相关 ,但出口增长并不一定就能产生引起国民经济数倍增长乘数效应 ,更不能认为只有贸易顺差才能产生乘数效应。驱动贸易乘数效应的核心因素是MPC。长期以来 ,由于外贸乘数存在多种不同的表达式 ... 详细信息

贸易乘数又称外贸乘数 ,它虽然与出口密切相关 ,但出口增长并不一定就能产生引起国民经济数倍增长乘数效应 ,更不能认为只有贸易顺差才能产生乘数效应。驱动贸易乘数效应的核心因素是MPC。长期以来 ,由于外贸乘数存在多种不同的表达式 ,其中还存在不少穿凿附会的谬误 ,致使人们不易准确理解核心要素MPC的作用和意义。本文将在分清这些要素作用及其相互关系的基础上。

关键词：表达式类型要因分析实际意义与作用

来源：评论

学校读者我要写书评

暂无评论

一种源代码中值计算错误的自动检测和定位方法

一种源代码中值计算错误的自动检测和定位方法

引用

作者：陈哲朱云龙魏欧黄志球 210016 江苏省南京市秦淮区御道街29号

本发明公开了一种源代码中值计算错误的自动检测和定位方法，属于计算机软件测试领域，该方法利用编译器对源代码进行语法分析，构造抽象语法树，通过遍历抽象语法树，基于表达式类型和用户指定检测的值计算错误类型，判断是否存在值计... 详细信息

标准号: CN104298594A

本发明公开了一种源代码中值计算错误的自动检测和定位方法，属于计算机软件测试领域，该方法利用编译器对源代码进行语法分析，构造抽象语法树，通过遍历抽象语法树，基于表达式类型和用户指定检测的值计算错误类型，判断是否存在值计算错误的潜在风险；对可能产生值计算错误的表达式进行源代码变换，加入值计算错误检测和源代码定位的机制；编译执行变换后的源代码，执行后的源代码程序会自动判断值计算错误的发生，并准确报告错误对应的源代码位置。本方法可以在软件运行过程中自动检测和定位软件中的值计算错误，以实现更准确的错误定位功能，更好的平台普适性，更高的运行时性能和效率，从而克服现有的检测方法中存在的技术问题。

关键词：计算错误源代码抽象语法树自动检测检测表达式计算机软件测试软件运行过程表达式类型源代码变换源代码程序编译执行错误定位定位方法定位软件语法分析准确报告自动判断编译器遍历变换风险

来源：评论

学校读者我要写书评

暂无评论

SV运行时的表达式求值方法

SV运行时的表达式求值方法

引用

作者：陈彬杨晓东董森华雍晓 610200 四川省成都市双流区国芯大道518号

一种SV运行时的表达式求值方法，其包括：对输入的SV表达式字符串进行语法分析，以将SV表达式字符串转换为AST，AST包括节点以及节点间依赖关系，节点包括操作节点、变量节点；基于SV语义检测规则，对AST进行语义分析，以通过变量查询推... 详细信息

标准号: CN115345155B

一种SV运行时的表达式求值方法，其包括：对输入的SV表达式字符串进行语法分析，以将SV表达式字符串转换为AST，AST包括节点以及节点间依赖关系，节点包括操作节点、变量节点；基于SV语义检测规则，对AST进行语义分析，以通过变量查询推导AST中各个变量节点的表达式类型，以及通过操作数合法化核查来确定各个操作节点的表达式类型，并基于表达式类型进行表达式类型传播以对AST进行合法化；判断合法化的AST是否需要优化，如果不需要，则按照自底向上的方向进行遍历，以对合法化后的AST进行求值操作得到SV表达式字符串的求值结果；如果需要，则对合法化后的AST进行优化，按照自底向上的方向进行遍历以对优化后的AST进行求值操作得到SV表达式字符串的求值结果。

关键词：表达式类型字符串变量节点操作节点遍历优化字符串转换变量查询依赖关系语法分析语义分析语义检测操作数运行时推导核查传播

来源：评论

学校读者我要写书评

暂无评论

SQL语句永真式注入检测方法、装置、计算机设备及存储介质

SQL语句永真式注入检测方法、装置、计算机设备及存储介质

引用

作者：柳遵梁陈雨珂周杰闻建霞牛自宾 311121 浙江省杭州市余杭区仓前街道良睦路1399号19号楼103-27室

本发明实施例公开了SQL语句永真式注入检测方法、装置、计算机设备及存储介质。所述方法包括：获取用户输入参数，以形成SQL语句；对所述SQL语句进行词法语法分析，并构建抽象语法树；根据所述抽象语法树确定条件表达式类型，并计算表... 详细信息

标准号: CN117056347A

本发明实施例公开了SQL语句永真式注入检测方法、装置、计算机设备及存储介质。所述方法包括：获取用户输入参数，以形成SQL语句；对所述SQL语句进行词法语法分析，并构建抽象语法树；根据所述抽象语法树确定条件表达式类型，并计算表达式结果；判断所述表达式结果是否是OR表达式且永真；若所述表达式结果是OR表达式且永真，则确定SQL语句为SQL永真式注入语句。通过实施本发明实施例的方法可判断出复杂运算下的永真表达式，提高漏洞检出率，降低永真注入的风险，实现无需安装插件，无需复杂配置地识别SQL永真式注入。

关键词：表达式结果抽象语法树用户输入参数表达式类型计算机设备安装插件存储介质复杂配置复杂运算确定条件语法分析检出率词法构建语句漏洞检测

来源：评论

学校读者我要写书评

暂无评论

用于代码生成的类型推理方法及系统

用于代码生成的类型推理方法及系统

引用

作者：付辰曦蒋东辰 100083 北京市海淀区清华东路35号

本发明涉及一种用于代码生成的类型推理方法及系统，其方法包括：S1：对Isabelle函数定义进行语法解析并转为抽象语法树AST；S2：根据函数定义提取其中各变量类型并记录在AST中；S3：从AST根节点开始依据表达式的类型采用不同的递归规... 详细信息

标准号: CN117910583A

本发明涉及一种用于代码生成的类型推理方法及系统，其方法包括：S1：对Isabelle函数定义进行语法解析并转为抽象语法树AST；S2：根据函数定义提取其中各变量类型并记录在AST中；S3：从AST根节点开始依据表达式的类型采用不同的递归规则，递归到叶子节点后标注其类型，并推导其上一层表达式类型；S4：将表达式中拥有原定义类型的表达式的类型与对应的原定义类型进行修饰进行区分和标注；S5：对多种不同类型表达式，比较其抽象—具体关系，并确定出正确类型以完成一致化；S6：自顶向下地为部分缺少准确类型信息的表达式补全其类型。本发明方法提高生成的C++代码的正确性，可以满足代码生成时对表达式类型信息的需求。

关键词：表达式类型代码生成定义类型递归标注抽象语法树变量类型定义提取叶子节点语法解析自顶向下根节点推导推理修饰抽象记录

来源：评论

学校读者我要写书评

暂无评论

一种源代码中值计算错误的自动检测和定位方法

一种源代码中值计算错误的自动检测和定位方法

引用

作者：陈哲朱云龙魏欧黄志球 210016 江苏省南京市秦淮区御道街29号

标准号: CN104298594B

关键词：源代码抽象语法树自动检测计算机软件测试错误定位功能软件运行过程表达式类型源代码变换源代码程序源代码位置错误检测错误类型定位软件用户指定语法分析中值计算准确报告自动判断编译器普适性运行时检测遍历编译

来源：评论

学校读者我要写书评

暂无评论

一种会计凭证模板的表达式解析方法、设备及介质

一种会计凭证模板的表达式解析方法、设备及介质

引用

作者：赵民潘鲁川 250000 山东省济南市高新区浪潮路1036号

本申请公开了一种会计凭证模板的表达式解析方法、设备及介质，用以解决现有的会计凭证模板无法实现对多种复杂的解析式进行解析，会计凭证模板的使用率较低，对复杂表达式进行解析的准确性较低的技术问题。方法包括：确定业务数据源以... 详细信息

标准号: CN116842931A

本申请公开了一种会计凭证模板的表达式解析方法、设备及介质，用以解决现有的会计凭证模板无法实现对多种复杂的解析式进行解析，会计凭证模板的使用率较低，对复杂表达式进行解析的准确性较低的技术问题。方法包括：确定业务数据源以及业务需求，通过业务数据源确定对应的业务单据，并根据业务需求配置对应的会计凭证模板；在会计凭证模板中配置业务场景对应的待解析表达式，并根据待解析表达式的表达式类型，确定待解析表达式对应的解析方式；根据对应的解析方式，对待解析表达式进行解析，根据解析结果并按照会计凭证模板，生成业务单据对应的会计凭证。通过上述方法能够提高会计凭证模板的通用性，提升会计凭证模板的使用频率。

关键词：会计凭证解析表达式解析业务单据业务数据业务需求表达式解析表达式类型复杂表达式解析结果使用频率业务场景解析式源确定使用率配置申请

来源：评论

学校读者我要写书评

暂无评论

SV运行时的表达式求值方法

SV运行时的表达式求值方法

引用

作者：陈彬杨晓东董森华雍晓 610200 四川省成都市双流区国芯大道518号

标准号: CN115345155A

关键词：表达式类型字符串变量节点操作节点遍历优化字符串转换变量查询依赖关系语法分析语义分析语义检测操作数运行时推导核查传播

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：