[发明专利]一种片上供电网络无向量验证方法及验证系统在审
申请号: | 201310472940.6 | 申请日: | 2013-10-11 |
公开(公告)号: | CN103500284A | 公开(公告)日: | 2014-01-08 |
发明(设计)人: | 蔡懿慈;赵威;周强 | 申请(专利权)人: | 清华大学 |
主分类号: | G06F19/00 | 分类号: | G06F19/00 |
代理公司: | 北京聿宏知识产权代理有限公司 11372 | 代理人: | 吴大建;刘华联 |
地址: | 100084 北京市海淀区1*** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明公开了一种片上供电网络无向量验证方法及验证系统,验证方法包括:基于片上供电网络的等效电路信息建立系统矩阵方程,获得电导矩阵;基于片上供电网络的电路约束条件建立电流约束矩阵以及由相应的电流上界值所构成的电流约束向量;采用一种多级层次式矩阵求逆算法求解电导矩阵的稀疏近似逆矩阵,从而获得片上供电网络中各节点的电压降与所有吸纳电流源的函数关系,作为目标函数;将电流约束矩阵和电流约束向量作为线性规划的可行域,对目标函数进行线性规划,计算出片上供电网络中各节点的最大电压降,以此对各节点的安全性进行验证。本发明能够在无法给出各单元模块吸纳电流详细信息的情况下,对片上供电网络各节点的最坏情况电压降做出估计。 | ||
搜索关键词: | 一种 上供 网络 向量 验证 方法 系统 | ||
【主权项】:
一种片上供电网络无向量验证方法,其特征在于,包括以下步骤:S100、基于片上供电网络的等效电路信息建立系统矩阵方程,获得电导矩阵;S200、基于片上供电网络的电路约束条件建立电流约束矩阵以及由相应的电流上界值所构成的电流约束向量;S300、采用一种多级层次式矩阵求逆算法求解电导矩阵的稀疏近似逆矩阵,从而获得片上供电网络中各节点的电压降与所有吸纳电流源的函数关系,作为目标函数;S400、将电流约束矩阵和电流约束向量作为线性规划的可行域,对目标函数进行线性规划,计算出片上供电网络中各节点的最大电压降,以此对各节点的安全性进行验证。
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于清华大学,未经清华大学许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/201310472940.6/,转载请声明来源钻瓜专利网。
- 上一篇:超低温制冷机和置换器
- 下一篇:制冷循环装置
- 同类专利
- 专利分类
G06 计算;推算;计数
G06F 电数字数据处理
G06F19-00 专门适用于特定应用的数字计算或数据处理的设备或方法
G06F19-10 .生物信息学,即计算分子生物学中的遗传或蛋白质相关的数据处理方法或系统
G06F19-12 ..用于系统生物学的建模或仿真,例如:概率模型或动态模型,遗传基因管理网络,蛋白质交互作用网络或新陈代谢作用网络
G06F19-14 ..用于发展或进化的,例如:进化的保存区域决定或进化树结构
G06F19-16 ..用于分子结构的,例如:结构排序,结构或功能关系,蛋白质折叠,结构域拓扑,用结构数据的药靶,涉及二维或三维结构的
G06F19-18 ..用于功能性基因组学或蛋白质组学的,例如:基因型–表型关联,不均衡连接,种群遗传学,结合位置鉴定,变异发生,基因型或染色体组的注释,蛋白质相互作用或蛋白质核酸的相互作用
G06F 电数字数据处理
G06F19-00 专门适用于特定应用的数字计算或数据处理的设备或方法
G06F19-10 .生物信息学,即计算分子生物学中的遗传或蛋白质相关的数据处理方法或系统
G06F19-12 ..用于系统生物学的建模或仿真,例如:概率模型或动态模型,遗传基因管理网络,蛋白质交互作用网络或新陈代谢作用网络
G06F19-14 ..用于发展或进化的,例如:进化的保存区域决定或进化树结构
G06F19-16 ..用于分子结构的,例如:结构排序,结构或功能关系,蛋白质折叠,结构域拓扑,用结构数据的药靶,涉及二维或三维结构的
G06F19-18 ..用于功能性基因组学或蛋白质组学的,例如:基因型–表型关联,不均衡连接,种群遗传学,结合位置鉴定,变异发生,基因型或染色体组的注释,蛋白质相互作用或蛋白质核酸的相互作用