[发明专利]对印鉴组合数据进行存储、验印的方法和系统

权利要求书

1.一种电子验印系统中印鉴组合数据的存储方法，其特征在于，所述存储方法包括：

通过键值对的形式表示一个账户的印鉴组合涉及的单个要素及该要素的取值范围，形成简单条件表达式；

将该账户的印鉴组合涉及的一个或一个以上的所述简单条件表达式、一个或一个以上待验印的印鉴分别单独地作为简单命题，通过数理逻辑中的运算符号将所述简单命题连接起来形成复合命题；

该账户的印鉴组合涉及的两个或两个以上的所述复合命题通过数理逻辑中的与运算符号连接，形成为该账户的印鉴组合数据，或者将该账户的印鉴组合涉及的一个所述复合命题形成为该账户的印鉴组合数据，其中所述印鉴组合数据为对验印条件及对应印章组合的表达；

将该账户的印鉴组合数据作为一条数据库记录以字符串的形式存储至数据库中的一个字段。

2.根据权利要求1所述的存储方法，其特征在于，所形成的简单条件表达式如下：

key op value

其中：key表示要素类型，value表示要素的取值范围，op表示用于连接key与value的运算符。

3.根据权利要求1或2所述的存储方法，其特征在于，通过数理逻辑中的运算符号将所述简单命题连接起来形成复合命题的表达式如下：

p₁c₁p₂c₂…p_n-1c_n-1p_n

其中p表示包括简单条件表达式或待验印的印鉴的简单命题，c表示数理逻辑中的运算符号，n表示该账户的印鉴组合涉及的简单条件表达式和待验印的印鉴的数目。

4.一种电子验印系统中使用印鉴组合数据进行验印的方法，其特征在于，所述方法包括：

从数据库中读取账户的印鉴组合的数据库记录，其中该账户的印鉴组合按照权利要求1至3中任意一项所述的存储方法存储在所述数据库中；

将该账户的印鉴组合的数理逻辑表达式解析成多叉树，其中所述多叉树的每个叶子节点表示包括简单条件表达式或待验印的印鉴的简单命题，根节点表示用于连接简单命题或复合命题的运算符号；

遍历所述多叉树，将所述简单命题的取值代入所述多叉树，按照多叉树的简化算法对所述多叉树进行简化，并计算出简化后的多叉树的最终取值；

如果取值为真表示对该账户的印鉴组合验印通过。

5.根据权利要求4所述的方法，其特征在于，将所述简单命题的取值代入所述多叉树，按照多叉树的简化算法对所述多叉树进行简化包括：

将简单条件表达式中key的取值代入所述多叉树，简化后得到的叶子节点为所需验印的印鉴；

对所述印鉴进行验印，并将验印结果代入简化后的多叉树，计算出所述多叉树的最终取值。

6.根据权利要求4或5所述的方法，其特征在于，所述多叉树的简化算法包括：

对于根节点为与运算符号的双层多叉树，对该双层多叉树的叶子节点进行取值；

若所述叶子节点中存在取值为假的叶子节点，则该双层多叉树取值为假；

将所述叶子节点中取值不确定的叶子节点保留，并将取值为真的叶子节点删除，并且在所有叶子节点均被删除的情形下，该双层多叉树取值为真。

7.根据权利要求6所述的方法，其特征在于，所述多叉树的简化算法还包括：

对于根节点为或运算符号的双层多叉树，对该双层多叉树的叶子节点进行取值；

若所述叶子节点中存在取值为真的叶子节点，则该双层多叉树取值为真；

将所述叶子节点中取值不确定的叶子节点保留，并将取值为假的叶子节点删除，并且在所有叶子节点均被删除的情形下，该双层多叉树取值为假。

8.根据权利要求7所述的方法，其特征在于，将所述简单命题的取值代入所述多叉树，按照多叉树的简化算法对所述多叉树进行简化还包括：

按照所述简化算法先从底层的双层多叉树开始简化，

将简化后的结果代入多叉树，依次重复步骤向上层遍历，直到整棵多叉树只剩下取值不确定叶子节点或整棵多叉树取值确定为真或假。

9.根据权利要求4所述的方法，其特征在于，遍历所述多叉树包括采用先叶子节点后根节点的遍历顺序遍历所述多叉树。

10.一种在电子验印系统中对印鉴组合数据进行处理的系统，其特征在于，所述系统包括数据库、存储模块和处理模块；

其中，所述存储模块用于执行如下操作：

通过键值对的形式表示一个账户的印鉴组合涉及的单个要素及该要素的取值范围，形成简单条件表达式，

将该账户的印鉴组合涉及的一个或一个以上的所述简单条件表达式、一个或一个以上待验印的印鉴分别单独地作为简单命题，通过数理逻辑中的运算符号将所述简单命题连接起来形成复合命题，

该账户的印鉴组合涉及的两个或两个以上的所述复合命题通过数理逻辑中的与运算符号连接，形成为该账户的印鉴组合数据，或者将该账户的印鉴组合涉及的一个所述复合命题形成为该账户的印鉴组合数据，

将该账户的印鉴组合数据作为一条数据库记录以字符串的形式存储至数据库中的一个字段；

其中，所述处理模块用于执行如下操作：

从数据库中读取账户的印鉴组合的数据库记录，

将该账户的印鉴组合的数理逻辑表达式解析成多叉树，其中所述多叉树的每个叶子节点表示包括简单条件表达式或待验印的印鉴的简单命题，根节点表示用于连接简单命题或复合命题的运算符号，

遍历所述多叉树，将所述简单命题的取值代入所述多叉树，按照多叉树的简化算法对所述多叉树进行简化，并计算出简化后的多叉树的最终取值，

如果取值为真表示对该账户的印鉴组合验印通过。