CAD用ソフトウェアのための演繹型オブジェクトベ-スに関する研究
CAD用ソフトウェアのための演繹型オブジェクトベ-スに関する研究
批准号:
02249206
负责人:
高木 利久
金额:
$1.28万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Scientific Research on Priority Areas
财政年份:
1990
资助国家:
日本
项目状态:
已结题
起止时间:
1990 至 --
中文摘要
平成2年度は、CADシステムのための演繹デ-タベ-スを開発するとともに、それを実用規模の問題に適用し評価した。従来のCADシステムでは、個々の部品に対する操作に重点が置かれていた。しかし、設計図面を高度に利用するには、個々の部品だけでなく、部品間の相互関係もうまく扱えなければならない。そのためには、CADシステムに格納されている部品間の「条件付き」「間接的」接続関係を効率よく求める機能が必要である。我々は、このような接続関係を求める問題には、演繹デ-タベ-スの手法が有効であると考え、それを実証するためにプロトタイプシステムを作成した。このプロトタイプを、石油化学プラントの機器配管図面用CADシステムに適用し、評価した。その結果、演繹デ-タベ-スが、上記の問題に対して、確かに有効であることを明らかにした。演繹デ-タベ-スシステムは、再帰的に定義されたル-ルを用いて、柔軟な質問処理を行うことができる。いままでに、マジックセット法、NRSU法をはじめとする多くの質問処理手法が提案されている。また、これらの質問処理手法に基づいた演繹デ-タベ-スシステムを試作した。例もいくつか報告されている。しかしながら、それらのシステムを実用規模の問題に適用した例はほとんどなく、そのため、演繹デ-タベ-スは、現実のどのような問題に応用できるのか、また、効率や記述力の点でどの程度実用性があるのか、明らかにはなっていなかった。今回、演繹デ-タベ-スのプロトタイプを作成し、それを実現のCADシステムに適用・評価することにより、演繹デ-タベ-スの応用分野と実用性とを明らかにすることができた。また、演繹デ-タベ-スを実用化する上で、いろいろな質問処理手法を具体的にどのように実現すればよいかなどの実現技法についても、いくつかの知見を得た。
英文摘要
平成2年度は、CADシステムのための演繹デ-タベ-スを開発するとともに、それを実用規模の問題に適用し評価した。従来のCADシステムでは、個々の部品に対する操作に重点が置かれていた。しかし、設計図面を高度に利用するには、個々の部品だけでなく、部品間の相互関係もうまく扱えなければならない。そのためには、CADシステムに格納されている部品間の「条件付き」「間接的」接続関係を効率よく求める機能が必要である。我々は、このような接続関係を求める問題には、演繹デ-タベ-スの手法が有効であると考え、それを実証するためにプロトタイプシステムを作成した。このプロトタイプを、石油化学プラントの機器配管図面用CADシステムに適用し、評価した。その結果、演繹デ-タベ-スが、上記の問題に対して、確かに有効であることを明らかにした。演繹デ-タベ-スシステムは、再帰的に定義されたル-ルを用いて、柔軟な質問処理を行うことができる。いままでに、マジックセット法、NRSU法をはじめとする多くの質問処理手法が提案されている。また、これらの質問処理手法に基づいた演繹デ-タベ-スシステムを試作した。例もいくつか報告されている。しかしながら、それらのシステムを実用規模の問題に適用した例はほとんどなく、そのため、演繹デ-タベ-スは、現実のどのような問題に応用できるのか、また、効率や記述力の点でどの程度実用性があるのか、明らかにはなっていなかった。今回、演繹デ-タベ-スのプロトタイプを作成し、それを実現のCADシステムに適用・評価することにより、演繹デ-タベ-スの応用分野と実用性とを明らかにすることができた。また、演繹デ-タベ-スを実用化する上で、いろいろな質問処理手法を具体的にどのように実現すればよいかなどの実現技法についても、いくつかの知見を得た。
期刊论文(12)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
鈴木 孝彦,高木 利久,牛島 和夫: "縦インデックス付きマジックセット法を用いた層状化デ-タベ-スにおける否定質問と閉質問との効率的処理" 情報処理学会論文誌. 32(2). 206-219 (1991)
Takahiko Suzuki、Toshihisa Takagi、Kazuo Ushijima:“使用带有垂直索引的魔术集方法在分层数据库中有效处理否定问题和封闭问题”,日本信息处理学会汇刊 32(2) (1991)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
T.Takagi,T.Suzuki,S.Goto,and K.Ushijima: "Applicability of A Deductive Database to CAD Systems" Proc.International Conference on Data Engineering(ICDE),to appear. (1991)
T.Takagi、T.Suzuki、S.Goto 和 K.Ushijima:“演绎数据库对 CAD 系统的适用性”Proc. 国际数据工程会议 (ICDE),即将发表。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
M.Arikawa: "A View Environment to Reuse Class Hierarchies in an ObjectーOriented Database System" Proc.of the Second International Symposium on Database Systems for Advanced Applications,to appear. (1991)
M.Arikawa:“在面向对象的数据库系统中重用类层次结构的视图环境”,第二届高级应用数据库系统国际研讨会论文集(1991 年)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
鈴木 孝彦,高木 利久,牛島 和夫: "演繹デ-タベ-スにおける解の重複性とその除去" Proc.The Logic Programming Conference '90. 75-83 (1990)
Takahiko Suzuki、Toshihisa Takagi、Kazuo Ushijima:“演绎数据库中解的重复性及其消除”Proc.逻辑编程会议 90(1990)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
高木 利久,鈴木 孝彦,五斗 進,牛島 和夫: "エンジニアリングデ-タ検索における演繹デ-タベ-ス手法の有効性について" Proc.Advanced Database System Symposium '90. 93-99 (1990)
Toshihisa Takagi、Takahiko Suzuki、Susumu Goto、Kazuo Ushijima:“论演绎数据库方法在工程数据检索中的有效性”Proc.Advanced Database System Symposium 90 (1990)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
共 6 条
CADシステムのための演繹オブジェクト指向データベースの関する研究
-
批准号:04219208
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.28万
-
财政年份:1992
-
负责人:高木 利久
-
依托单位:
CADシステムのための演繹オブジェクト指向デ-タベ-スに関する研究
-
批准号:03235210
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$1.28万
-
财政年份:1991
-
负责人:高木 利久
-
依托单位:
CADのためのグラフ探索機能をもつエキスパートシステム構築ツールに関する研究
-
批准号:01780046
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.51万
-
财政年份:1989
-
负责人:高木 利久
-
依托单位:
関係データベース検索のためのタプル集合一括処理機能をもつHorn集合推論系の研究
-
批准号:62780044
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1987
-
负责人:高木 利久
-
依托单位:
Horn 集合推論系を用いた知識ベースの推論制御に関する研究
-
批准号:60750335
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1985
-
负责人:高木 利久
-
依托单位:
Horn集合推論系における導出戦略に関する研究
-
批准号:59780043
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.58万
-
财政年份:1984
-
负责人:高木 利久
-
依托单位:
ホーン集合反証機構を用いた述語論理型プログラム言語と他の言語との結合に関する研究
-
批准号:57750309
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.16万
-
财政年份:1982
-
负责人:高木 利久
-
依托单位:
国内基金
海外基金
登录
查看更多内容
工业CAD图纸符号语义建模与智能审图研究
-
批准号:JCZRLH202601179
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:
-
依托单位:
ASS1/CAD互作在介导Spinosyn A衍生物抑制三阴性乳腺癌中的作用及机制研究
-
批准号:2025JJ30044
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:罗志勇
-
依托单位:
适合CAD与CAE融合的新型插值逼近一体T样条理论与算法研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:朱远鹏
-
依托单位:
BRD4/NKRF调控CAD转录暂停释放促进食管癌增殖的机制研究
-
批准号:82303119
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:吴琼
-
依托单位:
调味肾气丸调控E-cad/Hippo/YAP通路诱导铁死亡抗乳腺癌骨转移的机制研究
-
批准号:2023JJ40497
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2023
-
负责人:毛昀
-
依托单位:
SGK2通过USP14/POM121/CAD轴调节的嘧啶代谢促进去势抵抗性前列腺癌进展的机制研究
-
批准号:82303876
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:余雨中
-
依托单位:
面向设计认知的CAD环境下产品可维护性设计领域知识建模方法
-
批准号:62302026
-
项目类别:青年科学基金项目
-
资助金额:20.00万元
-
批准年份:2023
-
负责人:郭子玥
-
依托单位:
Cad/JAG1功能化生物材料仿生驱动胆管-神经支配耦合促进胆管类器官功能成熟的研究
-
批准号:32371419
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:杨军
-
依托单位:
NSUN2促进CAD介导的嘧啶核苷酸合成调控结直肠癌发生发展机制研究
-
批准号:82302910
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:邹邵敏
-
依托单位:
METTL22调控的CAD-嘧啶代谢通路抑制肝癌发生发展的机制研究
-
批准号:82304513
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:林美花
-
依托单位: