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

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

[发明专利]一种C语言声明定义安全准则的编译检查方法-CN202211547599.1在审
发明人：翟彦河;顾轶超;赵爱南;姜军;张海军;陈宏博 -专利权人：无锡先进技术研究院
申请日： 2022-12-05 - 公布日： 2023-04-14 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种C语言声明定义安全准则的编译检查方法，包括：读取待检查的源文件；对源文件进行宏安全检查、数据与函数安全检查以及变量布局安全检查，当检查出违背声明定义准则的代码输出报警信息；通过宏定义捕获、宏信息存储、宏信息处理等过程实现针对宏定义相关准则的安全检查；通过单文件或跨文件的处理进行数据与函数安全检查，实现针对变量、结构、联合、枚举、位定义、函数等声明定义相关准则的安全检查；通过以函数体为单位构建完整的函数体结构图进行变量布局安全检查，实现针对声明定义位置相关准则的安全检查；本发明对含有漏洞的代码做出检查，避免因错误的声明定义造成后续代码的语义逻辑混乱和安全问题。
一种语言声明定义安全准则编译检查方法

[发明专利]调度自动化系统模型定义辅助决策与风险评估方法-CN201510815028.5在审
发明人：李云鹏;李烽;韩锋;季晨宇;赵普;徐晓轶;钱凌;李一;黄梅;张晓沛;范春阳 -专利权人：江苏省电力公司南通供电公司;江苏秉信科技有限公司;国家电网公司
申请日： 2015-11-23 - 公布日： 2016-03-02 - 主分类号： G06Q10/06 文献下载
摘要：本发明公开了一种调度自动化系统模型定义辅助决策与风险评估方法，包括以下步骤：告警定义检查、采样定义检查、遥控定义检查、遥控定义检查、设备跳变检查、设备定义检查、风险因素处理。
调度自动化系统模型定义辅助决策风险评估方法

[发明专利]指标自定义及检查方法可扩展的信息系统评估方法-CN201811234918.7在审
发明人：于石林;温泉;海然;查尤平 -专利权人：北京计算机技术及应用研究所
申请日： 2018-10-23 - 公布日： 2019-02-19 - 主分类号： G06Q10/06 文献下载
摘要：本发明涉及一种指标自定义及检查方法可扩展的信息系统评估方法，涉及信息安全技术领域。本发明通过实现检查指标的自定义与检查方法的自定义，并通过正则表达式将检查指标与检查方法关联，使用检查方法检查完成后，自动得出检查指标的符合度，无需再人工判断是否符合检查指标，且该检查指标可以自定义、检查方法可扩展，且扩展后检查的结果可以与检查指标自动关联。
检查自定义可扩展信息系统信息安全技术正则表达式人工判断自动关联符合度评估关联

[发明专利]一种云中心环境检查方法-CN202110174091.0有效
发明人：于颜华;魏金雷;储佳祥;杨继伟 -专利权人：浪潮云信息技术股份公司
申请日： 2021-02-07 - 公布日： 2023-03-24 - 主分类号： G06F21/57 文献下载
摘要：本发明公开一种云中心环境检查方法,涉及云部署技术领域；通过中心仓库向各地云中心下发环境检查任务，根据环境检查任务，各地云中心进行内置环境检查和自定义环境检查，内置环境检查通过唯一码code对应检查方法，调用相应的检查方法脚本在云中心的目标主机上执行，自定义环境检查调用自定义检查脚本，输入相关参数在目标主机上执行，各地云中心回传检查结果至中心仓库，并将内置环境检查及自定义环境的检查报告进行存储。
一种中心环境检查方法

[发明专利]一种船舶舱室设备完整性定义质检系统和方法-CN201911048221.5在审
发明人：卢永进;吴盛;王玫 -专利权人：中国舰船研究设计中心
申请日： 2019-10-30 - 公布日： 2020-02-21 - 主分类号： G06F30/15 文献下载
摘要：一种船舶舱室设备完整性定义质检系统和方法，该系统包括：检查配置和模板管理单元，用于根据完整性定义检查项目，通过配置具体检查细项，并生成相应的检查模板；检查规则编译单元，用于根据检查模板中具体的检查项，结合具体工程实际，从检查模板筛选检查项，并经规则编译在CAD中生成相应的检查规则程序，然后加载至完整性定义检查子系统对应检查模块中；完整性定义检查单元，用于经规则编译形成的检查程序进行质量检查，并快速生成相应清单。本发明可一次检查数个模型或舱室，并批量执行数条规则的检查，最后报表化输出检查结果，系统安全可靠，快捷高效。
一种船舶舱室设备完整性定义质检系统方法

