“逻辑检查”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果335882个，建议您升级VIP下载更多相关专利

[发明专利]数据引用查询方法和装置-CN202110123432.1有效
发明人：李静 -专利权人：浪潮通用软件有限公司
申请日： 2021-01-29 - 公布日： 2023-07-18 - 主分类号： G06F16/2455 文献下载
摘要：本发明提供了数据引用查询方法和装置，该方法包括：获取用户的检查请求；其中，检查请求中携带有待检查的数据信息；根据检查请求，确定查询逻辑；其中，查询逻辑用于对待检查的数据信息进行数据引用查询，不同用户的检查请求对应有不同的查询逻辑；调用查询逻辑获得对应查询逻辑的逻辑结果；其中，不同查询逻辑的逻辑结果不完全相同；将逻辑结果转化为对应的查询结果，并将查询结果发送给用户；其中，查询结果用于表征待检查的数据信息的引用状态。
数据引用查询方法装置

[发明专利]一种在汽车软件运行中监控执行逻辑流的方法及系统-CN202310335589.X在审
发明人：李森林;陈智勇;余贞金 -专利权人：武汉光庭信息技术股份有限公司
申请日： 2023-03-28 - 公布日： 2023-08-04 - 主分类号： G06F11/30 文献下载
摘要：本发明涉及一种在汽车软件运行中监控执行逻辑流的方法及系统，包括：根据汽车软件的执行逻辑路径设置各个检查点；在各个检查点添加报告程序，该报告程序用于异步向逻辑监控程序报告当前运行位置的检查点的枚举值；确定汽车软件的各个待监控执行逻辑路径，确定各个待监控执行逻辑路径的起始检查点和结束检查点，将各个待监控执行逻辑路径的起始检查点和结束检查点之间的检查点组成转换点组，并分别建立起始检查点列表、结束检查点列表和转换点组列表后存储到配置文件中；汽车软件运行到任一检查点时，向逻辑监控程序报告当前的检查点，逻辑监控程序根据报告程序检查当前运行的逻辑流是否符合定义的预期；可以提高系统的安全性。
一种汽车软件运行监控执行逻辑方法系统

[发明专利]一种页面检查方法、装置、设备及介质-CN201910421768.9有效
发明人：王高垒;吴康瑞;刘尚强;汤芬 -专利权人：腾讯科技（上海）有限公司
申请日： 2019-05-21 - 公布日： 2022-11-29 - 主分类号： G06F16/958 文献下载
摘要：本发明公开了一种页面检查方法、装置、设备及介质，所述方法包括基于超文本预处理器页面开发框架配置页面检查框架逻辑；搭建JavaScript环境并配合无界面浏览器实现页面提取，以及实现基于后台渲染的页面检查逻辑；遍历当前在线提供页面的应用程序接口，并将遍历结果传输至页面检查触发逻辑，以便于由所述页面检查触发逻辑根据所述遍历结果触发页面检查逻辑，以得到页面检查结果；将所述页面检查结果传输至页面检查结果后处理逻辑，由所述页面检查结果后处理逻辑根据所述页面检查结果进行对应处理。本发明实现了功能完备，架构清晰的全自动页面检查方案，既节省了人力，又保证了页面质量，有利于提升相关网站的稳定性。
一种页面检查方法装置设备介质

[发明专利]对预留给处理器逻辑使用的存储器的访问类型保护-CN201380062341.5有效
发明人： G·希尔德什姆;S·赖金;I·安奈蒂;G·盖尔宗;H·谢夫;A·贝伦宗;G·S·斯特隆靳;I·索拉尼 -专利权人：英特尔公司
申请日： 2013-06-13 - 公布日： 2018-03-30 - 主分类号： G06F13/16 文献下载
摘要：一方面的处理器包括操作模式检查逻辑，所述操作模式检查逻辑基于用于指示意图的访问是否是由管芯上的处理器逻辑作出的操作模式来判定是否允许对操作模式及访问类型保护的存储器的意图的访问。访问类型检查逻辑基于对操作模式及访问类型保护的存储器的意图的访问的访问类型，判定是否允许对操作模式及访问类型保护的存储器的意图的访问。保护逻辑与操作模式检查逻辑耦合，并与访问类型检查逻辑耦合。如果操作模式检查逻辑和访问类型检查逻辑中的至少一个判定不允许意图的访问，则保护逻辑将拒绝对操作模式及访问类型保护的存储器的意图的访问。
预留处理器逻辑使用存储器访问类型保护

