ソフトウェア•シミュレーションと実ハードのテストを組み合わせる

藤倉　俊幸

首页> 外文期刊>インタ-フェ-ス >ソフトウェア•シミュレーションと実ハードのテストを組み合わせる

【24h】

ソフトウェア•シミュレーションと実ハードのテストを組み合わせる

机译：结合软件模拟和真实硬件测试

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

長らく休載が続いていました本連載もついに最終回を迎えます.本連載（2012年5月号から掲載）では，形式手法を利用した組み込みシステムの開発方法について説明してきました.カップラーメン•タイマの開発を例にとり，最初に要求項目の形式化を行い，次にそれらすベてを合成し要求モデルを生成しました（図1).この要求モデルを使って,妥当なふるまいをするかどうかを調べました.

机译：这个已经暂停了很长时间的系列终于到达了最后一轮，在本系列（从2012年5月发行）中，我们已经说明了如何使用形式化方法开发嵌入式系统。以开发为例，我们首先对需求项目进行形式化，然后将它们全部合并，生成一个需求模型（图1），该行为模型是否用于做出适当的行为我检查了。

著录项

来源
《インタ-フェ-ス》 |2014年第4期|168-173|共6页
作者
藤倉　俊幸;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. 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下在联合国的工作。做到了。
2. OPEC総会コミュニケ（仮訳）石油輸出国機構第163回（定例）総会は、総会議長代行のリビアの石油·ガス大臣で代表団長であるアブドゥル·バリ·アリ·アル·アローシ博士閣下のもと、2013年5月31日にオーストリア·ウィーンで開催された。総会はぺドロ·メリザルデ·パヴオ閣下、ムスタフア·アル·シヤマリ閣下、スハイル·モハメド·アル·マズルーイ閣下が、それぞれエクアドルの非再生可能天然資源大臣、クウェートの石油大臣代行、UAEのエネルギー大臣に任命されたことを祝福するとともに、彼らの前任者であるウイルソン·パストール·モリス閣下、ハニ·アブドゥラジズ·ハツサン閣下、モハメド·ビン·ダーン·アル·ハムリ閣下が機構に対して行った功績に謝辞を表明した。 [J] . オイル·リポ－ト Group オイル·リポ－ト . 2013,第1606期

机译：欧佩克大会公报（Tosho）第163号（常规）大会（常规）大会（常规）股东大会是利比亚石油和天然气部长的前会议主席，下属阿卜杜尔巴厘岛奥罗斯总统，在奥地利维也纳举行2013年5月31日。大会在Pedro Merizarde Pavao，Mustava Al Shyamari，Skahail Mohammed Al Mazrewoy，每个厄瓜多尔都是厄瓜多尔的不可再生自然资源部长，Cuwait的石油部长秘书，而阿联酋的能源部长们祝福，他们的前任Uilson Pastol Morris，Hanbi， Abdulaz，Hatsun，Mohammed Bin Dahn Al Hamri对成就的优点感谢。底部。
3. NTTドコモは，2015年4 月28日の決算発表時に「中期目標に向けた新たな取り組み」と題して新たな事業ビジョンを発表しました．キーワードは「競争」から「協創」です．パートナーの皆様が保有する強みとドコモの強み（各種のビジネスアセット）を組み合わせて新たな価値を一緒に創造（協創）していきたいという思いです．この取り組みをドコモの頭文字をとって「+d（プラスディー）」と名付けました．本稿では，ドコモの「+d」の具体的な取り組みについて紹介します．本記事は，2016年2 月18～19日に開催された「NTT R&Dフォーラム2016」ワークショップでの講演を基に構成したものです． [J] . 阿佐美弘恭 NTT技術ジャーナル . 2016,第4期

机译：NTT DOCOMO宣布了2015年4月28日公布时题为“中期目标的新努力的新商业愿景。关键词是“竞争”的“合作”。我想我想结合合作伙伴的力量和DoCoMo（各种商业资产）的力量，并共同创造一个新价值。这项倡议被称为Docomo的首字母，并命名为“+ D（Plasdee）”。本文介绍了Docomo“+ D”的具体举措。本文基于2016年2月18日至196年2月18日至19日举行的“NTT研发论坛2016年”研讨会的讲座。
4. マルチエージェントシミュレーションを用いたオフィスビルにおける省エネ施策効果の予測: （その2）外部エリアの設定と3 種類の施策の組み合わせによるケーススタディ [C] . 大音裕紀, 赤司泰義, 林鍾衍, 日本建築学会;日本建築学会大会 . 2019

机译：使用多主体模拟预测办公楼节能措施的效果：（第2部分）结合外部区域设置和三种类型的措施的案例研究
5. 組織業績に貢献するように従業員の知識や経験を生かす管理会計システムの利用方法のレビュー : イネーブリング?コントロールを分析枠組みとした日本企業の管理会計システムの利用方法の考察 [D] . 三浦紘嵩 2020

机译：回顾如何使用利用员工的知识和经验对组织绩效做出贡献的管理会计系统：考虑如何将日本公司的管理会计系统与支持框架作为分析框架一起使用
6. オブジェクトシコウプログラムジドウセイセイキジュツゲンゴ OPDJ トソノキジュツカイハツカンキョウカガクギジュツケイサンカイセキセッケイシミュレーショントウノオウヨウドメインノセンモンカユーザガツカエルオブフェクトシコウギジュツノテイアン [O] . 加藤木和夫 / 畠山正行, カトウギカズオ / ハタケヤママサユキ, KATOUGI Kazuo / HATAKEYAMA Masayuki 2006

机译：对象四国节目Jidosei seitetsu Gengo OpDJ Tosonokitsutsu Kaihatsu Kanagaku Gyutsu Keisan Kaiseki seikkei模拟Touyo Ouyo Domain No senmonka用户Gatsukael of perfect shiki Gijutsu Tian

ソフトウェア•シミュレーションと実ハードのテストを組み合わせる

摘要

著录项

相似文献

相关主题

期刊订阅