设计支持方法和设计支持设备的制作方法

专利名称：设计支持方法和设计支持设备的制作方法
技术领域：
本发明涉及一种设计支持方法和设计支持设备。
技术背景软件控制各种装置的操作。例如，在图像形成设备中，为称为"薄片")输送到预定位置，控制软件控制输送机构输送薄 片。在很多薄片输送控制操作中，简单地沿一个方向以恒定速 度输送薄片是不够的。例如，软件实现例如使用传感器检测薄 片的位置、在预定位置停止薄片、以及由反转输送辊反转薄片 的输送方向的控制操作。图15A和15B是示出多个目标输送件(薄片1501和1502)的 输送控制例子的图。图15A是示出根据输送辊R1到R4与时间之 间的关系，在输送机构中薄片1501和1502的前沿(以下称为"前 沿，，)的位置和后沿(以下称为"后沿")的位置的图。参考图15A, "R11"表示薄片1501的前沿在时刻tll已到达辊Rl。薄片1501的 后沿在时刻tl2到达辊Rl。在这种情况下，薄片1501通过辊R1 所需的时间为tl2-tl1。图15B是示出辊R1的驱动速度与时间之 间的关系的图。辊Rl在时刻tO开始转动，在时刻t01达到输送薄 片1501的输送速度(目标速度)V1。在薄片1501的后沿通过辊R1 的时刻tl2，辊R1开始减速。参考图15A,薄片1501的前沿在时刻t31被输送到辊R3。直 到时刻t32前，辊R3静止。例如，在图15A所示的对薄片1501和 1502的输送控制中，为了对每个薄片进行歪斜校正，在某些情 况下，输送被临时停止，以在辊R3处对每个薄片的前沿形成环 (loop)。这种临时停止状态显示为平状态(辊R31和R32之间)，其 中，在时刻t31和t32之间，输送距离未变化。在这种情况下，薄片1501的输送在时刻R31临时停止，在 时刻R32开始。在薄片1501的后沿在时刻R33(时刻t33)离开辊R3 后，需要为了对薄片1502进行歪斜校正而停止辊R3。薄片1501 的后沿离开辊R3的时刻R33(时刻t33)与薄片1502的前沿碰到辊 R3的时刻R34(时刻t34)之间的时间差非常小。如果辊R3的旋转 在该期间内未可靠地停止，则当薄片1502在辊R3处临时停止 时，不可能对该薄片1502的前沿形成足够的、用于歪斜校正的 环。当图像形成设备输出具有例如歪斜的问题的错误图像的薄 片！502时，该设备判断歪斜的原因在于图像形成单元侧还是在 于薄片输送系统侧，从而将问题的原因分类。如果歪斜的原因在薄片输送系统侧，则通过检查例如薄片 在输送路径的什么位置刮输送引导件，或者输送引导件的形状 是否出现问题，来检查物理状况。如果物理状况没有问题，则通过检查构成输送机构的辊是 否在正确的时刻旋转/停止(ON/OFF),来4企查控制系统状况。例 如，参考图15A,检验在薄片1501的后沿在时刻R33离开辊R3 后，辊R3为进行薄片歪斜校正而进行的操作。尽管辊R3开始停 止时的时刻R34正常，但是，从辊R3开始停止到辊完全停止的 减速时间比设计值长。在这种情况下，在辊R3完全停止前，后 续薄片1502的前沿碰到辊R3。这使得识别出由于未形成校正 歪斜用的足够的环，发生了歪斜。需要很多步骤来识别出所发生的现象的原因，这导致设计 效率变劣。随着近来图像形成设备的性能的进展，控制软件本身变得
复杂。因此，如果控制软件包括缺陷部分，则发现该缺陷、识 别出其原因、并且校正该缺陷所需的步骤的数量也增多。为了减少这种步骤的数量，仿真技术在设计输送机构方面 的使用增多。例如，根据专利文献l(日本特开平9-81600)所公开的设计 支持技术，提出了一种系统，其通过仿真计算目标输送件的行 为，生成并显示输送机构的才乘作的时序图，从而枱、睑输送机构 的机械操作。此外，专利文献2(日本特开平5-143260)公开了 一种配置， 其使用例如键盘等输入装置生成外部事件，例如开/关打印机控 制软件、打开/关闭盖。然而，对于用于对控制控制目标的时刻的设定和控制目标 的状态变化进行评价的控制软件，专利文献1未公开其检验方 法。专利文献1所公开的技术能识别出机构中潜在的问题的原 因，但难以识别出控制机构用的软件中的潜在问题的原因。专利文献2所公开的技术旨在检验与例外处理有关的软件的问题，该例外处理例如是生成外部事件的处理，该外部事件例如是打开/关闭盖、以及将图像形成设备从正常操作状态移至维护状态等。因此，难以检验用于控制图像形成设备的图像形 成操作和薄片输送操作等的控制软件，并且难以识别出如果发生问题时该问题的原因。 发明内容本发明是考虑到现有技术中的上述问题而做出的，其目的 在于提供 一 种允许高效率地对控制设备用的控制软件进行检验 的设计支持技术。根据本发明的一个方面，提供一种设计支持方法，用于检
验对图像形成设备中的装置的控制，所述方法包括以下步骤将触发器信息登记在存储单元中，所述触发器信息用于指定当 满足用于切换所述装置的控制状态的开始条件时要执行的控制的内容；将由当满足所述开始条件时切换的控制而引起的状态 变化的容许范围登记在所述存储单元中；以及通过参考通过输 入单元所输入的所述装置的操作状态和登记在所述存储单元中 的所述触发器信息，检验由当满足所述开始条件时切换的所述 控制而引起的所述装置的状态变化是否落在所述容许范围外。根据本发明的另一方面，提供一种设计支持设备，其检验 对图像形成设备中的装置的控制，所述设计支持设备包括触 发器信息登记单元，其将触发器信息登记在存储单元中，所述 触发器信息用于指定当满足用于切换所述装置的控制状态的开 始条件时要执行的控制的内容；容许范围登记单元，其将由当 满足所述开始条件时切换的控制而引起的所述装置的状态变化 的容许范围登记在所述存储单元中；以及检验单元，其通过参 考通过输入单元所输入的所述装置的操作状态和登记在所述存 储单元中的所述触发器信息，检验由当满足所述开始条件时切 换的所述控制而引起的所述装置的状态变化是否落在所述容许 范围外。根据本发明，能够高效率地对控制设备用的控制软件进行 检验。通过以下参考附图对示例性实施例的说明，本发明其他特 征将变得明显。


图1是示出根据第 一 实施例的设计支持设备的配置的框图； 图2A是示出在显示控制单元105的控制下，显示在显示器108上的薄片输送仿真结果的图；图2B是示出用于通知非正常状态的显示例子的图；图3是示出构成设计支持设备的软件仿真单元101和机构仿真单元102的配置的框图；图4是示出构成与薄片输送控制有关的薄片输送机构的各种装置的布置例子的图；图5是示出激光扫描器的示例性配置的图；图6是示出控制单元的配置的框图；图7是示出数字图像处理单元的详细配置的框图；图8是示出数字图像处理单元的详细配置的框图；图9是示出彩色图像形成设备的示例性配置的截面图；图10是示出根据本实施例的设计支持设备检验控制软件的过程的流程图；图ll是示例性示出作为控制目标的辊的配置文件的图；图12是示出触发器的登记例子的图；图13是示出状态变化容许值的设置例子的图；图14A是在厚纸上形成全色图像的情况下的时序图；图14B是示出如下情况下识别指示的示例性图，在所述情况下，"对在激光二极管开始曝光(T166)前是否完成了旋转的彩色显影装置933的减速的检验"的检验结果超过了容许范围；图15A和15B是示出作为现有技术，对多个目标输送件(薄片1501和1502)进行输送控制的例子的图；图16是示出控制触发器的登记例子的图，该控制触发器用于切换对构成图像形成单元的机械单元的控制操作； 图17是示出状态变化容许值的设置例子的图； 图18是示出根据第二实施例的设计支持设备的配置的框图；以及
图19是示出根据第二实施例的设计支持设备中的检验单元 的具体配置的框图。
具体实施方式
以下参考附图示例性详细说明本发明的优选实施例。在这 些实施例中所述的构成要素仅是示例性的，本发明的范围不限 于此。第 一实施例 设计支持设备的配置图l是示出根据第一实施例的设计支持设备的配置的框图。该设计支持设备对信息处理设备(以下称为"P c")上的图像形成设备执行用于控制该图像形成设备的固件/软件(以下称为"控 制软件，，)的操作仿真。该设计支持设备基于操作仿真的结果设 置控制软件控制图像形成设备的定时，并检验作为控制目标的、 构成图像形成设备的装置的状态变化。软件仿真单元101使用于控制图像形成设备的操作的控制 软件在PC上虚拟运行。此外，设计支持设备能通过将图像形成设备与控制软件的虚拟运行结合起来，来检验用于控制实际的 图像形成设备的操作的控制软件。输入监示单元104监视来自构成人机接口的键盘106和鼠标 107等的输入。操作系统(以下称为"OS，，)103从输入监示单元104 接收执行开始请求。软件仿真单元101相应于来自OS 103的指 令，开始对控制软件的仿真。机构仿真单元102顺序接收通过由软件仿真单元IOI经由 OS 103对控制软件进行仿真而获得的结果。当例如进行与薄片 位置有关的仿真时，机构仿真单元102能基于与薄片输送控制有 关的辊的速度等，通过计算获得表示薄片在记录介质输送机构
中的哪个部分中的信息。此外，关于要形成在薄片上的图像的位置，机构仿真单元 101能基于与图像形成有关的感光鼓和中间转印带的直径、旋转 速度等，通过计算获得表示图像要转印到薄片的哪个部分的信息。显示控制单元105通过OS 103获得所获得的图像位置信息。 显示器108在显示控制单元105的控制下显示仿真结果。 图3是示出构成设计支持设备的软件仿真单元103和机构仿 真单元102的配置的框图。尽管在软件仿真单元101和机构仿真 单元102之间存在OS 103，但是，主要说明软件仿真单元101和 机构仿真单元102。软件仿真单元101包括控制软件单元310、 包单元(wrapper unit)311、输入接口单元312、以及输出接口单元313。控制软件单元310包括用于控制实际的图像形成设备的图 像形成操作的控制软件。包单元311在P C上执行实际图像形成 设备的控制软件。当控制软件单元310接收到从机构仿真单元 102输出的信息时，包单元311能够考虑到接收到的信息在PC上 执行控制软件。控制软件单元310从包单元31 l接收执行结果。 输入接口单元3 12将从机构仿真单元10 2输出的输入到控制软件 单元310。输出接口单元313输出来自控制软件单元310的信息。 机构仿真单元102接收从输出接口单元313输出的信息。机构仿真单元102包括薄片位置计算单元320、装置驱动计 算单元321、输入接口单元324、输出接口单元325、以及薄片位 置显示单元330。输入接口单元324接收从软件仿真单元101的输出接口单元 313输出的信息。输入接口单元324向装置驱动计算单元321输 入来自软件仿真单元101的薄片输送控制信息，例如马达、离 合器、挡板(flapper)等与各种装置控制操作有关的各种装置的 控制信息等。装置驱动计算单元321通过根据来自软件仿真单元101的薄 片输送控制信息、各种装置的控制信息、以及图像形成控制信 息来对图像形成设备进行模拟，来驱动例如虚拟辊、风扇等的 装置。薄片位置计算单元320和输出接口单元325接收来自装置 驱动计算单元321的输出。如果例如要控制的装置是风扇马达， 则装置驱动计算单元321计算该风扇马达的例如锁定信号的输 出值，并通过输出接口单元325输出该输出值。薄片位置计算单元320存储在仿真中每个虚拟装置的位置 信息。例如，薄片位置计算单元320存储路径信息，包括虚拟 辊、虚拟挡板、虚拟传感器等中的每一个的识别信息(ID),以 及在薄片输送路径中的对应位置信息。薄片位置计算单元320 根据来自软件仿真单元101的薄片输送控制信息，使虚拟辊旋 转。然后，薄片位置计算单元320根据所存储的虚拟辊的位置和 转速，计算并存储在薄片输送路径中的虚拟位置。薄片位置计 算单元3 2 0还使用虚拟挡板切换薄片输送路径，并根据仿真中薄 片的位置确定虚拟传感器的输出状态。装置驱动计算单元321存储仿真中每个虚拟装置的位置信 息。例如，装置驱动计算单元321存储装置中的例如虚拟感光鼓 和虚拟中间转印带的图像形成装置的位置。装置驱动计算单元 321根据软件仿真单元101所提供的图像形成单元的控制信息， 旋转仿真中的虛拟感光鼓和虚拟中间转印带。装置驱动计算单 元321根据虚拟鼓和虚拟中间转印带的转速、它们的位置关系、 虚拟定位的参数、操作定时等，计算并存储虚拟图像位置信息。薄片位置显示单元330通过输出接口单元325输出薄片位置 计算单元320计算的薄片位置信息(与前沿位置和后沿位置有关 的信息)，并向显示控制单元105给出指令以显示薄片输送仿真 输出接口单元325向软件仿真单元101的输入接口单元312 输入由装置驱动计算单元321和薄片位置计算单元320计算的各 种传感器信息、装置控制信息、以及与薄片输送有关的信息。 输出接口单元325还向显示控制单元105输入从薄片位置显示单 元330输出的指令信息。图2A是示出在显示控制单元105的控制下，显示在显示器 108上的薄片输送仿真结果的图。在薄片输送仿真窗口 201中， 虚线表示薄片输送路径，白圏表示输送辊，黑三角表示传感器， 白三角表示挡板，实线202表示薄片。如果对用于控制控制目标的定时的设定和控制目标的状态 变化的检验结果落在容许范围外，则显示控制单元10 5使显示器 108显示控制软件的非正常部分。显示控制单元105能在薄片输送仿真窗口 201中或在能与薄 片输送仿真窗口 201并行的另 一窗口中显示用于通知该非正常 的指示。图像形成设备的配置接下来将说明由控制软件控制的实际图像形成设备的配 置。设计支持设备中的软件仿真单元101和机构仿真单元102检 验对构成模拟图像形成设备的虚拟装置的操作控制。图9是示出彩色图像形成设备900的示例性配置的截面图。附图标记901表示彩色图像读取器单元(以下称为"读取器 单元")；902表示彩色图像打印机单元(以下称为"打印机单元")。读取器单元901的配置附图标记910表示控制整个图像形成设备的控制单元；911 表示原稿台(稿台)；912表示自动原稿给送器(ADF)。附图标记 913和914表示照射原稿的光源。作为这些光源，可以使用例如
卤素灯、荧光灯、以及氙灯等装置。附图标记915和916表示将 来自光源913和914的光聚到原稿上的反光镜。附图标记917到919表示镜子；920表示透镜；921表示电荷 耦合器件图像传感器(以下称为"CCD")。透镜920将来自原稿的 光或投射光聚到CCD 921上。CCD 921安装在基板922上。附图 标记923表示数字图像处理单元。附图标记924表示容纳光源913和914、反射镜915和916、以 及镜子917的机架(carriage); 925表示容纟内镜子918和919的机 架。才几架924和925分別沿垂直于CCD 921的电扫描方向(主扫描 方向X)的副扫描方向Y，以速度V和V/2初4成移动，从而扫描原 稿的整个表面。数字图像处理单元923的配置图8是示出数字图像处理单元923的详细配置的框图。附图 标记802表示钳位&放大&S/H&A/D单元；803表示黑点(shading) 单元；804表示合并(merging)&MTF校正&原稿检测单元；805 表示图像掩码(masking)单元；806表示选择器；8(H表示色空间 压缩&底色去除&LOG变换单元；808表示显示单元；809表示波 紋(moire)去除单元；810表示放大处理单元；811表示UCR&掩 码&黑字符反射(reflecting)单元；8U表示伽马变换单元；813 表示滤波单元；814表示底色去除单元；815表示黑字符判断单 元。原稿台911上的原稿反射来自光源913和914的光。反射光净皮 引导到CCD921,以转换为电信号。数字图像处理单元923接收该电信号(模拟图像信号)。钳位 &放大&8/11&八/0单元802采样/保持(8/11)该信号。钳位&放大 &8/11&八/0单元802将模拟图像信号的暗电平钳位到基准电势， 将信号放大预定量，并将信号A/D转换为例如由R、 G和B分量构成的凄t字信号，该R、 G和B分量中的每个由8位构成。黑点单元803对RGB信号进行黑点校正和黑校正。当CCD 921是3行CCD时，对各行设置不同的读取位置。因此，在这种 情况下，合并&MTF校正&原稿检测单元804进行合并处理，以 根据读取速度调整各行的延迟量。然后，合并&MTF校正&原稿 检测单元804信号定时，从而匹配3行的读取位置。读取用MTF根据读取速度或放大倍率而变化。因此，进行 MTF校正以校正该变化。通过扫描原稿台91 l上的原稿来进行原 稿检测，以识别原稿的尺寸。对于进行过读取位置定时校正的数字信号，输入掩码单元 805校正CCD 921的谱特性，以及光源913和914、反射镜915和 916的语特性。来自输入掩码单元805的输出被输入到能在自身和外部接 口信号之间进行切换的选择器806 。色空间压色&底色去除 &1^00变换单元807和底色去除单元814接收从选择器806输出的信号。对输入到底色去除单元814的信号进行底色去除处理。所得 到的信号被输入到黑字符判断单元815,该黑字符判断单元815 判断信号是否表示原稿上的文本中的黑字符。然后，黑字符判 断单元815生成黑字符信号。接收到来自选择器806的输出的色空间压缩&底色去除 (&LOG变换单元807判断进行过色空间压缩的读取的图像信号 是否落入打印机能进行颜色再现的范围。如果该信号落入再现 范围，则保持信号不变。如果该信号落在该范围外，则色空间 压缩&底色去除&LOG变换单元807校正图像信号，以使信号落 入打印机能进行的颜色再现的范围内。在底色去除处理后，LOG 变换单元将RGB信号变换为YMC信号。
为了校正黑字符判断单元815生成的信号的定时，延迟单元808调整来自色空间压缩&底色去除&LOG变换单元807的输出 信号的定时。波紋去除单元809从两种类型的信号中去除波紋，;故大处理 单元810沿主扫描方向对所得到的信号进行放大处理。U C R &掩码&黑字符反射单元811对放大处理单元810处理 过的信号进行UCR处理，以生成YMCK信号。掩码处理单元根 据来自打印机的输出校正信号，由黑字符判断单元815生成的判 断信号被反馈。伽马校正单元812对UCR&掩码&黑字符反射单元811处理 过的信号进行浓度(density)调整。然后，滤波单元813对信号进 行平滑或边缘处理，将所得到的信号输出到打印机单元9 0 2 。除了图8所示的从钳位&放大&8/: &八/0单元802到黑字符 判断单元815的单元外，数字图像处理单元923还可以包括图7 所示的二值变换单元701和延迟单元702。参考图7,二值变换单元701将8位多水平信号变换为二值信 号。作为该变换的方法，可以使用以下方法之一抖动(dither) 法、误差扩散法、以及它们的改进方法等。通过变换而得到的 二值信号被发送到另 一装置的外部接口 (1/F)926和延迟单元 702。在这种情况下，根据需要，外部接口 926能将接收到的信 号发送到例如传真机(未示出)的外部输出装置。延迟单元702将用于调整对激光扫描器931的发送定时的控 制信号传送到激光扫描器931,以校正所接收到的信号和激光扫 描器931的激光发射定时。在本实施例中，数字图像处理单元923包括二值变换单元 701和延迟单元702。然而，本发明不限于此配置。打印机单元 902可以包括二值变换单元701和延迟单元702。
控制单元910的配置图6是示出控制单元910的配置的框图。附图标记930表示打印机控制接口 ； 601表示CPU; 602表示 存储装置；603表示操作单元；604表示ROM; 605表示RAM; 606表示硬盘(HD)。控制单元910包括与数字图像处理单元923、打印机控制接 口 930、和外部4妄口 926交换控制用信息的CPU 601,以及^t喿作 单元603和存储装置602。存储装置602包括提供CPU 601的工作区的RAM 605,以及 存储CPU 601用的控制程序的ROM 604。存储装置602具有存储 触发器信息和登记信息的硬盘(HD)606 ，该触发器信息是用于 切换装置控制操作的信息，该登记信息与相对于触发器信息切 换的装置控制操作的状态变化容许范围有关。操作单元603包括 具有触摸板的，被操作者用来输入要执行的处理的内容，并被 用来通知操作者关于处理、警告等的信息的液晶显示器。打印机单元902的配置接下来将说明打印机单元902的配置。附图标记931表示用 作潜像形成单元的激光扫描器；932表示感光鼓；980表示充电 器；982表示电势传感器；933表示旋转彩色显影装置，其包括 显影装置和显影装置切换单元。激光扫描器931、感光鼓932、 旋转彩色显影装置933构成图像形成单元。附图标记934表示一次转印(primary transfer)辊；935表示中 间转印件；936表示二次转印辊；937b表示压力辊；938、 939、 940和941表示纸盒；942、 943、 944和945表示拾取辊；946表示 手动给纸辊；947、 948、 949和950表示显影装置；951表示从中 间转印件9 3 5去除调色剂的清洁刮板；9 5 2表示从感光鼓9 3 2去除 调色剂的清洁刮板；953表示废调色剂盒。
附图标记954表示第一排出辊；955表示第二排出辊；956 表示反转辊；957表示第三排出辊；958表示第一排出挡板；959 表示第二排出挡板；960表示第三排出挡板；961表示手动插入薄片盘。附图标记962、 963、 964和965表示给送辊；966、 967、 968 和969表示垂直路径输送辊；970b表示定位辊；971表示原始位 置(home position)(以下称为"HP")传感器；972表示HP戳。打印机控制接口 930接收来自控制单元910的CPU 601的控 制信号。打印机单元902基于来自打印机控制接口 930的控制信 号而操作。图5是示出激光扫描器9 31的示例性配置的图。附图标记501表示激光驱动器电路板；502表示准直透镜； 503表示柱面透镜；504表示多面镜；505表示多面镜驱动马达； 506表示图像形成透镜；507表示反射镜；508表示光束检测(beam detection, BD)电^各寺反。激光驱动器电路板501进行控制以发射对应于图像数据信 号的激光束。由准直透镜502和柱面透镜503转换为平行光的激 光束碰到多面镜驱动马达505以恒定速度旋转的多面镜504。由多面镜504反射的激光束沿主扫描方向扫面，通过布置在 多面镜504前面的图 <象形成透镜506和反射4竟507石並到感光鼓 932。充电器980事先对感光鼓932的表面均匀充电。感光鼓932 顺时针旋转。然后，激光扫描器931相应于图像曝光图形，在感 光鼓932上形成颜色分离的静电潜像。在本实施例中，感光鼓932的直径被设置为例如130mm,沿 箭头方向的转速#1设置为135mm/sec。充电器980将感光鼓932 的表面充电为例如-300到-900V。用作表面电势^r测单元的电势 传感器982监视感光鼓的表面电势，从而计算感光鼓的正确表面 电势。旋转彩色显影装置933包括显影装置947、 948、 949和950, 它们分别绕旋转轴970a而布置，且对应于黑色、黄色、品红色 和青色。在本实施例中，显影装置947到950可以从旋转彩色显影装 置933卸下，可以安装在各指定颜色位置。显影装置947到950中的每个提供与感光鼓932上的电荷相 对应的量的调色剂，以显影感光鼓932上的静电潜像。当调色剂图像形成在感光鼓932上，且要显影黑色图像时， 仅使用与黑色相对应的显影装置947。步进马达(未示出)将旋转 彩色显影装置933旋转到如下位置在该位置处，显影装置947 的显影套筒面对感光鼓932。显影装置947对感光鼓932的表面施加与形成在感光鼓932的表面和施加了显影偏压的显影套筒之间的电势量相对应的调 色剂，从而在感光鼓932的表面上显影静电潜像。当要形成彩色图像时，对应于要显影的颜色的显影装置947 到9 5 0绕旋转轴9 7 0 a旋转，以在感光鼓9 3 2的表面上显影静电潜像。顺时针旋转感光鼓932,将形成在感光鼓932上的调色剂图 像 一 次转印(primary transfer)到逆时针旋转的中间转印件93 5上。当形成黑色图像时，中间转印件935的 一 次旋转完成到中间 转印件93 5的 一 次转印(primary transfer)。当形成全色图 <象时， 中间转印件93 5的四次旋转完成 一 次转印(primary transfer)。当在中间转印件935上形成对应于例如A4尺寸或更小尺寸 的指定薄片尺寸的图像时，可以在中间转印件935上形成对应于
两个图像区域、每个图像区域具有指定薄片尺寸的图像。通过各纸盒的才合耳又寿昆942、 943、 944和945, 乂人各纸盒(上纸 盒938、下纸盒939、第三纸盒940和第四纸盒941)拾取薄片。由 各纸盒的给送辊962、 963、 964和965输送的薄片能被垂直路径 车命送寿昆966、 967、 968禾口969專lr送到定4立專昆970b。在手动给纸模式下，堆叠在手动插入薄片盘961上的薄片被 手动给纸辊946输送到定位辊970b。在完成转印到中间转印件935的定时，薄片被输送到中间转 印件935和二次转印辊936之间。然后，在被夹持在二次转印辊9 3 6和中间转印件9 3 5之间的 同时，薄片被朝定影装置输送，并被加压，已将中间转印件935 上的调色剂图像二次转印到薄片上。定影辊973a和压力辊937b对转印到薄片上的调色剂图像加 热和加压，以将图像定影在薄片上。能与中间转印件935接触和分离的清洁刮板951与中间转印 件935接触，以通过刮掉中间转印件935的表面上残留调色剂来 清洁中间转印件935的表面。清洁刮板952从感光鼓932刮掉残留调色剂。然后，调色剂 被送到与感光鼓一体的废调色剂盒953。在第 一薄片排出模式下，第 一排出挡板958被切换到第 一排 出辊954的方向，以向第 一排出辊954排出定影有调色剂图像的 薄片。在第二薄片排出模式下，第 一和第二排出挡板958和959被 切换到第二排出辊955的方向，以向第二排出辊955排出薄片。在第三薄片排出模式下，为了临时执行使用反转辊956的反 转操作，第 一和第二排出挡板958和959被切换到反转辊956的方 向，以使反转辊956反转薄片的输送方向。
在双面打印模式下，与在第三薄片排出模式下相同，通过使用反转辊956临时进行反转操作，第三排出挡板960被切换到 双面单元的方向，以将薄片输送到双面单元。在传感器检测到 薄片后，设备将薄片的输送临时停止预定时间， 一旦图像形成 的准备再次完成，恢复薄片的输送，因而在第二面上进行图像形成。薄片输送仿真接下来，说明根据本实施例的设计支持设备对图像形成设 备上的薄片输送控制的仿真。假定软件仿真单元101使控制软件 在PC上虚拟运行，该控制软件用于控制形成图像形成设备的虚 拟模拟的打印机单元中的薄片输送机构等。控制软件的检验以 对薄片的输送控制作为控制目标为例进行说明。然而，显然， 本发明的要旨不限于此，本发明还可以应用于对构成图像形成 设备的感光鼓932和中间转印件935的驱动定时的控制。图4是示出构成与薄片输送控制有关的薄片输送机构的各 种装置的布置例子的图。辊R 405在if各径AB上沿实线箭头方向 输送薄片P。马达M 401通过离合器CL 402驱动辊R 405。传感器S 404才全观'J薄片P。挡板FL 403在薄片P的前沿通过传 感器S 404的定时被切换。对挡板FL 403的切换使得能够将输送 路径切换到输送路径BC或BD。当设计者使用键盘106、鼠标107等发出指令以开始薄片输 送仿真时，OS 103通过输入监示单元104启动软件仿真单元101 和机构仿真单元102。当软件仿真单元101启动时，控制软件单元310、包单元311 以及OS 103协作，以顺序执行对真实世界中的图像形成设备进 行薄片输送控制的控制软件。当开始旋转马达M 4 01的处理开始时，包单元311和控制软
件单元310通过输出接口单元313输出指定马达M 401的ID号、 转速和旋转方向作为命令。机构仿真单元10 2的输入接口单元 324接收从输出接口单元313输出的该命令。然后，装置驱动计 算单元321接收该命令。装置驱动计算单元321判断出该命令是用于驱动马达M 401的命令，开始马达M401的旋转驱动计算。然后，装置驱动 计算单元321基于与连接到辊R 405的马达M 401和离合器CL 402有关的信息，判断是否旋转辊R 405。此时，由于马达M401 正在旋转且离合器CL 402处于初始状态，因此，装置驱动计算 单元321判断为不旋转辊R 405。当开始对离合器CL 402的控制时，包单元311和控制软件单 元310通过输出接口单元313输出指定离合器CL 402的ID号和 ON/OFF状态作为命令。机构仿真单元102的输入接口单元324 接收从输出接口单元313输出的该命令。然后，装置驱动计算单 元321接收该命令。装置驱动计算单元321分析该命令，并判断出该命令是针对 离合器CL 402的，是将离合器CL 402从OFF状态切换到ON状 态。因为马达M401正在旋转且离合器CL 402处于ON状态，因 此装置驱动计算单元3 21以基于马达M 4 01的驱动命令的转速 和S走转方向^走转4昆R 405。薄片位置计算单元320以预定时间间隔t计算薄片P的前沿 和后沿的位置。首先，薄片位置计算单元320读出路径AB的路 径信息，包括薄片P的前沿和后沿之间的间隔。薄片位置计算 单元3 2 0所保持的路径信息包括每个路径中的辊的ID,以及对 应的位置信息。薄片位置计算单元3 2 0搜索薄片P的前沿位置到后沿位置 之间的间隔中的辊，基于搜索结果，使用第一辊R 405的ID向装
置驱动计算单元321询问辊R 405的速度v。作为薄片P的位置， 薄片位置计算单元320基于从装置驱动计算单元321获得的速度 v和时间间隔t，获得薄片P在时间间隔t中已移动的距离S=vxt。 薄片位置显示单元330接收薄片P的更新后的位置信息。薄片位 置显示单元330通过输出接口单元325输出薄片位置计算单元 320计算的薄片的位置信息，指示显示控制单元105显示薄片输 送仿真窗口 201。薄片位置计算单元3 2 0所保持的路径信息包括在每个模拟 的路径中的传感器的ID,以及位置信息。薄片位置计算单元320 从薄片P的前沿位置到后沿搜索传感器，将用于接通传感器S 404的输出的ON信息送到输出接口单元325。在薄片P的前沿已 通过传感器S 404的状态下，薄片位置计算单元320将用于断开 传感器S 404的输出的OFF信息送到输出接口单元325。输出接口单元325向软件仿真单元101的输入接口单元312 输出传感器S 404的ON信息作为命令。控制软件单元310接收来自输入接口单元312的传感器S 404的ON信息，开始控制挡板FL 403。命令向机构仿真单元102 的传送与马达M 401和离合器CL 402的情况几乎相同。在开始控制挡^反FL 403时，通过输出4妄口单元313输出指定 挡板FL 403的ID号和旋转方向作为命令。机构仿真单元102的输 入接口单元324接收从输出接口单元313输出的该命令。然后， 装置驱动计算单元321接收该命令。一旦接收到控制挡板FL 403的命令，机构仿真单元102中的 装置驱动计算单元321将与具有相应ID的挡板有关的切换信息 送到薄片位置计算单元320。薄片位置计算单元320基于挡板切 换信息，切换对应ID的挡板FL 403的方向。当薄片P的前沿到达 分支点B时，薄片位置计算单元320根据挡板FL 403的切换状
态，判断薄片将行进到的路径是路径BC还是路径BD。基于判 断结果，改变对应路径的路径信息。 控制软件过程接下来，说明根据本发明实施例的设计支持设备中的控制软件检验方法。以下以薄片输送辊的控制定时和二次转印辊936 的高压控制定时为例进行说明。检验薄片输送辊的控制定时是检验薄片输送辊的旋转控制 和停止控制是否相对于在输送路径中输送的薄片的输送位置在 正确的定时被执行。检验二次转印辊的高压控制定时是检验将 中间转印件935上的调色剂图像转印到通过二次转印辊935的薄 片P上高压ON/OFF控制是否相对于薄片的输送位置在正确的 定时祐j丸4亍。图IO是示出根据本实施例的设计支持设备进行的控制软件 检验过程的流程图。首先，在步骤S1001,该设备生成输送辊 和二次转印辊的控制配置文件(profile)。每个控制配置文件包 括与作为控制目标的装置有关的信息，与装置的控制类型有 关的信息(辊驱动控制、高压ON/OFF控制等)，与装置的控制项 有关的信息，以及与对应于控制项的设置值有关的信息。图ll是示出作为控制对象的辊Rl、 R2、 R3和R4的配置文 件的示例性图。图11和9中的辊具有如下对应关系111=垂直路 径输送辊967， 112=垂直路径输送辊966, R3:定位辊970b, R4= 二次转印辊936。在每个控制配置文件中，对每个控制目标指定例如辊控制 或高压控制的控制类型，并登记控制项和对应的设置值。例如， 关于对辊R1的驱动控制，当以两种加速度之一驱动辊时，登记 控制项"加速度A"或"加速度B"以及对应的设置值。所生成的控 制配置文件在才几构仿真单元102对从软件仿真单元101发出停止辊的指令到辊减速并完全停止期间的物理现象进行仿真时使用。在步骤S1002,设备登记触发器信息作为用于切换对每个装置的控制的信息。设计者可以通过例如键盘10 6或鼠标10 7来 登记触发器信息。存储装置602的硬盘(HD)606或RAM 605存储 所登记的触发器信息。图12是示出用于切换对构成输送机构的辊的控制的触发器 信息的登记例子的图。每个触发器信息能被选择性地登记为 控制触发器，用于主动对装置的控制进行控制；或者现象触发 器，其基于与薄片的相对关系，例如薄片的进入或退出，。控制触发器被写为当切换装置的控制状态的开始条件被满 足时执行的控制内容。现象触发器被写为作为控制目标的装置 (在图12的情况下，是辊R2、 R3和R4)与被输送的薄片之间的相 对位置关系。注意，控制触发器和现象触发器两者都不是检验控制软件 的必要登记项，可以根据要控制的目标仅登记控制触发器来检 验控制软件。参考图12,例如，登记号T1表示如下控制触发器其使控制 软件在满足开始条件"在第三薄片的后沿离开作为控制目标的 辊R3后"后，"开始对辊R3的减速控制"。在装置驱动计算单元321通过输出接口单元313和输入接口 单元324接收到表示控制软件单元3 IO开始对辊R3的减速控制 的命令的定时，检测到对应于登记号Tl的控制触发器。登记号T2表示如下控制触发器其是控制软件在满足开始 条件"在第三薄片的后沿离开作为控制目标的辊R3后，，后，"开始 对辊R3的减速控制，以物理完成减速"。一旦接收到表示开始对辊R 3的减速控制的命令输入，装置 驱动计算单元3 21基于图11所示的配置文件信息(# 8)计算辊R 3 的旋转驱动。然后，装置驱动计算单元321检测辊R3从减速状 态到停止状态的转速变化定时，作为对应于登记号T 2的减速完成定时。登记号T3表示作为现象触发器的"当第四薄片的前沿已碰 到辊R3时的定时"。在装置驱动计算单元321接收到表示薄片位置计算单元320 计算的第四薄片的前沿位置到达辊R3位置的信息的定时，检测 到对应于登记号T3的现象触发器。当登记触发器时，可以使用图12所示的简单地设置各项的 GUI(图形用户界面)。指定下拉列表中的"触发器选择"项1201 可以将"控制"或"现象"登记为触发器。还可以进行显示控制， 使得当触发器选择选择了任一触发器时，例如选择了 "控制"(触 发器)时，"现象，，(触发器)输入区域变灰，以禁止输入操作。关 于与"控制，，和"现象，，相对应的状态变化的各详细项，可以在下 拉列表中设置各详细项("次数"、"控制类型"、"类型"、"现象"、 "控制，，等)。允许在下拉列表中选择和设置项，这使得可以高效 率地进行登记操作。注意，在图12中的触发器登记中，控制目标不限于辊。例 如，可以登记与中间转印件935和感光鼓932等有关的状态变化。 登记与作为控制模范装置的中间转印件935和感光鼓932等有关 的触发器能够检验中间转印件935和感光鼓932的驱动定时等。返回来参考图IO,在步骤S1003中，该设备登记与对由触 发器信息切换的装置的控制有关的状态变化容许范围(最小容 许值(Min)和最大容许值(Max))。设计者可以通过例如4建盘106 或鼠标107等输入单元登记状态变化容许范围。存储装置602的 硬盘(HD)606或RAM 605存储所登记的状态变化容许范围。
图13是示出状态变化容许范围的设置例子的图。 假定该设备开始减速输送辊R3，完成减速(临时停止)，检验薄片的前沿碰到输送辊R3的定时。在这种情况下，设备登记 图12中的登记号T1和T3，如图13中的附图标记1302和1303所示。在最小值(Min)和最大值(Max)输入区域中登记将差 "(T3)-(T1)"定义为容许范围的特定值。最小值Min 13(M和最大 值M a x 13 0 5是考虑到将辊R 3从其开始减速到完全停止的减速 过程所需的时间(对应于T 2 - T1)而确定的i殳置值。图13中的附图标记1306表示如下设置其用于检验辊R3(对 应于图9中的定位辊9 70b)在薄片的前沿碰到辊R 3前物理且完全 停止的定时。图13中的附图标记1307表示如下设置其用于检验辊R2(对 应于图9中的垂直路径输送辊966)在薄片的前沿碰到辊R2前开 始加速的定时。在这种情况下，对应于登记号T4和T5中的每个 的项目"次数，，中的"n"表示要输送的第任意个薄片，对应于登记 号T6的项目"次数"中的"n+l"表示第任意+l个薄片。图13中的 设置区域1307和设置区域1308表示如下设置其用于检验第任 意个薄片(n)与第任意(n)+1个薄片之间的状态变化的定时。令T4是辊R2在第任意(n)个薄片的后沿离开辊R2后辊R2开 始加速的时刻，T6是第(n+1)个薄片的前沿碰到辊R2时的时刻。 如果定时差(T6)-(T4)落入容许范围，则状态变化的定时 ((T6)-(T4))被确定为正常。图13中的附图标记1308表示如下设置其用于检验在薄片 的前沿碰到辊R2(对应于图9中的垂直路径输送辊966)之前，辊 R 2结束加速并设置为恒定速度状态的定时。关于对应于登记号T4的设置，假定即使在第n个薄片的前 沿离开辊R2且开始加速控制之前对辊R2进行加速控制之外的控制操作，例如减速控制，也在判断条件时忽略控制操作。附图标记1309和1310表示如下设置其用于4企验在第任意 (n)个薄片的后沿离开辊R4后的预定定时，对辊R4(图9中的二次 转印辊936)进行的高压控制是否开始断开或完成断开。附图标记1311和312表示如下设置其用于#全验相对于前 沿已碰到辊R3的第任意(n)个薄片，辊R3(图9中的定位辊970b) 是否在预定定时开始加速和完成加速。附图标记1311和1312表 示的设置可以检验是否已形成了足够的用于校正歪斜的环量。返回来参考图10,在步骤S1004中，设备开始检验。CPU 601 参考装置的输入操作状态和登记在存储装置602(RAM 605或 HD 606)中的触发器信息。然后，CPU 601检验控制触发器的开 始条件是否满足，以及由于切换控制而导致的装置的状态变化 是否落在容许范围外。在这种情况下，可以通过使用软件仿真单元101等获得的仿 真结果来检验所输入的装置的操作状态。可选地，可以作为数 据输入使控制软件操作实际图像形成设备所获得的结果，并使 用该数据来进行检验，而不使用任何仿真结果。当设计者使用键盘10 6和鼠标10 7等发出指令以开始薄片输 送仿真时，OS 103、软件仿真单元101和纟几构仿真单元102通过 输入监示单元104启动。当软件仿真单元101启动时，控制软件 单元310、包单元311和OS 103协作，以顺序4丸行用于对真实世 界中的图像形成设备进行薄片输送控制的控制软件。机构仿真 单元102的输入接口单元324从输出接口单元313接收仿真结果。 然后，装置驱动计算单元321接收该结果。装置驱动计算单元321判断输入结果是否对应于所登记的 触发器中的任一个(图12)。如果该结果对应于所登记的触发器， 则装置驱动计算单元321判断该结果是否与图13示意性示出的 容许值的枱、验项匹配。如果该结果与容许值的检验项匹配，则判断基于由装置驱动计算单元321和薄片位置计算单元320获得的计算结果而获得 的状态变化是否落入容许范围(由最小值和最大值确定)。如果由计算而获得的状态变化超过容许范围，则装置驱动 计算单元321通过薄片位置计算单元320通知薄片位置显示单元 330相应信 息o薄片位置显示单元330指示显示控制单元105在薄片输送仿 真窗口 201中改变对应控制目标的显示颜色。薄片位置显示单元 330还通知已发生的非正常状态的具体内容。该具体内容包括 与非正常状态相对应的容许值的验证项，所设置的容许值，以 及由计算而获得的状态变化的定时(参加图2B)。图2 B是示出当在如下情况下所显示的识别指示的示意图 在所述情况下，"对薄片的前沿碰到辊R3前，辊R3(图9中的定 位辊9 7 0 b)物理且完全停止的定时的检验"的检验结果超过了容 许范围。仿真计算的状态变化值是210，其落在容许范围(最小 容许值为O,最大容许值为200)外，因此，^^验结果为NG。该 识别指示能识别出装置控制中超过容许范围的缺陷部分。设计 者能基于显示在显示器108上的内容，在显示控制单元105的控 制下，判断设计上的任何问题。校正控制程序，使得通过计算 而获得的状态变化的定时落在容许范围内，这使得能够消除非 正常状态。如果在图10中的步骤S1005中判断为继续控制程序的检 验，则处理返回步骤S1002以新登记触发器(图12)并设置容许值 (图13)。这使得能重复进行检验。进行详细的触发器设置能对 切换对装置的控制时的控制定时进行详细检验。在触发器的登
记中，可以根据要检验的控制对象细或粗地设置触发器。在本实施例中，作为图12中的现象触发器，以与辊的相对 位置关系的形式设置薄片位置，例如薄片的前沿碰到构成输送 机构的辊的定时，或者薄片的后沿离开辊的定时。现象触发器 的设置不限于薄片和辊之间的相对位置关系。例如，如果薄片 的输送位置能被实时掌握，则可以将薄片的前沿到达输送路径 上的预定位置的定时写为现象触发器。的情况。可以事先存储控制软件的执行处理，在基于所存储的 信息执行控制软件后，进行检验。此外，本实施例能高效率地检验用于控制设备的控制软件。第二实施例第 一 实施例以检验针对图像形成设备的输送机构的控制软 件为例进行了说明。与之相对地，第二实施例以检验图像形成 单元为例，即检验在厚纸上形成全色图像的控制程序为例，进行说明。图14A是在厚纸上形成全色图像的情况的时序图。附图标记1401表示驱动感光鼓932和中间转印件935的DC 无刷马达(未示出)的速度变化定时；1402表示原始位置(HP)信 号，用于确定图像形成定时。HP传感器971每当检测安装在中 间转印件93 5内部的HP戳972时输出该信号。附图标记1403表示基于图像数据的激光束发射定时。在HP 信号1402之后的预定时间段，开始发光。在这种情况下，构成 对应于A4尺寸的全色图像的Y(黄色)、M(品红色)、C(青色)和 K (黑色)图像按照上述顺序依次形成。附图标记14 04表示将形成 在感光鼓932上的调色剂图像一次转印到中间转印件935上的定 时。附图标记1405表示当旋转旋转彩色显影装置933以使另一
显影装置靠近感光鼓932时的定时；1406表示当充电器对感光鼓 932的表面充电时的定时。像二次转印到薄片上的定时。该定时相对于HP信号1402而确定。附图标记1410表示从形成潜像到二次转印的时间段；1450 表示从HP信号14 2 4的输入到二次转印的时间。当在厚纸、信封或例如OHP薄片的薄片上形成图像时，设 备以与普通纸相同的定影速度不能足够地将调色剂定影在薄片 上。因此，需要将定影速度设置为比普通纸低。在这种情况下， 在将同一薄片同时输送到定影辊973a、压力辊937b、以及二次 转印辊936的配置中，需要根据定影速度降低中间转印件935的 转速。根据图14A的时序图，在从全色图像的最后颜色的K图像的 一次转印完成开始经过附图标记1440表示的时间后，将马达 1401的转速降低为第 一转印的1/2。在马达1401的转速稳定在低 速状态，且从再次检测到HP信号1424的定时开始经过了预定时 间1450之后，中间转印件935上的调色剂图像二次转印到薄片 上。在这种情况下，设备确定从检测到HP信号1424的时刻到开的转速无关。因此，如果马达1401在定时1490尚未完成减速， 则中间转印件935上的调色剂图像相对于输送到二次转印辊936 的薄片来说进行得过多。其结果是，调色剂图像的前沿位置与 薄片的前沿位置偏离。接下来，将说明激光束1403的发射定时。在这种情况下， 使品红色显影装置949靠近感光鼓932的定时1492晚，旋转彩色
显影装置933的旋转振动影响激光发射。因此，在品红色分量的潜像的前沿附近，形成不希望的条带等。此外，当品红色分量的潜像的前沿到达品红色显影装置949的显影套筒时，显影套筒 的启动比正确定时晚。因此，图像前沿的颜色轻。根据本实施例的设计支持设备检验控制软件中引起该问题 的缺陷。设计支持设备进行的控制软件检验过程按图10所示的 流程图进行。在步骤S1101，设备生成控制配置文件。然而，如果设备 进行使用实际图像形成设备的检验，则无需生成各种马达、辊 等的配置文件。这是因为，设备能实际测量值，而不使用任何 配置文件。在步骤S1002，设备登记用于切换装置控制操作的触发器。 图16是示出用于切换构成图像形成单元的机械单元的控制操作 的控制触发器的登记例子的图。登记号T161表示如下控制触发器在满足开始条件"在任 意项(n)中的黑色分量(K)的一次转印完成，且一次转印高压控 制的断开完成之后"之后，"开始中间转印件935(ITB)的驱动马 达的减速"。登记号T163表示如下控制触发器在满足开始条件"在任 意项(n)中的黑色分量的一次转印完成，且一次转印高压控制的 断开完成之后"之后，"识别出HP传感器971已检测到HP戳972"。登记号T165表示如下控制触发器在满足开始条件"在任 意项(n)中的黄色分量(Y)的静电潜像的形成完成，且激光二极 管(LD)的曝光完成之后"之后，"完成旋转彩色显影装置933(DR) 的减速"。登记号T166表示如下控制触发器在满足开始条件"在任 意项(n)中的黄色分量的静电潜像的形成完成，且激光二极管的 曝光完成之后"之后，"开始LD的曝光以开始形成下 一颜色分量 的静电潜像"。在图10中的步骤S1003,相对于被触发器切换的装置控制 来设置状态变化容许范围。图17是示出状态变化容许值的设置例子的图。图17中的附图标记1701表示如下设置其用于^r验在检测 到HP信号1424(控制触发器T163)前，是否已开始中间转印件 935(ITB)的驱动马达的减速(触发器T161)。图17中的附图标记1702表示如下设置其用于才全验在检测 到HP信号1423(控制触发器T163)之前，是否已完成中间转印件 9 3 5 (IT B)的驱动马达的减速。图17中的附图标记1703表示如下设置其用于检验在激光 二极管的曝光开始前(控制触发器T166),是否已开始旋转彩色 显影装置933的加速(控制触发器T164)。图17中的附图标记1704表示如下设置其用于4全验在激光 二极管的曝光开始前(控制触发器T166),是否已完成旋转彩色 显影装置933的加速(控制触发器T165)。在完成触发器的登记(S 1002)和容许值的设置(S 1003)后，设 备开始步骤S10 04中的检验。当设计者发出指令以开始利用操 作单元603的图像形成时，设备根据与参考真实世界中的图像形 成设备描述的过程相同的过程开始图像形成。在图像形成期间， CPU 601作为RAM 605中的日志信息顺序存储与例如马达、 高压和激光等各种负载有关的ON/OFF控制信息，以及来自传感 器的输入信息等。设备将在这种情况下存储的日志信息发送到 通过外部接口 926连接的PC等。日志信息包括与图16所示的 控制触发器列表中的每项相对应的信息；以及与控制触发器导 致的状态变化相对应的时间信息。 一旦完成了图像形成处理，根据图18所示的第二实施例的 设计支持设备检验控制软件。与第 一 实施例中相同的附图标记 表示设计支持设备的相同构成元素，省略其说明。输入装置1801将从图像形成设备获取的日志信息输入到设计支持设备。在这种情况下，该输入装置是如下装置通过例 如软盘等存储介质输入数据的装置；或者由RS-232或USB连接 输入数据的装置。检验单元1803基于输入装置1801输入的日志信息，检验控 制软件。图19是示出检验单元1802的具体配置的框图。接口单元1901输入从输入装置1801输入的日志信息。定时 比较处理单元19 02基于图16所示的控制触发器的列表和图17所 示的容许值列表，进行输入日志信息的比较处理。检验单元1802从日志信息中读出对应于所登记的触发器的 时间信息，将其与登记为检验项的容许值比较，从而判断状态 变化是否落入容许值的范围(由最小值和最大值确定的容许范 围)。基于定时比较处理单元1902获得的比较处理结果，时序图 生成单元1903生成用于显示与图14A相对应的时序图的信息。 时序图显示单元1904将时序图生成单元1903生成的信息输出到 显示控制单元105。在这种情况下，定时比较处理单元1902进行与参考上述装 置驱动计算单元321说明的处理相同的处理。如果定时比较处理 单元1902判断为状态变化超过容许范围，则时序图生成单元 1903接收判断结果。如果状态变化超过容许范围，则时序图生成单元1903生成 设计者能简单地识别的识别显示数据。时序图显示单元1904接 收识别显示数据，将时序图生成单元19 0 3生成的识别显示数据
输出到显示控制单元105。基于显示输入时序图用的输入信息，显示控制单元105在显 示器108上显示与图14A相对应的时序图。此外， 一旦接收到识 别显示数据，显示控制单元105能在显示器108上与时序图(图 14 A) —起显示识别指示，该识别指示用于通知设计者状态变化 超过了容许范围。图14B是示出如下情况下的识别指示的示例性图在该情 况下，"对在激光二极管开始曝光(T166)之前，旋转彩色显影装 置933的减速是否完成(T165)进行检验"的检验结果超过了容许 范围。基于日志信息的实际测量值为380,其落在容许范围(最 小容许值为400，最大容许值为430)外，因此，检验结果为NG。 该识别指示允许识别出装置控制中超过容许范围的缺陷部分。通过利用键盘106或鼠标107等的输入操作，在显示在显示 器108上的输入窗口 (未示出)中，设计者能登记图16所示的控制 触发器和图17所示的容许范围。在输入窗口中，与第一实施例 中的相同，可以使用GUI(图形用户界面)简单地设置每项。在根据本实施例的设计支持设备中，RAM 605等在CPU 601的处理期间，将从输入装置1801输入的数据存储为日志信 息。然而，本发明的要旨不限于此。例如，设备可以从输入装 置18 01接收由连接到马达的信号线的测量装置测量的信息，并 基于该信息进行检验。即使在不允许使用将控制软件作为检验 目标进行仿真的软件仿真单元101的环境中，该方法也允许基于 从实际设备获取的信息，高效率地检验控制软件。本实施例能够高效率地检验用于控制设备的控制软件。其它实施例本发明的目的还可以这样实现向系统或设备提供存储有 实现上述实施例的功能的软件代码程序的存储介质，使系统或
序代码。在这种情况下，从存储介质读出的程序代码本身实现上述 实施例的功能，该存储有程序代码的存储介质构成本发明。作为提供程序代码的存储介质，可以使用软盘、硬盘、光盘、磁光盘、CD-ROM、 CD-R、非易失性存储卡、ROM等。 上述实施例的功能不仅可以由计算机执行读出的程序代码来实现，还可以由运行在计算机上的OS(操作系统)基于程序代码的指令执行部分或全部实际处理来实现。尽管参考示例性实施例说明了本发明，但应理解，本发明不限于所公开的示例性实施例。所附权利要求书的范围符合最宽的解释，以覆盖全部这种变形、等同结构和功能。
权利要求
1.一种设计支持方法，用于检验对图像形成设备中的装置的控制，所述方法包括以下步骤将触发器信息登记在存储单元中，所述触发器信息用于指定当满足用于切换所述装置的控制状态的开始条件时要执行的控制的内容；将由当满足所述开始条件时切换的控制而引起的状态变化的容许范围登记在所述存储单元中；以及通过参考通过输入单元所输入的所述装置的操作状态和登记在所述存储单元中的所述触发器信息，检验由当满足所述开始条件时切换的所述控制而引起的所述装置的状态变化是否落在所述容许范围外。
2. 根据权利要求l所述的设计支持方法，其特征在于，所述触发器信息包括为了切换所述装置的控制状态由作为控制目标的装置与所输送记录介质之间的相对位置关系所确定的信 自
3. 根据权利要求l所述的设计支持方法，其特征在于，在 检验步骤中，基于通过输入单元模拟图像形成设备的仿真操作 的虚拟装置的仿真结果，检验所述装置的状态变化是否落在所 述容许范围外。
4. 根据权利要求l所述的设计支持方法，其特征在于，在 检验步骤中，基于从通过输入单元操作实际图像形成设备的结 果而获得的信息，检验所述装置的状态变化是否落在所述容许 范围外。
5. 根据权利要求l所述的设计支持方法，其特征在于，还 包括如下步骤使显示单元显示用于识别在检验步骤获得的检 验结果落在所述容许范围外的显示信息。
6. —种设计支持设备，其检验对图像形成设备中的装置的 控制，所述设计支持设备包括触发器信息登记单元，其将触发器信息登记在存储单元中， 所述触发器信息用于指定当满足用于切换所述装置的控制状态的开始条件时要执行的控制的内容；容许范围登记单元，其将由当满足所述开始条件时切换的 控制而引起的所述装置的状态变化的容许范围登记在所述存储 单元中；以及检验单元，其通过参考通过输入单元所输入的所述装置的 操作状态和登记在所述存储单元中的所述触发器信息，检验由 当满足所述开始条件时切换的所述控制而引起的所述装置的状 态变化是否落在所述容许范围外。
7. 根据权利要求6所述的设计支持设备，其特征在于，所 述触发器信息包括为了切换所述装置的控制状态由作为控制 目标的装置与所输送记录介质之间的相对位置关系所确定的信 息。
8. 根据权利要求6所述的设计支持设备，其特征在于，所 述检验单元基于通过输入单元模拟图像形成设备的仿真操作的 虛拟装置的仿真结果，检验所述装置的状态变化是否落在所述 容许范围外。
9. 根据权利要求6所述的设计支持设备，其特征在于，所 述检验单元基于从通过输入单元操作实际图像形成设备的结果 而获得的信息，检验所述装置的状态变化是否落在所述容许范围外。
10. 根据权利要求6所述的设计支持设备，其特征在于，还 包括显示控制单元，用于使显示单元显示用于识别由所述检验 单元获得的检验结果落在所述容许范围外的显示信息。
全文摘要
本发明提供一种设计支持方法和设计支持设备。该设计支持方法用于检验对图像形成设备中的装置的控制，其将用于指定当满足用于切换所述装置的控制状态的开始条件时要执行的控制的内容的触发器信息登记在存储单元中(S1002)。然后，将由当满足所述开始条件时切换的控制而引起的状态变化的容许范围登记在所述存储单元中(S1003)。然后，通过参考通过输入单元所输入的装置的操作状态和登记在所述存储单元中的触发器信息，检验由当满足所述开始条件时切换的控制而引起的装置的状态变化是否落在容许范围外(S1004)。
文档编号B65H5/06GK101149681SQ200710153038
公开日2008年3月26日 申请日期2007年9月20日 优先权日2006年9月20日
发明者大野彻, 森泽晃, 池上英之, 芹泽雅弘 申请人:佳能株式会社