[发明专利]一种文件规范性检查方法、系统、设备和存储介质-CN202310549133.3在审
发明人：罗琨 -专利权人：北京尽微致广信息技术有限公司
申请日： 2023-05-16 - 公布日： 2023-06-13 - 主分类号： G06F8/10 文献下载
摘要：本发明公开了本发明提供的一种文件规范性检查方法、系统、设备和存储介质。该方法包括：获取待检查的文件及其对应的规范定义文件；从所述规范定义文件中提取规范项信息；所述规范项信息包括对预设类型的对象的属性规范信息；从所述待检查的文件中提取待检查对象；根据所述规范项信息对所述待检查对象的属性信息进行检查，得到检查结果。该方法基于规范定义文件中的定义的规范项信息自动检查待检查文件中的待检查对象是否符合规范，提高工作效率。
一种文件规范性检查方法系统设备存储介质

[发明专利]一种实现模型规范检查自定义的方法-CN201710124373.3在审
发明人：夏洪涛;焦玉 -专利权人：浙江仕善汽车科技股份有限公司
申请日： 2017-03-03 - 公布日： 2017-07-14 - 主分类号： G06F17/50 文献下载
摘要：本发明为一种实现模型规范检查自定义的方法。它包括（1）在工业标准建模工具MATLAB中Simulink环境下编写 m脚本，新建Simulink自定义检查项实现模型检查的定制化；（2）对m脚本slblocks.m改写实现模型规范检查模块库；（3）把（2）中建立的模型检查配置模块添加到Simulink模型中，双击此配置模块就会启动模型检查工具，此检查工具中包含（1）中所建立的自定义检查项；（4）执行模型检查工具中的自定义检查项以检查对模型进行规范检查，通过此检查项会出现”√”标识，不通过会提示原因，然后修改模型再进行检查。本发明能对模型进行规范性检查，及时发现设计缺陷，节省开发周期和成本。
一种实现模型规范检查自定义方法

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

[发明专利]图像检查方法和检查区域设定方法-CN201280071322.4在审
发明人：小竹康代;湊善久;柳川由纪子;A·阮 -专利权人：欧姆龙株式会社
申请日： 2012-11-16 - 公布日： 2014-12-10 - 主分类号： G01N21/84 文献下载
摘要：在本发明的图像检查装置中，使用检查区域定义信息，该检查区域定义信息包含：定义检查区域的初始轮廓的信息；以及定义将以初始轮廓为基准到怎样的范围为止作为要搜索检查区域的轮廓的搜索范围的信息。然后，在初始轮廓上设定多个基点，在搜索范围的内侧的区域中，在通过各基点并与初始轮廓交叉的线段上进行边缘搜索处理，由此，决定与各基点对应的边缘点，通过对得到的多个边缘点进行连接或近似来生成检查区域的轮廓。
图像检查方法区域设定

[发明专利]基片检查装置、基片检查方法和存储介质-CN202210617189.3在审
发明人：榎本正志;保坂理人 -专利权人：东京毅力科创株式会社
申请日： 2022-06-01 - 公布日： 2022-12-13 - 主分类号： G01N21/01 文献下载
摘要：本发明提供基片检查装置、基片检查方法和存储介质，其能够抑制启动时的劳力和时间的增加，并且高精度地进行基于基片的拍摄图像的缺陷。基片检查装置包括：定义与基片的基础状态对应的组，对各基片设定组的设定部；基于基片的拍摄图像和与基片所属的组对应的检查方案检查缺陷的检查部；对各组创建检查方案的方案创建部；和判断基片是否属于已定义的组的判断部，判断部基于对基片与已定义的组的基片的处理是否一致、和根据基片的拍摄图像推断的基础状态与已定义的组的基片是否一致来判断，判断为属于已定义的组时，对基片设定相应的组，判断为不属于已定义的组时，对基片设定新的组，方案创建部基于基片的拍摄图像，创建与新的组对应的检查方案。
检查装置方法存储介质

