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

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

[发明专利]自由形式数学计算-CN201110162286.X无效
发明人： M·武科萨夫列维奇;I·斯托伊利科维奇 -专利权人：微软公司
申请日： 2011-06-08 - 公布日： 2011-10-19 - 主分类号： G06F3/048 文献下载
摘要：描述了自由形式数学计算。在各实现中，输入被识别成对计算设备所输出的用户界面的一区域的自由形式选择。标识与由自由形式选择定义的区域相关联的并且包括一个或多个数字的文本。执行涉及该一个或多个数字的数学计算。
自由形式数学计算

[发明专利]判断试题答案的方法、装置和服务器-CN201610282112.X在审
发明人：鲍洋 -专利权人：北京华云天一科技有限公司
申请日： 2016-04-29 - 公布日： 2016-08-31 - 主分类号： G06F17/18 文献下载
摘要：本发明公开了一种判断试题答案的方法、装置和服务器，涉及计算机技术领域，能够对数学表达式形式的主观题答案进行自动判断。判断试题答案的方法包括：获取标准答案，标准答案为第一数学表达式，将第一数学表达式转换为字符串形式；获取作答答案，作答答案为第二数学表达式，将第二数学表达式转换为字符串形式；对第一数学表达式和第二数学表达式进行相减运算或者相除运算；当第一数学表达式和第二数学表达式进行相减运算时，若运算结果为0，则判断作答答案正确，若运算结果不为0，则判断作答答案错误；当第一数学表达式和第二数学表达式进行相除运算时，若运算结果为1，则判断作答答案正确
判断试题答案方法装置服务器

[发明专利]一种空间飞行器的自适应重构方法及系统-CN201610757031.0有效
发明人：黄滟鸿;李炬;史建琦;李昂;何积丰;方徽星 -专利权人：华东师范大学
申请日： 2016-08-29 - 公布日： 2019-06-21 - 主分类号： G06F17/50 文献下载
摘要：本发明公开了一种空间飞行器的自适应重构方法及系统，该方法包括：S1：数据采集步骤；S2：数学符号形式化步骤；S3：形式化数学符号检测步骤；S4：自重构系统反馈步骤；S5：自重构系统优化步骤。该系统包括：数据采集模块；数学符号形式化模块，相当于数学符号表示模块；形式化数学符号检测模块，相当于模型检测模块；自重构系统反馈模块；自重构系统优化模块。
一种空间飞行器自适应方法系统

[发明专利]数学主观题解答步骤的规约方法及系统-CN201711437048.9有效
发明人：沙晶;盛志超 -专利权人：科大讯飞股份有限公司
申请日： 2017-12-26 - 公布日： 2021-12-07 - 主分类号： G06F40/289 文献下载
摘要：本发明公开了一种数学主观题解答步骤的规约方法及系统，该方法包括：接收待阅答题信息，并对所述待阅答题信息进行分词处理；根据分词处理结果对所述待阅答题信息进行答题步骤分离，得到答题步骤；将答题步骤的数学表达形式转化为规约表示形式本发明可以将数学主观题解答步骤转化为规约表示形式，便于对答题步骤进行结构分析及对解答结果进行评阅。
数学主观题解答步骤规约方法系统

[发明专利]估算机器人端部执行器的关节摩擦和跟踪误差-CN202080042085.3在审
发明人： A·哈里里 -专利权人：威博外科公司
申请日： 2020-06-05 - 公布日： 2022-01-28 - 主分类号： B25J9/16 文献下载
摘要：通过将力或扭矩的所述传感器测量应用于封闭形式数学表达式来计算由所述致动器驱动的所述机器人腕关节中的关节摩擦，所述封闭形式数学表达式使传输力或传输扭矩变量与关节摩擦变量相关。还使用封闭形式数学表达式来计算所述端部执行器的跟踪误差，所述封闭形式数学表达式使所述关节摩擦变量与所述跟踪误差相关。本发明还描述并要求保护其他方面。
估算机器人执行关节摩擦跟踪误差

[发明专利]一种基于解析形式的电网频率动态时空演变的分析方法-CN201810235969.5有效
发明人：马宁宁;王德林;魏蒙希;高原 -专利权人：西南交通大学
申请日： 2018-03-21 - 公布日： 2020-05-26 - 主分类号： H02J3/00 文献下载
摘要：本发明公开了一种基于解析形式的电网频率动态时空演变的分析方法，包括以下步骤：S1、对电网频率相关元件的数学模型进行简化；S2、基于链式系统结构和简化后的元件数学模型，建立电网频率动态时空演变的数学模型，验证电网频率具有动态时空分布特性且以波的形式在电网中传播；S3、对电网频率动态时空演变的数学模型求解，分析电网频率动态时空分布特性。本发明为有关频率动态特性的研究提供了新的方法，根据链式系统，建立表征电网频率动态时空特性的数学模型，以解析的形式从系统整体的角度说明频率动态在电网中的行为特性，证明了电网频率动态以波的形式在电网中传播，
一种基于解析形式电网频率动态时空演变分析方法

