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

您好，读者！请登录

内蒙古大学图书馆

首页
概况
党建
资源
服务
科研支持
- 论文收录引用证明
- 科技查新
知识产权
档案馆
帮助

咨询与建议

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

您的常用邮箱：*

您的手机号码：*

问题描述：

当前已输入0个字，您还可以输入200个字

全部搜索
期刊论文
图书
学位论文
标准
纸本馆藏
外文资源发现
数据库导航
超星发现

高级检索

时间限定

出版年份：

文献类型

图书期刊文献学位论文多媒体

馆藏选择

电子馆藏纸本馆藏

核心期刊

全部期刊 SCI 收录期刊 SSCI 收录期刊 EI 收录期刊 CSCD 收录期刊 CSSCI 收录期刊

语言

中文英文

文献类型

期刊文献图书学位论文标准纸本馆藏

帮助

文字说明：

T=题名（书名、题名），A=作者（责任者），K=主题词，P=出版物名称，PU=出版社名称，O=机构（作者单位、学位授予单位、专利申请人），L=中图分类号，C=学科分类号，U=全部字段，Y=年（出版发行年、学位年度、标准发布年）

检索规则说明：

AND代表“并且”；OR代表“或者”；NOT代表“不包含”；(注意必须大写,运算符两边需空一格)

检索范例：

范例一：(K=图书馆学 OR K=情报学) AND A=范并思 AND Y=1982-2016
范例二：P=计算机应用与软件 AND (U=C++ OR U=Basic) NOT K=Visual AND Y=2011-2016

分类表

所选分类

>> <<

限定检索结果

文献类型

12 篇 专利

馆藏范围

12 篇 电子文献
0 种 纸本馆藏

日期分布

机构

2 篇 国家电网公司
2 篇 国网河南省电力公...
2 篇 上海达梦数据库有...
1 篇 昆高新芯微电子有...
1 篇 中博信息技术研究...
1 篇 海尔智家股份有限...
1 篇 北京明略昭辉科技...
1 篇 青岛海尔科技有限...
1 篇 海尔优家智能科技...
1 篇 杭州电子科技大学
1 篇 上海泰矽微电子有...
1 篇 北京蓝天航空科技...
1 篇 腾讯科技有限公司

作者

2 篇 朱仲颖
2 篇 范在龙
2 篇 李银锋
2 篇 万伟
2 篇 望声宜
1 篇 刘庭华
1 篇 戴敏江
1 篇 潘明方
1 篇 尹飞
1 篇 周荣俊
1 篇 牛立强
1 篇 王晓明
1 篇 黄少明
1 篇 韩晓辉
1 篇 田丰
1 篇 罗源
1 篇 陈喆
1 篇 杜芳
1 篇 邓邱伟
1 篇 刘佩显

语言

12 篇 中文

检索条件"主题词=逻辑运算表达式"

共 12 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

一种基于电荷转移的电容检测控制电路验证方法及装置

一种基于电荷转移的电容检测控制电路验证方法及装置

引用

作者：田丰潘明方熊海峰 201210 上海市浦东新区纳贤路800号1幢A座6楼602-A室

本发明实施例提供的一种基于电荷转移的电容检测控制电路验证方法及装置，具有以下有益效果：将第一计数器设定为最大计数值，将第二计数器设定为最小计数值；根据第一逻辑运算表达式，计算第一参考计数值，将第一计数器和第二计数器均... 详细信息

标准号: CN118131105A

本发明实施例提供的一种基于电荷转移的电容检测控制电路验证方法及装置，具有以下有益效果：将第一计数器设定为最大计数值，将第二计数器设定为最小计数值；根据第一逻辑运算表达式，计算第一参考计数值，将第一计数器和第二计数器均设定为第一参考计数值；将第一计数器设定为最大计数值，将所述第二计数器设定为第一参考计数值；根据第二逻辑运算表达式，计算第二参考计数值，将第一计数器和第二计数器均设定为第二参考计数值；根据第二参考计数值计算第一待验参考数值，以验证控制电路。本发明基于电荷转移的电容检测控制实现电路验证，不依赖模拟电路的存在，与常用的数字电路验证环境兼容，有效提高数字控制电路的验证效率，节约验证成本。

关键词：计数器参考验证逻辑运算表达式电荷转移电容检测控制电路数字控制电路电路验证模拟电路数值计算数字电路兼容节约

来源：评论

学校读者我要写书评

暂无评论

数据集中器的仿真模型构建方法、装置、设备及介质

数据集中器的仿真模型构建方法、装置、设备及介质

