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

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

[发明专利]用于病毒鉴定的训练方法和病毒鉴定方法及装置-CN201310098003.9有效
发明人：余文锋 -专利权人：腾讯科技（深圳）有限公司
申请日： 2013-03-25 - 公布日： 2018-01-09 - 主分类号： G06F21/56 文献下载
摘要：本发明实施例公开了一种用于病毒鉴定的训练方法和计算机病毒鉴定方法及相应装置，所述用于病毒鉴定的训练方法包括提取纯黑样本中的一个程序的特征；根据所述程序的特征，获取所述程序的数学特征；判断所述数学特征是否符合预置的病毒的数学特征的要求，如果符合，获取所述程序的数学特征与所述预置的病毒的数学特征的共同特征；如果所述数学特征不符合所述预置病毒的数学特征的要求，则记录所述程序的所述数学特征，作为新增病毒的数学特征。
用于病毒鉴定训练方法装置

[发明专利]一种应用程序中程序界面的实现方法及装置-CN201110222483.6在审
发明人：刘霖;俞小良 -专利权人：中国移动通信集团公司
申请日： 2011-08-04 - 公布日： 2013-02-06 - 主分类号： G06F9/44 文献下载
摘要：本发明公开了一种应用程序中程序界面的实现方法及装置，在构造实景界面和数学界面后，建立实景界面的实景坐标系和数学界面的数学坐标系之间的绑定关系，并根据绑定关系，将实景界面的坐标转换到数学坐标系下，并在数学坐标系中将实景界面与数学界面结合生成程序界面；一方面，较现有技术来说，由于本发明的方法使用获取到的实景界面作为程序界面的一部分，能够达到减少程序界面生成的计算量，节省终端的资源开销的效果；另一方面，本发明将实景界面和数学界面有机地结合到一起，能够达到程序界面画面逼真的效果
一种应用程序程序界面实现方法装置

[其他]利用智能处理的计算机控制系统-CN85108971无效
发明人：谷藤真也;诸冈泰男 -专利权人：株式会社日立制作所
申请日： 1985-11-01 - 公布日： 1986-11-05 - 主分类号： G05B15/02 文献下载
摘要：所揭示的一个采用数学公式处理和更广义的智能工程的计算机控制系统的特征为一个定义数学公式模型的人机处理单元，将所定义的数学公式模型转换为中间编码程序的程序产生单元，存储定义的数学公式模型的应用条件的装置和选择满足基于所控制设备的控制单元送出的数据的所存的应用条件的数学公式模型，选择相应于从程序产生单元产生的程序中选定的数学公式模型的程序，并将选定程序的运算结果送往控制单元的装置。
利用智能处理计算机控制系统

[发明专利]利用智能处理的计算机控制系统-CN85108971.2无效
发明人：谷藤真也;诸冈泰男 -专利权人：株式会社日立制作所
申请日： 1985-11-01 - 公布日： 1991-01-16 - 主分类号： G05B17/02 文献下载
摘要：所揭示的一个采用数学公式处理和更广义的智能工程的计算机控制系统的特征为一个定义数学公式模型的人机处理单元，将所定义的数学公式模型转换为中间编码程序的程序产生单元，存储定义的数学公式模型的应用条件的装置和选择满足基于所控制设备的控制单元送出的数据的所存的应用条件的数学公式模型，选择相应于从程序产生单元产生的程序中选定的数学公式模型的程序，并将选定程序的运算结果送往控制单元的装置。
利用智能处理计算机控制系统

[发明专利]一种数学学科素养能力综合分析系统及分析方法-CN201910889960.0在审
发明人：蒋丰盈;陈生海;刘建国;林晓艳;郭紫睿 -专利权人：怀化学院
申请日： 2019-09-20 - 公布日： 2020-01-14 - 主分类号： G06Q10/06 文献下载
摘要：本发明属于数学学科素养能力综合分析技术领域，公开了一种数学学科素养能力综合分析系统及分析方法，利用输入程序输入学生个人信息；利用测试程序对学生的数学素养能力进行试题测试；对学生答题结果进行计分；对学生数学素养能力等级进行划分操作；利用评价程序根据计分结果、能力等级对学生数学素养能力进行综合评价；对学生数学解题进行训练；利用调查程序对学生数学学习进行调查。本发明通过训练模块大大提高解题训练效率；通过调查模块根据获取学生数学学习的各项参数，了解学生的数学学习状态，提供个性化解决预案，有利于解决学生数学学习的疑难，有利于老师对学生的数学学习进行量化分析，有利于提高学生的数学学习效率
学生数学数学学习能力综合数学学科学生学生个人信息测试程序分析系统计分结果量化分析评价程序输入程序学生答题训练模块训练效率综合评价调查学习试题个性化分析测试数学老师

