数理計画法を活用した大規模集積回路網のシミュレーション技法に関する研究

基于数学规划的大规模集成电路网络仿真技术研究

• 批准号: 08750472
• 负责人: 山村 清隆
• 金额: $ 0.7万
• 依托单位: Gunma University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08750472/
• 关键词: LSI; すべての解; 非線形方程式; 回路シミュレーション; 非線形回路; 数理計画法; ホモトピー法; 安定解

1.本研究ではまず、線形計画法を用いた区分的線形回路のすべての解を求める非常に効率のよいアルゴリズムを開発した。従来の符号テスト型アルゴリズムでは、超領域に区分的線形方程式f_i(x)=0(i=1,2,・・・,n)の解曲面が存在するか否かを判定していたが、本手法ではそれらの解曲面が交わるかどうかを判定するために、解の存在しない超領域を効率よく除去することができる。また数値実験により、従来型アルゴリズムでは到底解析不可能な線形領域数の極めて大きな問題に対しても、非常に効率よくすべての解を求められることを実証した。2.次に、非線形回路の安定解を求める効率的なアルゴリズムを開発した。具体的には、非線形回路の大域的求解法であるホモトピー法に対し、ホモトピー法が安定解に収束するような初期点を見つけるための条件式を導出した。このような条件式を満足する初期点を選ぶことにより、ホモトピー法は安定解に収束するので、非常に効率よく安定解を求めることができる。3.回路シミュレーションで多用される修正節点方程式に対し、大域的収束性の保証された新しいホモトピー法のアルゴリズムを開発し、その大域的収束性を証明した。4.上記の成果を非線形理論とその応用国際シンポジウムで発表し、大きな反響を得た。またIEEE論文誌、電子情報通信学会論文誌等に投稿し、すべて採録となった。5.今後は、線形計画法を用いた区間解析などについて研究を行い、大規模非線形方程式のすべての解を求める強力な方法論として確立する予定である。

1. In this study, the geometric and geometric drawing methods are used to solve the problem that the shape of the loop is different from each other. The shape equation fimi (x) = 0 (item1, 2, n) which is distinguished by the symbol and the hyper-domain equation exists to determine whether or not to solve the surface, and this technique determines the intersection of the surface. In the end, it is impossible to analyze the number of problems in the field, the number of problems, the rate of change, the number of problems, the number of problems. two。 The stability solution of the secondary and non-circular loops is used to calculate the failure rate. The specific solution of the large area of the non-shaped loop, the solution of the large area of the non-shaped loop, the solution of the stable solution, the initial point of the initial point, the conditional formula, the solution, the solution. At the initial point of the conditional formula, please select a stable solution, a non-constant rate, and a stable solution. 3. In the loop system, the correction method is used to correct the point equation, and the new method is used to improve the performance of the loop. it is necessary to improve the performance of the loop. 4. In the previous paper, the results are not in the form of theory, and the results are based on the international and international standards. IEEE articles, computer Communications Society, articles, etc. 5. In the future, the geometric drawing method is based on the interzone analysis, the large-scale non-linear equation, the solution of the non-linear equation and the method of determining the strength of the equation.

项目成果

山村清隆: "ホモトピー法による非線形抵抗回路の安定解の探索" 電子情報通信学会論文誌(A). J79-A・10. 1692-1699 (1996)

Kiyotaka Yamamura：“使用同伦法寻找非线性电阻电路的稳定解决方案”电子信息通信工程师学会学报（A）1692-1699（1996）。

Kiyotaka Yamamura: "An algorithm for representing nonseparable functions by separable functions" IEICE Trans.on Fundamentals of Electronics,Communications and Computer Sciences. E79-A・7. 1051-1059 (1996)

Kiyotaka Yamamura：“用可分离函数表示不可分离函数的算法” IEICE Trans.on 电子、通信和计算机科学基础 E79-A·7 (1996)。