特性的e~h。因此，无法直接设计数字相位补偿器。
[0144] 在该实施方式中，为了解决上述问题1，针对符号确定条件（SDC)来使用专用QE算 法。此外，为了解决上述问题2,通过针对SDC的专用QE算法来设计模拟相位补偿器的满足 规格的参数区域Rc。
[0145] 优选地，对用于设计控制系统的各种条件进行描述。SDC可以被限定为下述表达式 21〇
[0146] [表达式 21]
[0147] < X <U -4 /(a'l > Ο), x € It,
[0148] 在表达式21中，f(x)由第n阶实系数多项式来表示。相对于在表达式 20中限定的SDC，有效地消去了量词符号。作为消去量词符号的一个示例，通过参 照"H. Iwane, H. Higuchi 和 Η· Anai, 'An effective implementation of a special quantifier elimination for a sign definite condition by logical formula simplification, ' CASC.，to appear, 2013" 来提出表达式 22。
[0149] [表达式 22]
[0150]
[0151] 在表达式22中，ω表不具有量词符号的变量，而b和k表不没有量词符号的变量。 在表达式22中，通过QE算法来消去ω。
[0152] 通过将表示由表达式20表示的频率特性规格的脉冲传递函数Κ[ζ]替换为K(s)， 在SDC中得到表达式22。将与DC-DC转换器1相关的电路常数替换成L (j ω)，并且应用上 述的QE算法，以使得获取满足K(s)的规格的参数区域Rc。
[0153] 如表达式23中所表示的，认为通过塔斯汀转换使模拟相位补偿器Kc(s)的频率特 性近似于数字相位补偿器Kd (z)。
[0154] [表达式 23]
[0155]
[0156] 也就是说，通过将表达式25替换为模拟相位补偿器Kc (s)(表达式24)并且进行 塔斯汀转换来获取表达式26。
[0157] [表达式 24]
[0163] 此后，数字相位补偿器Kd(z)的系数adl、bd。以及b dl由模拟相位补偿器Kc(s)的 系数a。。b。。以及b。沫表示。
[0164] [表达式 27]
[0165]
[0166] 因此，可以分别通过系数adl、bd。以及b dl来表示模拟相位补偿器Kc (s)的系数a ^ b。。以及b d。
[0167] [表达式 28]
[0168]
[0169] 通过将此表达式28替换至参数区域Rc的多项式中，可以获取参数区域Rd。
[0170] 由于通过塔斯汀转换的近似，可以在充分接近采样频率的频带处获取足够的精 度。因为DC-DC转换器1优选的控制带（大约3kHz)大大低于采样频率（90kHz)，所以可以 获取其中通过QE算法获得的模拟相位补偿器Kc (s)以足够的精度近似的数字相位补偿器 Kd (z) 〇
[0171] 因此，可以根据模拟相位补偿器Kc (s)的参数Rc来获取接管频率特性的数字相位 补偿器Kd(z)的参数区域Rd。可以针对每个DC-DC转换器1的制造分散体来获取数字相位 补偿器Kd(z)的参数区域Rd。从满足规格的区域中获取共同区域ARd，并且针对多个数字 相位补偿器Kd(z)，共同区域ARd与参数区域Rd分别地交叠。
[0172] DC-DC转换器1的采样周期h大约为100kHz，并且显著地短。重要的是，通过使用 QE算法来精确地获取参数区域Rc。此外，目前塔斯汀转换被称作从模拟数据至数字数据的 最精确的转换。通过由塔斯汀转换将精确地获取的参数区域Rc转换为参数区域Rd，可以以 较高的精度来获取数字相位补偿器Kd (z)的参数区域Rd。
[0173] 通过包括如图10中所示的硬件配置的信息处理设备100来执行根据实施方式的 参数确定方法。图10是示出信息处理设备的硬件配置的图。在图10中，信息处理设备100 被认为是由计算机控制的终端，并且包括作为中央处理单元（CPU) 11的处理器、主存储装 置12、辅助存储装置13、输入装置14、显示装置15、通信接口（I/F) 17以及驱动装置18,以 上经由总线B相互连接。
[0174] CPU 11根据存储在主存储装置12中的程序来控制信息处理设备100。作为主存 储装置12,随机存取存储器（RAM)和只读存储器（ROM)等用于存储或暂时保留要由CPU 11 执行的程序、用于由CPU 11处理的数据、在CPU 11处理中获得的数据等。
[0175] 作为辅助存储装置13,硬盘驱动器（HDD)等可以用来存储多组数据和用于执行各 种处理的各种程序。存储在辅助存储装置13中的程序的一部分被下载至主存储装置12中， 并且由CPU 11执行，以实现各种处理。存储部130可以包括主存储装置12和/或辅助存 储装置13。
[0176] 输入装置14包括鼠标、键盘等。输入装置14由用户使用，以输入用于通过信息处 理设备100执行的处理的各种信息项。显示装置15在CPU11的控制下显示各种信息项。通 信I/F 17经由有线网络或无线网络进行通信。由通信I/F 17进行的通信不限于无线通信 或有线通信。
[0177] 例如，可以将用于实现由信息处理设备100执行的处理的程序提供给具有记录介 质19如光盘只读存储器（CD-ROM)的信息处理设备100。
[0178] 驱动装置18接合在设置到驱动装置18中的记录介质19 (其可以是CD-ROM等） 与信息处理设备100之间。
[0179] 此外，根据实施方式，记录介质19存储用于实现各种处理的程序。存储在记录介 质19中的程序被安装到信息处理设备100中。所安装的程序成为通过信息处理设备100 可执行。
[0180] 注意的是，用于存储程序的记录介质不限于⑶-R0M，而是可以使用任何类型的计 算机可读记录介质。作为计算机可读记录介质，可以使用数字多功能磁盘（DVD)、便携式记 录介质如通用串行总线（USB)存储器或者半导体存储器如闪速存储器。
[0181] 图11是示出信息处理设备的简要配置的图。在图11中，信息处理设备100包括 DSP位数54、规格53以及由开发者制备的多个电路常数51。
[0182] 输入数据50包括多个电路常数51。多个电路常数51中的每一个对应于多个参数 组r q、rd、^、L和C，并且基于制造分散体来指示参数的不同值。多个电路常数51被认为是 数据文件，其中每个数据文件列出参数值。规格53被认为是包括指示频率特性的数据以及 至少上述规格1至规格4的约束条件的数据文件。DSP位数54指示设计的DSP 4的位数。
[0183] 参数确定部40通过使用输入数据50来执行将在后面描述的参数确定部过程，并 且输出可实施参数59。通过使用多个电路常数51来获取与DC-DC转换器1的制造分散体 相对应的可实施参数59。
[0184] 图12是示出信息处理设备的功能配置示例的图。在图12中，信息处理设备100 包括参数确定部40。存储部130存储输入数据50、等效电路50a、多个传递函数模型55、Rc 区域数据56、Rd区域数据57、ARd区域数据58、可实施参数59等。
[0185] 参数确定部分40还包括输入部41、传递函数模型计算部42、Rc区域计算部43、Rd 区域计算部44、ARd区域计算部45以及确定部46。输入部41、传递函数模型计算部42、Rc 区域计算部43、Rd区域计算部44、ARd区域计算部45以及确定部46与由执行相应程序的 CPU 11执行的各个过程相对应。
[0186] 输入部41获取来自开发者的输入数据50,并且将数据存储在存储部130中。输入 数据50包括多个电路常数51、规格53和DSP位数54。
[0187] 电路常数51中的每一个与表示DC-DC转换器1的等效电路50a (图3)的内部各 电路常数的参数值的组合相对应。开发者对制造分散体进行估计，以获取参数值。也就是 说，电路常数51中的每一个将r q、rd、a、L和C的值指示为组合。电路常数51取决于制造 分散体来指示不同值的组合。
[0188] 由开发者创建等效电路50a，并且将其存储在存储部130中。通过针对电路常数 51中的每一个来将参数值应用于等效电路50a，可以实现其中反映制造分散体的各种等效 电路。通过多个电路常数51和等效电路50a，基于不同的制造分散体来表示多个等效电路。 替代电路常数51，其中反应不同制造分散体的多个等效电路50a通过输入部41被存储在存 储部130中。
[0189] 规格53包括频率特性。作为示例，上述的规格1至规格4可以包括在规格53中。 DSP位数54指示要被设计的DSP 4的位数。DSP 4对应于数字相位补偿器。
[0190] 传递函数模型计算部42基于多个电路常数51和等效电路50a(即基于每个其中 反映不同制造分散体的多个等效电路）通过使用状态空间平均法来针对DC-DC转换器1的 每个制造分散体而创建传递函数模型55。在存储部130中创建多个传递函数模型55。
[0191] Rc区域计算部43通过使用多个传递函数模型55中的每一个以及通过针对SDC的 专用QE算法来对模拟相位补偿器的满足规格53的参数区域Rc进行计算。对多个参数区 域Rc进行计算，并且将其存储在存储部130中。Rc区域数据56指示多个参数区域Rc。多 个参数区域Rc中的每一个由多项式来表示。
[0192] Rd区域计算部44相对于由Rc区域计算部43计算的多个参数区域Rc中的每一个 来通过执行塔斯汀转换而对参数区域Rd进行计算。获取多个参数区域Rd，其与由Rc区域 计算部43计算的参数区域Rc相同计数。Rd区域数据57指示多个参数区域Rd。多个参数 区域R