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

首页在售求购查询申请展会资讯专利榜企服商城升级VIP

立即登录免费注册

在售专利
求购专利
查询专利
新闻资讯
技术展会
招商加盟
专利榜

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247 本网专利代理业务由天津创信方达专利代理事务所(普通合伙)承接机构代码：12247

专利名称

专利名称
专利号码
专利分类
申请人
公布日期

农业化学；冶金建筑机械工程区域搜索

主分类

B 作业；运输

C 化学；冶金

D 纺织；造纸

E 固定建筑物

F 机械工程、照明、加热

专利下载VIP

公布日期

2023-10-24 公布专利

2023-10-20 公布专利

2023-10-17 公布专利

2023-10-13 公布专利

2023-10-10 公布专利

2023-10-03 公布专利

2023-09-29 公布专利

2023-09-26 公布专利

2023-09-22 公布专利

2023-09-19 公布专利

专利权人

国家电网公司

华为技术有限公司

中兴通讯股份有限公司

三星电子株式会社

中国石油化工股份有限公司

鸿海精密工业股份有限公司

松下电器产业株式会社

上海交通大学

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

[发明专利]一种解题演示方法及装置-CN202010125265.X有效
发明人：王紫静;罗小飞;曹勇 -专利权人：北京字节跳动网络技术有限公司
申请日： 2020-02-27 - 公布日： 2021-09-14 - 主分类号： G06Q50/20 文献下载
摘要：本申请提供了一种解题演示方法及装置，首先获取待解题目；然后，根据所述待解题目对应的题目属性信息，确定解题方法；其次，根据所述待解题目和所述解题方法，生成采用形式语言描述的解题步骤；最后，基于所述采用形式语言描述的解题步骤本申请根据待解题目对应的题目属性信息确定解题方法，进而生成采用形式语言描述的解题步骤，然后基于采用形式语言描述的解题步骤生成待解题目对应的解题动态图片，从而能够针对给出的任意题目自动展示对应的解题动态图片
一种解题演示方法装置

[发明专利]文本形式转换方法、装置及电子设备-CN202110362881.1在审
发明人：王卓然;沈寓实;汝聪翀 -专利权人：飞诺门阵（北京）科技有限公司
申请日： 2021-04-02 - 公布日： 2021-08-27 - 主分类号： G06F40/151 文献下载
摘要：本申请公开了一种文本形式转换方法、装置及电子设备，属于建筑技术领域。所述方法包括：获取文字形式的建筑规范文本；对所述建筑规范文本进行语义解析处理，得到属性文本；对所述属性文本进行函数映射处理，得到计算函数；基于所述计算函数对所述属性文本进行语言解析处理，得到形式语言的目标建筑规范文本；其中，所述形式语言的目标建筑规范文本和建筑信息模型的语言形式相匹配，避免了通过工作人员将建筑设计规范以计算机能够处理的形式语言的方式，预先录入计算机系统，需要工作人员具有一定计算机编程基础和具备专业的建筑设计知识
文本形式转换方法装置电子设备

[发明专利]检查物理系统模型的鲁棒性-CN200510068995.6有效
发明人：于格·格拉涅尔;克里斯蒂安·布勒甘特;菲利普·托内利耶;马克·克鲁瓦·马里 -专利权人：伊斯帕诺－叙扎公司
申请日： 2005-04-30 - 公布日： 2005-11-09 - 主分类号： G01R31/28 文献下载
摘要：该方法包括下列步骤：定义一个物理系统的第一模型(10)，该第一模型(10)包括一组(12)部件(12a、12b、12c)和至少一个用于插入输入值的输入接口(14)，该第一模型利用描述每个所述部件之工况和功能形式语言定义；用形式语言定义确定的特性，该物理系统的模型必须满足该确定的特性；用形式语言定义了一个第二模型(20)，该第二模型(20)对应于第一模型并且新增了故障引入机制(22)；以及使用形式检验装置自动搜索引起所述确定的特性失效的引入故障和
检查物理系统模型鲁棒性

[发明专利]基于形式语言协议的网络数据解析方法、装置及存储介质-CN202011581921.3有效
发明人：汪锐;董杰;刘彬;于金龙;杨银山;胡鲁利 -专利权人：北京恒光信息技术股份有限公司
申请日： 2020-12-28 - 公布日： 2022-06-07 - 主分类号： H04L43/18 文献下载
摘要：本发明公开了一种基于形式语言协议的网络数据解析方法及装置，该方法包括：读取网络协议的源文件，其中，源文件采用形式语言描述网络协议的解码过程；将网络协议的源文件转换为可执行代码；执行可执行代码，对接收到的网络数据进行解析
基于形式语言协议网络数据解析方法装置存储介质