[发明专利]针对初等数学题目的文本语义抽取、表示与建模方法和系统-CN201710815398.8有效
发明人：张奇;邓彬彬;赵忆佳;黄浩然 -专利权人：复旦大学
申请日： 2017-09-12 - 公布日： 2021-03-30 - 主分类号： G06F40/30 文献下载
摘要：本发明属于面向数学的自然语言处理技术领域，具体为一种针对初等数学题目的文本语义抽取、表示与建模方法及相应的初等数学题意分析系统。本发明方法为：对输入的数学题目，利用分词词库与正则表达式结合的形式进行分词，对分词后的结果，进行词类转换和词组合并，并利用指代消解对指代词进行目标替换；之后，利用处理得到的信息，借助一阶逻辑进行数学公式的抽取与翻译，得到基于一阶逻辑的数学题目表示；最后，利用深度神经网络对问题中的自然语言与公式进行语义建模与语义融合。本发明提出的有效的初等数学题目表示与建模方法，可以将数学题目转换成可以被计算机处理的语义表示形式，并对数学题目进行更精准的语义建模。
针对初等数学题目的文本语义抽取表示建模方法系统

[发明专利]一种暖通空调控制策略自动预检验方法-CN202010795234.5有效
发明人：田喆;兰博;李正洁;甄成 -专利权人：天津大学
申请日： 2020-08-10 - 公布日： 2022-07-08 - 主分类号： G06F30/20 文献下载
摘要：本发明公开一种暖通空调控制策略自动预检验方法，包括：步骤1：暖通空调系统的物理形式描述；步骤2：暖通空调系统控制策略数学描述；步骤3：控制系统潜在矛盾分类；步骤4：基于系统形式和分类结果的自动检验。本发明能够通过分析空调系统控制仿真中矛盾冲突的产生原因及类型，通过建立系统形式和检验方法的数学描述，能够将矛盾冲突的抽象问题转化为简洁明了的数学逻辑问题，从而形成基于计算机程序的自动静态矛盾预检验的方法
一种暖通空调控制策略自动预检验方

[发明专利]一种动态数学模型建立方法、装置、设备及存储介质-CN202310842304.1在审
发明人：栾志业;冯新国;赵恒平;王赓;匡华清;王树杰;王伟民 -专利权人：中国石油化工股份有限公司;石化盈科信息技术有限责任公司
申请日： 2023-07-10 - 公布日： 2023-10-10 - 主分类号： G06F16/242 文献下载
摘要：本发明涉及智能决策技术，揭露了一种动态数学模型建立方法、装置、设备及计算机可读存储介质，包括：查询被控对象模型中的变量类目，从变量类目中提取被控对象模型的全局对象，对所述被控对象模型进行模型定义，得到目标对象模型；识别目标对象模型的模型类别，查询模型类别对应的导入形式，对目标对象模型进行形式转换，得到形式对象模型，将形式对象模型导入至被控对象模型对应的OPC服务器中；在OPC服务器中构建变量信息，构建变量信息对应的位号集合，确定形式对象模型与变量信息之间的关联关系；获取OPC服务器对应的用户端数据，计算用户端数据的服务器数据，确定OPC服务器的动态数学模型。本发明在于建立动态数学模型的方法。
一种动态数学模型建立方法装置设备存储介质

[发明专利]一种履带车辆传动系统扭转振动数学模型建立方法-CN201310464448.4有效
发明人：岳会军;徐向阳;刘艳芳;赖俊斌 -专利权人：北京航空航天大学
申请日： 2013-10-08 - 公布日： 2013-12-25 - 主分类号： G06F19/00 文献下载
摘要：一种履带车辆传动系统扭转振动数学模型建立方法，它有三大步骤：步骤一，计算理论基础，建立履带车辆各元件扭转振动分析理论方程；步骤二，履带车辆传动数学模型的建立，得到常用结构扭振分析矩阵；步骤三，依据常用结构扭振分析矩阵，带入矩阵形式数学分析模型，获得具体结构扭振数学分析模型。本发明可以根据结构直接查询得到相应部分的矩阵，各个独立部分矩阵经上述方法可构成完整系统矩阵形式微分方程，跳过最为繁琐的计算得到方程过程，由结构应用上述方法可直接进行方程求解。这样就建立了履带车辆传动系统通用性的参数化矩阵形式固有振动微分方程，可以直接带入参数进行求解，快速准确分析其固有特性。
一种履带车辆传动系统扭转振动数学模型建立方法

