专利名称
主分类
A 农业
B 作业;运输
C 化学;冶金
D 纺织;造纸
E 固定建筑物
F 机械工程、照明、加热
G 物理
H 电学
专利下载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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果1541266个,建议您升级VIP下载更多相关专利
  • [实用新型]一种减压式数学计算-CN202020899191.0有效
  • 赵梅妹 - 赵梅妹
  • 2020-05-25 - 2020-12-01 - G06F15/02
  • 本实用新型涉及数学计算器技术领域,尤其是指一种减压式数学计算器,其包括数学计算器本体、手绘板和蓄电池,手绘板固定装设于数学计算器本体的背面,数学计算器本体的底部设置有凹槽,蓄电池安装于所述数学计算器本体的底部凹槽内,数学计算器本体和手绘板均与蓄电池电连接,数学计算器本体包括太阳能电池板、显示屏和操作板。本申请的一种减压式数学计算器设置了手绘板,人们在进行数学计算之余还能够通过在手绘板上进行画图或写字进行减压,增加数学计算器的使用频率。
  • 一种减压数学计算器
  • [实用新型]一种简易型的数学公式计算-CN201621475829.8有效
  • 赵延靖;张万军;苟小平 - 张万军;赵延靖;苟小平
  • 2016-12-30 - 2017-09-08 - G06F15/02
  • 本实用新型公开了一种简易型的数学公式计算器,包括存储器、计算器的外壳、手写装置、无线网络模块、电源装置、LCD显示器、打印机接口、键盘装置、语音装置;所述的数学公式录入装置包括键盘装置、手写装置、语音装置;通过数学公式录入装置录入数学公式,经计算器微处理系统实现数学公式的计算,显示并打印数学公式的计算结果;同时,所数学公式的计算结果经无线传输装置到数学公式计算人员的智能终端装置中,实现数学公式的计算及远程智能终端管理本实用新型通过数学公式计算器系统和智能终端装置可以随时随地计算、接收数学公式计算结果的信息,提高了数学公式计算人员的效率,能够产生很好的经济效益和社会效益。
  • 一种简易数学公式计算器
  • [发明专利]数学模型仿真的实现方法、移动终端-CN200910093815.8无效
  • 陈有鑫 - 中兴通讯股份有限公司
  • 2009-09-21 - 2010-02-24 - G06F9/45
  • 本发明公开了一种数学模型仿真的实现方法、移动终端,其中,该方法包括:所述移动终端根据预先配置的数学模型、以及对应于所述数学模型的参数和变量初始值计算所述数学模型,得到计算结果;所述移动终端根据输入的绘图要求对所述计算结果进行绘图处理来实现对所述数学模型的仿真本发明借助移动终端的强大功能和计算能力,利用移动终端实现了数学和工程计算,避免测试人员携带专用的模拟计算设备以及在测试前进行复杂的编程,方便了数学和工程计算的开展。
  • 数学模型仿真实现方法移动终端
  • [发明专利]一种数学工具软件控制方法、装置、设备及存储介质-CN202310382065.6在审
  • 张芳 - 山东工程职业技术大学
  • 2023-04-12 - 2023-05-12 - G06F17/15
  • 本发明公开了一种数学工具软件控制方法、装置、设备及存储介质,涉及数学工具控制技术领域。该数学工具软件控制方法,包括以下步骤:S1,获取用户输入的计算式进行预处理;S2,根据计算式匹配数学库中的公式:根据输入的计算式,自动匹配数学库中的公式,若输入的计算式匹配到数学库中包含的公式,直接进入S3进行计算处理,若未匹配到数学库中的公s式,则发出错误提示,并返回到S1;S3,根据公式处理计算式;S4,将处理结果进行输出;S5,复位判断。本发明通过为用户提供多种输入方式,且自动匹配计算式和数学库中的公式,降低了使用数学工具软件的难度和复杂度,解决了现有技术中存在用户控制数学工具软件难度高的问题。
  • 一种数学工具软件控制方法装置设备存储介质
  • [发明专利]计算机程序验证数学证明合法性的方法-CN201610123179.9在审
  • 陈晋飞 - 陈晋飞
  • 2016-03-05 - 2016-06-15 - G06F9/44
  • 目前,数学证明日益复杂,导致要严格的对一个数学证明的合法性进行验证非常困难,一些数学证明的验证需要多个数学家用长达数月的时间进行验证,才能验证证明的正确性,数学公式采用图形化的方式描述,数学没有一个完全形式化的,表达能力足够的,能使用计算机进行分析的计算机化的数学语言,使得对数学证明的验证非常困难,数学证明的表达也不严格;本发明的目的是解决现有当前数学证明的不完全严格性,不利于使用计算机进行分析的弊端;本发明提出一种包含一阶逻辑的,对数学家足够直观的计算机化的语言,使得数学证明能用这种语言表达,用计算机程序迅速的判断出证明的合法性。
  • 用计程序验证数学证明合法性方法

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

钻瓜专利网在线咨询

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

咨询在线客服咨询在线客服
tel code back_top