[发明专利]控制方法、分析装置及程序在审
| 申请号： | 202180013728.6 | 申请日： | 2021-02-10 |
| 公开（公告）号： | CN115066672A | 公开（公告）日： | 2022-09-16 |
| 发明（设计）人： | 西田直央;道山淳儿;海上勇二;添田纯一郎 | 申请（专利权）人： | 松下电器(美国)知识产权公司 |
| 主分类号： | G06F8/40 | 分类号： | G06F8/40;G06Q10/06 |
| 代理公司： | 永新专利商标代理有限公司 72002 | 代理人： | 高迪 |
| 地址： | 美国加*** | 国省代码： | 暂无信息 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 分析装置的控制方法对第一分散账本中存放的多个智能合约各自的二进制码进行分析(S1)，使用分析的结果，取得将多个智能合约各自提供的信息以共通形式表现的多个共通化信息(S2)，生成包括所取得的多个共通化信息的事务数据，并进行将生成的事务数据向第二分散账本存放的控制(S3)。 | ||
| 搜索关键词： | 控制 方法 分析 装置 程序 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于松下电器(美国)知识产权公司，未经松下电器(美国)知识产权公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202180013728.6/，转载请声明来源钻瓜专利网。
- 同类专利
- 采样装置及采样方法-202180086506.7
- 莲尾一郎;大薮雄一郎;克洛维斯·埃伯哈特;末永幸平;长健太;胜股审也 - 大学共同利用机关法人信息与系统研究机构
- 2021-12-23 - 2023-08-29 - G06F8/40
- 本公开提供一种用于概率编程的新的采样方法。本发明的一个方式涉及一种采样装置，其具有：控制流选择部，其选择与概率程序的各分支对应的控制流；程序优化部，其通过反向传播将规定的变换规则应用于所述选择出的控制流的程序，并对所述程序进行优化；以及采样部，其根据所述优化后的程序生成样本。
- 用于高级构造的优化的自动验证的方法和系统-202080052336.6
- I·A·艾尔兰;R·科普兰;A·基尔斯特拉;D·K·西格瓦特;孝寿俊彦 - 国际商业机器公司
- 2020-07-24 - 2022-10-11 - G06F8/40
- 一种用于高级构造的优化的自动验证的方法，包括通过编译包括高级构造的计算机程序来生成第一可执行代码。编译包括生成用于高级构造的第一组机器指令，并且存储用于高级构造的编译时间信息。该方法还包括优化第一可执行代码，其包括将第一可执行代码转换成中间语言表示。优化还包括生成第二可执行代码。为此，该方法包括从中间语言表示生成用于高级构造的第二组机器指令。如果第一组机器指令和第二组机器指令的行为匹配，则第二组机器指令被包括在第二可执行代码中，否则包括第一组机器指令。
- 控制方法、分析装置及程序-202180013728.6
- 西田直央;道山淳儿;海上勇二;添田纯一郎 - 松下电器(美国)知识产权公司
- 2021-02-10 - 2022-09-16 - G06F8/40
- 分析装置的控制方法对第一分散账本中存放的多个智能合约各自的二进制码进行分析(S1)，使用分析的结果，取得将多个智能合约各自提供的信息以共通形式表现的多个共通化信息(S2)，生成包括所取得的多个共通化信息的事务数据，并进行将生成的事务数据向第二分散账本存放的控制(S3)。
- 用户界面资源文件优化-201980068477.4
- 瑞安·迪尼亚尔 - 电子湾有限公司
- 2019-07-16 - 2021-06-01 - G06F8/40
- 本文所描述的技术减小了软件应用的大小。在一些实施方式中，应用的一个或多个资源文件的大小被减小。资源文件包括限定应用的元素的键/值对。在一些实施方式中，对应用的源代码进行分析，以确定资源文件中的条目是否可以被移除。例如，可以对应用的源代码中的初始化函数进行分析，以确定从资源文件加载的值是否在使用之前被替换。例如，具有颜色属性的按钮可以被资源限定为灰色，但是后续在初始化函数中被设置为橙色。在这种情况下，将按钮限定为灰色的资源条目是多余的，并且可以被安全地移除。本技术允许从资源文件中移除条目，即使源代码引用了该条目。
- 使用二进制中间表示的处理方法-201980062203.4
- 一峻·俞 - 英国开放大学
- 2019-07-25 - 2021-05-04 - G06F8/40
- 一种计算机实现的方法，包括以下步骤：接收源代码，该源代码具有关联的语法；生成源代码的二进制中间表示；对二进制中间表示执行后续处理。
- 专利分类