[发明专利]PLC程序开发方法及装置-CN201710722570.5在审
发明人：王达 -专利权人：北京天诚同创电气有限公司
申请日： 2017-08-22 - 公布日： 2017-12-12 - 主分类号： G05B19/05 文献下载
摘要：提供一种PLC程序开发方法及装置。所述方法包括(A)获取与需要实现的逻辑控制功能对应的可执行的数学模型，并对所述数学模型进行仿真测试；(B)当所述数学模型通过仿真测试时，基于所述数学模型生成PLC程序。根据所述方法及装置，能够尽量避免进行PLC程序编码所依据的程序设计文件中存在错误，从而有效减少生成的PLC程序中的错误。
plc 程序开发方法装置

[发明专利]通过等效数学表达式对计算机程序代码加水印-CN200580044424.7有效
发明人：贝纳德·斯梅茨;比约恩·约翰松 -专利权人： LM爱立信电话有限公司
申请日： 2005-11-24 - 公布日： 2007-12-12 - 主分类号： G06F21/00 文献下载
摘要：本发明提供了通过等效数学表达式对计算机程序代码加水印的方法。一种在包括多个程序语句的计算机程序代码中嵌入信息的方法，该方法包括：解析所述计算机程序代码以识别包括第一数学表达式的至少一个程序语句，其中所述第一数学表达式至少包括适于产生至少一个数值结果的第一代数表达式；通过对所述第一数学表达式执行预定的转换来生成经修改的数学表达式，其中所述经修改的数学表达式包括经转换的代数表达式，而不是所述第一代数表达式，以使得所述经修改的数学表达式适于产生与所述第一数学表达式相同的结果，并且其中所述经修改的数学表达式表示所述信息的至少一部分；由所述经修改的数学表达式来替换所识别的程序语句中的所述第一数学表达式。
通过等效数学表达式计算机程序代码水印

[发明专利]一种将普通锣机程序转换成CCD锣机程序的方法、装置及存储介质-CN202011640808.8在审
发明人：邝植勤 -专利权人：鹤山市世安电子科技有限公司
申请日： 2020-12-31 - 公布日： 2021-04-13 - 主分类号： G06F8/51 文献下载
摘要：本发明公开了一种将普通锣机程序转换成CCD锣机程序的方法、装置及存储介质，该方法先确定将普通锣机程序转换成CCD锣机程序数学模型，数学模型以普通逻辑程序为自变量和以CCD逻辑程序为因变量，根据数学模型，运用Visual Basic语言将普通锣机程序转换成CCD锣机程序。本发明可以将普通锣机程序转换成CCD锣机程序，若需要将普通锣机程序转换成CCD锣机程序，只需将普通锣机程序导入软件中，即可导出CCD锣机程序，从而减少了编程人员的工作量。
一种普通程序转换 ccd 方法装置存储介质

[发明专利]一种MATLAB程序的循环结构依赖识别方法及系统-CN202310487521.3在审
发明人：王嘎;韩文俊;唐强;李路野;丁琳琳;马飞扬;刘洋 -专利权人：中国电子科技集团公司第十四研究所
申请日： 2023-04-27 - 公布日： 2023-07-28 - 主分类号： G06F8/20 文献下载
摘要：本发明公开了一种MATLAB程序的循环结构依赖识别方法及系统，所述方法包括以下步骤：变量定义：对共享变量、数据冲突、循环并行进行定义；数学建模：基于变量定义，对一般MATLAB程序for循环结构，建立一般线性约束求解数学模型；约束求解：使用Z3求解器对一般线性约束数学模型进行求解，得到最终得到数据依赖关系和并行识别结果。本发明为MATLAB程序的并行化设计提供了基础，同时自动化设计避免了人工分析，提高了程序分析效率。
一种 matlab 程序循环结构依赖识别方法系统

[发明专利]手写数学公式样本库的构建方法、装置及终端设备-CN202110350789.3有效
发明人：郭蔚;魏亚恒;李冰欣;任庆云;周丙寅;田亮;韩娟娟 -专利权人：河北师范大学
申请日： 2021-03-31 - 公布日： 2022-12-27 - 主分类号： G06V30/32 文献下载
摘要：本发明适用于图像识别技术领域，提供了一种手写数学公式样本库的构建方法、装置及终端设备，该方法包括：将待识别图像切割为至少一个题块图像；并通过第一数学公式识别程序对手写数学公式进行位置检测，确定各个手写数学公式的初始标注框；然后采用人工修正初始标注框；根据修正后的标注框提取各个题块图像中的公式图像，通过第二数学公式识别程序对各个公式图像进行数据识别；采用预设深度学习模型辅以人工识别的方式对目标公式图像进行数据识别，输出目标公式图像对应的第二识别数据；最后采用第一训练样本和第二训练样本构建手写数学公式样本库。本申请通过上述步骤能够构建使程序精确识别的样本库，从而提高手写数学公式识别的准确性。
手写数学公式样本构建方法装置终端设备