[发明专利]操作可编程逻辑控制器-CN201380060919.3有效
发明人： S.奥伯梅尔;M.瓦勒;T.洛彻尔;S.斯托伊特 -专利权人： ABB研究有限公司
申请日： 2013-09-20 - 公布日： 2018-05-18 - 主分类号： G05B19/05 文献下载
摘要：一种用于工业控制系统(10)的可编程逻辑控制器(14)包括应用逻辑执行层(42)以及更新检查层(40)和输出检查层(44)中的至少一个。输出检查层(44)适合于接收输出参数(30)；检查输出参数是否输出参数为与容许输出参数的列表(52)对应的容许输出参数；以及向致动器(16)仅输出容许输出参数。更新检查层(40)适合于接收应用逻辑更新数据(50)，其中应用逻辑更新数据包含用于更新应用逻辑(43)的信息。更新检查层(40)适合于通过检验应用逻辑更新数据(50)所定义的每一个应用逻辑更新是否对应于容许逻辑更新的列表(48)中的应用逻辑更新来检查应用逻辑更新数据(50)是否应用逻辑更新数据为容许应用逻辑更新数据，并且仅当更新数据是容许应用逻辑更新数据时，才更新应用逻辑(43)。
操作可编程逻辑控制器

[发明专利]一种代码复查方法和装置-CN201811365193.5有效
发明人：马灵通 -专利权人：中国银行股份有限公司
申请日： 2018-11-16 - 公布日： 2021-11-23 - 主分类号： G06F8/36 文献下载
摘要：本发明公开了一种代码复查方法和装置，该方法首先接收对目标程序进行代码复查的代码复查指令；然后根据所述代码复查指令，确定代码检查逻辑；所述代码检查逻辑是依据知识条目建立的；之后依据所述代码检查逻辑，对所述目标程序进行代码检查；最后输出所述目标程序中不符合所述代码检查逻辑的复查结果。由于代码检查逻辑是依据知识条目建立的，因此，在有效利用知识条目的同时，无需人工参与，即可实现自动的代码复查，提高工作效率。
一种代码复查方法装置

[发明专利]一种规范检查系统、方法、设备及介质-CN202011569130.9在审
发明人：于长海;杨鹏;孙振华 -专利权人：中国农业银行股份有限公司
申请日： 2020-12-26 - 公布日： 2021-04-02 - 主分类号： G06F11/36 文献下载
摘要：本申请提供了一种规范检查系统，该系统包括微内核和规则管理装置，微内核和规则管理装置解耦，规则管理装置用于接收用户输入的检查逻辑，根据检查逻辑生成规范检查规则，微内核用于对待检查的代码工程文件执行对应的规范检查规则内的检查逻辑，实现对代码工程文件的规范检查，从而能够在多场景的情况下实现对代码工程文件的规范检查。
一种规范检查系统方法设备介质

[发明专利]一种音频辅助检查操作方法-CN201910321381.6有效
发明人：仲照华;郭鸿滨 -专利权人：中国航空无线电电子研究所
申请日： 2019-04-19 - 公布日： 2022-05-06 - 主分类号： B64F5/60 文献下载
摘要：本发明提供的一种音频辅助检查操作方法，根据预先设定的标准操作程序，定义各标准操作程序的机组操作检查功能，和机组操作检查功能的乐音触发逻辑和辅助提示用正常乐音、辅助提示用非正常乐音；执行标准操作程序时，同时执行机组操作检查功能，并播放辅助提示用正常乐音；根据机组操作检查逻辑监测标准操作程序的执行过程；若机组操作检查逻辑检测到操作与标准操作程序不符和，则启动乐音触发逻辑，并播放辅助提示用非正常乐音；若机组操作检查逻辑检测到操作恢复与标准操作程序相符时，启动乐音触发逻辑，并播放辅助提示用正常乐音；检测标准操作程序执行过程。
一种音频辅助检查操作方法

[发明专利]一种代码检查方法及装置-CN201610808505.X有效
发明人：衣建中 -专利权人：网易(杭州)网络有限公司
申请日： 2016-09-07 - 公布日： 2020-01-10 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种代码检查方法，包括如下步骤：接收待检查的程序文件的抽象语法树；对所述抽象语法树中的节点进行枚举，查询得到与待检查的语法结构对应的节点；利用自定义逻辑对查询得到的对应的节点进行检查，并在检查到所述节点不符合所述自定义逻辑时，生成错误信息；其中，所述自定义逻辑为用户根据需求自定义的代码执行逻辑。本发明还公开了一种代码检查装置，可实现灵活、扩展性高的静态代码检查，可根据项目的实际需要添加对应的自定义逻辑，满足项目开发的实际需要。
一种代码检查方法装置

[发明专利]一种供应商信息审核推荐方法-CN201910945649.3在审
发明人：张华明;钟学工;孙伟;魏良波;王诚;荣建峰;袁伦丰;吴宇锋;罗怀勇 -专利权人：重庆浪尖至简物联网科技有限公司
申请日： 2019-09-30 - 公布日： 2020-01-14 - 主分类号： G06Q10/10 文献下载
摘要：本发明公开了一种供应商信息审核推荐方法，包括如下步骤：S1、获取目标审核项的待检查信息；S2、基于业务检查点目录及待检查信息计算目标审核项的每个业务检查点的检查结果，业务检查点目录包括了所有业务检查点及其检查结果的计算方法；S3、基于逻辑判定配置信息及检查结果判断目标审核项是否需要审核，逻辑判断配置信息记录了基于业务检查点对应的检查结果判断目标审核项是否需要审核的判断逻辑，当任一判断逻辑判断目标审核项需要审核时，则将目标审核项作为推荐审核项推荐给审核方本发明可以根据预先设置好的业务检查点目录及逻辑判定配置信息判断目标审核项是否需要审核，从而避免了不需要的审核，提高了审核效率，降低了人力成本。
审核业务检查检查结果配置信息检查信息逻辑判定判断逻辑供应商信息获取目标计算目标逻辑判断人力成本预先设置记录

[发明专利]基于深度学习和状态转移的内窥镜检查质控方法及系统-CN202310588709.7有效
发明人：徐瑞华;骆卉妍;贺龙君;李超峰;邓一术;经秉中;陈浩华 -专利权人：中山大学肿瘤防治中心（中山大学附属肿瘤医院、中山大学肿瘤研究所）
申请日： 2023-05-24 - 公布日： 2023-08-22 - 主分类号： G06T7/00 文献下载
摘要：本发明提供了一种基于深度学习和状态转移的内窥镜检查质控方法及系统，所述方法包括：根据内窥镜检查项目，得到部位检查逻辑集后，实时获取内窥镜的当前检查帧图像，并根据预设部位识别模型和部位检查逻辑集，对当前检查帧图像进行预测分析得到当前帧部位预测结果，再根据当前帧部位预测结果和部位检查逻辑集，得到当前帧部位识别结果，并根据当前帧部位识别结果更新检查记录，以及根据检查记录，进行相应的质控显示。本发明通过在内窥镜检查质控中引入解剖逻辑结构先验知识，实现科学有效地规范内窥镜检查流程，提高医生工作效率的同时，保证内窥镜的检查质量，避免误诊漏诊，提高病损的检出率，进而提高患者的生存质量。
基于深度学习状态转移内窥镜检查方法系统

