本发明是关于检验所设计的产品是否符合规格、作为产品是否 合适的装置的发明。 在进行工业产品设计时，要检验该设计作为产品能否成立，是否 具有设计规格所规定的性能等。这种检验以往几乎都是由有经验的 熟练技术人员担任。 另一方面，可以借助于使用电脑等仪器的CAD系统检查结构 零件是否接触、即进行零件形状的干涉检查。 但是，由技术人员进行的检验不能完全检查出设计不合格之处、 存在漏检的情况。尽管有设计不合格，却由于漏检而没能检查出设计 不合格，根据这种设计制成产品时，试制品的修理等将带来巨大的经 济损失。 这种由技术人员进行的检验，尽管在很大的程度上取决于技术 人员的经验，但是由于缺少将技术人员个人积累的经验与他人共享 的组织，类似的漏检和检查不充分的比例很高。而且，检验内容也因 进行检查的技术人员不同而不同，因此还存在检验上的偏差。 另一方面，使用CAD系统的检验主要是关于尺寸的检查，难于 检查温度，重量等其他物理量，而且，还存在元件上所加的电压等元 件之间关连数据综合检验困难的问题。 而且，在报告该检验结果的检验报告上必须详细记录检验项目、 检验方法、检验结果以及得出这些结果的根据等，要化费许多时间。 本发明目的在于提供解决上述问题，在设计检验时漏检少，积累 检验经验，且能提高检验报告制作等辅助工作效率的工业产品设计 检验装置。 本发明为了解决上述问题，在进行工业产品设计时，检验按前述 设计制成的产品是不是满足给定的规格，作为产品是否合适的设计 检验装置中，包含根据给定的规格而制订的至少记载有装在检验对 象产品上的零件清单和零件关系的设计数据的设计数据制订手段； 输入与前述规格有关的、由判定给定的被检验值是否在给定的允许 范围内的内容构成的规格项目的规格项目输入手段；至少记录着判 定规定的被检验值是否在规定的允许范围内的内容构成的、按设计 出的产品的品种分类的检验项目、前述各检验项目与前述规格项目 应该检验的被验证值的计算方法、计算前述被检验值所需的数据的 求取方法和前述检验项目的被检验值的允许范围的知识数据库部； 提供计算前述被检验值所必需的数据的插补数据库部；根据记录于 前述知识数据库部的信息、检索前述插补数据库部以取得必要的数 据、计算出记录于前述知识数据库部的、按设计产品的种类分类的所 有前述检验项目与所有的前述规格项目的被检验值的被检验值计算 手段；对于记录于前述知识数据库部的、按设计产品的种类分类的所 有的前述检验项目、把用前述被检验值计算手段计算出的被检验值 与记录于前述知识数据库部的前述允许范围加以比较，对于前述规 格项目把用前述被检验值计算手段计算出的被检验值与前述规格项 目上记载的前述允许值作比较，如果所有的被检验值均处于该允许 范围内、即判定检验结果为合格的判定手段。 而且，被检验值计算手段，应能够根据记录于插补数据库部的其 他数据对计算被检验值所必要的、而又未记录于插补数据库部中的 数据进行推理计算、计算出被检验值。 并且最好具有：把过去设计的、检验结果被判定为合格的设计数 据作为设计示例记录的设计示例数据库；根据被给定的规格检索前 述设计示例数据库的设计示例检索手段；变更根据前述设计示例检 索手段检索的设计示例从而制订设计数据的设计数据制订手段；将 判定为检验结果合格的设计数据作为示例登记于前述设计示例数据 库的设计示例登记手段。 再者，最好具有将判定为检验结果合格的设计数据按予定格式 自动写出报告书的手段。 在本发明的结构中，进行设计的每一产品类别应检验的内容作 为检验项目记载于知识数据库部，检验时按该检验项目进行检验就 不会漏检。而且，使用记录有作为检验内容应该检验的值、也就是被 检验值的计算方法、进行该计算所必需的数据的获取方法、以及其允 许范围等的检查规则的数据库，因而检验内容规格化，检验内容就不 会分散偏离。再者，由于在知识数据库部记录着各制品的检验项目清 单、各检验项目的被检验值的计算方法等，累积了关于检验的经验和 知识，可以使检验内容达到高水平。 再者，产品上使用的零件的规格数据等作为插补数据库部统一 管理，在计算被检验值时采用，由于零件数据共用，在计算被检验值 时，消除了发散偏离。再者，在知识数据库部记录有允许范围，可以判 断被检验值是否包含在该允许范围内从而使检验基准统一化，消除 了检验判断的分散偏离。 又，在计算被检验值时，插补数据库部内没有记录计算被检验值 所需的数据的情况下，因为是用人工智能等从已有的数据推理得出 所需数据的推理机构，就能够更灵活地对付被检验值的计算。 而且在实际进行工业产品设计时，不大有从头开始全部设计的 情况，而是采用将过去的设计作为例子加以引用，对其加以修正，以 满足设计规格的方法。在那种情况下，如果将过去的设计作为设计 例记录于设计例数据库，就能有效地利用过去的设计例，可以更加高 效率地制订设计数据。如果被判断为检验结果良好的设计数据被预 先记录于该设计示例数据库，则此后的设计可以加以引用，就可以更 有效率地进行设计。 再者，因为有根据检验结果的详细内容制作报告书的机构，就可 以减少操作者写报告书所费的工时。该报告书以规定的格式书写，则 报告书的管理可更加容易。 图1是表示本发明实施例的方框图。 作为本发明的实施例，举空调机的压缩机作为例子，以图1加以 说明。 在图1中，6为设计规格，由作为记录这次要设计的压缩机规格 的说明书提供。8是规格项目，列举了记载于设计规格6的信息内的 需要检验的项目并且记录有与这些项目有关的容许值等。7是根据 设计规格6制订规格项目8的规格项目制订手段。1是设计示例数 据库，分别保存着有关过去设计的压缩机所使用的零件清单、零件的 空间配置、电气回路、外观等的信息。2是设计示例检索手段，从设计 示例数据库1检索、根据想要设计的制品的规格6、从过去设计的压 缩机中取出最接近的规格的产品，或是将成为这次想要设计的产品 的基础的东西、作为过去的设计例3。4是设计数据制订手段，是将设 计检索手段2检索到的过去的设计示例3改变成与规格一致的手 段。5是设计数据，是设计数据制订手段4变更过去的设计示例3之 后的东西并对其加以检验。设计数据5中，除了记载着使用的零件的 清单外，还记有零件的空间配置、电气回路、外观等使用零件的有关 信息等数据。 9是知识数据库部、除了规格项目以外还记录着设计的产品有 关的必须加以检验的检验项目以及该检验项目和规格项目8的检验 方法以及允许范围等的数据。10是检验清单的制订手段，将根据知 识数据库部9与规格项目8设计的各产品有关的必须进行的检验项 目做成清单，制订记录着各检验项目有关的被检验值17的计算方法 与计算被检验值17所必需的数据的获取方法以及这些检验项目的 允许范围等的检验清单11。这里所谓被检验值是指电动机的功率因 数等、检验时，被判定是否在规定的允许范围内的值。 而14是零件数据库，保存着生产厂家关于用在产品上的零件所 提供的规格数据。12是实验装置，对用于产品的零件进行各种实验， 对用户未曾提及的零件特性以及与其他零件组合而成的零件的特性 等进行调查研究。13是实验数据库，保存着实验装置12实验得到的 信息。15是推理机构，对于未记录于实验数据库13和零件数据库14 的数据，根据已记录的数据进行推理求出所需的数据。实验数据库 13与零件数据库14称为插补数据库部。 而16为被检验值计算手段，根据检验清单11的指示、或者检索 零件数据库14与实验数据库13，或者在这些数据库中未记录时，用 推理机构15推理，得到为了算出被检验值17所需的数据，从而算出 被检验值17。18是检验项目判定部，判定用被检验值计算手段16算 出的各检验项目的被检验值17是否处于记载于检验清单11上的允 许范围内，如果是在允许范围内则判定检验项目合格。 19为设计完成判定部，根据检验清单11、把检验项目判定部18 的判定结果中判定为合格的加以登记，在所有的检验项目都判定为 合格时，进行设计完成的处理。20是设计例记录部，将19得出设计 完成的判定的设计数据5登记于设计示例数据库1。21是报告书制 作部、就设计完成判定部19判定所有的检验项目都合格的设计数据 5制作报告书22。23是NG显示部，对没有得出合格判定的检验项 目、在画面上显示出不在允许值范围内的信息。检验项目判定部18 与设计完成判定部19称为判定手段。 下面对本实施例的动作加以说明。 首先对这次想要设计的压缩机，在设计示例检索手段2中检索 设计示例数据库1，从过去设计的压缩机的设计例中找出与给定的 规格6接近的、或者是基本符合的过去的设计例3。在设计数据制订 手段4中，对这一特别指定的过去的设计例3修改成适合给定的规 格，制订作为检验对象的设计数据5。设计例数据制订手段4，采用根 据电脑画面的指示、输入所使用的零件的名称等的方法。 另一方面，在规格项目制订手段7中，根据规格6制订必须检验 的规格项目8的清单。在这里，作为规格，如果有规定电动机的功率 因数为90％以上的指示，就以功率因数作为被检验值计算出计算允 许值，制订将允许值定为90％以上的规格项目。 在知识数据库部9记录有将压缩机做成产品所必需的检验项 目。知识数据库部9还记录有关于这些检验项目和规格项目8的检 验方法。检验清单制订手段10将由设计到产品必须确认的、知识数 据库部记录的检验项目与规格6所要求的规格项目8作为检验项目 制成清单，并制成由各检验项目的被检验值的计算方法、计算被检验 值所需的数据的获取方法、以及该被检验值的允许范围构成的检验 清单11。例如，在压缩机的情况下，在知识数据库部9记录着做成产 品所必需的电动机功率因数的计算等检验项目的清单。其中关于电 动机功率因数的检验项目中，被检验值采用该电动机的功率因数，在 该功率因数的计算中需要电动机的空载端电压、电动机内阻、运行时 的负载等数据，在知识数据库部9上记录有取得这些数据的方法、被 检验值电动机功率因数的计算方法及其允许范围。例如，在规格项目 8中有电动机功率因数的项目时，在检验清单11上作为检验项目列 有电动机的功率因数的项目，该功率因数的允许范围采用记录于规 格项目8的允许范围。 这些允许范围也有用包含其他参数的计算式给出的。在规格项 目中没有关于电动机功率因数的项目时，由于在知识数据库部9记 有关于压缩机电动机的功率因数的项目，在检验清单11作为检验项 目举出了电动机的功率因素，允许值采用记录在知识数据库部9中 的允许值。功率因数的计算方法和计算功率因数所需要的空载端电 压数据的获取方法等，根据知识数据库部9的信息，作为电动机功率 因数的检验项目的检验规则列于检验清单11上。 现在，对于电动机的功率因数计算的检验项目，检验清单11上 记载着这样的检验规则：根据空载端电压、电动机内阻和运行时的负 荷大小用规定的计算式计算作为被检验值的功率因数，如果该计算 结果处于以某一基准值为中心的规定的允许范围内，则判定为合格。 而且记载有如下指示：空载端电压根据电路图计算，电动机内部电阻 从检索零件数据库14获得，运行时的负载根据记录在实验数据库 13的数据中关于电动机驱动的压缩机的数据计算确定。并且记载 着：在实验数据库13中，记录着以前关于这种压缩机构的实验结果， 压缩时电动机的负载等数据可以由检索该实验数据库得到。检验清 单11还记载着如下指示：空载端电压数据电路图计算。 在被检验值计算手段16，根据这些指示进行计算，确定计算被 检验值功率因素所需的数据。计算功率因数所需的数据中，电动机的 内阻和运行时的负载可以很容易从检索零件数据库14和实验数据 库13取得，但空载端电压必须根据电路图计算确定。在要检验的压 缩机中，与电动机一样，如果有在运行时阻抗发生变化的零件，就很 难按照指示从电路图计算空载端电压。这里，在推理机构15根据记 录于零件数据库14的、运行时阻抗变化的零件的变动幅度数据和实 验数据库13记录的数据等、从电路图推理确定加于电动机的空载端 电压、将其值送给被检验值计算手段16。例如，在实验数据库13，使 用与检验对象的空调机相同的电路，而且配置几台预定安装的电动 机以外的只有内阻不同的电动机作空载端电压实验以记录其测定 值，根据这些数据用条样(spline)插补等方法，推算确定空载端电 压、将其传送给被检验值计算手段16。在被检验值计算手段16，再将 这些数据代入记录于检验清单11的功率因数计算式中、计算电动机 的功率因数。 如上所述把计算出的被检验值与记载于检验数据11的允许范 围在检验项目判定部18进行比较，如果被检验值处于允许范围内则 判定为合格，如在允许范围外则判定为不合格。被判定为不合格的项 目、在NG显示部向操作者报告不合格以及不合格的程度。 采用上述检验方法进行的检验，用设计数据制订手段、每当数据 变更时、只对受变更的数据影响的检验项目实施检验，于是操作者可 以一边确认检验结果、一边进行设计。 设计完成判定部19、对检验清单11列举的所有检验项目、根据 来自检验项目判定部18的信息登记被判定为合格的项目，在全部检 验项目被登记为合格时将这一情况通知操作者。操作者据此信息确 定。即判断设计完成。关于该设计数据5，报告书制作部21根据这一 结果制作报告书22。接着，设计例记录部20将判定为设计完成的设 计数据5记录于设计示例数据库1，以便在今后设计时能作为设计 示例加以利用。 上述实施例中，也可以使设计数据制订手段4与检验处理联 动，一边进行设计一边实施检验，用设计数据制订手段4制订结束 全部必要的修改的设计数据5，就该设计数据，实施所有检验项目的 检验，用NG显示部显示被判断为不合格的检验项目及其不合格的 程度。对于NG显示部显示为不合格的检验项目，用设计数据制订手 段4进行修改，使其合格。就这样，反复进行设计数据修改与检验，直 到所有检验项目都被判定为合格，设计完成判定部19判定设计完 成。 按照上述方式检验设计数据5、不管由什么人来检验都能得到 相同的检验结果，不会发生漏检。而且由于有设计例数据库，过去的 设计数据可再利用，从而提高设计效率。而且，知识数据库部8积累 着迄今为止进行过的检验的全部经验、供大家共用，因而检验内容可 以达到高水平。 这里就空调机的压缩机用的电动机的功率因数的检验项目加以 说明，但是除功率因数外，同样也可以检验电动机的振动等检验项 目。而且也可以同样用于检验油量、制冷剂气体的量、气缸的容积等 是否合适、热的散发是否符合规格等。本发明的检验装置还可用于空 调机以外的产品。 使用本发明的设计装置，由于使用积累了以往经验的知识数据 库部，不会发生漏检，检验内容也可以达到高水平。从而，在试制阶 段，可以减少设计修改，也可以降低试制产品的成本，而且任何人都 可以很容易担负检验工作，检验所需时间也可减少。 由于进行推理，即使进行检验的数据不充分，也能进行检验。而 且，由于将设计示例作为数据库，可提高设计效率，又有报告书自动 制作机能，可减少报告书制作工时。