[发明专利]用户定义类型的编译时边界检查-CN201110306863.8有效
发明人： D·S·哈维 -专利权人：微软公司
申请日： 2011-09-26 - 公布日： 2012-04-04 - 主分类号： G06F9/45 文献下载
摘要：本发明涉及用户定义类型的编译时边界检查。提供用户定义类型的编译时优化的边界检查。用户定义类具有注释的存储器访问方法，以及注释的边界提供成员，比如含有边界或在调用时返回边界的方法的整数字段。该用户定义边界的检查可在编程语言没有边界检查时提供边界检查，或者可以补充现有的边界检查，例如，通过包装内建阵列类型或垃圾收集器托管类型。边界检查可以扩展到阵列和布局被编译器控制的其他类型之外，从而允许在托管代码环境中的高效系统编程。边界检查表示由编译器插入到中间语言代码中。然后优化减少重复的边界检查。
用户定义类型编译边界检查

[发明专利]文档处理方法及装置-CN202110425904.9在审
发明人：黄严宝;仲斐 -专利权人：国泰新点软件股份有限公司
申请日： 2021-04-20 - 公布日： 2021-07-16 - 主分类号： G06F40/186 文献下载
摘要：本申请涉及一种文档处理方法及装置，属于计算机技术领域，该方法包括：获取模板文件，模板文件包括检查点和每个检查点对应的模板属性，模板属性包括自定义属性和/或固定属性，自定义属性包括至少一种属性分类的自定义组合以及自定义属性取值；固定属性包括一个属性分类和属性分类的固定属性值；检查点用于指示检查位置；导入待检查文件，按照检查点获取待检查文件中的文本样式；将每个检查点对应的文本样式的样式属性与对应的模板属性进行对比；显示对比结果不一致的检查点的位置信息、错误属性和对应的模板属性；可以解决人工检查技术标文件时效率和准确性低的问题；可以实现文件的自动检查，提高文件检查效率。
文档处理方法装置

[发明专利]机器视觉检查系统中编程分步重复操作的图形用户界面-CN201110068090.4有效
发明人：埃里克.Y-W.塞奥;于大海;瑞安.诺思拉普 -专利权人：株式会社三丰
申请日： 2011-03-22 - 公布日： 2011-09-28 - 主分类号： G06F9/44 文献下载
摘要：提供了一种编程机器视觉检查系统的分步重复操作的方法。所述机器视觉检查系统包括成像部分、用于在所述成像部分的视场(FOV)中夹持一个或多个工件的平台、控制部分和图形用户界面(GUI)。根据所述方法，用户操作所述机器视觉检查系统以定义将对工件特征第一构型执行的一组检查操作。用户还操作所述GUI以显示分步重复对话框，其中他定义限定一组默认分步重复位置的第一多个参数，该组默认分步重复位置用于执行所定义的该组检查操作。用户进一步操作所述GUI以定义一组检查分步重复位置，该组检查分步重复位置是所定义的该组默认分步重复位置的子集，其中将实际上执行所述检查操作。
机器视觉检查系统编程分步重复操作图形用户界面

[发明专利]基于全业务指标规则配置的数据质量监控方法-CN200910232396.1无效
发明人：赵懿敏;李捷;曹晓华;沈小军;张学智;庞海东 -专利权人：南京联创科技集团股份有限公司
申请日： 2009-12-09 - 公布日： 2010-06-02 - 主分类号： G06Q10/00 文献下载
摘要：基于全业务指标规则配置的数据质量监控方法，对电信系统经营分析系统的KPI、OLAP、报表、一级经营分析系统中KPI指标，通过指标定义、数据库定义、检查规则定义，调度方式定义，给出电信经营分析系统中各数据指标的监控采集点设置、检查方式设置、调度方式设置，构成一个完整的指标校验，从而在设定的时间执行设定的指标检查，得到“是否符合检查规则”的结果；本发明把复杂系统分解成多个不同性质的要素形成一个完整意义的指标检查事件，可以灵活地完成预期的指标检查任务若当检查不通过时，通过预警的方式可以及时进行人工干预。
基于业务指标规则配置数据质量监控方法

[发明专利]图像检查方法和图像检查装置-CN201280067331.6无效
发明人：湊善久;柳川由纪子 -专利权人：欧姆龙株式会社
申请日： 2012-09-14 - 公布日： 2014-09-17 - 主分类号： G01N21/88 文献下载
摘要：在本发明中，将在最优解搜索处理中用作约束条件的参数作为检查区域定义信息提供给图像检查装置。然后，在进行检查对象物的检查时，图像检查装置使用该检查区域定义信息作为约束条件从检查对象物图像中求出检查区域的最优解，从而按照每个检查对象物单独地决定检查区域的位置和形状。
图像检查方法装置

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