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

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

[发明专利]源代码翻译-CN201480066572.8有效
发明人： J·拜特-阿哈隆 -专利权人：起元科技有限公司
申请日： 2014-12-08 - 公布日： 2019-09-17 - 主分类号： G06F8/76 文献下载
摘要：软件规范翻译包括：接收用第一编程语言指定的第一软件规范(228)、用第二编程语言指定的第二软件规范(228)、用不同于第一和第二编程语言的第三编程语言指定的第三软件规范(226)，第三软件规范限定第一软件规范与第二软件规范之间的一个或多个数据关系用与第一编程语言、第二编程语言和第三编程语言不同的第四编程语言形成第一软件规范和第二软件规范的组合表示(332)。根据所识别的数据关系用第四编程语言形成第一软件规范的表示与第二软件规范的表示之间的连接。
源代码翻译

[发明专利]设备规范与设备行为的一致性检测系统-CN201110391203.4无效
发明人：胡事民;马超;汤茂杰 -专利权人：清华大学
申请日： 2011-11-30 - 公布日： 2012-06-13 - 主分类号： G06F11/00 文献下载
摘要：本发明公开了一种设备规范与设备行为的一致性检测系统，包括：设备规范转化模块，用于将Termite语言描述的设备规范转化为模型检测工具能够识别的UCLID语言描述的设备规范；设备行为转化模块，用于将Verilog语言描述的硬件设备行为转化为UCLID语言描述的硬件设备行为；一致性检测模块，用于将所述UCLID语言描述的设备规范和硬件设备行为输入模型检测工具得出检测结果。本发明通过将设备规范语言和设备行为语言均转化为模型检测工具能够识别的语言，并比较设备执行同一状态情况下，设备规范语言和设备行为语言转化为模型检测工具的UCLID语言时设备所有寄存器变量的值，来检测设备规范与设备行为的一致性，可以提高设备规范和设备驱动的可靠性。
设备规范行为一致性检测系统

[发明专利]用于将语言项目规范化的功能装置-CN201210418794.4有效
发明人：朱莉·梅德罗;米夏埃尔·加蒙;柳克丽霞·范德温德;丹尼尔·莫里斯 -专利权人：微软公司
申请日： 2012-10-26 - 公布日： 2013-04-10 - 主分类号： G06F17/28 文献下载
摘要：公开了一种将语言项目规范化的功能装置。本文中描述了用于将输入语言项目转换为规范化的语言项目的功能装置，规范化的语言项目表示输入语言项目的规范化的对应方。在一个环境中，输入语言项目对应于接收医疗护理的人的病症，而规范化的语言项目对应于该病症的明确的和无错误的版本。在操作中，功能装置使用多个参考资源来扩展输入语言项目，从而创建扩展的语言项目。然后，功能装置根据扩展的语言项目中出现的候选分词来形成图，然后发现通过图的最短路径；该路径对应于规范化的语言项目。功能装置可使用统计语言模型将权重分配给图中的边，并且确定规范化的语言项目是否合并有两个或更多个组成语言项目。
用于语言项目规范化功能装置

[发明专利]一种基于规范与描述语言的AADL功能行为拓展方法及工具-CN201910475574.7有效
发明人：杨志斌;宗喆;张博林;谢健;周勇 -专利权人：南京航空航天大学
申请日： 2019-06-03 - 公布日： 2021-10-19 - 主分类号： G06F8/35 文献下载
摘要：本发明公开了一种基于规范与描述语言的AADL功能行为扩展方法及工具，包括：步骤1：基于AADL对软件系统结构建模，得到AADL模型；步骤2：采用ASN.1数据生成算法和规范与描述语言模型框架生成算法，抽取AADL模型中的功能模块建模环境，获得规范与描述语言模型所需的数据和规范与描述语言模型框架，基于规范与描述语言模型所需的数据和规范与描述语言模型框架，生成规范与描述语言模型建模环境。
一种基于规范描述语言 aadl 功能行为拓展方法工具

