机译:使用离散事件系统规范形式将随机乘员模型耦合到建筑性能模拟
Carleton Univ, Dept Civil & Environm Engn, Ottawa, ON K1S 5B6, Canada;
Carleton Univ, Dept Civil & Environm Engn, Ottawa, ON K1S 5B6, Canada;
Carleton Univ, Dept Mech & Aerosp Engn, Ottawa, ON K1S 5B6, Canada;
Autodesk Res, Environm & Ergon Res Grp, Toronto, ON, Canada;
Autodesk Res, Environm & Ergon Res Grp, Toronto, ON, Canada;
Autodesk Res, Environm & Ergon Res Grp, Toronto, ON, Canada;
机译:建筑性能模拟中随机乘员行为模型的模拟重复和时间离散
机译:随机离散事件系统规范建模和仿真的正式框架
机译:离散事件系统规范形式主义介绍及其在造型和模拟网络物理系统的应用
机译:动态结构离散事件系统规范:动态结构建模和仿真的新形式
机译:使用多方法分布式仿真对建筑物中的乘员行为,系统生命周期性能和能源消耗联系进行建模
机译:评估M / G / C / C状态相关排队系统性能的离散事件仿真模型
机译:随机离散事件系统规范建模和仿真的正式框架
机译:基于离散事件系统规范的量子密钥分布仿真框架概念建模。