ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系

机译：基于混合系统建模语言HydLa的区间约束的全解决方案模拟执行处理系统

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

本論文では，HydLaで記述された不確実性を持つモデルの解全体をbox集合で包囲するを提案し，確認のための実装をおこなった.現在実装中の統合処理系を用いて，検証への具体的手法を検討することは今後の課題となる.

机译：在本文中，我们建议用盒装方法将HydLa中描述的具有不确定性的模型的整个解决方案封闭起来，并加以实施以进行确认;要使用当前实施的集成处理系统进行验证，检验具体方法将是未来的任务的。

著录项

来源
《情報処理学会全国大会》|2010年|1.145-1.146|共2页
会议地点
作者
大谷　順司; 廣瀬　賢一; 石井　大輔; 細部　博史; 上田　和紀;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. ミニ60年目のサプライズMINI 602019年は、ミニにとって誕生60周年を祝うァニバーサリーィャー。そんな特別な年を記念して、早くも特別限定モデルのMINI 60 Years Editionが本国で発表された。今日まで受け継がれるミニの基本的なパッケージングは、すでに60年前に確立されたもの。ミニの生みの親であるサ!ァレック•イシゴニスは、ミニマムなボディサイズと大人4人が快適に乗れる室内空間を両立させるため、エンジンをフロントに横置きして前輪駆動とするアイデァを考案。今日のコンパクトカ-の公式をつくり上げた。さらに走りの素性の良さに着目したジョン•ク-パ-が、ミニにチュ-ニングを施したミニ•ク-パ-を製作。軽量な車体と俊敏なハンドリン [J] . ニューミニ·スタイルマガジン/New Mini Style Magazine . 2019,第JUNa期

机译：Mini 60th Surprise MINI 60 2019是MINI的微型周年庆典。为了纪念这一特殊的年份，特别宣布了限量版MINI 60 Years Edition。传到今天的迷你的基本包装是60年前建立的。 Mini的创造者Sarek•Isigonis设计了一种想法，其中发动机水平放置在前轮上以驱动前轮，以实现最小的车身尺寸和可让四名成年人舒适乘坐的室内空间。创建了当今紧凑型汽车的公式。此外，约翰·库珀（John Cooper）着眼于出色的行驶特性，并制作了带有微调的迷你双座轿跑车。轻巧的机身和敏捷的操控
2. ミニ60年目のサプライズMINI 602019年は、ミニにとって誕生60周年を祝うァニバーサリーィャー。そhな特別な年を記念して、早くも特別限定モデルのMINI 60 Years Editionが本国で発表された。今日まで受け継がれるミニの基本的なパッケージングは、すでに60年前に確立されたもの。ミニの生みの親であるサ!ァレック•イシゴニスは、ミニマムなボディサイズと大人4人が快適に乗れる室内空間を両立させるため、エンジンをフロントに横置きして前輪駆動とするアイデァを考案。今日のコンパクトカ-の公式をつくり上げた。さらに走りの素性の良さに着目したジョン•ク-パ-が、ミニにチュ-ニングを施したミニ•ク-パ-を製作。軽量な車体と俊敏なハンドリン [J] . ニューミニ·スタイルマガジン/New Mini Style Magazine . 2019,第Juna期

机译：迷你迷你60在迷你60年代迷你60年来庆祝迷你60周年。在纪念特殊年份，迷你60年版特殊有限模式在其本国宣布。迄今为止迄今为止的迷你的基本包装已经成立于60年前。由于它是迷你的父母的父母，iSigonis是一个最小的体型和四个成年人，可以与房间空间兼容，在那里可以舒适地进行，发动机压下前轮驱动。我创造了今天的紧凑型凯的官员。此外，John-K-PA-PY-PE-PA-PA-PEREEEDEDEDEDOSEDOVERED。轻型车身和敏捷Handlin
3. OPEC総会コミュニケ（仮訳）石油輸出国機構第163回（定例）総会は、総会議長代行のリビアの石油·ガス大臣で代表団長であるアブドゥル·バリ·アリ·アル·アローシ博士閣下のもと、2013年5月31日にオーストリア·ウィーンで開催された。総会はぺドロ·メリザルデ·パヴオ閣下、ムスタフア·アル·シヤマリ閣下、スハイル·モハメド·アル·マズルーイ閣下が、それぞれエクアドルの非再生可能天然資源大臣、クウェートの石油大臣代行、UAEのエネルギー大臣に任命されたことを祝福するとともに、彼らの前任者であるウイルソン·パストール·モリス閣下、ハニ·アブドゥラジズ·ハツサン閣下、モハメド·ビン·ダーン·アル·ハムリ閣下が機構に対して行った功績に謝辞を表明した。 [J] . オイル·リポ－ト Group オイル·リポ－ト . 2013,第1606期

机译：欧佩克大会公报石油输出国组织第163届大会在阿卜杜勒·巴厘·阿里·阿尔·阿罗希（Abdul Bali Ali Al Aroshi）博士的领导下，阿卜杜勒·巴厘·阿里·阿尔·阿罗希（Abdul Bali Ali Al Aroshi）担任大会代理主席兼利比亚石油和天然气部长代表团团长。它于2013年5月31日在奥地利维也纳举行。在大会上，佩德罗·梅利扎德·帕沃uo下，穆斯塔瓦·西亚马里Ma下和苏哈伊尔·穆罕默德·马祖鲁伊Ma下分别被任命为厄瓜多尔不可再生自然资源部长，科威特石油代理部长和阿联酋能源部长。恭喜并感谢他们的前任威尔逊Ma下牧师莫里斯His下，哈尼·阿卜杜拉齐兹·哈桑san下和穆罕默德·本·达安·哈姆里je下在联合国的工作。做到了。
4. ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系 [C] . 大谷　順司, 廣瀬　賢一, 石井　大輔, 情報処理学会全国大会 . 2010

机译：混合系统建模语言卫生_区间隔基于截面约束
5. 第二言語作文のためのプレライティング?ディスカッションにおける母語の活用とその効果 : バイリンガル?アプローチの見地から [D] . 佐野, 愛子 2019

机译：母语在第二语言写作的写作讨论中的运用及其影响：从双语方法的角度
6. ハイブリッド制約言語HydLa処理系における数式処理と区間演算を組み合わせたシミュレーション実行 [O] . 和田努 2016

机译：混合约束语言HydLa中结合数学公式处理和区间算法的仿真执行

ハイブリッドシステムモデリング言語HydLaの区間制約に基づく全解シミュレーション実行処理系

摘要

著录项

相似文献

相关主题

期刊订阅