[发明专利]一种基于WEB挖掘的非规范语言处理方法-CN200810207672.4无效
发明人：张霄凯;杨帆;史天艺;尹航 -专利权人：张霄凯;杨帆;史天艺
申请日： 2008-12-24 - 公布日： 2010-06-30 - 主分类号： G06F17/30 文献下载
摘要：一种基于WEB挖掘的非规范语言处理方法，本发明涉及计算机数据挖掘领域，特别涉及到网络情感挖掘方案的技术。本专利公开一种对网络非规范语言进行处理的方法，属于计算机数据挖掘领域。该方法提出运用最小化监督学习的方法来处理非规范语言。将正常的非规范语言的种类由六类简化为两种不相交的类别：典型非规范语言和歧义非规范语言。对于典型非规范语言，提出一种基于序列覆盖的模式匹配算法。而对于歧义非规范语言，提出一种基于特征抽取的分类算法将其处理。最终能够得到完全正规的书面词语，从而方便了主观意见型的挖掘工作，能够更好的抽取情感，意见，建议等信息。
一种基于 web 挖掘规范语言处理方法

[发明专利]用于解释规范语言文件来实现商务系统的系统和方法-CN200710186641.0有效
发明人：大卫·D.·米勒 -专利权人： NCR公司
申请日： 2007-11-21 - 公布日： 2008-06-04 - 主分类号： G06F9/44 文献下载
摘要：该系统包括：存储在硬盘上的规范语言文件，该文件包含定义商务系统的状态机实现的规范语言语句；解析器，用于从规范语言文件中提取规范语言语句并解释所提取的规范语言语句；商务逻辑应用程序，其包括商务逻辑模块，该商务逻辑模块包括可执行的编译程序语句；以及，解析器调用至少一个商务逻辑模块来处理解析器从规范语言文件中提取的消息。
用于解释规范语言文件实现商务系统方法

[发明专利]用于实现到web服务的公用数据接口的方法和系统-CN201380014488.7有效
发明人： N·J·劳伦特;D·W·诺瓦科沃斯基;M·埃德 -专利权人：甲骨文国际公司
申请日： 2013-01-30 - 公布日： 2019-02-19 - 主分类号： G06F15/16 文献下载
摘要：公开了用于为使用多个web服务规范语言的多个平台开发web服务的方法和系统。使用公用数据层来将不同web服务规范语言的类映射到公用类层次结构。这允许创建独立于每个单独的web服务规范语言的数据层，降低了针对每个web服务规范语言的实现重复的数据控件的要求。
公用数据语言类层次结构平台开发数据层映射控件公用重复创建

[发明专利]一种基于语音识别的教学语言规范分析方法及系统-CN202310340500.9在审
发明人：穆肃;黄颖;乔金秀;胡小勇 -专利权人：华南师范大学
申请日： 2023-03-31 - 公布日： 2023-07-18 - 主分类号： G10L25/51 文献下载
摘要：本发明公开了一种基于语音识别的教学语言规范分析方法及系统，系统包括数据获取模块、教学语言数据处理模块、教学语言规范水平分析模块、教学语言水平反馈模块和技能水平发展记录模块；数据获取模块用于获取云端录制或平台上传的教学视频片段；教学语言数据处理模块用于对教学视频片段进行语音数据预处理和对比判断处理得到水平参数；教学语言规范水平分析模块用于对水平参数进行规范对比分析处理得到分析报告；教学语言水平反馈模块用于将分析报告进行整合和可视化呈现处理得到反馈报告本发明实施例能够提高教学语言规范水平，可广泛应用于计算机技术领域。
一种基于语音识别教学语言规范分析方法系统

[发明专利]编译方法、调试方法、编译程序和调试程序-CN200710106835.5无效
发明人：浅尾忍 -专利权人：松下电器产业株式会社
申请日： 2007-05-10 - 公布日： 2007-11-14 - 主分类号： G06F9/45 文献下载
摘要：一种用于将输入程序转换成目标程序的编译方法，包括：部分语言规范判定步骤，用于判定在输入程序中设置的至少两个特定范围的每个特定范围中的语言规范；判断步骤，用于判断所述特定范围中的语言规范之间是否存在差别；和部分代码校正步骤，用于在判断出所述特定范围中的语言规范之间存在差别时，对特定范围之一中的至少一部分代码进行校正。
编译方法调试编译程序程序

[发明专利]编译方法及编译程序-CN200980143186.3无效
发明人：浅尾忍 -专利权人：松下电器产业株式会社
申请日： 2009-10-07 - 公布日： 2011-09-28 - 主分类号： G06F9/45 文献下载
摘要：一种编译方法，使用户能够容易掌握所指定的多个扩展语言规范对输入程序和目标程序的影响，该编译方法将输入程序变换为目标程序，该编译方法包括：分析步骤，在对输入程序指定了多个扩展语言规范的情况下，对所指定的多个扩展语言规范进行分析，由此确定由于所指定的多个扩展语言规范而受到影响的输入程序的部分；和输出步骤，将与该部分相关的信息和目标程序一起输出。
编译方法编译程序