[发明专利]一种基于Coq的C++编译器变量作用域形式化方法-CN201911128077.6有效
发明人：雷航;王自升;李昂;杨拯;钱伟中;唐琴;曾惟如;晏昃晖 -专利权人：电子科技大学;成都互诚在线科技有限公司
申请日： 2019-11-18 - 公布日： 2021-03-09 - 主分类号： G06F8/41 文献下载
摘要：本发明公开了一种基于Coq的C++编译器变量作用域形式化方法，采用record数学模型形式化表结构，采用Inductive归纳定义形式化栈结构，采用match匹配形式化代码中引起分支的操作逻辑，采用Fixpoint递归函数形式化重复行为操作逻辑。本发明使用了Record数学模型形式化字典数据结构，较使用Inductive归纳方法的传统形式化方式明显的提升了执行效率。
一种基于 coq c++编译器变量作用形式化方法

[发明专利]幼儿数学游戏棋-CN201210202066.X无效
发明人：张颖 -专利权人：张颖
申请日： 2012-06-01 - 公布日： 2013-03-20 - 主分类号： A63F3/02 文献下载
摘要：幼儿数学游戏棋是一种用于数学启蒙的游戏棋，一种有亲子游戏和幼儿自主游戏功能，又有幼儿数学思维训练功能的学习玩具，其特征是：以数字为棋子，行棋规范符合特定的数字关联，棋盘设置附有表征数学数字含意，适合儿童心智发展的卡通图；数形结合的游戏形式、丰富多彩的PK内容，简单易行的游戏程序，能使孩子们在欢乐的游戏中，获得数学知识和心智发展。
幼儿数学游戏

[发明专利]基于有向图逻辑的数学题目标记系统及标记方法-CN201810344685.X在审
发明人：田野;杨仁斌 -专利权人：杭州智会学科技有限公司
申请日： 2018-04-17 - 公布日： 2018-07-24 - 主分类号： G06Q50/20 文献下载
摘要：一基于有向图逻辑的数学题目标记方法，所述数学题目标记方法用于标记数学题目,其中所述数学题目以数学题目数据存在，所述数学题目数据包括题干数据以及求解数据,包括以下步骤：推理单元获取数学题目的条件元素；根据所述条件元素,匹配定理,并依据所述定理获取结论元素；判断单元判断所述结论元素是否满足所述求解数据；以及逻辑单元以有向图逻辑形式显示所述条件元素,所述定理以及所述结论元素，以及所述条件元素、所述定理以及所述结论元素之间的逻辑关系
数学题目条件元素有向图求解标记系统逻辑单元逻辑关系逻辑形式判断单元数据包括推理单元题干匹配

[发明专利]基于检验数算法的机组组合方法、系统、设备及存储介质-CN202310570292.1在审
发明人：蔡帜;陈准;葛冬冬;高建军;陈彦光;高文智;饶倩雯;郑陈达;宋少群;丁强;戴赛;李强;潘毅;崔晖;李博;张加力;许丹;李宇轩;胡晓静;徐晓彤;闫翠会;门德月;周明逸;刘升;胡静;路怡;燕京华;盛灿辉;张传成;屈富敏;李哲;张瑞雯;黄国栋;韩彬;胡晨旭;杨晓楠;王磊 -专利权人：中国电力科学研究院有限公司;杉数科技（北京）有限公司;国网福建省电力有限公司;国家电网有限公司
申请日： 2023-05-19 - 公布日： 2023-08-18 - 主分类号： G06F30/20 文献下载
摘要：本发明公开了一种基于检验数算法的机组组合方法、系统、设备及存储介质，属于电力调度技术领域，方法包括求解预先建立的机组组合数学模型的线性规划形式，得到机组组合数学模型的松弛解；根据机组组合数学模型的松弛解，将机组组合数学模型中的0‑1变量按照线性规划形式松弛化后的目标值减少量大小进行排序；按照所述目标值减少量大小的排序，设置阈值选取变量作为求解器热启动的值，通过所述求解器对机组组合数学模型进行求解，得到机组组合方案
基于检验算法机组组合方法系统设备存储介质

[发明专利]发电机调度控制方法-CN201410100966.2无效
发明人：姚秀萍;赵明君;郭小龙;宋明曙;张彦军;朱清;肖桂莲;常喜强;杨永利;郭珂 -专利权人：国网新疆电力公司
申请日： 2014-03-18 - 公布日： 2014-05-28 - 主分类号： H02J3/46 文献下载
摘要：本发明公开了一种发电机调度控制方法，包括以下步骤：确定电力系统潮流和线路损耗的数学描述形式的步骤；基于上述数学描述形式建立以线损最小为目标、考虑公平性约束的最优调度模型的步骤；以及利用遗传算法GA求解目标函数的最优潮流解的步骤
发电机调度控制方法

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