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

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

[发明专利]微粒形式材料的分析-CN200510009192.3有效
发明人：富兰科思·爱伯哈德特·杜普雷西思;约翰尼斯·科恩拉德·范·怀科·杜普雷西思 -专利权人：布鲁科博知识产权(私人)有限公司
申请日： 2005-02-01 - 公布日： 2005-09-14 - 主分类号： G01N21/53 文献下载
摘要：本发明公开一种用于分析微粒形式材料的设备(10)。该设备(10)包括一个具有开口的上端(26)和在下端的受限制的出口的垂直延长的外壳(12)。
微粒形式材料分析

[发明专利]一种变电站接线形式智能分类统计的方法-CN202010705029.5在审
发明人：吴海江;唐鹤;李伟;周俊宇;黄斐;黄炳翔;花洁;梁锦来;陈凯阳;骆国铭;陈晓彤;区允杰;黄雄浩;钟童科;罗广锋;亓玉国;莫祖森;何引生;向琼 -专利权人：广东电网有限责任公司;广东电网有限责任公司佛山供电局
申请日： 2020-07-21 - 公布日： 2020-11-17 - 主分类号： H02J13/00 文献下载
摘要：本发明提供一种变电站接线形式智能分类统计的方法，包括以下步骤：S1：选择一个变电站作为分析对象；S2：根据分析对象的主变本体设备的拓扑关系，进行线变组、内桥或变低带分支的接线形式分析；S3：根据分析对象的设备名称的关键词，进行带线路PT或带旁母的接线形式分析；S4：根据分析对象的出线线路，进行带空载线路的接线形式分析；S5：重复步骤S1～S4，直到分析完全部变电站的接线形式，并将各个变电站及其相应的接线形式保存，从而形成分析结果表，实现变电站接线形式智能分类统计。本发明提供一种变电站接线形式智能分类统计的方法，解决了目前采用人工分析和统计变电站接线形式导致效率低的问题。
一种变电站接线形式智能分类统计方法

[发明专利]目标分析方法、装置、电子设备及存储介质-CN201810989900.1在审
发明人：刘璐;尹义;赵清云;龚纪超 -专利权人：深圳云天励飞技术有限公司
申请日： 2018-08-28 - 公布日： 2020-03-10 - 主分类号： G06F16/583 文献下载
摘要：本发明提供一种目标分析方法，包括：根据预设筛选条件在配置的数据库中筛选出与用户指定的已登记人员相匹配的抓拍图片，作为目标对象；提取所述目标对象的第一预设形式的数据；基于所述目标对象的第一预设形式的数据，从所述配置的数据库中获取所述目标对象的第二预设形式的数据；基于所述第一及第二预设形式的数据，输出所述目标对象的第一及第二预设形式的分析结果，第一及第二预设形式的分析结构以标签页面形式呈现。本发明还提供一种目标分析装置、电子设备及存储介质。本发明能够方便用户对同一个目标对象进行预设形式的分析，以对目标对象进行更深入的剖析。
目标分析方法装置电子设备存储介质

[发明专利]一种网络安全协议脆弱性分析方法-CN202111327343.5在审
发明人：顾纯祥;田凯;魏福山;石雅男;李光松;杨本朝 -专利权人：中国人民解放军战略支援部队信息工程大学
申请日： 2021-11-10 - 公布日： 2022-02-11 - 主分类号： H04L9/40 文献下载
摘要：本发明涉及一种网络安全协议脆弱性分析方法，属于网络安全自动化分析技术领域。本发明首先对目标协议进行状态机推断；然后提取目标状态机的有效执行路径(状态转移路径)；再基于应用Pi演算对状态转移路径形式化建模，说明协议参与者的行为与交互，通过对状态机每一步状态转移进行形式化建模，完成对安全协议程序实现的状态机转移路径的自动化建模；将目标协议自动转化为可用于形式化分析的符号模型，实现协议状态机到形式化分析脚本的自动化转化。最后利用形式化分析工具对协议实现进行脆弱性自动化分析挖掘。本发明避免了依赖人工分析的问题，能够利用形式化分析具体对其脆弱性进行自动分析，大大提高了分析效率。
一种网络安全协议脆弱分析方法

