专利名称：组合样品库的设计方法和系统的制作方法
技术领域：
本发明涉及一种高效的试验方法-高通量实验方法，更具体地讲，涉及其中的组合样品库的设计领域。
背景技术：
针对材料的许多特性，如热传导性、发光性、催化活性等，均可利用组合材料的发现方法和系统，来鉴别新材料或优化已有的材料。目前的组合研究方法在样品空间中通过格点搜索，‘用蛮力’地合成大量的样品，然后根据所需特性筛选这些样品。然而，这种方法几乎没有考虑样品有关组分的已知的经验知识。即使考虑了这样的经验知识，也缺乏适当的方法来设计在样品空间中充分随机化了的样品库。
因此，有必要开发一种全新的组合实验设计体系和方法，以有效地将经验知识整合到样品库设计中，而在此经验知识之外样品的取样则是完全随机的一避免人为因素的干扰。另外，我们需要以快速高效的方式，在实际进行样品合成之前，获知在一定条件下设计的样品库中的样品数量，以便大致清楚本设计的实验数量，以及大致需要的工作量及资源，然后或者改善设计，使之符合实际情形，或者调配资源，去进行下一步的准备工作。
发明内容
本发明的目的在于提供一种全新的组合实验设计体系和方法，使人们可以最大程度地利用已有的知识或给定的假设来减少样品实验的次数。
本发明的目的还在于提供一种全新的组合实验设计体系和方法，可以快速高效地获知在一定条件下设计的样品库中的样品数量等信息。
为了实现上述目的，本发明的一个方面提供了一种可整合经验知识来设计组合样品库的方法。具体地，这种经验知识可体现为样品的诸个组元、与组元相关的诸个变量以及这些变量的约束条件。该方法包括以下步骤
(1)提供一个抽象化学式，该化学式包括一个以上组元及对应于每一组元的变量；(2)为每一个所述组元提供至少一个可选组分；(3)为每一个所述变量提供至少一个可取数值；(4)为所述变量设定至少一个约束条件；(5)为所述抽象化学式中的每一变量确定数值以产生变量组合，并确定出满足所述约束条件的合格变量组合；(6)将所述合格变量组合中的变量的数值结合到对应组元中。
其中，所述“组合样品库”是指包括了多个样品的集合，“样品”是指包含多种组分的材料。“组分”是指一种物质，包括如元素、分子、化合物、物质、物块等，或这些物质的组合。所述“抽象化学式”是指表示样品成分或组成及组成方式的符号表达式，表明样品由哪些组分构成以及各组分之间的比例关系等。所述“组元”抽象表示一未具体指定的组分，其可以是可选组分的集合中任一种组分。“变量”与组元一一对应，其与对应组元的数量有关，某些实施例中，变量即用来表征其对应组元的具体组分在样品中的组成比例。所述变量可以在一定区间内取值，变量的取值区间由经验知识确定，所述变量可以在一定区间内均匀取值也可以在一定区间内非均匀取值，具体取值方式可以根据经验知识确定。所述“变量的约束条件”是指至少一变量的条件或者变量之间的关系。所述“变量组合”是指在不考虑组元的情况下将所述抽象化学式中的所有变量一一确定后形成的，包含了该所有确定了的变量的组合。
其中，所述确定合格变量组合的步骤既可以先形成所有变量组合，再一一检验所有变量组合是否符合全部变量约束条件，从而确定出所有符合全部约束条件的合格变量组合；也可以每形成一个变量组合即检验其是否符合全部变量约束条件，重复该步骤直到确定出所有合格的变量组合。
特别地，所述合格变量组合中的变量的数值是与对应组元的组分结合。
此外，本发明样品库的设计方法中，样品组元之间还可以存在约束关系，比如，在一个样品中两组元不能同时为同一种组分等。因此，在一些实施例中，本发明设计组合样品库的方法还可以进一步包括为所述组元设定至少一个组元约束关系，为每一组元确定组分以产生组元组合，并确定出满足所述约束条件的合格的组元组合的步骤。
类似地，所述“组元的约束关系”是指至少一组元的条件或者组元之间的关系，所述“组元组合”是指是指在不考虑变量的情况下将所述抽象化学式中的所有组元一一确定后形成的，包含了该所有确定了的组元的组合。其中所述确定合格组元组合的步骤与确定合格变量组合的步骤类似。
特别地，将前述满足变量约束条件的变量组合中的变量的数值结合到满足组元约束关系的组元组合中的组元的组分中，就可以得到同时满足组元约束关系和变量约束条件的组元与变量结合的组合(即组分与对应变量的数值结合的组合，也就是组元和变量均确定的，且满足所有约束条件的，可以表示合格样品组成的化学式)。
本发明的又一方面提供了一种组合样品库设计的系统，包括配方设计单元，可提供一个抽象化学式，该化学式包括一个以上组元及对应于每一组元的变量，其中每一所述组元有至少一个的可选组分，每一所述变量有至少一个可取数值；组合单元，形成所述变量具体指定后的变量组合；过滤单元，为所述变量设定至少一个约束条件；筛选单元，确定出满足上述约束条件的变量组合；结合单元，将所述满足约束条件的变量组合中的变量结合到对应组元中。
本发明的又一方面提供了一种确定组合样品库中样品数量的方法，对每一确定了组元和变量的，且满足所述约束条件的化学式(也即组元与变量结合的组合)进行计量的步骤，计算所述组合样品库中样品的数量。
本发明的又一方面提供了一种用以进行组合样品库设计的图形用户界面(GUI)，允许使用者输入和编辑所需要的数据，该数据包括用户指定或选择的组元、组分、变量、变量范围和约束条件，数据在被输入后由计算机执行程序实现前述组合样品库的设计步骤。
另一方面，本发明也提供了一种包含计算机软件的计算机产品。该计算机软件一旦运行，即可执行本发明的方法和计算。
附图简介
图1A是第1实施例中允许使用者输入一个抽象化学式的图形用户界面(GUI)(详细描述参考实施例1)。
图1B是第1实施例中允许使用者为抽象化学式中的组元具体指定组分图形用户界面。
图1C是第1实施例中允许使用者为抽象化学式中的变量确定取值范围和取值密度的图形用户界面。
图1D是第1实施例中允许使用者设定一个或多个约束条件的图形用户界面。
图1E是第1实施例中设定了约束条件后的图形用户界面。
图2A是第2实施例中允许使用者输入一个抽象化学式的图形用户界面。
图2B是第2实施例中允许使用者为抽象化学式中的组元具体指定组分图形用户界面。
图2C是第2实施例中允许使用者为抽象化学式中的变量确定取值范围和取值密度的图形用户界面。
图2D是第2实施例中允许使用者指定载体的图形用户界面。
图2E是第2实施例中允许使用者设定一个或多个约束条件的图形用户界面。
图2F是第2实施例中设定了约束条件后的图形用户界面。
图3A是第3实施例中允许使用者具体指定组分的图形用户界面。
图3B是第3实施例中允许使用者为变量确定取值范围和取值密度的图形用户界面。
图3C是第3实施例中允许使用者设定一个或多个约束条件的图形用户界面。
图3D是第3实施例中设定了约束条件后的图形用户界面。
图4A是第4实施例中允许使用者具体指定组分的图形用户界面。
图4B是第4实施例中允许使用者为变量确定取值范围和取值密度的图形用户界面。
图4C是第4实施例中允许使用者设定一个或多个约束条件的图形用户界面。
图4D是第4实施例中设定了约束条件后的图形用户界面。
图5A是第5实施例中允许使用者具体指定组分的图形用户界面。
图5B是第5实施例中允许使用者为变量确定取值范围和取值密度的图形用户界面。
图5C是第5实施例中允许使用者设定一个或多个约束条件的图形用户界面。
图5D是第5实施例中设定了约束条件后的图形用户界面。
具体实施例方式
本发明涉及一种组合样品库的设计策略以便以高通量方法来设计、合成、筛选、测量样品库的样品。
本发明的一个方面提供了一种样品库的设计方法，包括提供一个抽象化学式，该抽象化学式包括一个以上组元及对应于每一组元的变量；为每一个所述组元提供至少一个可选组分；为每一个所述变量提供至少一个可取数值；为所述变量设定至少一个约束条件；为所述抽象化学式中的每一变量确定数值以产生变量组合，并确定出满足所述约束条件的合格变量组合；将所述合格变量组合中的变量结合到对应组元中。
本发明提供的组合样品库的设计方法一方面包括提供一个抽象化学式的步骤，该抽象化学式包括一个以上组元及对应于每一组元的变量。例如，可以提供一个抽象化学式(C1)V1(C2)V2...(Ci)Vi...(Cn)Vn来表示所设计的样品包含组元C1，C2，C3...Ci...Cn，且所述组元的对应变量分别为V1，V2，V3...Vi...Vn。其中，i和n为整数且i∈{0，1，2...n}.
本发明提供的组合样品库的设计方法另一方面包括为多组元样品的每一组元提供至少一个可选组分。例如，为组元Ci提供Ti种可选组分，Ci∈{Ci，1，Ci，2，Ci，3，...，Ci，Ti}，即Ci可以从{Ci，1，Ci，2，Ci，3，...，Ci，Ti}中选出。
本发明提供的组合样品库的设计方法另一方面包括为每一个变量提供至少一个可取数值。例如，为变量Vi在一定范围内取值。假设变量Vi是在区间[Vmin，Vmax]中的一随机值，其中Vmin不小于0，Vmax不大于1，并且Vmin≤Vmax。在一实施方案中，该区间为
。如果假设变量Vi为离散区间{V1，V2，...Vx}的中的值，则Vi是离散的，其中该离散值落在区间[Vmin，Vmax](如
)中。如果设定Vi是区间[Vmin，Vmax]的随机值，则其可以是连续值。当变量与组分相关而无任何约束条件或与其它变量均无关，则第一变量随机值的设定不受第二变量假定的约束。如果变量是连续的，则从同一变量的区间内设定随机值的过程，取决于该变量可能取值的分布概率或概率密度。如果该变量是离散的，则随机值的设定取决于区间中各自的离散值的特定概率。
例如，对一种具有两种组元的样品(C1)V1(C2)V2中的变量V1、V2分别在
的区间内以0.1的间隔(也可称为步长)取值，V1、V2分别可获得如下11个数值V10.00，0.10，0.20，0.30，0.40，0.50，0.60，0.70，0.80，0.90，1.00V20.00，0.10，0.20，0.30，0.40，0.50，0.60，0.70，0.80，0.90，1.00这样，样品中每一组元可从对应的一种以上组分中选取，每一组元变量又可以在一定范围内取值，则可以获得一定数量的伪样品配方。其中，“伪样品”是指一个假定样品，其每一组元都独立地指定了一个具体组分，且其每一组元对应的变量也独立地赋予了一个具体数值。其中任意某一组元指定某一组分是相对于任意其他组元独立的，即不受其他组元的影响，而任意某一个变量的赋值是相对于任意其他变量的赋值独立的，并且伪样品的组元的确定以及全体变量的赋值都不受任何约束条件的限制。
伪样品可以对应也可不对应一个真实的物理样品，伪样品是没有任何约束的独立的假定组元及假定变量取值的样品点。
本发明提供的组合样品库的设计方法另一方面还包括为变量设定至少一个约束条件。特别地，“变量约束条件”是样品中一变量或多个变量必须满足的限制条件，换言之，在有效或合格的样品中一组变量的取值必须满足至少一个约束条件或一组特定的约束条件。例如，若每一组元Ci的变量Vi表示该组元Ci的组元比率Ri，则样品中所有组元的变量总和满足以下公式1Σi=1nVi=1]]>公式1其中，组元Ci的组元比率Ri是指样品中该组元Ci的相对质量或相对数量。假设每一组元Ci所具有的质量表示为MWi，其中i∈{0，1，2...n}，样品中组成数量表示为Xi。其中，质量MWi指该组元的分子量或原子量，所谓的组成数量Xi是指样品中第i个组元的数量，因此该样品可表示为(C1)X1(C2)X2...(Ci)Xi...(Cn)Xn，其中i∈{0，1，2...n}，则组成比例Ri可以表征为样品中一种组元的相对质量，其可用公式2表示Ri=(MWi×Wi)Σi=1nMWi×Xi]]>公式2组成数量Xi也可以表征为样品中第i个组元的摩尔比率。在这种情况下，组成比例也可以表示为样品中某一组元的摩尔分数，其取值在0到1之间，可由以下公式3予以定义Ri=XiΣi=1nXi]]>公式3组成比例还可进一步表示为样品中某一组元的百分比，其取值在0％到100％之间在库的任何样品中，所有组元的全部组成比例之和为1。如公式4所示Σi=1nRi=1]]>公式4例如，葡萄糖分子C6H12O6可看作是包含三个组分的样品碳元素(C)、氢元素(H)和氧元素(O)，每一组分有组成数量，如C的是6，H的是12，O的是6。每一组元的物质质量(MW)可以由各原子质量得出，C是12，H是1，而O是16。因此，C的(重量)组成比例是0.4或40％，(12*6/(12*6+1*12+16*6))；H是0.067或6.7％；O是0.533或53.3％。三个组分的组成比例的总和是1。
另外，样品库设计中，关于样品的组分的经验知识可以体现为多个变量之间的关系，也可以理解为约束。换言之，我们可以通过设定约束来实现经验知识中的若干个组分之间的关系。例如，由C1、C2...Cn组成的样品中，C1、C2...Cn对应的变量V1、V2...Vn为组成比例，根据之前的经验，也许Ci与Cj的组成比例之比应该为2∶1，其中i∈{0，1，2...n}，j∈{0，1，2...n}，且i≠j。此时，除公式1所示的固有的约束Σi=1nVi=1]]>外，一有效样品的组元的变量必须满足第二约束Vi∶Vj＝2∶1。再例如，要达到Ci和Cj的组成比例之和是x，其中x是0到1之间的值。此处，一有效样品的组元的变量必须满足第二约束Vi+Vj＝x其中i，j∈{0，1，2...n}且i≠j。
本发明提供的组合样品库的设计方法另一方面还包括为所述抽象化学式中的每一变量确定数值以产生变量组合，并确定出满足所述约束条件的合格变量组合。其中，如前所述，“变量组合”是指为抽象化学式中的一组变量中的每一变量从其可取数值中确定一数值，这样一组确定了数值的变量形成一个变量组合，比如，对于抽象化学式(C1)V1(C2)V2(C3)V3，若V1□{a1，a2，a3，a4}，V2口{b1，b2，b3}，V3口{d1，d2}，将V1，V2和V3分别确定为a1，b3和d2，就可以得到一个变量组合(a1，b3，d2)。根据每一变量的取值不同可以产生多个变量组合。检验每一变量组合是否满足所述约束条件，可以确定出满足所述约束条件的变量组合。
本发明提供的组合样品库的设计方法另一方面还包括将所述满足约束条件的变量组合中的变量结合到对应组元中。
另外，本发明提供的样品库的设计方法中，样品组元之间还可以存在约束关系，其中，所述组元的约束关系是指至少一组元的条件或者组元之间的关系，比如在一个样品中两组元不能同时为同一种具体组分，又比如有一种组元的具体组分为Fe时则其他组元的具体组分不能为W等。在存在组元约束关系的情况下，则除了要检验在不考虑组元情况下的所有变量组合是否满足变量约束条件，还需要检验在不考虑变量情况下的组元组合是否满足组元约束关系，将满足变量约束条件的变量组合中的变量结合到满足组元约束关系的组元组合中的组元中，得到同时满足组元约束关系和变量约束条件的样品组成。其中，与“变量组合”类似，“组元组合”是指为抽象化学式中的一组组元分别从其可选组分中确定一组分，这样一组确定了的组分形成一个组元组合，根据不同情况可以产生多个组元组合。
本发明的另一个方面提供了计算样品的数量的方法。
若以传统的样品库设计方法，根据所有可能的组元选取和变量取值情况，为每一组元都独立地指定了一个具体组分，且其每一组元对应的变量也独立地赋予了一个具体数值，得到所有可能的组分与变量的组合，即“伪样品”配方，再检验组合是否满足约束，包括变量约束条件和组元约束关系(若有)，确定出满足约束的组合，即有效样品的组成。那么，样品数量的计算可由以下方法实现由于样品包括n种不同的组元，C1、C2、C3...Ci...Cn，其中n是整数，对应于各组元分别有变量(如该组元的组成比例)V1、V2、V3...Vi...Vn，其中n是整数，因此，任意样品的组成配方可以表示为集合C＝{C1V1，C2V2，...，CnVn}其中CiVi，i∈{1，2，...，n}，表示第i组元及其比例，分开看，Ci表示第i组元，Vi表示第i组元的变量，若对于Ci存在Ti种可选组元，则Ci∈{Ci，1，Ci，2，...，Ci，Ti}，对于Vi存在Li种可选变量值，则Vi∈{Vi，1，Vi，2，...，Vi，Li}那么，不考虑变量，且Ci可为φ(空集)，但C不能全为φ，则C1，C2，...，Cn可以组成不同组分集合数为
T=Πi=1n(Ti+1)-1]]>公式5即存在T种组元组合情况，以某种组元组合{C1，1，C2，3，C3，6，...，Cn，5}为例，其表示组元C1，C2，C3，...，Cn分别从各自的组分中选定C1，1，C2，3，C3，6，...，Cn，5组成一个组元组合的情况。
对于第t个组元组合，有t∈{1，2...，T}，设其第i组元的组分为Ct，i，变量为Vt，i，i∈{1，2，...，n}，有Vt,i=Vi∈{Vi,1,Vi,2,...,Vi,Li},Ct,i≠φ0,Ct,i=φ]]>公式6则第t个集合的第i组元的变量取值个数为Et,i=Li,Ct,i≠φ1,Ct,i=φ]]>公式7当不存在约束条件时，该组元组合的所有变量组合数为Et=Πi=1nEt,i]]>公式8则所有组分按变量组合的可能配方数为H=Σt=1TEt=Σt=1TΠi=1nEt,i]]>公式9假设每一组元对应的变量Vi即该组元的组成比例Ri，则在变量之间满足一个如公式1所示的约束条件，使得Σi=1nVi=1]]>自然，在变量之间还可以加入其它约束条件，比如V3＞V4；V1+V2＞V3+V4等。
将变量约束条件以fm(V1，V2，...，Vn)，m∈{1，2，...，M}表征，其中M为变量约束条件的个数。
则该约束对应的计数因子表达式为 公式10必须符合所有的变量约束，才能为真。
则存在变量约束时，对于第t种组合，所有可能的不同变量集合数为
公式11其中Vt，i，ji为对应第t种组元组合的第i组分的第j个可能变量值。
除加入变量约束条件外，还可以加入组元约束关系。
设存在组元约束关系gk(C1，C2，...，Cn)，k∈{1，2，...，K}，其中K为组元约束关系的个数。
则该约束对应的计数因子表达式为ψk(C1,C2,...,Cn)=1,gk(C1,C2,...,Cn)=true0,gk(C1,C2,...,Cn)=false]]>公式12必须符合所有的组元约束，才能为真。
则第t种组合满足所有组元约束关系的计数因子表达式为ψt=Πk=1Kψt,k=Πk=1Kψk(Ct,1,Ct,2,...,Ct,n)]]>公式13则约束关系下所有组分按变量组合的所有组合数为 公式14本发明实现了该算法，设该算法计算量为G1，则有约束的计算量大致为G1≤m·(Πi=1n(Ti+1)-1)kΠi=1nLi]]>公式15对该算法稍加优化，可以得到Gi≤(m+k)·(Πi=1n(Ti+1)-1)·Πi=1nLi]]>公式16当n，Ti，Li较大时，计算量将是非常巨大的，因此该算法一般只适用于样品组元较少，每种组元的可选组分较少，变量取值个数较少的情况下的少量计算，以及用来验证其它算法的正确性。
根据本发明提供的样品库设计方法，样品数量的计算可由以下方法实现依然以前述样品为例，对于组元组合C＝{C1，C2，...，Ci，...，Cn}，i∈{1，2，...，n}，C不为φ，Ci可为φ的子组合个数为2n-1个(即C有2n-1个非空子组合)，比如，{C1，Cn}，{C6}，{C1，C3，Cn}等等。其中，{C1，Cn}表示一个除了C1和Cn之外，其余的组元都为φ的子组合。其他子组合的情况以此类推。
对于C的第s个“子组合”来说，其每一组元的可选组分可以表示为Cs,i,ti=Ci,ti,Cs,i≠φφ,Cs,i=φ]]>公式17，其中，Cs，i，ti表示所述C的第s个“子组合”的第i个组元的第ti个可选组分，Ci，ti表示C的第i个组元的第ti个可选组分，Cs，i表示所述第s个“子组合”的第i个组元。
同理，对于与所述组元集合C对应的变量组合V＝V1，V2，...，Vi，...，Vn}，i∈{1，2，...，n}，V不为φ，Vi可为φ的子组合个数为2n-1个(即V有2n-1个非空子组合)。
对于V的第s个“子组合”来说，其每一变量的可取数值可以表示为Vs,i,ji=Vi,ji,Vs,i≠φ0,Vs,i=φ]]>公式18，其中，Vs，i，ji表示所述V的第s个“子组合”的第i个变量的第ji个可取数值，Vi，ji表示V的第i个变量的第ji个可取数值，Vs，i表示所述V的第s个“子组合”的第i个变量。
则在如公式10所示的变量约束条件下，V的第s个“子组合”的具体变量组合数(Es，constraint)为 公式19同样，在如公式12所示的组元约束条件下，C的第s个“子组合”的具体组元组合数(Tconstraint，s)为Tconstraint,s=Σt1=1T1Σt2=1T2Σ......Σtn=1TnΠk=1Kψk(Cs,1,t1,Cs,2,t2,...,Cs,n,tn)]]>公式20将组元组合C与变量组合V相结合，可以得到一个组元与变量结合的组合，表示为CV＝{C1V1，C2V2，...，CiVi，...，CnVn}。该组合CV也有2n-1个非空子组合，比如，{C1V1，C2V2，C5V5，CnVn}，{C2V2，C3V3}等等(当Ci为φ，Vi不为φ或者Vi为φ，Ci不为φ，CiVi都为φ)。
因此，满足所有约束条件的组元与变量结合的组合的个数(也即可以表示合格样品组成的组元和变量都确定的化学式的个数)为
Hconstraint=Σs=12n-1Tconstrait,sEs,constraint]]>Hconstraint=]]> 公式21本发明实现了该算法，设该算法计算量为G2，则其值大致为G2≤(2n-1)(k·Πi=1nTi+m·Πi=1nLi)]]>公式22此算法计算速度快，适合大规模的运算。
对于该算法，实际实现时，还可以做大量的优化，比如，当存在多个变量约束条件时，对于同一个变量组合，当前面的约束无法满足时，不需要计算后面的约束。组分约束也同理。而且当Ci和Vi同时为φ时，Ti＝1，Li＝1。而Ci和Vi同时为φ的概率几乎为50％，这样，实际的计算量就更小。
完成计算后，就大致清楚本设计的实验数量，以及大致需要的工作量及资源，然后或者改善设计，使之符合实际情形，或者调配资源，去进行下一步的准备工作。
实际上，对于一种由n种组元按某种比例混合而成的样品，以每种组元的组成比例为其对应的变量，假定组元代号为{S1，...，Sn}，对应比率为{P1，...，Pn}，其每一组元可以同时，又可以把任意一种组元看成一种配方，它也可以由其他组分按比例混合而成，这样拥有二级配方关系的组分的集合可以表述为{S11，...，S1m}，...，{Sn1，...，Snk}其中{m，...，k}为对应配方的组元的组分个数，S1∈{S11，...，S1m}，...，Sn∈{Sn1，...，Snk}。
组分对应的比率表述为{P11...，P1m}，...，
{Pn1，...，Pnk}则P1=Σi=1mP1i,...,Pn=Σi=1kPni]]>对于任意一个比例Pij，i∈{1，...，n}，j∈{1，...，t}，0＜Pij＜Pi，设间隔为Li，0＜Li＜Pij。
则当Pi不能被Li整除时，Pij有Pi/Li个可能值，当Pi被Li整除时，有(Pi/Li)+1个可能值。设Pij的可能值个数为Eij，则{Pi1，...，Pit}的随机组合数为Ei=Πj=1tEij]]>其中满足约束Pi=Σj=1tPij]]>的组合将被采用。另外，还可以加入0～N个其它约束条件。比如P1＝P2；P1+P2＝P3+P4等等。
本发明又一方面提供了一种用以进行组合样品库设计的图形用户界面(GUI)，允许使用者输入和编辑所需要的数据，该数据包括用户指定或选择的组元、组分、变量、变量范围和约束条件，数据在被输入后由计算机执行程序实现前述组合样品库的设计步骤。所述图形用户界面将在实施里结合附图详细介绍。
本发明的再一方面提供了一种包含计算机软件的计算机产品。该计算机软件一旦运行，即可执行本发明的方法和计算。
本发明中的计算机系统(如服务器系统)是指设计并配置成用于执行本发明所描述的部分或全部方法的计算机或计算机可读媒体。这里采用的计算机(如服务器)可以是任何多种类型普通用途的计算机，如个人电脑、网络服务器、工作站或现今或日后发展的其它计算机平台。本领域所熟知的，计算机特别地包括有如处理器、操作系统、计算机存储器、输入设备以及输出设备这些部件的部分或全部。计算机可进一步包括如高速缓冲存储器、数据备份单元以及一些其它设备。本领域一般技术人员可以理解，这些计算机部件可以有许多其它可能的构造。
这里所采用的处理器可包括一个或多个微处理器、可域编程逻辑阵列，或一个或多个对应于特种应用的专门的集成电路。举例说，处理器包括但不限于英特尔公司的奔腾系列处理器、Sun公司的微处理器、Sun公司的工作站系统处理器、摩托罗拉公司的个人台式机处理器、MIPS科技有限公司的MIPs处理器、Xilinx公司的最高系列可域编程逻辑阵列以及其它一些处理器。
这里所采用的操作系统包括机器代码，通过处理器的执行，能协调和执行计算机内其它部分的功能，且帮助处理器执行可能用多种程序语言编写的不同计算机程序的功能。除管理计算机中其它部分的数据流之外，操作系统也提供调度安排、输入输出控制、文件数据管理、内存管理和通讯控制以及相关服务，所有这些都是现有技术。典型操作系统包括如微软公司的视窗操作系统、由诸多供应商提供的Unix或Linux操作系统、另外一些或将来发展的操作系统，以及这些操作系统的组合。
这里所采用的计算机存储器可是任意不同类型的记忆存储装置。例如包括随处可见的随机存取存储器、永久性硬盘或磁带等磁介质存储、读写激光唱盘等光学介质，或其它存取存储装置。记忆存储装置可以是任意一种现有或将来发展的装置，包括激光唱盘驱动器、磁带驱动器、可移动硬盘驱动器或磁盘驱动器。这些类型的记忆存储装置一般是从计算机程序存储介质中读取或写入到该介质中，如光盘、磁带、可移动硬盘或软盘。所有这些计算机程序存储介质都可以被认为是计算机程序的产物。这些计算机程序的产物通常存储计算机软件程序和/或数据。计算机软件程序一般被存储在系统存储器和/或记忆存储装置中。
本领域一般技术人员很容易了解到，本发明中的计算机软件程序可以通过用某种输入设备来载入系统存储器和/或记忆存储装置中从而执行。另一方面，所有或部分该软件程序也可存在于只读存储器或类似的记忆存储装置中，这样的装置不需要该软件程序首先通过输入装置被载入。相关领域的一般技术人员可以理解，该软件程序或其某些部分可以通过现有方式由处理器来载入至系统存储器或高速缓冲存储器或二者的结合，以利于执行和进行随机取样。
在本发明一实施方案中，软件被存储在计算机服务器中，该计算机服务器通过数据线、无线线路或网络系统与使用终端、输入设备或输出设备连接。本技术领域一般熟知的，网络系统包括在计算机或装置中电性连接在一起的硬件和软件。例如网络系统可包括互联网、10/1000以太网、电气电子工程协会802.11x、电气电子工程协会1394、xDSL、蓝牙、局域网、无线局域网、GPS、CDMA、3G、PACS或任何其它ANSI认可标准的介质基础上的设备。
前面已经对本发明进行一般描述，接下来例举一些特定的实施例进一步描述，以助了解本发明。
实施例1图1A至1E显示了本发明的第一个实施例，如图1A所示的界面可输入一个抽象化学式，在具体实施中，可以由用户输入组元表达式，比如ABCDEFG(相当于上述C1C2C3...C7)，由系统自动为每一组元生成对应的变量，这样便产生了一个由组元符号和变量符号构成的抽象化学式AaBbCcDdEeFfGg，如图1C所示。另外，若样品中有一预先指定了的组元及其变量的固定组成部分，则用户只需输入剩余的未指定部分的表达式，并对其进行组合试验，比如，如图1A所示的样品中有一固定组成部分O3，则用户只需输入未指定的抽象组元A、B并对A、B产生对应变量对其进行组合试验。图1B所示的界面可为每一抽象组元指定具体组分。图1C所示界面可给每一变量赋值，例如变量a，b，c，d，e，f，g可分别在
区间内以0.1的均匀间隔取值。图1D和图1E所示的界面可设定约束条件。
在本实施例中，以如何设计包含两个组元(A和B)的样品为例进行说明。假设组元A有3种可选组分{Fe，Cu，Zn}，组元B有2种可选组分{Co，At}；组元A对应的变量a为A的组元比率，在0到1之间以0.1的均匀间隔取值，组元B对应的变量b为B的组元比率，同样也是在0到1之间以均匀间隔0.1取值；并设定一个变量约束条件，即a+b＝1。
由于存在变量约束条件a+b＝1，可先按a、b∈{0.00，0.10，0.20，0.30，0.40，0.50，0.60，0.70，0.80，0.90，1.00}排列组合成具体指定了变量而未指定组元的所有可能的变量组合，例如(0.1，0.3)，(0.6，0.4)，(0.5，0)等等，一一检验该等变量组合是否满足变量约束条件a+b＝1，筛选出满足该约束条件的组合，根据第二实施方案中的算法，可以获得如下11种满足a+b＝1的变量组合情况a b1.00000.00000.10000.90000.20000.80000.30000.7000
0.40000.60000.50000.50000.60000.40000.70000.30000.80000.20000.90000.10000.00001.0000由于在本实施例中组分不存在约束条件，组元A∈{Fe，Cu，Zn}，B∈{Co，At}中的每一组分可与合格变量组合中的对应变量的数值结合，得到所需要的组分与对应变量的数值相结合的组合，总共可得到59种满足该约束条件的如下所示的组合(其中，所列数字为变量a，b的取值)FeCu Zn Co At1.00000.0000 0.0000 0.0000 0.00000.00001.0000 0.0000 0.0000 0.00000.00000.0000 1.0000 0.0000 0.00000.10000.0000 0.0000 0.9000 0.00000.20000.0000 0.0000 0.8000 0.00000.30000.0000 0.0000 0.7000 0.00000.40000.0000 0.0000 0.6000 0.00000.50000.0000 0.0000 0.5000 0.00000.60000.0000 0.0000 0.4000 0.00000.70000.0000 0.0000 0.3000 0.00000.80000.0000 0.0000 0.2000 0.00000.90000.0000 0.0000 0.1000 0.00000.10000.0000 0.0000 0.0000 0.90000.20000.0000 0.0000 0.0000 0.80000.30000.0000 0.0000 0.0000 0.70000.40000.0000 0.0000 0.0000 0.60000.50000.0000 0.0000 0.0000 0.50000.60000.0000 0.0000 0.0000 0.40000.70000.0000 0.0000 0.0000 0.3000
0.80000.00000.00000.00000.20000.90000.00000.00000.00000.10000.00000.10000.00000.90000.00000.00000.20000.00000.80000.00000.00000.30000.00000.70000.00000.00000.40000.00000.60000.00000.00000.50000.00000.50000.00000.00000.60000.00000.40000.00000.00000.70000.00000.30000.00000.00000.80000.00000.20000.00000.00000.90000.00000.10000.00000.00000.10000.00000.00000.90000.00000.20000.00000.00000.80000.00000.30000.00000.00000.70000.00000.40000.00000.00000.60000.00000.50000.00000.00000.50000.00000.60000.00000.00000.40000.00000.70000.00000.00000.30000.00000.80000.00000.00000.20000.00000.90000.00000.00000.10000.00000.00000.10000.90000.00000.00000.00000.20000.80000.00000.00000.00000.30000.70000.00000.00000.00000.40000.60000.00000.00000.00000.50000.50000.00000.00000.00000.60000.40000.00000.00000.00000.70000.30000.00000.00000.00000.80000.20000.00000.00000.00000.90000.10000.00000.00000.00000.10000.00000.90000.00000.00000.20000.00000.8000
0.0000 0.0000 0.3000 0.0000 0.70000.0000 0.0000 0.4000 0.0000 0.60000.0000 0.0000 0.5000 0.0000 0.50000.0000 0.0000 0.6000 0.0000 0.40000.0000 0.0000 0.7000 0.0000 0.30000.0000 0.0000 0.8000 0.0000 0.20000.0000 0.0000 0.9000 0.0000 0.10000.0000 0.0000 0.0000 1.0000 0.00000.0000 0.0000 0.0000 0.0000 1.0000再以如何设计一个由包含三个组元(A、B和C)的样品组成的样品库为例进行说明。假设组元A有2种可选组分{Fe，Cu}，组元B有2种可选组分{Co，At}，组元C有2种可选组分{Zn，Ca}；组元A对应的变量a，组元B对应的变量b和组元C对应的变量c分别在0到1之间以间隔0.1取值；并设定变量约束条件a+b+c＝1，a∶b＞2∶1。
由于存在变量约束条件，可先按a、b、c∈{0.00，0.10，0.20，0.30，0.40，0.50，0.60，0.70，0.80，0.90，1.00}排列组合成具体指定了变量而未指定组元的所有可能的变量组合，一一检验该等组合，筛选出满足约束条件a+b+c＝1，a∶b＞2∶1的变量组合，可以获得如下23种满足约束条件的变量组合情况abc1.0000 0.0000 0.00000.7000 0.3000 0.00000.8000 0.2000 0.00000.9000 0.1000 0.00000.3000 0.1000 0.60000.4000 0.1000 0.50000.5000 0.1000 0.40000.5000 0.2000 0.30000.6000 0.1000 0.30000.6000 0.2000 0.20000.7000 0.1000 0.2000
0.7000 0.2000 0.1 0000.8000 0.1000 0.10000.1000 0.0000 0.90000.2000 0.0000 0.80000.3000 0.0000 0.70000.4000 0.0000 0.60000.5000 0.0000 0.50000.6000 0.0000 0.40000.7000 0.0000 0.30000.8000 0.0000 0.20000.9000 0.0000 0.10000.0000 0.0000 1.0000再将A∈{Fe，Cu}，B∈{Co，At}，C∈{Zn，Ca}中的每一组分与合格变量组合中的对应变量的数值结合，得到所需要的组分与对应变量的数值结合的组合，可以获得如下124组合情况Fe Cu Co AtZnCa1.0000 0.0000 0.0000 0.00000.00000.00000.0000 1.0000 0.0000 0.00000.00000.00000.7000 0.0000 0.3000 0.00000.00000.00000.8000 0.0000 0.2000 0.00000.00000.00000.9000 0.0000 0.1000 0.00000.00000.00000.7000 0.0000 0.0000 0.30000.00000.00000.8000 0.0000 0.0000 0.20000.00000.00000.9000 0.0000 0.0000 0.10000.00000.00000.0000 0.7000 0.3000 0.00000.00000.00000.0000 0.8000 0.2000 0.00000.00000.00000.0000 0.9000 0.1000 0.00000.00000.00000.0000 0.7000 0.0000 0.30000.00000.00000.0000 0.8000 0.0000 0.20000.00000.00000.0000 0.9000 0.0000 0.10000.00000.00000.3000 0.0000 0.1000 0.00000.60000.0000
0.40000.00000.10000.00000.50000.00000.50000.00000.10000.00000.40000.00000.50000.00000.20000.00000.30000.00000.60000.00000.10000.00000.30000.00000.60000.00000.20000.00000.20000.00000.70000.00000.10000.00000.20000.00000.70000.00000.20000.00000.10000.00000.80000.00000.10000.00000.10000.00000.30000.00000.10000.00000.00000.60000.40000.00000.10000.00000.00000.50000.50000.00000.10000.00000.00000.40000.50000.00000.20000.00000.00000.30000.60000.00000.10000.00000.00000.30000.60000.00000.20000.00000.00000.20000.70000.00000.10000.00000.00000.20000.70000.00000.20000.00000.00000.10000.80000.00000.10000.00000.00000.10000.30000.00000.00000.10000.60000.00000.40000.00000.00000.10000.50000.00000.50000.00000.00000.10000.40000.00000.50000.00000.00000.20000.30000.00000.60000.00000.00000.10000.30000.00000.60000.00000.00000.20000.20000.00000.70000.00000.00000.10000.20000.00000.70000.00000.00000.20000.10000.00000.80000.00000.00000.10000.10000.00000.30000.00000.00000.10000.00000.60000.40000.00000.00000.10000.00000.50000.50000.00000.00000.10000.00000.40000.50000.00000.00000.20000.00000.30000.60000.00000.00000.10000.00000.3000
0.60000.00000.00000.20000.00000.20000.70000.00000.00000.10000.00000.20000.70000.00000.00000.20000.00000.10000.80000.00000.00000.10000.00000.10000.00000.30000.10000.00000.60000.00000.00000.40000.10000.00000.50000.00000.00000.50000.10000.00000.40000.00000.00000.50000.20000.00000.30000.00000.00000.60000.10000.00000.30000.00000.00000.60000.20000.00000.20000.00000.00000.70000.10000.00000.20000.00000.00000.70000.20000.00000.10000.00000.00000.80000.10000.00000.10000.00000.00000.30000.10000.00000.00000.60000.00000.40000.10000.00000.00000.50000.00000.50000.10000.00000.00000.40000.00000.50000.20000.00000.00000.30000.00000.60000.10000.00000.00000.30000.00000.60000.20000.00000.00000.20000.00000.70000.10000.00000.00000.20000.00000.70000.20000.00000.00000.10000.00000.80000.10000.00000.00000.10000.00000.30000.00000.10000.60000.00000.00000.40000.00000.10000.50000.00000.00000.50000.00000.10000.40000.00000.00000.50000.00000.20000.30000.00000.00000.60000.00000.10000.30000.00000.00000.60000.00000.20000.20000.00000.00000.70000.00000.10000.20000.00000.00000.70000.00000.20000.10000.00000.00000.80000.00000.10000.10000.0000
0.00000.30000.00000.10000.00000.60000.00000.40000.00000.10000.00000.50000.00000.50000.00000.10000.00000.40000.00000.50000.00000.20000.00000.30000.00000.60000.00000.10000.00000.30000.00000.60000.00000.20000.00000.20000.00000.70000.00000.10000.00000.20000.00000.70000.00000.20000.00000.10000.00000.80000.00000.10000.00000.10000.10000.00000.00000.00000.90000.00000.20000.00000.00000.00000.80000.00000.30000.00000.00000.00000.70000.00000.40000.00000.00000.00000.60000.00000.50000.00000.00000.00000.50000.00000.60000.00000.00000.00000.40000.00000.70000.00000.00000.00000.30000.00000.80000.00000.00000.00000.20000.00000.90000.00000.00000.00000.10000.00000.10000.00000.00000.00000.00000.90000.20000.00000.00000.00000.00000.80000.30000.00000.00000.00000.00000.70000.40000.00000.00000.00000.00000.60000.50000.00000.00000.00000.00000.50000.60000.00000.00000.00000.00000.40000.70000.00000.00000.00000.00000.30000.80000.00000.00000.00000.00000.20000.90000.00000.00000.00000.00000.10000.00000.10000.00000.00000.90000.00000.00000.20000.00000.00000.80000.00000.00000.30000.00000.00000.70000.00000.00000.40000.00000.00000.60000.0000
0.00000.50000.00000.00000.50000.00000.00000.60000.00000.00000.40000.00000.00000.70000.00000.00000.30000.00000.00000.80000.00000.00000.20000.00000.00000.90000.00000.00000.10000.00000.00000.10000.00000.00000.00000.90000.00000.20000.00000.00000.00000.80000.00000.30000.00000.00000.00000.70000.00000.40000.00000.00000.00000.60000.00000.50000.00000.00000.00000.50000.00000.60000.00000.00000.00000.40000.00000.70000.00000.00000.00000.30000.00000.80000.00000.00000.00000.20000.00000.90000.00000.00000.00000.10000.00000.00000.00000.00001.00000.00000.00000.00000.00000.00000.00001.0000图1A至1E同时提供了一组图形用户界面(GUI)，以便于使用者输入或编辑所需的数据，使得计算机完成前述组合样品库的设计过程。
实施例2图2A至2F显示了本发明的第二个实施例，设计一个V-Sb体系样品库。
本实施例确定了第一种组元A为V，第二种组元B为Sb，同时还预定义了三种组元C，D，E，每一种组元的可选组分列在下表，均可扩充。除了预定义的这几种外，还可以随意加入其他组元。
除了上述组元之外。所述样品还可以包括载体，其可以是下表中预定义的具体载体中的一种或多种的组合。
在具体设计配方时，对于V-Sb体系，除A和B为确定的V和Sb外，其他组分均可以在相应具体列表里选择零到多种，其算法和流程完全参照实施例一的方式。
其中，本实施例中变量m，c，d，e，f，g，x是其对应组元相对于V的比率值。
同时存在组元约束条件，即不同组元的具体组分不相同。
下面以V-Sb体系样品库的配方设计的一个简单实现作为例子，展示设计流程。
一、输入本案例的抽象化学式。(见图2A)其中V-Sb表示V-Sb体系，CDEFG等表示其他组元，其数目可不定。
二、分别指定一到多种本案例研究所需要使用的CDEFG组元需要用到的具体组分以及及零到多种案例研究所需要使用的具体载体。(见图2B和2D)三、设定变量m，c，d，e，f，g，x变化范围以及采样密度，(见图2C)，用户可以输入自己需要的数值。可以点击“calc”按钮，系统返回计算后的样品总数。
四、可以加入约束条件。比如在本案例中，我们可以输入约束条件“m＞c＞d＞e＞f＞g”，其中m、c、d、e、f、g为各对应元素含量的与V的比值，从图2E和图2F可以看出，在没有约束条件和有约束条件时，样本总数分别为6,456,681和19,288个。可见，约束条件的存在可以方便地优化实验设计，提高研发效率。
五、在约束条件给定后，计算机完成计算过程，得出符合约束条件的变量组合，结合到对应组元中，得到样品组成。
类似地，也可以设计一个Mo-V体系的样品库
实施例3图3A至3F显示了本发明的第三个实施例，本实施例配方的可选组分如下表所示，可扩充，同时把暂时无法归类的组分放入到others类别中。
下面玻璃配方设计的一个简单实现作为例子，展示设计流程。
一、分别指定零到多种本案例研究所需要使用的各种组元需要用到的组分，在本例中，Network former由两种组分构成，每一种组分均有两种候选具体组分(见图3A)，抽象化学式中分别以A、B表示第一种和第二种Networkformer(见图3B)。
二、设定变量取值范围以及取值密度，用户可以输入自己需要的数值(见图3B)。本例中设定的变量范围为Network former0～1Network Modifier0～0.5Intermediates0～0.5Flux0～0.01Clarifier0～0.05Colorant0～.05Others0～0.05上述变量均在所述范围内以平均间隔各取10个值。
三、可点击“calc”按钮，系统返回计算后的样品总数(见图3C)。
四、可以加入约束条件。在本案例中，我们可以输入约束条件“0.02＜f+g＜0.05”；“0.2＜c+d＜0.6”，其中c为第一种Network modifier组分的变量，d为第一种Intermediates组分的比例，f为第一种Colorant组分的比例，g为第二种Colorant组分的比例。
实施例4图4A至4D显示了本发明的第四个实施例，本实施例显示了一种Ziegler-Natta体系催化剂的设计方法。对于Ziegler-Natta体系，本实施例定义的配方的可用组分如下表所示，可扩充
下面以Ziegler-Natta体系配方设计的一个简单实现作为例子，展示设计流程。
一、分别指定零到多种本案例研究所需要使用的各种组元需要用到的具体组分(见图4A)二、设定变量取值范围以及取值密度，(见图4B)，用户可以输入自己需要的数值。
三、可点击“calc”按钮，系统返回计算后的样品总数。(见图4C)四、可以加入约束条件。比如在实验设计中，希望过渡金属和内给电子体的总含量限制在某个范围之内。在本案例中，我们可以输入约束条件“0.0025＜b+c＜0.005”，其中b为过渡金属的组分比率，c为内给电子体的组分比率。
实施例5图5A至5D显示了本发明的第五个实施例，本实施例显示了分子筛催化剂的设计方法，该分子筛催化剂包括的组元类型为Silicon source，Aluminumsource，Template agent，Acid and Base，Heteroatom，Mineralization agent，Solvent以及其他。每一种类型可选组分列在下表，均可扩充。其中其他类型用来指定新增加的无法归类的组分。
下面以分子筛配方设计的一个简单实现作为例子，展示设计流程。
一、分别指定零到多种本案例研究所需要使用的硅源、铝源、模版剂、矿化剂、酸碱、杂原子以及溶剂和其他。(见图5A)二、以其它组分对AL2O3或者SiO2的组分比值为变量，设定组分取值范围以及取值密度，(见图5B)，用户可以输入自己需要的数值。
三、可点击“calc”按钮，系统返回计算后的样品总数。
四、可以加入其它约束条件。比如在实验设计中，希望将模版剂与杂原子的比例限制在1和2之间。在本案例中，我们可以输入约束条件“1＜b/d＜2”，其中b代表模版剂与AL2O3的比值，d代表杂原子与AL2O3的比值。
本发明申请中所列论文和专利均是作为参考文献所援引的。上述例举的实施方案中所涉及的描述，举例和数据仅作为演示和例证之用，并非限定本发明的范围。任何根据本发明所做的非实质性修改加工皆落入本发明权利要求范围内。因此，附件权利要求书的精神和范围不局限于本申请对该发明的说明版本。
权利要求
1.一种组合样品库设计方法，包括以下步骤(1)提供一个抽象化学式，该抽象化学式包括一个以上组元及对应于每一组元的变量；(2)为每一个所述组元提供至少一个可选组分；(3)为每一个所述变量提供至少一个可取数值；(4)为所述变量设定至少一个约束条件；(5)为所述抽象化学式中的每一变量确定数值以产生变量组合，并确定出满足所述约束条件的合格变量组合；(6)将所述合格变量组合中的变量的数值结合到对应组元中。
2.一种如权利要求1所述的方法，所述变量约束条件是指至少一变量的条件或者变量之间的关系。
3.一种如权利要求1所述的方法，所述组分是指一种物质，包括如元素、分子、化合物、物质、物块等，或这些物质的组合。
4.一种如权利要求1所述的方法，其中所述合格变量组合中的变量的数值是与对应组元的组分结合。
5.一种如权利要求1所述的方法，进一步包括为所述组元设定一个组元约束关系，为每一组元确定组分以产生组元组合，并确定出满足所述组元约束关系的合格组元组合的步骤。
6.一种如权利要求5所述的方法，其中所述合格变量组合中的变量的数值是与所述合格组元组合中的组元的组分对应结合的。
7.一种如权利要求5所述的方法，其中所述组元约束关系是指至少一组元的条件或者组元之间的关系。
8.一种如权利要求1所述的方法，其中所述变量的可取数值是在在一定区间内取值。
9.一种如权利要求8所述的方法，其中所述变量的取值区间由经验知识确定。
10.一种如权利要求8所述的方法，其中所述变量的可取数值是在所述区间内均匀取值。
11.一种如权利要求8所述的方法，其中所述变量的可取数值是在所述区间内非均匀取值。
12.一种如权利要求1所述的方法，其中所述变量是其对应组元的组成比例。
13.一种如权利要求12所述的方法，所述变量约束条件是所述变量之和为1。
14.一种如权利要求1所述的方法，进一步包括对每一确定了组元和变量的，并满足所述约束条件的化学式进行计量的步骤，计算出组合样品库中样品数量。
15.一种组合样品库设计的系统，包括配方设计单元，可提供一个抽象化学式，该化学式包括一个以上组元及对应于每一组元的变量，其中每一所述组元有至少一个的可选组分，每一所述变量有至少一个可取数值；组合单元，形成所述变量具体指定后的变量组合；过滤单元，为所述变量设定至少一个约束条件；筛选单元，确定出满足上述约束条件的变量组合；结合单元，将所述满足约束条件的变量组合中的变量结合到对应组元中。
16.一种用以进行组合样品库设计的图形用户界面(GUI)，允许使用者输入和编辑所需要的数据，该数据包括用户指定或选择的组元、组分、变量、变量范围和约束条件，数据在被输入后由计算机执行程序以完成权利要求1所述步骤。
17.一种计算机软件程序，该程序储存于计算机存储器，在计算机处理器启动后，执行权利要求1所述的步骤。
全文摘要
本发明一方面提供了一种高效准确地设计组合样品库的方法，包括以下步骤(1)提供一个抽象化学式，该抽象化学式包括一个以上组元及对应于每一组元的变量；(2)为每一所述组元提供至少一个可选组分；(3)为每一所述变量提供至少一个可取数值；(4)为所述变量设定至少一个约束条件；(5)为所述抽象化学式中的每一变量确定数值以产生变量组合，并确定出满足所述约束条件的变量组合；(6)将所述满足约束条件的变量组合中的变量结合到对应组元中。
文档编号G06F19/00GK101086747SQ20071010939
公开日2007年12月12日 申请日期2007年5月29日 优先权日2006年5月29日
发明者冯希臣, 高滋, 华新雷, 黄福新, 刘志甫, 王卓 申请人:亚申科技研发中心(上海)有限公司, 美国亚申公司