[发明专利]为预测飞行器航迹提供数据-CN201210020409.0有效
发明人： J·洛佩兹·利奥尼斯;E·卡萨度;M·维拉普拉纳;F·A·纳瓦罗 -专利权人：波音公司
申请日： 2012-01-29 - 公布日： 2012-08-01 - 主分类号： G05D1/10 文献下载
摘要：本发明提供产生使用形式语言表达的飞行器飞行意图的描述的系统和方法。该描述可用来生成预测的飞行轨迹，例如通过空中交通管理生成。关于被提供以形式语言表达飞行器飞行意图的信息使用规则。
预测飞行器航迹提供数据

[发明专利]一种多机器人作业过程的规划与动态监督控制方法-CN202011483910.1有效
发明人：戴学丰;李大辉;陈长春;韩金库 -专利权人：齐齐哈尔大学
申请日： 2020-12-16 - 公布日： 2023-01-31 - 主分类号： B25J9/16 文献下载
摘要：本发明公开了一类多机器人作业过程的规划与动态监督控制方法，步骤1：若干假设条件与相关定义；步骤2：联盟行为规划与实现；步骤3：联盟行为Petri网描述条件；步骤4：联盟结构行为规划与实现；步骤5：形式语言描述与动态监控本发明在通过人工智能方法实现动作与任务规划的基础上，建立了多个Petri网构成复合网的条件；设计4个新的字符算子，实现了通过事件集(动作集或子任务集)生成的形式语言描述联盟或联盟结构顺序、同步与并发行为的目的；建立了与字符算子对应的图形单元符号，实现了解析形式行为的图形化。
一种机器人作业过程规划动态监督控制方法

[发明专利]基于人工智能的几何问题求解方法、装置、设备及介质-CN202211319823.1在审
发明人：李雅琴;陈峙辛;袁操;曾山;雷华宇 -专利权人：武汉轻工大学
申请日： 2022-10-26 - 公布日： 2023-01-20 - 主分类号： G06N3/0464 文献下载
摘要：基于工程改造项目确定几何问题集，并获取几何问题集中各几何问题对应的几何图像和几何文本；从所述几何图像中提取出几何图形的图符号和文字区域，并将图符号以及文字转换成文本信息；将几何文本转换成各几何问题对应的形式语言；基于文本信息以及所述形式语言，构建各几何问题对应的几何问题条件样本集；基于几何问题条件样本集，通过定理预测器确定所述几何问题条件样本集对应的定理序列；根据对应的定理序列对各几何问题进行求解，得到各几何问题的对应结果
基于人工智能几何问题求解方法装置设备介质

[发明专利]一种不确定性复杂事件的处理系统及方法-CN201610109794.4有效
发明人：苏慧玲;刘建;王忠东;蔡奇新;徐晴;宋瑞鹏;赵红胜 -专利权人：国网江苏省电力公司电力科学研究院;国家电网公司;中国科学院自动化研究所
申请日： 2016-02-26 - 公布日： 2019-03-19 - 主分类号： G06F16/90 文献下载
摘要：本发明公开了一种不确定性复杂事件的处理系统及方法，将基本事件和规则的不确定性，采用形式语言方式表示，事件检测模块接收到经过形式语言描述后的事件，按照事件存储模块中的事件排列关系，先后结合事件存储模块中的每一条事件
一种不确定性复杂事件处理系统方法

[发明专利]可配置的数据包解码系统及方法-CN201711322482.2有效
发明人：蔡晓华;周家祺;杜匡俊;杨光辉;贺晓麟;王涛;周育樑 -专利权人：上海天旦网络科技发展有限公司
申请日： 2017-12-12 - 公布日： 2020-10-16 - 主分类号： G06F8/41 文献下载
摘要：本发明提供了一种可配置的数据包解码系统及方法，包括转义：将xdl语言解析成java语言；解码：解析java语言中的全部或部分业务信息到一个键值对数据集合中；输出：将键值对数据集合输出。本发明无需关心平台限制，可配置的形式语言语法简单，学习成本低，只是由若干标签组成，但是能解决大部分的协议解码问题，且直接配置dsl灵活性高，避免多出许多重复无用的解码器。
配置数据包解码系统方法