引用

作者：梅傲雪赵晓宏孔令帅张俊杰璩龙辉王晓明 100089 北京市海淀区上地开拓路9号

本发明涉及航空技术领域，提供一种数据集中器的仿真模型构建方法、装置、设备及介质，方法包括：对数据集中器的设备规范文本进行解析，得到针对数据集中器的仿真模型的目标数据；根据属性信息分别对第一数据和第二数据进行处理，得到... 详细信息

标准号: CN117973056A

本发明涉及航空技术领域，提供一种数据集中器的仿真模型构建方法、装置、设备及介质，方法包括：对数据集中器的设备规范文本进行解析，得到针对数据集中器的仿真模型的目标数据；根据属性信息分别对第一数据和第二数据进行处理，得到第一接口数据和第二接口数据，并生成对应的接口数据库，从接口数据库中提取目标接口数据生成数据集中器类头文件；对第三数据进行转换处理，得到可读代码注释段和逻辑运算表达式，并生成功能逻辑数据库，从功能逻辑数据库中提取功能逻辑数据，并根据功能逻辑数据生成功能逻辑表达式源文件；根据数据集中器类头文件和功能逻辑表达式源文件构建仿真模型。通过本发明能够自动构建仿真模型，提高仿真模型的开发效率。

关键词：数据集中器功能逻辑仿真模型接口数据库接口数据头文件源文件数据库逻辑运算表达式仿真模型构建航空技术领域数据生成功能逻辑表达式第一数据开发效率可读代码目标接口目标数据设备规范属性信息数据生成转换处理自动构建构建解析文本

来源：评论

学校读者我要写书评

暂无评论

家电设备网关分配方法、装置、存储介质及电子装置

家电设备网关分配方法、装置、存储介质及电子装置

引用

作者：李峰尹飞邓邱伟 266101 山东省青岛市崂山区海尔路1号海尔工业园

本申请公开了一种家电设备网关分配方法、装置、存储介质及电子装置，涉及智能家居技术领域，该家电设备网关分配方法包括：获取待分配家电设备的配置参数，其中，所述配置参数用于按照各网关的分配规则匹配网关；基于所述配置参数和预... 详细信息

标准号: CN117749550A

本申请公开了一种家电设备网关分配方法、装置、存储介质及电子装置，涉及智能家居技术领域，该家电设备网关分配方法包括：获取待分配家电设备的配置参数，其中，所述配置参数用于按照各网关的分配规则匹配网关；基于所述配置参数和预先设定的各网关的各分配规则的逻辑运算表达式，确定与所述待分配家电设备匹配的目标网关，其中，所述分配规则用于表征所述网关在匹配所述待分配家电设备过程中的要求。可以实现便捷、低成本的为待分配家电设备匹配目标网关。

关键词：家电设备网关分配规则配置参数匹配网关分配分配逻辑运算表达式存储介质电子装置目标网关匹配目标智能家居低成本申请

来源：评论

学校读者我要写书评

暂无评论

一种基于元操作的智能合约漏洞检测方法和系统

一种基于元操作的智能合约漏洞检测方法和系统

引用

作者：徐向华王顺 310018 浙江省杭州市钱塘新区白杨街道2号大街1158号

本发明公开一种基于元操作的智能合约漏洞检测方法与系统。首先把智能合约转换为中间表示，把在中间表示上的基本匹配操作定义为元操作，作为合约代码漏洞检测的基本检测逻辑单元；其次将合约漏洞的检测规则表示为一组元操作的逻辑运算... 详细信息

标准号: CN116127466A

本发明公开一种基于元操作的智能合约漏洞检测方法与系统。首先把智能合约转换为中间表示，把在中间表示上的基本匹配操作定义为元操作，作为合约代码漏洞检测的基本检测逻辑单元；其次将合约漏洞的检测规则表示为一组元操作的逻辑运算表达式，形成漏洞检测脚本文件。在合约漏洞检测系统中实现所有元操作的检测代码，以及合约漏洞检测规则的解析执行代码；最后系统通过解析漏洞检测脚本文件并执行匹配操作，判断待测智能合约是否存在某种漏洞特征。本发明适用于不同版本智能合约漏洞的检测，通过元操作的重用，减少了很多重复漏洞检测代码编写工作，提高了合约漏洞检测工具的可扩展性。

关键词：漏洞检测元操作智能检测脚本文件匹配操作中间表示解析逻辑运算表达式漏洞检测系统代码编写规则表示可扩展性漏洞特征逻辑单元最后系统漏洞组元重用重复转换

来源：评论

