[发明专利]监视制造过程

权利要求书

1.一种通过监视制药厂的当前操作来制造药物化合物的方法，所述方法包括：

创建所述制药厂的标称操作的数值表示；

使用同态加密来加密所述数值表示以确定加密的数值表示，所述加密的数值表示阻止对所述数值表示的访问但允许对所述数值表示的计算；

使用所述加密的数值表示作为对智能合约的计算的第一输入而在区块链平台上创建智能合约；

尝试使用所述制药厂的当前操作作为对所述智能合约的所述计算的第二输入来执行所述智能合约，所述智能合约的执行通过对所述加密的数值表示执行所述计算来产生输出结果；

基于所述智能合约的所述执行的所述输出，确定所述当前操作在所述标称操作之外。

2.一种用于监视过程的当前操作的方法，所述方法包括：

创建所述过程的标称操作的数值表示；

使用同态加密来加密所述数值表示以确定加密的数值表示，所述加密的数值表示阻止对所述数值表示的访问但允许对所述数值表示的计算；

使用所述加密的数值表示作为对智能合约的计算的第一输入而在区块链平台上创建智能合约；

尝试使用所述过程的当前操作作为对所述智能合约的所述计算的第二输入来执行所述智能合约，所述智能合约的执行通过对所述加密的数值表示执行所述计算来生成输出结果；

基于所述智能合约的所述执行的输出，确定所述当前操作在所述标称操作之外。

3.根据权利要求2所述的方法，其中，确定所述当前操作在所述标称操作之外是响应于确定执行所述智能合约的失败。

4.根据权利要求2或3所述的方法，进一步包括在确定所述当前操作在所述标称操作之外时阻止所述过程的当前操作。

5.根据权利要求2或3所述的方法，进一步包括在确定所述当前操作在所述标称操作之外时，允许进一步执行所述过程并且生成指示所述当前操作在所述标称操作之外的报告。

6.根据前述权利要求中任一项所述的方法，其中，创建所述标称运算的数值表示包括创建所述标称运算的petri网并且创建所述petri网的数值表示。

7.根据前述权利要求中任一项所述的方法，其中，所述数值表示

指示所述标称操作的位置和所述位置之间的有效转化，

包括多个二进制标称向量，以及

多个二进制标称向量中的每一者表示位置之间的有效转化之一。

8.根据权利要求7所述的方法，其中，所述多个二进制标称向量对于每次转化包括指示启用所述转化的一个或多个位置的二进制预置向量和指示所述转化之后的一个或多个可能位置的二进制后置向量。

9.根据权利要求7或8所述的方法，其中，创建所述数值表示包括确定穿过所述位置和转化的多条迹线，并且确定所述预置向量和后置向量，使得所述预置向量和后置向量表示所述多条迹线。

10.根据权利要求7至9中任一项所述的方法，其中，所述过程的当前操作由二进制当前状态向量表示，并且所述智能合约包括基于所述当前状态向量和所述加密的标称向量的二进制操作。

11.根据权利要求10所述的方法，其中，所述智能合约的计算包括基于指示所述操作的先前状态的先前状态向量的二进制操作。

12.根据权利要求11所述的方法，其中，所述智能合约的计算包括加密的先前状态向量与加密的当前状态向量之间的二进制运算。

13.根据权利要求12所述的方法，其中，所述智能合约的计算包括基于使用加密的后置向量的二进制运算和基于所述加密的后置向量的转化选择。