[发明专利]为自然语言语句生成逻辑形式图的方法和系统-CN97196852.7有效
发明人：乔治·海多恩;卡伦·詹森 -专利权人：微软公司
申请日： 1997-06-27 - 公布日： 2003-09-24 - 主分类号： G06F17/27 文献下载
摘要：用于在语义上分析自然语言语句的方法和计算机系统。用于词态和句法分析的自然语言处理子系统将输入句转换为句法分析树。语义分析应用三组语义规则以自句法分析树中建立框架逻辑形式图。接着语义分析应用两组附加语义规则以便为逻辑形式图的链提供语义上有意义的标记，以便为省略成分建立附加的逻辑形式图节点及以便统一冗余成分。最终逻辑形式图表示输入句的完整语义分析。
自然语言语句生成逻辑形式方法系统

[发明专利]数据分析方法、系统及存储介质-CN202111262237.3在审
发明人：黄耀;刘伟民 -专利权人：中国航发控制系统研究所
申请日： 2021-10-28 - 公布日： 2022-03-01 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种数据分析方法、系统及存储介质，其中方法包括如下步骤：S1：配置数据分析工程信息；S2：根据软件需求按预定规则编写条目化的半形式化脚本；S3：读取半形式化脚本和指定路径下预先编制的数据分析模板，将数据分析模板中的占位符替换为半形式化脚本中的对应内容，生成数据分析脚本；S4：根据数据分析工程信息，执行数据分析脚本分析指定路径下的数据，并将分析结果存储于指定路径下。上述方法，通过先构建半形式化脚本，再将半形式化脚本按照预定的规则转换为由脚本语言构成的可以在环境下运行的数据分析脚本，降低脚本编写人员技能要求，便于多人协作开发，可以重复使用，降低了数据分析脚本的开发成本，降低数据分析成本。
数据分析方法系统存储介质

[发明专利]为优化的程序生成展开信息-CN200580022925.5无效
发明人： H·帕蒂尔;R·穆斯;G·洛尼 -专利权人：英特尔公司
申请日： 2005-07-08 - 公布日： 2007-06-13 - 主分类号： G06F9/45 文献下载
摘要：分析第一二进制形式的程序以及与该第一二进制形式的程序相关联的展开信息，至少部分地基于该分析的结果对该第一二进制形式的程序执行优化以产生第二二进制形式的程序，并至少部分地基于该分析的结果和所执行的优化为该第二二进制形式的程序生成新的展开信息
优化程序生成展开信息

[发明专利]一种航天装备软件逆向分析测试需求建模方法及装置-CN202310183716.9在审
发明人：刘梦达;蔡梦琳;原野;张卫平;刘丹;余杰;莫小杰;李翔宇;陈军花;周松 -专利权人：湖北航天技术研究院总体设计所
申请日： 2023-02-28 - 公布日： 2023-06-23 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种航天装备软件逆向分析测试需求建模方法及装置，涉及软件技术领域，该方法包括创建用于对源代码进行逆向分析的逆向分析测试需求建模工具，并导入待分析源代码至逆向分析测试需求建模工具；基于导入的待分析源代码，选择确定待分析的函数名称，以及需要转换的形式化描述方案；根据设定逆向分析建模规则自动解析待分析源代码，并以形式化流程图形式对分析结果进行展示。本发明能够提高软件需求分析效率，并保证装备软件的可靠性。
一种航天装备软件逆向分析测试需求建模方法装置

[发明专利]基于等效多端口的射频综合模块电磁特性分析方法-CN201610340161.4有效
发明人：陈爱新;赵柯褀;赵越;刘欣;苏东林;吴文斌 -专利权人：北京航空航天大学
申请日： 2016-05-19 - 公布日： 2020-01-10 - 主分类号： G06F30/20 文献下载
摘要：本发明提供一种基于等效多端口的射频综合模块电磁特性分析方法，包括：针对射频综合系统，建立基于辐射形式的电磁等效多端口模型，并对基于辐射形式的电磁等效多端口模型进行电磁特性分析，得到第一分析结果；针对射频综合系统，建立基于传导形式的电磁等效多端口模型，并对基于传导形式的电磁等效多端口模型进行电磁特性分析，得到第二分析结果；根据第一分析结果和第二分析结果，实现射频综合系统的电磁兼容设计。
基于等效多端射频综合模块电磁特性分析方法

[发明专利]一种自动化协议形式化分析方法-CN202011081308.5在审
发明人：赵蕾;李楠芳;李宗容;马先;钟应寿;景延嵘;王旭;李胜春;尚西元;马学智 -专利权人：国网青海省电力公司电力科学研究院;国网青海省电力公司;国家电网有限公司
申请日： 2020-09-29 - 公布日： 2021-01-08 - 主分类号： H04L12/26 文献下载
摘要：本发明涉及一种自动化协议形式化分析方法，可以适用于多种协议的安全分析。协议作为安全分析的基本手段，可以利用形式化分析模型对某种协议进行数据建模，填充字段，设计工作流程，再用自动化脚本工具进行测试。形式化分析工具可以发现协议中存在的基础性漏洞，这些漏洞往往会造成设备、系统的重大安全问题。
一种自动化协议形式化分析方法