[发明专利]一种检查点处理器和用于管理检查点的方法-CN200410060053.9有效
发明人：道格拉斯·B·戴维斯;谭逸心;布拉德·B·托普尔;维沃卡耐德·威兰克 -专利权人：国际商业机器公司
申请日： 2004-06-25 - 公布日： 2005-02-09 - 主分类号： H04L29/00 文献下载
摘要：本发明提供一种检查点处理器和用于管理检查点的方法。检查点处理器可以包括编程为存储用于单独的Web服务实例调用的检查点数据的检查点逻辑。检查点处理器还可以包括编程为把存储的检查点数据恢复给单独的Web服务实例调用中失败的Web服务实例调用的替代的重新启动逻辑。最后，检查点处理器可以包括编程为清除单独的Web服务实例调用中结束了的、没有发生故障的调用的存储的检查点数据的清除逻辑。在本发明的优选方面，可以包括用于标识用于单独的Web服务实例调用中的每一个的异步相关器的逻辑，以及用于存储与对应的存储的检查点数据相关的异步相关器的逻辑。
一种检查点处理器用于管理方法

[发明专利]用于片上安全区域的片上检查器-CN202211043344.1在审
发明人： A·甘诺内;E·费拉拉;N·埃里科;G·唐泽利 -专利权人：意法半导体股份有限公司
申请日： 2022-08-29 - 公布日： 2023-03-03 - 主分类号： G05B23/02 文献下载
摘要：本公开的实施例涉及用于片上安全区域的片上检查器。本文公开了一种单个集成电路芯片，其包括操作诸如阀驱动器的车辆部件的主逻辑。与芯片内的主逻辑隔离的是用于验证主逻辑的正确操作的安全区域。安全区域之外的芯片内的检查器电路用于验证检查器电路的正确操作。检查器电路从安全电路接收信号，并使用组合逻辑电路从这些信号中验证检查电路是否正常工作。
用于安全区域检查

[发明专利]一种三维管道模型实体支吊架逻辑标识的检查方法及装置-CN202311213830.8在审
发明人：于涛;秦永泉;欧阳再龙;唐拓;王兴旺;白婧;谷仁杰;卢卓文;董文杰;白建强 -专利权人：中国核电工程有限公司
申请日： 2023-09-20 - 公布日： 2023-10-27 - 主分类号： G06F30/17 文献下载
摘要：本发明公开一种三维管道模型实体支吊架逻辑标识的检查方法，包括：S1，获取三维管道模型中逻辑支吊架点及实体支吊架的基础数据；S2，根据所述基础数据，对逻辑支吊架点命名、逻辑支吊架点属性、逻辑支吊架点管径、实体支吊架是否缺失、以及逻辑支吊架点是否缺失进行检查；S3，根据检查结果，判定逻辑支吊架点及实体支吊架是否存在问题。本发明还公开一种三维管道模型实体支吊架逻辑标识的检查装置。本发明可快速、准确地识别三维管道模型中的逻辑支吊架点及实体支吊架是否存在问题，有效地解决工程设计的实际问题。
一种三维管道模型实体吊架逻辑标识检查方法装置

[发明专利]基板检查装置及其检查逻辑设定方法和检查逻辑设定装置-CN200610057056.6无效
发明人：片畑隆敏;和田洋贵;森谷俊洋;清水敦;仲岛晶 -专利权人：欧姆龙株式会社
申请日： 2006-03-17 - 公布日： 2006-09-20 - 主分类号： G01N21/956 文献下载
摘要：基板检查装置及其检查逻辑设定方法和检查逻辑设定装置。本发明的课题是提供一种可以由较少的样本图像而生成在基板检查装置中的基板检查中使用的检查逻辑的技术。作为解决手段，信息处理装置在生成新部件的检查逻辑时，取得所述新部件的拍摄图像；根据所述新部件的拍摄图像而算出表示关注区域的颜色分布趋势的颜色分布趋势数据；分别针对多种过去部件取得颜色分布趋势数据，通过比较与所述新部件相关的颜色分布趋势数据和与所述过去部件相关的颜色分布趋势数据，来选出颜色分布趋势类似的过去部件，从存储装置中读出所选出的过去部件的拍摄图像，并将所述新部件的拍摄图像和所述过去部件的拍摄图像作为训练数据，来生成所述新部件的检查逻辑。
检查装置及其逻辑设定方法

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条