基本信息:
- 专利标题： 페일세이프 계산들을 수행하기 위한 방법
- 专利标题（英）：Method for performing failsafe calculations
- 专利标题（中）：执行失效计算的方法
- 申请号：KR1020167032998 申请日：2014-05-08
- 公开(公告)号：KR1020170002481A 公开(公告)日：2017-01-06
- 发明人： 헤이스,폴제이. , 켈시,돈
- 申请人： 마이크로 모우션, 인코포레이티드
- 申请人地址： 미국 콜로라도 ***** 보울더 윈체스터 서클 ****
- 专利权人： 마이크로 모우션, 인코포레이티드
- 当前专利权人： 마이크로 모우션, 인코포레이티드
- 当前专利权人地址： 미국 콜로라도 ***** 보울더 윈체스터 서클 ****
- 代理人： 특허법인 남앤드남
- 国际申请： PCT/US2014/037343 2014-05-08
- 国际公布： WO2015171152 2015-11-12
- 主分类号： G06F11/14
- IPC分类号： G06F11/14
摘要：
페일세이프계산을수행하기위한방법및 디바이스, 및페일세이프계산을수행하기위한코드를컴파일링하는방법이제공된다. 방법은제 1 결과(214)를생성하기위하여제 1 계산(212)을수행하는단계를포함한다. 제 2 계산(218)은제 2 결과(220)를생성하기위하여스칼라(216) 및제 1 계산(212)을사용하여수행된다. 제 2 계산(218)은스칼라화된결과를생성하기위하여스칼라(216)에의해제 1 계산(212)을곱셈하는단계, 및제 2 결과(220)를생성하기위하여스칼라(216)에의해스칼라화된결과를나누는단계를포함한다. 제 1 결과(214) 및제 2 결과(220)는, 그들이동일한지를결정하기위하여비교된다.
摘要（中）：
提供了用于执行故障保护计算的方法和装置，以及编译执行故障安全计算的代码的方法。 该方法包括执行第一计算（212）以生成第一结果（214）。 使用标量（216）和第一计算（212）来执行第二计算（218）以生成第二结果（220）。 第二计算（218）包括将第一计算（212）乘以标量（216）以生成缩放结果，并将缩放结果除以标量（216）以生成第二结果（220）。 比较第一结果（214）和第二结果（220）以确定它们是否相等。
摘要（英）：
How to compile the code for performing a method for performing calculations and a fail-safe device, the fail-safe and calculations are provided. The method includes performing a first calculation (212) to produce a first result (214). Second calculation 218 are performed by using the scalar 216 and the first computation 212 to generate a second result (220). A second calculation (218) is a scalar by a scalar (216) to produce a first calculation step, and the second result (220) for multiplying (212) by a scalar (216) to produce a result of the scalar Chemistry It includes dividing the encrypted result. A first result (214) and a second result 220 is compared to determine if they are the same.
公开/授权文献:
- KR101983125B1 페일세이프 계산들을 수행하기 위한 방법 公开/授权日：2019-05-28