[发明专利]模型不确定性等级确定方法、装置、系统及存储介质-CN202211219519.X有效
发明人：万力;贺思宁;胡紫依;文博;万黎明;胡海鸣;胡媛;潘雨晴;欧阳雪;何其飞;王金;谢伊;魏建勋;管辰;刘倩影;张佳星;郑卓茜 -专利权人：中认国证（北京）评价技术服务有限公司
申请日： 2022-10-08 - 公布日： 2023-02-17 - 主分类号： G05B13/04 文献下载
摘要：该系统包括处理器和存储器，所述存储器存储有计算机程序，所述处理器在运行所述计算机程序时执行以下步骤，包括：获取被控对象的名义数学模型和真实数学模型；分别确定所述名义数学模型对应的阶跃响应和所述真实数学模型对应的阶跃响应，基于所述名义数学模型对应的阶跃响应和所述真实数学模型对应的阶跃响应确定模型不确定性等级。上述技术方案，根据名义数学模型对应的阶跃响应和真实数学模型对应的阶跃响应，实现了模型不确定性等级的量化估计。
模型不确定性等级确定方法装置系统存储介质

[发明专利]一种基于手动向量化的并行计算方法-CN201910780790.2有效
发明人：杨昊;唐旭东;吴济良 -专利权人：成都信息工程大学
申请日： 2019-08-22 - 公布日： 2020-09-01 - 主分类号： G06F9/30 文献下载
摘要：本发明涉及一种基于手动向量化的并行计算方法，方法包括分析程序中的热点部分，并记录热点部分数组元素字长；根据任务精度要求，对热点部分的数组进行対界操作；对热点程序中核心函数中的不同精度的函数进行合并，对核心函数调用的函数进行降精度处理，将标准数学库函数改写成自定义数学库函数；对热点程序中的变量和自定义数学库函数进行手动向量化。通过对函数进行降精度，对变量、数组和函数进行手动向量化，使得基本数学函数也能一次指令对多个数据进行运算，大大提高了运算效率。
一种基于手动量化并行计算方法

[发明专利]一种螺旋锥齿轮齿顶倒圆加工方法-CN201911049856.7有效
发明人：叶君;王作鹏;孙浩;王山城;温冠云;王春雷;朱光照;仉凤权;王书杭;高玮 -专利权人：中国航发哈尔滨东安发动机有限公司
申请日： 2019-10-30 - 公布日： 2021-09-28 - 主分类号： B23F19/10 文献下载
摘要：本发明提供一种螺旋锥齿轮齿顶倒圆加工方法，包括：获取待倒圆的螺旋锥齿轮的数学模型；将所述待倒圆的螺旋锥齿轮的数学模型导入Unigraphics NX软件，采用所述Unigraphics NX软件的CAD模块，获取所述螺旋锥齿轮齿顶倒圆部分的数学模型；根据所述螺旋锥齿轮齿顶倒圆部分的数学模型和走刀加工方式，生成机床数控程序；采用所述机床数控程序对所述待倒圆的螺旋锥齿轮进行倒圆。
一种螺旋齿轮齿顶倒圆加工方法

[发明专利]一种燃气轮机控制程序的仿真方法-CN202210707423.1在审
发明人：王玉恒;尤学刚;张秀林;劳新力;陈庆虎;许铁岩;韦炜;付一鸣;魏鹏鑫;魏玉石;徐鸿影;张时瑞;丛文峰;任博铖;孔庆毅;白冰;杜玉峰;宁有智;张家健;张龙;高传连;李雄;邓传志 -专利权人：中国海洋石油集团有限公司;中海石油（中国）有限公司海南分公司;中国船舶重工集团公司第七0三研究所
申请日： 2022-06-21 - 公布日： 2022-11-04 - 主分类号： G06F30/20 文献下载
摘要：本发明提供一种燃气轮机控制程序的仿真方法，包括以下步骤：步骤1：通过仿真机人机界面设定燃气轮机数学模型的参数；步骤2：燃气轮机数学模型按照人机界面设定的参数，通过内部算法计算出当前状态下的燃气轮机数据；步骤3：通过通用数据接口与燃气轮机控制程序交换数据；步骤4：燃气轮机控制程序利用数学模型发来的数据来判断当前燃气轮机的动作状态，控制程序的逻辑会执行相应的动作，发送指令给数学模型，同时将参数传输给燃气轮机人机界面用于显示本发明可实现对控制程序逻辑的验证，避免了由于逻辑错误使机组损坏或造成人员伤亡，同时还能极大的提升程序开发效率。该方法具有结构简单、实现方便、成本低、运行可靠等优点。
一种燃气轮机控制程序仿真方法

[发明专利]一种数学模型数值计算程序的验证方法-CN201010618793.5无效
发明人：杨振虎;梁益华;周磊 -专利权人：中国航空工业集团公司第六三一研究所
申请日： 2010-12-31 - 公布日： 2011-05-04 - 主分类号： G06F17/13 文献下载
摘要：本发明提出了一种数学模型数值计算程序的验证方法，包括以下步骤：1)确定程序求解的控制方程；2)确定离散方法的理论收敛阶；3)确定数学模型的所有分支程序；4)确定虚构解；5)将虚构解输入控制方程的右端形成源项本发明提出了一种数学模型数值计算程序的验证方法，从逆向思维的观点出发构造出一组能满足程序验证要求的解析解，从程序实现精度阶来对程序进行验证，简化了程序测试，提供了大量的解析解。
一种数学模型数值计算程序验证方法

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