[发明专利]一种基于深度学习的CT肺结节检测系统-CN202010303629.9在审
发明人：陈华;叶颖 -专利权人：陈华
申请日： 2020-04-16 - 公布日： 2020-08-04 - 主分类号： G06T7/00 文献下载
摘要：本发明涉及一种基于深度学习的CT肺结节检测系统，包括：输入模块：获取原始计算机断层扫描影像；深度学习分析模块：基于扫描影像经扫描形式对应的深度分析模型定性和/或定量分析后输出诊断报告；输出模块：将诊断报告和/或扫描影像上传至阅览终端；深度学习分析模块按照对至少两种不同的扫描形式获取的多组样本影像进行深度学习的方式生成对应的至少两个深度分析模型，以使得深度学习分析模块能够基于扫描影像的扫描形式选择其对应的深度分析模型对扫描影像进行异速分析，从而输出模块在扫描形式对应的输出时间内能够向阅览终端输出质量大致相同的诊断报告，用于医生参考。
一种基于深度学习 ct 结节检测系统

[发明专利]一种基于形式化验证的差分故障分析方法-CN202211416296.6在审
发明人：胡伟;王省欣;郑健;曲雪 -专利权人：西北工业大学
申请日： 2022-11-12 - 公布日： 2023-03-14 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种基于形式化验证的差分故障分析方法，首先建立密码算法故障效应传播模型；然后进行故障效应传播模型仿真测试；接下来进行故障效应特征属性提取；之后进行故障注入攻击；最后基于形式化验证的攻击分析再基于属性约束利用形式化验证工具筛选满足属性的密钥信息本发明基于形式化验证方法，分析时利用少量故障信息即可筛选出符合属性约束的加密密钥，同时也可以分析出故障发生的准确位置，实现故障攻击分析自动化。
一种基于形式化验证故障分析方法

[发明专利]用于分析核酸分子的方法和系统-CN201780087130.5在审
发明人：安德鲁·肯尼迪;斯特凡尼·安·沃德·莫蒂默;埃尔米·埃尔图凯;阿米尔阿里·塔拉萨兹;戴安娜·阿布杜伊瓦;马修·舒尔茨 -专利权人：夸登特健康公司
申请日： 2017-12-22 - 公布日： 2019-10-11 - 主分类号： C12Q1/6806 文献下载
摘要：本公开内容提供了用于处理包含不同形式(例如，RNA和DNA，单链或双链)和/或修饰程度(例如，胞嘧啶甲基化，与蛋白质缔合)的核酸群体的方法。这些方法适应样品中核酸的多种形式和/或修饰，使得可以获得针对多种形式的序列信息。所述方法经过处理和分析仍保持多种形式或修饰状态的身份，使得序列分析可以与表观遗传分析组合。
修饰胞嘧啶甲基化处理和分析蛋白质缔合核酸分子核酸群体内容提供序列分析序列信息遗传分析单链核酸双链身份分析

[发明专利]一种基于形式概念分析理论的术语定义方法及系统-CN201610581473.4在审
发明人：智慧来;晁浩;王岩;朱林杰 -专利权人：河南理工大学
申请日： 2016-07-17 - 公布日： 2016-12-14 - 主分类号： G06F17/30 文献下载
摘要：本发明公开了一种基于形式概念分析理论的术语定义方法及系统，采用形式概念分析的理论对本体中的术语进行形式化的释义，提高本体构建的自动化程度，降低手工编辑过程的人工花费。
一种基于形式概念分析理论术语定义方法系统

[发明专利]一种基于微博分析电视节目收视情况的方法-CN201310328471.0有效
发明人：王永恒;杜凯;王乐;袁志坚;付伟;陈颖文 -专利权人：王永恒
申请日： 2013-07-31 - 公布日： 2013-12-04 - 主分类号： G06F17/30 文献下载
摘要：一种基于微博分析电视节目收视情况的方法，包括以下步骤：（1）构建词库；（2）建立微博-电视节目映射；（3）数据分析；（4）可视化结果展现：通过报表形式和图形形式将步骤（3）分析的结果展现出来。本发明具有以下优点：（1）分析范围广；（2）分析内容全面；（3）分析过程灵活；（4）分析效率高。
一种基于分析电视节目收视情况方法

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