[发明专利]通信协议可信性验证装置-CN202010011588.6有效
发明人：史建琦;黄滟鸿;张继;任建鹏;于会新;杨洋;张鹏 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-03-04 - 主分类号： H04L43/18 文献下载
摘要：本发明公开了一种通信协议可信性验证装置，包括：形式化语言描述模块，用于通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；形式化验证模块，用于通过形式化验证工具对所述形式化语言描述的需求规范进行验证，得到验证数据集；检测模块，用于根据所述验证数据集，进行规范检测。通过上述装置，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
通信协议可信性验证装置

[发明专利]基于自然语言处理的变电可研规范词条分析方法及系统-CN202011189377.8在审
发明人：李福权;寇世磊;符国晖;韦波;蒋晓东;廖永浩;朱丹龙;叶敏;游旺;黄剑锋;弓国军;华栋;陆启明 -专利权人：深圳供电局有限公司
申请日： 2020-10-30 - 公布日： 2021-01-19 - 主分类号： G06F40/289 文献下载
摘要：本发明公开了一种基于自然语言处理的变电可研规范词条分析方法，其包括：步骤S1，建立自然语言双语处理系统模型；步骤S2，根据所述自然语言双语处理系统模型对自然语言进行双语处理；步骤S3，建立规范词条分析系统模型；步骤S4，接收对自然语言进行双语处理后的结果，并通过规范词条分析模型进行处理，获得语义匹配结果数据。实施本发明，可以提高自然语言处理的效率及准确率。
基于自然语言处理变电规范词条分析方法系统

[发明专利]软件系统的自动验证-CN201580053927.4有效
发明人： C·霍布利泽尔;B·帕诺;J·R·洛奇;J·R·豪厄尔;B·D·齐尔 -专利权人：微软技术许可有限责任公司
申请日： 2015-10-01 - 公布日： 2020-02-07 - 主分类号： G06F21/52 文献下载
摘要：软件系统(例如，软件栈)的软件代码可以被验证为符合规范。可以使用编译器来编译软件系统的高级语言实现以创建汇编语言实现。对应于软件系统的高级规范可以被转换为低级规范。验证器可以验证汇编语言实现功能上符合在低级规范中所描述的属性。以这种方式，软件系统(例如，包括操作系统、(一个或多个)设备驱动程序、软件库以及一个或多个应用的完整软件系统)可以在低级(例如，汇编语言级)上被验证。
软件系统自动验证

[发明专利]生成用于响应于用户接口输入而呈现的输出，其中输入和/或输出包括聊天语言-CN201680085810.9有效
发明人：柯婉芬;布赖恩·赫林;玛炎·格瑞特;布赖恩·罗克;理查德·斯普罗特 -专利权人：谷歌有限责任公司
申请日： 2016-12-27 - 公布日： 2021-07-20 - 主分类号： H04L12/58 文献下载
摘要：一些实施方式涉及将聊天语言翻译为规范化形式，其中聊天语言被包括在由用户经由计算设备的用户接口输入设备制定的自然语言输入——诸如由用户提供给自动化助理的输入中。自动化助理可以在确定响应于自然语言输入的回复内容时利用聊天语言的规范化形式，并且可以经由用户的计算设备的一个或多个用户接口输出设备将该回复内容呈现给用户。一些实施方式附加地和/或可替选地涉及至少部分地基于根据由用户和/或由附加用户对聊天语言的过去使用来确定的“聊天语言量度”来提供包括聊天语言代替聊天语言的规范化形式的自然语言输出以用于呈现给用户。
生成用于响应用户接口输入呈现输出其中包括聊天语言

[发明专利]通信协议可信性验证方法-CN202010011586.7有效
发明人：史建琦;黄滟鸿;张继;任建鹏;于会新;杨洋;张鹏 -专利权人：上海丰蕾信息科技有限公司
申请日： 2020-01-06 - 公布日： 2022-06-03 - 主分类号： H04L9/40 文献下载
摘要：本发明公开了一种通信协议可信性验证方法，包括：通过形式化语言描述满足安全传输指标的需求规范，得到形式化语言描述的需求规范；通过形式化验证工具对所述形式化语言描述的需求规范进行验证，得到验证数据集；根据所述验证数据集，进行规范检测。通过上述方法，可以利用形式化验证工具对需求规范进行验证，以保证计算平台系统数据通信的安全性和可靠性。
通信协议可信性验证方法

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