机译:实时系统的cegar抽象细化并行化方法
机译:CEGAR对实时系统的抽象复杂度并行化方法
机译:CEGAR实时系统抽象细化的并行化方法
机译:在空调测试操作过程中通过实际测量和数亿次模拟评估自然通风:在具有送风和排气口且具有流量控制功能的办公楼中自然通风和空调系统的组合使用研究(第一份报告)
机译:同时实现太阳能利用和制冷效率改善的住宅设施空调系统的研究和开发第8部分通用空调的年度空调系统仿真和开发空调
机译:回顾如何使用利用员工的知识和经验对组织绩效做出贡献的管理会计系统:考虑如何将日本公司的管理会计系统与支持框架作为分析框架一起使用
机译:节省资源的实时并行系统的参数设计分析与调度方法研究