学校读者我要写书评

暂无评论

基于规则引擎的数据处理方法、装置和计算机设备

基于规则引擎的数据处理方法、装置和计算机设备

引用

作者：黄少明戴敏江韩晓辉王玮姜天意罗源 518057 广东省深圳市南山区高新区科技中一路腾讯大厦35层

本申请涉及一种基于规则引擎的数据处理方法、装置、计算机设备、存储介质和计算机程序产品。本申请实施例可应用于云技术、人工智能、智慧交通、辅助驾驶等各种场景。通过先获取按数据处理条件配置的基础数据，而后基于规则运算因子和... 详细信息

标准号: CN116975105A

本申请涉及一种基于规则引擎的数据处理方法、装置、计算机设备、存储介质和计算机程序产品。本申请实施例可应用于云技术、人工智能、智慧交通、辅助驾驶等各种场景。通过先获取按数据处理条件配置的基础数据，而后基于规则运算因子和规则条件，生成统一结构的逻辑运算表达式；再构建规则结构化文件；而后再确定目标规则引擎，并将规则结构化文件转化为规则表达式；最后执行规则表达式，对目标数据源中的数据进行处理，得到所需的数据处理结果。本实施例中，基于数据源信息来针对逻辑运算表达式运行环境的不同进行配置，可以动态生成目标规则引擎对应的规则表达式，提高了数据处理过程的适应场景，从而提高基于规则引擎进行数据处理的处理效率。

关键词：规则表达式逻辑运算表达式规则结构规则引擎目标规则数据处理引擎计算机程序产品数据处理过程数据处理结果数据处理条件计算机设备目标数据源数据源信息人工智能场景处理效率存储介质动态生成辅助驾驶规则条件规则运算基础数据统一结构文件转化运行环境配置的构建申请配置应用交通

来源：评论

学校读者我要写书评

暂无评论

基于增强型GCM算法的Macsec实现方法

基于增强型GCM算法的Macsec实现方法

引用

作者：周荣俊郑海东 215000 江苏省苏州市昆山市玉山镇登云路288号海创大厦C座11楼

本发明提供一种基于增强型GCM算法的Macsec实现方法，该方法包括：将初始化向量送到AES/SM4加密核得到Y0，将Y0进行α模乘逻辑运算得到每个分组的alfa值，然后将alfa值与每个分组值进行异或运算，从而弱化原有GCM算法的每个分组间的关... 详细信息

标准号: CN115296787A

本发明提供一种基于增强型GCM算法的Macsec实现方法，该方法包括：将初始化向量送到AES/SM4加密核得到Y0，将Y0进行α模乘逻辑运算得到每个分组的alfa值，然后将alfa值与每个分组值进行异或运算，从而弱化原有GCM算法的每个分组间的关联性，其中，α模乘逻辑运算表达式为：a₀[k]为输入字节数组，a_j[k]为输出字节数组，α为对应于多项式x的GF(2¹²⁸)域内的一个基本元素，j为α的指数。本发明在不改变默认的GCM结构前提下，通过增加简单逻辑结构，强化分组算法中每个分组间的差异性，降低分组间的可推导性，使算法实现健壮性更高，从而保证本发明实现的MacSec处理后的Mac帧数据可靠性更高。

关键词：分组字节数组模乘算法逻辑运算表达式初始化向量数据可靠性分组算法基本元素简单逻辑逻辑运算算法实现异或运算差异性关联性健壮性增强型推导加密弱化输出保证

来源：评论

学校读者我要写书评

暂无评论

基于Lucene的查询方法、装置、电子设备及存储介质

基于Lucene的查询方法、装置、电子设备及存储介质

引用

作者：杜芳蔡雅茹 100098 北京市海淀区北三环西路25号27号楼二层2020室

本申请涉及一种基于Lucene的查询方法、装置、电子设备及存储介质，该方法包括：接收用户的查询请求，其中，查询请求中携带有查询请求参数，查询请求参数包括用于表征查询条件的字段和用于表征查询条件的逻辑运算表达式的字段；通过预... 详细信息

标准号: CN114860763A

本申请涉及一种基于Lucene的查询方法、装置、电子设备及存储介质，该方法包括：接收用户的查询请求，其中，查询请求中携带有查询请求参数，查询请求参数包括用于表征查询条件的字段和用于表征查询条件的逻辑运算表达式的字段；通过预设的查询解析器，将查询请求参数转化为目标基本查询，目标基本查询为Lucene所支持的且与查询请求参数相匹配的基本查询；通过目标基础查询，调用Lucene中的查询接口，以获取查询请求对应的查询结果；向用户反馈查询结果。这样，可以通过查询解析器将查询请求转换为Lucene所支持的基本查询，并调用Lucene中的查询接口获取查询结果，而无需事先搭建庞大的搜索引擎服务以及相应的复杂配置，即可实现轻量化搜索引擎的查询功能。

关键词：查询请求查询查询结果查询解析器查询接口查询条件字段调用逻辑运算表达式搜索引擎服务参数转化查询功能存储介质电子设备复杂配置基础查询接收用户搜索引擎用户反馈轻量化预设匹配携带转换申请

来源：评论

学校读者我要写书评

暂无评论

一种逻辑运算的处理方法、装置、转换插件及存储介质

一种逻辑运算的处理方法、装置、转换插件及存储介质

引用

作者：望声宜朱仲颖万伟 201203 上海市浦东新区博霞路50号403室

本发明实施例公开了一种逻辑运算的处理方法、装置、转换插件及存储介质。通过获取原始SQL查询条件表达式，将原始SQL查询条件表达式按照第一预设规则等价转换生成目标SQL查询条件表达式，然后存储或执行包含该目标SQL查询条件表达式的... 详细信息

标准号: CN109308300B

本发明实施例公开了一种逻辑运算的处理方法、装置、转换插件及存储介质。通过获取原始SQL查询条件表达式，将原始SQL查询条件表达式按照第一预设规则等价转换生成目标SQL查询条件表达式，然后存储或执行包含该目标SQL查询条件表达式的SQL语句。实现通过提取出相同的查询条件表达式来简化SQL语句中的逻辑运算表达式，以提高数据检索效率。

关键词：条件表达式查询条件表达式逻辑运算表达式数据检索效率存储介质等价转换逻辑运算预设规则转换插件存储

来源：评论

学校读者我要写书评

暂无评论

一种逻辑运算的处理方法、装置、转换插件及存储介质

一种逻辑运算的处理方法、装置、转换插件及存储介质

引用

作者：望声宜朱仲颖万伟 201203 上海市浦东新区博霞路50号403室

标准号: CN109308300A

关键词：条件表达式查询条件表达式逻辑运算表达式数据检索效率存储介质等价转换逻辑运算预设规则转换插件存储

来源：评论

学校读者我要写书评

暂无评论

一种调度日常业务提醒方法

一种调度日常业务提醒方法

引用

作者：杨建国李银锋范在龙景超锋吴营军郑汉杰安华斌 452470 河南省郑州市登封市少林大道103号

一种调度日常业务提醒方法，所述方法包括：将每一个调度业务形成业务函数；将调度业务的操作信息、时间条件并结合业务函数，形成调度业务逻辑运算表达式；调度业务逻辑运算表达式写入现有的调度业务平台的应用层脚本中；当达到时间条... 详细信息

标准号: CN107609847A

一种调度日常业务提醒方法，所述方法包括：将每一个调度业务形成业务函数；将调度业务的操作信息、时间条件并结合业务函数，形成调度业务逻辑运算表达式；调度业务逻辑运算表达式写入现有的调度业务平台的应用层脚本中；当达到时间条件时，调取对应的业务函数，并判断调度业务操作信息是否符合满足预设信息内容；满足时该业务函数结束，等待下一时间条件触发下一业务函数，不满足时，触发报警。所述的调度业务包括早高峰调压、晚高峰调压、事故处理、运行监视。所述的逻辑运算表达式为：调度业务的操作信息小于对应的时间条件下的业务函数。本发明能够及时对工作任务进行提醒，即使发生突发状况，也不会将任务遗忘。

关键词：调度业务业务函数逻辑运算表达式操作信息时间条件调压触发报警事故处理条件触发突发状况业务提醒预设信息运行监视应用层脚本调取高峰写入遗忘调度

来源：评论

学校读者我要写书评

暂无评论

没有更多数据了...

全选清除本页清除全部题录导出标记到“检索档案”

共2页 << < 1 2 > >>

检索报告对象比较合并检索0

隐藏清空

合并搜索

回到顶部

执行限定条件

内容：

评分：

请选择保存的检索档案：

请选择收藏分类：

订阅名称：

通借通还

温馨提示：

图书名称：

借书校区：

取书校区：

手机号码：

邮箱地址：

一卡通帐号：

电话和邮箱必须正确填写，我们会与您联系确认。

联系人：

所在院系：

联系邮箱：

联系电话：

内蒙古自治区呼和浩特市赛罕区大学西街235号邮编: 010021

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：