摘要：为了避免基于模型的Web应用测试中存在的状态组合爆炸问题,分析了经典的每个一次和基本选择的状态组合爆炸避免方法,指出了这两种方法的不足,提出了应用形式概念分析,根据给定的测试覆盖准则,精简测试用例集,避免状态组合爆炸的方法,并改进了Sampath的测试用例选取规则。最后根据形式概念分析的原理,开发了测试用例集精简工具,提高了测试过程的自动化程度,用实例说明了方法的有效性。

摘要：面对中国人民日益增长和提高的医疗需求,以及城镇化、老龄化带来的社会挑战,智慧医院的建设成为破局的关键一招。目前,中国的智慧医院在政策、技术等多重因素的推动下正在进入发展的快车道。但关于智慧医院的定义、建设方法、技术架构等在业内还未形成共识,中国智慧医院的总体建设水平还处于初级阶段,缺乏完整认识以及缺乏顶层设计成为阻碍智慧医院建设的主要障碍。“智慧医院”是一个不断发展的概念,本研究从“智慧”本身出发,分析智慧医院应该具备的基本特征和构成元素,进而探索当今智慧医院应实现的目标,以及构建智慧医院的方法,同时为智慧医院建设提供参考架构。

摘要：介绍合同能源管理(EPC)的概念和项目运作方式。在此基础上,进一步说明能效评估在合同能源管理项目中的作用,详细阐述国际能效检测和确认规程(IPMVP)的能效评估办法及其4个能效评估方案。以某火力发电厂的合同能源管理项目为例,分析IPMVP在合同能源管理项目中的具体应用。分析表明,国内的合同能源管理项目有必要参考IPMVP能效评估方法,形成符合中国国情的能效评估规程,为我国的合同能源管理项目提供可靠的能效评估依据。