权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

偏導関数自動導出システムの改良

偏导数自动求导系统的改进

基本信息

批准号：
04650303
负责人：
吉田利信
金额：
$ 0.45万
依托单位：
The University of Electro-Communications
依托单位国家：
日本
项目类别：
Grant-in-Aid for General Scientific Research (C)
财政年份：
1992
资助国家：
日本
起止时间：
1992 至无数据
项目状态：
已结题

来源：
https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-04650303/
关键词：
自動微分法プログラム変換計算量

项目摘要

研究代表者はLispを用いて偏導関数自動導出システム(ADDS)を既に作成している。このADDSに対して、本研究では入力する言語とその処理システムについて検討を加え、それに基づいて試作システムを作成した。ADDSの言語は専用言語であり、数式処理システムREDUCEの言語に近いインタープリタ言語であった。それに対して、数式中にベクトル変数、配列変数および微分演算子を記述できるように既存言語Cを拡張し、コンパイラ言語とすることを提案した。条件分岐や繰り返しを用いて定義される関数を、これらを含まない直線的プログラム部分から再帰的に構成されているものとして分解する方法、その内部表現、微分操作について検討した。微分操作には順モードと逆モードがあり、それらを組合わせることによって、計算量・記憶量を削減できることを示した。変数の依存関係の分析から、逆モードの微分が関数計算と並行して行え、記憶量の大幅な削減が可能となる場合があることなどを示した。上記の拡張C言語に対する構文解析、内部表現について検討した。試作システムとし、コンパイラではなくプレコンパイラとし、拡張C言語をC言語に変換するものとした。YaccおよびLexを用いて構文解析部を作成した。微分操作については、直線的プログラムおよび条件文について、順モード、逆モードの微分ができるようになった。繰り返し文の微分操作ができるようにすること、変数の依存関係の分析から、順・逆モードの組み合せ、実行順序などを計算量、記憶量が少なくなるように自動的に決定する方法を開発することなどが、今後の課題である。

The research representative has developed a new approach to the use of Lisp in the automatic derivation of partial differential equations (ADDS). This study focuses on the development of speech processing systems, including the development of speech processing systems, and the development of speech processing systems. ADDS speech is used to REDUCE speech. The number of words in the equation, the number of words in the equation, and the number of words in the equation are described. The conditional divergence is defined in terms of the number of relations, the number of relations Differential operations are performed in reverse order. The analysis of the dependency relationship between the number and the inverse of the differential, the calculation of the number, the parallel operation, the reduction of the memory amount, the possibility of the case, the indication of the case Note that the speech of Zhang C is related to the structure analysis and internal performance. Try to make a list of all the words in the list. Yacc, Lex, etc. Differential operations include reverse, linear, and conditional differential operations. Analysis of the dependency relationship between the differential operation of the text and the number, the combination of the sequence, the calculation amount, the memory amount, the automatic determination method, and the future problem.