[发明专利]一种对源代码形式化验证方法-CN202211570303.8有效
发明人：赵永望;章喆;姚历智;赵健宏 -专利权人：浙江望安科技有限公司
申请日： 2022-12-08 - 公布日： 2023-03-07 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种对源代码形式化验证方法，包括输入生成器、符号执行器、规约生成器、规约匹配器、形式化验证规约库、规约学习器、规约筛选器、自然语言转换器、代码验证器、验证报告生成器，所述输入生成器将源代码作为输入本方案通过规约生成器，将源代码进行自动化处理后生成原始规约，并通过模型学习手段，利用规约学习器对规约进行修正和补充，流程高度自动化，有效降低了开发和验证人员手动撰写形式规约的门槛，减少了形式语言学习和实施的成本
一种源代码形式化验证方法

[发明专利]一种领域特定语言的执行方法、系统及装置-CN202111088656.X在审
发明人：张德林;范渊;刘博 -专利权人：杭州安恒信息技术股份有限公司
申请日： 2021-09-16 - 公布日： 2021-12-03 - 主分类号： G06F9/30 文献下载
摘要：本申请公开了一种领域特定语言的执行方法、系统及装置，该执行方法包括：获取用户终端的执行指令；利用语法解析器解析所述执行指令，得到语法解析后的一条或多条操作命令的命令元素；利用语法执行器按照所述操作命令对应的命令元素对操作对象进行相应操作本申请公开了一种领域特定语言的执行方法，不论执行指令的形式语言，本方法都能将其解析后正确执行，不需要针对操作对象进行针对性硬编码和联调对接，即可顺利完成执行指令，整个过程高效快速，节省了大量时间和人工成本
一种领域特定语言执行方法系统装置

[发明专利]高效安全协议拒绝服务攻击检测系统的实现方法-CN200810019276.9无效
发明人：蒋睿;周世健;张卓立 -专利权人：东南大学
申请日： 2008-01-18 - 公布日： 2008-07-09 - 主分类号： H04L29/06 文献下载
摘要：高效安全协议拒绝服务攻击检测系统的实现方法涉及的是一种信息安全领域的方法，采用C/S系统结构设计，支持多用户、多进程并发操作，从客户端界面获取安全协议输入，在服务器端经形式化语言转换把其转换成基于扩展StrandSpace模型的协议形式语言，根据两项拒绝服务攻击检测规则，采用新型匹配算法进行拒绝服务攻击自动检测，最后由检测结果输出判决结果和改进建议，以检测报告形式返回至客户端。
高效安全协议拒绝服务攻击检测系统实现方法

[发明专利]使用子例程图谱进行形式语言处理的方法和系统-CN202080015415.X有效
发明人：洛林·G·克雷默三世 -专利权人：洛林·G·克雷默三世
申请日： 2020-02-14 - 公布日： 2022-04-26 - 主分类号： G06F40/205 文献下载
摘要：一种用于在由计算装置实现的形式语言处理期间处理基于子例程结构化图谱的中间表示的方法。
使用例程图谱进行形式语言处理方法系统

[发明专利]使用子例程图谱进行形式语言处理的方法和系统-CN202210430047.6有效
发明人：洛林·G·克雷默三世 -专利权人：洛林·G·克雷默三世
申请日： 2020-02-14 - 公布日： 2023-04-18 - 主分类号： G06F40/205 文献下载
摘要：一种用于在由计算装置实现的形式语言处理期间处理基于子例程结构化图谱的中间表示的方法。
使用例程图谱进行形式语言处理方法系统

[发明专利]基于MSVL的区块链系统建模和安全性验证的方法及系统-CN201810981891.1有效
发明人：王小兵;朱云凯;段振华;赵亮;田聪;张南 -专利权人：西安电子科技大学
申请日： 2018-08-27 - 公布日： 2021-06-01 - 主分类号： H04L12/24 文献下载
摘要：本发明属于形式化方法领域，公开了一种基于MSVL的区块链系统建模和安全性验证的方法及系统，在MC中用MSVL对区块链系统建模，用程序p表示；用PPTL描述区块链系统的性质，用公式φ表示；在MC中，加入MSVL本发明的区块链用MSVL程序进行建模，区块链的安全性性质用PPTL描述，而PPTL为PTL的命题子集，MSVL为PTL的可执行子集，因而MSVL和PPTL可以统一在MC中执行，相比于其他方法，本发明不需要使用另外的形式语言
基于 msvl 区块系统建模安全性验证方法

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

友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

关于我们寻求报道投稿须知广告合作版权声明网站地图友情链接企业标识联系我们

在线咨询

400-8765-105周一至周五 9:00-18:00

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期

咨询在线客服

咨询在线客服

tel code back_top