首页 在售
电子信息机械制造新型材料电气自动化新能源安全防护环保资源轻工纺织生物医药包装印刷海洋开发仪器仪表航空航天建材建筑农林牧业食品饮料采矿冶金家居用品化学化工交通运输橡胶塑料教育休闲其他
求购
电子信息机械制造新型材料电气自动化新能源安全防护环保资源轻工纺织生物医药包装印刷海洋开发仪器仪表航空航天建材建筑农林牧业食品饮料采矿冶金家居用品化学化工交通运输橡胶塑料教育休闲其他
查询 申请 展会 资讯 专利榜 企服商城 升级VIP
专利名称
农业 化学；冶金 建筑 机械工程 区域搜索
主分类
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 公布专利
更多 »
专利权人
国家电网公司
华为技术有限公司
浙江大学
中兴通讯股份有限公司
三星电子株式会社
中国石油化工股份有限公司
清华大学
鸿海精密工业股份有限公司
松下电器产业株式会社
上海交通大学
更多 »
钻瓜专利网为您找到相关结果3个，建议您升级VIP下载更多相关专利
  • [发明专利]软件查询信息管理系统和软件查询信息管理方法-CN202110784096.5在审
  • 长野岳彦 - 株式会社日立制作所
  • 2021-07-12 - 2022-02-01 - G06F8/71
  • 本发明提供一种软件查询信息管理系统和软件查询信息管理方法，能够高效地生成关于安装在搭载车辆的设备中的软件的法定许可所需的证据。软件查询信息管理系统与规定了车辆要获得法定许可而要满足的要件的法规的法规ID相关联地存储设备要求规格，确定与设备要求规格所关联的设备的追溯信息所关联的设备要求规格对应的法规ID，生成将所确定的法规ID与追溯信息中含有的一个以上的软件ID相关联的软件查询信息，基于软件查询信息确定与发生了事件的设备中安装的软件的软件ID对应的法规ID所对应的其它软件的软件ID，基于安装有所确定的软件ID的设备的通信数据生成证据。
  • 软件查询信息管理系统方法
  • [发明专利]源代码转换方法和源代码转换程序-CN201180038784.1无效
  • 市井诚;近久真章;野口秀人;长野岳彦 - 株式会社日立制作所
  • 2011-08-08 - 2013-04-17 - G06F9/44
  • 为了在软件的模型检查中，降低用模型检查器的输入语言描述检查代码的成本，存在将软件的源代码转换为检查代码的方法。因为用户只能选择单一的转换方式，所以存在抽象化水平的变更困难、用于追随源代码的设计变更的规则修正成本较高、用于用不同检查工具检查的规则修正成本较高等课题。本发明在将源代码转换为检查代码时，提供选择多个转换规则的单元，用户能够容易地变更抽象化的水平。此外，多个转换规则包括将源代码转换为中间形式的转换规则、在中间形式中进行抽象化的转换规则和从中间形式转换为检查代码的转换规则。
  • 源代码转换方法程序
  •  1 
  • 共 3 条
友情链接：交换友情链接需要网站权重大于4，网站收录10W以上，如符合条件，请联系QQ：76009968。

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

钻瓜专利网在线咨询

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

版权所有钻瓜科技（天津）有限公司津ICP备15000985号津公网安备 12019202000206号http://www.vipzhuanli.com/公布日期
咨询在线客服咨询在线客服
tel code back_top