S-ringとSPINに基づくエレベータ群管理制御器のモデル検査システムEclairの実現と検査能力について

長藤和也; 山口真悟

首页> 外文期刊>電子情報通信学会技術研究報告. システム数理と応用. Mathematical Systems Science and its Applications >S-ringとSPINに基づくエレベータ群管理制御器のモデル検査システムEclairの実現と検査能力について

【24h】

S-ringとSPINに基づくエレベータ群管理制御器のモデル検査システムEclairの実現と検査能力について

机译：基于S形环和SPIN的电梯群管理控制器模型检查系统Eclair的实现和检查功能

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

本稿ではエレベータ群管理制御器のモデル検査システムEclairの実現と検査能力について報告する．Eclair はS-ringとSPINを組み合わせた検査法に基づく．まず，その検査を自動化するEclairの実現について述べる．そして検査項目の表現能力とスケーラビリティの観点からEclairの検査能力を考察し，その実用性を示す．

机译：在本文中，我们报告了用于电梯组管理控制器的模型检查系统Eclair的实现和检查功能。 Eclair基于结合了S形环和SPIN的测试方法。首先，我们描述了实现自动检查的Eclair的实现。然后，从检查项目的表达能力和可扩展性的角度考虑了埃克莱尔的检查能力，并显示了其实用性。

著录项

来源
《電子情報通信学会技術研究報告. システム数理と応用. Mathematical Systems Science and its Applications》 |2013年第466期|共6页
作者
長藤和也; 山口真悟;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 jpn
中图分类计算机软件;
关键词
エレベータ; S-ring; Wclair; SPIN;

机译：电梯;S型圈;Wclair;SPIN;

相似文献

外文文献
中文文献
专利

1. S-ringとSPINに基づくエレベータ群管理制御器のモデル検査システムEclairの実現と検査能力について [J] . 長藤和也, 山口真悟電子情報通信学会技術研究報告. システム数理と応用. Mathematical Systems Science and its Applications . 2013,第466期

机译：基于S形环和SPIN的电梯群管理控制器模型检查系统Eclair的实现和检查功能
2. メタウォーター株式会社メタウォーター株式会社は，水資源の循環を創り出すための最適解を提供するという企業理念に基づき，機械技術と電気技術を併せ持つ企業グループとして，国内外の水道，下水道，環境の各分野で事業を展開しています。具体的には，上下水道施設向けの機械設備や電気設備の設計，建設を核とした各種エンジニアリング，各設備の補修工事，維持管理（保守•点検)，運転管理などの各種サービス，それらを合わせたトータルソリユーションの提供を主な事業としています。 [J] . 水環境学会誌 . 2018,第3期

机译：Metawater Co.，Ltd. Metawater Co.，Ltd.是一个拥有机械和电气技术的企业集团，其经营理念是为创建水资源循环提供最佳解决方案。我们正在该领域开展业务。具体而言，将各种工程服务集中在给水和下水道设施的机电设备的设计和建造，每个设施的维修工作，维护（维护和检查），运营管理以及其他服务上。我们的主要业务是提供整体解决方案。
3. 最新の自動車システムシミュレーション技術－自動車のシステム設計における3つの設計課題であるマルチドメイン、マルチレベル、マルチオーガニゼーションの解析とVHDLAMSモデルを用いたシミュレーションについて解説 [J] . 重松浩一電子技術 . 2003,第1期

机译：先进的汽车系统仿真技术-解释汽车系统设计中的三个设计挑战：使用VHDL AMS模型进行多领域，多层次，多组织的分析和仿真
4. 非住宅（民生業務部門）建築物の環境関連データベース構築に関する研究その64 平成21年度調査に基づく九州におけるエネルギー消費量の実態について（北九州市の教育施設におけるデータ精査結果） [C] . 許廉平, 施行之, 高偉俊, 日本建築学会大会;日本建築学会 . 2011

机译：非住宅（消费企业）建筑物的环境相关数据库的构建研究第64部分关于基于2009年调查的九州能源实际消耗状况（北九州市教育机构的数据审查结果）
5. ポール?ワイスのスポーツ哲学についての構造学的研究 : とくにクラスターアナリシスによる解釈仮説の設定に基づいて ~ 上 [D] . 片岡暁夫 1986

机译：保罗·韦斯体育哲学的结构研究：特别是在通过聚类分析建立解释假设的基础上
6. 前シーズンのインフルエンザ感染者と非感染者において前シーズンのインフルエンザワクチン接種が現シーズンのインフルエンザワクチン効果へ及ぼすネガティブな影響について：日本での検査陰性症例対照研究 [O] . 齊藤, 信夫 2017

机译：上一季流感疫苗接种对上一季流感感染和非感染个体流感疫苗效果的负面影响：日本的试验阴性病例对照研究

S-ringとSPINに基づくエレベータ群管理制御器のモデル検査システムEclairの実現と検査能力について

摘要

著录项

相似文献

相关主题

期刊订阅