首页 > 最新文献

IEEE Design & Test of Computers最新文献

英文 中文
From measurements to sustainable choices [Persepectives] 从测量到可持续选择[观点]
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2202565
M. Srivastava
For measurement of energy consumption to be truly useful for sustainability measures, the measurement of energy consumption in a building must be real-time, frequent, holistic, and most importantly disaggregated. Holistic implies that measurements must encompass all forms of energy use, both direct (electricity and natural gas) and indirect (water embedded energy), and being disaggregated requires that energy use must be at the level of devices and appliances as opposed for the whole building. Conventional solutions to measuring disaggregated end use of electricity and water require deploying at each end-point precalibrated in-line mesh networked sensors for measuring voltage/current, water flow rate, etc. Besides being costly, such “direct sensors”are aesthetically intrusive, and often need costly professional installation and impose network management burden.
为了使能源消耗的测量对可持续发展措施真正有用,建筑物的能源消耗测量必须是实时的、频繁的、整体的,最重要的是分类的。整体意味着测量必须包含所有形式的能源使用,包括直接(电力和天然气)和间接(水嵌入能源),而分解要求能源使用必须在设备和电器的水平上,而不是整个建筑物。测量电力和水的分解终端使用的传统解决方案需要在每个终端部署预校准的在线网状网络传感器,用于测量电压/电流,水流速率等。除了价格昂贵之外,这种“直接传感器”在美观上具有干扰性,并且通常需要昂贵的专业安装和网络管理负担。
{"title":"From measurements to sustainable choices [Persepectives]","authors":"M. Srivastava","doi":"10.1109/MDT.2012.2202565","DOIUrl":"https://doi.org/10.1109/MDT.2012.2202565","url":null,"abstract":"For measurement of energy consumption to be truly useful for sustainability measures, the measurement of energy consumption in a building must be real-time, frequent, holistic, and most importantly disaggregated. Holistic implies that measurements must encompass all forms of energy use, both direct (electricity and natural gas) and indirect (water embedded energy), and being disaggregated requires that energy use must be at the level of devices and appliances as opposed for the whole building. Conventional solutions to measuring disaggregated end use of electricity and water require deploying at each end-point precalibrated in-line mesh networked sensors for measuring voltage/current, water flow rate, etc. Besides being costly, such “direct sensors”are aesthetically intrusive, and often need costly professional installation and impose network management burden.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"58-60"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2202565","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469433","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Development of Building Automation and Control Systems 楼宇自动化与控制系统的发展
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2201130
Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
In this paper, we proposed a design flow for BAC systems that enables integrating heterogeneous input models, conducts automatic design space exploration, and performs software synthesis on distributed platforms while guaranteeing correctness and reducing communication load. We believe these capabilities can enable the building designers to better adopt model-based design methodologies, and facilitate them to improve design productivity, optimize system performance, and reduce cost.
在本文中,我们提出了一种BAC系统的设计流程,可以集成异构输入模型,自动进行设计空间探索,并在分布式平台上进行软件合成,同时保证正确性和减少通信负载。我们相信这些功能可以使建筑设计师更好地采用基于模型的设计方法,并促进他们提高设计效率,优化系统性能,降低成本。
{"title":"Development of Building Automation and Control Systems","authors":"Yang Yang, Qi Zhu, Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli","doi":"10.1109/MDT.2012.2201130","DOIUrl":"https://doi.org/10.1109/MDT.2012.2201130","url":null,"abstract":"In this paper, we proposed a design flow for BAC systems that enables integrating heterogeneous input models, conducts automatic design space exploration, and performs software synthesis on distributed platforms while guaranteeing correctness and reducing communication load. We believe these capabilities can enable the building designers to better adopt model-based design methodologies, and facilitate them to improve design productivity, optimize system performance, and reduce cost.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"45-55"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2201130","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Energy Savings and the "Software-Defined" Building 节能和“软件定义”建筑
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2202566
Stephen Dawson-Haggerty, Jorge Ortiz, Jason Trager, D. Culler, R. Katz
In the US buildings consume 70% of electricity, but the sector exhibits little innovation for reducing its consumption. Efficiency is not yet evaluated to the same standard as comfort and reliability, but with better user input, control policy, and awareness of the building's state, energy consumption can be intelligently reduced. It is argued that what is needed is a shift to Software-Defined Buildings: flexible, multi-service, and open Building Operating System (BOS) that allows third-party applications to run securely and reliably in a sandboxed environment. A BOS is not limited to a single building but distributed among multi-building campuses. It provides the core functionality of sensor and actuator access, access management, metadata, archiving, and discovery. The runtime environment enables multiple simultaneously running programs. As in a computer OS, these run with various privilege levels, with access to different resources, yet are multiplexed on the same physical resources. It can extend to the Cloud or to other buildings, outsourcing expensive or proprietary operations as well as load sharing, but does so safely with fail-over to local systems when connectivity is disrupted. Building operators have supervisory control over all programs, controlling the separation physically (access different controls), temporally (change controls at different times), informationally (what information leaves the building), and logically (what actions or sequences thereof are allowable).
在美国,建筑消耗了70%的电力,但该行业在减少电力消耗方面几乎没有创新。能效还没有达到与舒适性和可靠性相同的评估标准,但通过更好的用户输入、控制策略和对建筑状态的了解,可以智能地降低能耗。有人认为,需要的是向软件定义建筑的转变:灵活、多服务和开放的建筑操作系统(BOS),允许第三方应用程序在沙盒环境中安全可靠地运行。BOS不局限于单个建筑,而是分布在多个建筑的校园中。它提供传感器和执行器访问、访问管理、元数据、归档和发现等核心功能。运行时环境允许多个程序同时运行。与在计算机操作系统中一样,它们以不同的特权级别运行,可以访问不同的资源,但在相同的物理资源上进行多路复用。它可以扩展到云或其他建筑物,外包昂贵或专有的操作以及负载共享,但当连接中断时,可以安全地将故障转移到本地系统。建筑操作员对所有程序进行监督控制,对分离进行物理控制(访问不同的控制),时间控制(在不同时间更改控制),信息控制(哪些信息离开建筑物)和逻辑控制(哪些操作或顺序是允许的)。
{"title":"Energy Savings and the \"Software-Defined\" Building","authors":"Stephen Dawson-Haggerty, Jorge Ortiz, Jason Trager, D. Culler, R. Katz","doi":"10.1109/MDT.2012.2202566","DOIUrl":"https://doi.org/10.1109/MDT.2012.2202566","url":null,"abstract":"In the US buildings consume 70% of electricity, but the sector exhibits little innovation for reducing its consumption. Efficiency is not yet evaluated to the same standard as comfort and reliability, but with better user input, control policy, and awareness of the building's state, energy consumption can be intelligently reduced. It is argued that what is needed is a shift to Software-Defined Buildings: flexible, multi-service, and open Building Operating System (BOS) that allows third-party applications to run securely and reliably in a sandboxed environment. A BOS is not limited to a single building but distributed among multi-building campuses. It provides the core functionality of sensor and actuator access, access management, metadata, archiving, and discovery. The runtime environment enables multiple simultaneously running programs. As in a computer OS, these run with various privilege levels, with access to different resources, yet are multiplexed on the same physical resources. It can extend to the Cloud or to other buildings, outsourcing expensive or proprietary operations as well as load sharing, but does so safely with fail-over to local systems when connectivity is disrupted. Building operators have supervisory control over all programs, controlling the separation physically (access different controls), temporally (change controls at different times), informationally (what information leaves the building), and logically (what actions or sequences thereof are allowable).","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"73 1","pages":"56-57"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79143860","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Intelligent Building Energy Information and Control Systems for Low-Energy Operations and Optimal Demand Response 面向低能耗运行和优化需求响应的智能建筑能源信息与控制系统
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2204720
M. Piette, J. Granderson, M. Wetter, S. Kiliccote
An energy information system that acquires and aggregates information from various sensors within buildings is presented. The role of a building information system in reducing building energy consumption as well as in providing demand response, is explored, and case studies of real use are presented.
提出了一种从建筑物内各种传感器获取和汇总信息的能源信息系统。探讨了建筑信息系统在降低建筑能耗和提供需求响应方面的作用,并介绍了实际使用的案例研究。
{"title":"Intelligent Building Energy Information and Control Systems for Low-Energy Operations and Optimal Demand Response","authors":"M. Piette, J. Granderson, M. Wetter, S. Kiliccote","doi":"10.1109/MDT.2012.2204720","DOIUrl":"https://doi.org/10.1109/MDT.2012.2204720","url":null,"abstract":"An energy information system that acquires and aggregates information from various sensors within buildings is presented. The role of a building information system in reducing building energy consumption as well as in providing demand response, is explored, and case studies of real use are presented.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"8-16"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2204720","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 21
Testing of Stuck-Open Faults in Nanometer Technologies 纳米技术中卡断故障的检测
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2205609
V. Champac, Julio Vazquez Hernandez, S. Barcelo, Roberto Gómez, C. Hawkins, J. Segura
Failure analysis and fault modeling of integrated circuits have always been fields that require continuous revision and update as manufacturing processes evolve. This paper discusses the new face of the well-known transistor stuck-open fault model in modern nanometer technologies and proposes new detection methods that improve the robustness of tests.
集成电路的失效分析和故障建模一直是一个需要随着制造工艺的发展而不断修正和更新的领域。本文讨论了现代纳米技术中众所周知的晶体管卡开故障模型的新面貌,并提出了提高测试鲁棒性的新检测方法。
{"title":"Testing of Stuck-Open Faults in Nanometer Technologies","authors":"V. Champac, Julio Vazquez Hernandez, S. Barcelo, Roberto Gómez, C. Hawkins, J. Segura","doi":"10.1109/MDT.2012.2205609","DOIUrl":"https://doi.org/10.1109/MDT.2012.2205609","url":null,"abstract":"Failure analysis and fault modeling of integrated circuits have always been fields that require continuous revision and update as manufacturing processes evolve. This paper discusses the new face of the well-known transistor stuck-open fault model in modern nanometer technologies and proposes new detection methods that improve the robustness of tests.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"80-91"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2205609","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469640","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
Electronic Design Methods and Technologies for Green Buildings 绿色建筑的电子设计方法与技术
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2209542
K. Chakrabarty
h BUILDINGS, INCLUDING HOMES, offices, and retail spaces, are amajor source of energy consumption and resources. As our society grapples with the high cost of fossil fuels, global warming, and climate change, ‘‘green buildings’’ have caught our imagination. Today, green buildings are a reality and they are driving a lot of concerted research and innovations in diverse fields that encompass design, construction, renovation, operation, maintenance, and demolition. The design and test community has addressed energy and resource optimization problems for integrated circuits and electronic systems for many years. It is, therefore, only natural that many of the design and optimization problems for green buildings can leverage technologies that we are familiar with, such as embedded computing, sensor networks, low-power design, and cyberphysical systems. In fact, electronics and computing systems can be viewed as a part of the problem (energy consumer), but also as part of the solution. This timely issue introduces Design and Test of Computers readers to the role that electronic design methods and technologies can play in the design of green buildings of the future. Design and test techniques can, therefore, migrate ‘‘up’’ from the ‘‘nano’’ and ‘‘micro’’ worlds of integrated circuits to the much larger scale of green buildings. Guest Editors Yuvraj Agrawal and Anand Raghunathan have taken the initiative and worked diligently to put together this special issue with a set of selected articles, which include contributions by experts and active researchers who can relate to design and test technologies. These articles cover the landscape of research advances, practical experiences, and perspectives on future trends. The special issue covers control systems for energy management, occupancy driven HVAS systems for heating and cooling, energy minimization of HVAC systems using prediction, innovations in sensing and actuation for energyefficiency, and the use of a distributed network of embedded computers for building automation and control system design. Readers will also find two perspectives articles from visionaries in this field. The first article highlights the promise of software-defined buildings, where a building can incorporate operating systems on which applications can be built. The second perspectives column describes a sensors-based substrate that can provide measurements to guide sustainable choices by building users. I thank Yuvraj and Anand for serving as Guest Editors of the special issue, the authors for their contributions, and the reviewers for their adherence to an extremely tight review schedule. I also thank the column editors for their contributions. I hope you will enjoy reading this special issue, as well as the subsequent issues of Design and Test of Computers in 2012. We have lined up an exciting set of special issues for the remainder of 2012 and for the first half of 2013. We are now preparing the lineups for the remaining issues
h建筑,包括住宅、办公室和零售空间,是能源消耗和资源的主要来源。随着我们的社会与化石燃料的高成本、全球变暖和气候变化作斗争,“绿色建筑”引起了我们的想象。如今,绿色建筑已经成为现实,它们正在推动包括设计、建造、改造、运营、维护和拆除在内的各个领域的大量协同研究和创新。多年来,设计和测试界一直致力于集成电路和电子系统的能源和资源优化问题。因此,绿色建筑的许多设计和优化问题可以利用我们熟悉的技术,如嵌入式计算、传感器网络、低功耗设计和网络物理系统,这是很自然的。事实上,电子和计算系统可以被看作是问题(能源消耗)的一部分,但也是解决方案的一部分。本期《计算机设计与测试》向读者介绍了电子设计方法和技术在未来绿色建筑设计中的作用。因此,设计和测试技术可以从集成电路的“纳米”和“微观”世界“向上”迁移到更大规模的绿色建筑中。特邀编辑Yuvraj Agrawal和Anand Raghunathan采取了主动和勤奋的工作,将这期特刊与一系列精选文章组合在一起,其中包括与设计和测试技术相关的专家和活跃研究人员的贡献。这些文章涵盖了研究进展、实践经验和对未来趋势的看法。本期特刊涵盖了能源管理控制系统、用于供暖和制冷的占用驱动HVAS系统、利用预测实现暖通空调系统的能源最小化、节能传感和驱动方面的创新,以及用于建筑自动化和控制系统设计的嵌入式计算机分布式网络的使用。读者还将发现来自该领域的远见者的两篇观点文章。第一篇文章强调了软件定义的建筑的前景,在这种建筑中,一个建筑可以包含可以在其上构建应用程序的操作系统。第二个观点专栏描述了一个基于传感器的基板,它可以提供测量,以指导建筑用户做出可持续的选择。我感谢Yuvraj和Anand担任特刊的客座编辑,感谢作者们的贡献,感谢审稿人们严格遵守严格的审稿时间表。我还要感谢专栏编辑们的贡献。我希望你会喜欢阅读这一期特刊,以及2012年的《计算机设计与测试》。我们为2012年剩余时间和2013年上半年准备了一系列令人兴奋的特刊。我们现在正在准备2013年剩余问题的阵容。欢迎来自《计算机设计与测试》读者的输入和参与!
{"title":"Electronic Design Methods and Technologies for Green Buildings","authors":"K. Chakrabarty","doi":"10.1109/MDT.2012.2209542","DOIUrl":"https://doi.org/10.1109/MDT.2012.2209542","url":null,"abstract":"h BUILDINGS, INCLUDING HOMES, offices, and retail spaces, are amajor source of energy consumption and resources. As our society grapples with the high cost of fossil fuels, global warming, and climate change, ‘‘green buildings’’ have caught our imagination. Today, green buildings are a reality and they are driving a lot of concerted research and innovations in diverse fields that encompass design, construction, renovation, operation, maintenance, and demolition. The design and test community has addressed energy and resource optimization problems for integrated circuits and electronic systems for many years. It is, therefore, only natural that many of the design and optimization problems for green buildings can leverage technologies that we are familiar with, such as embedded computing, sensor networks, low-power design, and cyberphysical systems. In fact, electronics and computing systems can be viewed as a part of the problem (energy consumer), but also as part of the solution. This timely issue introduces Design and Test of Computers readers to the role that electronic design methods and technologies can play in the design of green buildings of the future. Design and test techniques can, therefore, migrate ‘‘up’’ from the ‘‘nano’’ and ‘‘micro’’ worlds of integrated circuits to the much larger scale of green buildings. Guest Editors Yuvraj Agrawal and Anand Raghunathan have taken the initiative and worked diligently to put together this special issue with a set of selected articles, which include contributions by experts and active researchers who can relate to design and test technologies. These articles cover the landscape of research advances, practical experiences, and perspectives on future trends. The special issue covers control systems for energy management, occupancy driven HVAS systems for heating and cooling, energy minimization of HVAC systems using prediction, innovations in sensing and actuation for energyefficiency, and the use of a distributed network of embedded computers for building automation and control system design. Readers will also find two perspectives articles from visionaries in this field. The first article highlights the promise of software-defined buildings, where a building can incorporate operating systems on which applications can be built. The second perspectives column describes a sensors-based substrate that can provide measurements to guide sustainable choices by building users. I thank Yuvraj and Anand for serving as Guest Editors of the special issue, the authors for their contributions, and the reviewers for their adherence to an extremely tight review schedule. I also thank the column editors for their contributions. I hope you will enjoy reading this special issue, as well as the subsequent issues of Design and Test of Computers in 2012. We have lined up an exciting set of special issues for the remainder of 2012 and for the first half of 2013. We are now preparing the lineups for the remaining issues ","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"195 1","pages":"4"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86829918","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards Occupancy-Driven Heating and Cooling 朝向使用驱动的供暖和制冷
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2201439
K. Whitehouse, Juhi Ranjan, Jiakang Lu, Tamim I. Sookoor, M. Saadat, C. Burke, Galen Staengl, Anselmo Canfora, H. Haj-Hariri
HVAC systems are eventually needed to maintain comfort for occupants, and as a result sensing and leveraging user context information is critical for the energy-efficient operation of buildings. This article describes an occupancy-driven HVAC control framework for more effective heating and cooling management.
HVAC系统最终需要保持居住者的舒适度,因此,感知和利用用户环境信息对于建筑物的节能运行至关重要。本文描述了一个占用驱动的暖通空调控制框架,用于更有效的供暖和制冷管理。
{"title":"Towards Occupancy-Driven Heating and Cooling","authors":"K. Whitehouse, Juhi Ranjan, Jiakang Lu, Tamim I. Sookoor, M. Saadat, C. Burke, Galen Staengl, Anselmo Canfora, H. Haj-Hariri","doi":"10.1109/MDT.2012.2201439","DOIUrl":"https://doi.org/10.1109/MDT.2012.2201439","url":null,"abstract":"HVAC systems are eventually needed to maintain comfort for occupants, and as a result sensing and leveraging user context information is critical for the energy-efficient operation of buildings. This article describes an occupancy-driven HVAC control framework for more effective heating and cooling management.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"17-25"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2201439","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control 基于模型预测控制的建筑暖通空调系统总能耗和峰值能耗最小化
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2200871
Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli
This article addresses the challenge of realizing the building automation and control system using a distributed network of embedded computers. A specification methodology and design space exploration framework are proposed to raise the level of abstraction at which building control systems are designed, to reduce design effort, and to lower implementation cost.
本文讨论了利用嵌入式计算机分布式网络实现楼宇自动化和控制系统的挑战。提出了一种规范方法和设计空间探索框架,以提高设计建筑控制系统的抽象水平,减少设计工作,降低实现成本。
{"title":"Total and Peak Energy Consumption Minimization of Building HVAC Systems Using Model Predictive Control","authors":"Mehdi Maasoumy, Alberto L. Sangiovanni-Vincentelli","doi":"10.1109/MDT.2012.2200871","DOIUrl":"https://doi.org/10.1109/MDT.2012.2200871","url":null,"abstract":"This article addresses the challenge of realizing the building automation and control system using a distributed network of embedded computers. A specification methodology and design space exploration framework are proposed to raise the level of abstraction at which building control systems are designed, to reduce design effort, and to lower implementation cost.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"26-35"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2200871","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469725","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
From Buildings to Smart Buildings—Sensing and Actuation to Improve Energy Efficiency 从建筑到智能建筑——传感和驱动以提高能源效率
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2211855
Thomas Weng, Yuvraj Agarwal
A holistic approach to reducing the energy footprint of large commercial buildings is proposed. A detailed energy use breakdown within a modern building is presented, leading to the key insight that, in addition to the HVAC system, the energy used by miscellaneous plug loads which include IT equipment must also be addressed. An actuation framework is proposed to control plug-loads and the HVAC system for energy savings.
提出了一种减少大型商业建筑能源足迹的整体方法。介绍了一座现代建筑内详细的能源使用分解,得出了一个关键的见解,即除了暖通空调系统外,还必须解决包括IT设备在内的各种插头负载所使用的能源。提出了一种控制插件负荷和空调系统节能的驱动框架。
{"title":"From Buildings to Smart Buildings—Sensing and Actuation to Improve Energy Efficiency","authors":"Thomas Weng, Yuvraj Agarwal","doi":"10.1109/MDT.2012.2211855","DOIUrl":"https://doi.org/10.1109/MDT.2012.2211855","url":null,"abstract":"A holistic approach to reducing the energy footprint of large commercial buildings is proposed. A detailed energy use breakdown within a modern building is presented, leading to the key insight that, in addition to the HVAC system, the energy used by miscellaneous plug loads which include IT equipment must also be addressed. An actuation framework is proposed to control plug-loads and the HVAC system for energy savings.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"36-44"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2211855","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62470159","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 142
A Highly Fault-Efficient SAT-Based ATPG Flow 基于sat的高故障效率ATPG流
Pub Date : 2012-08-01 DOI: 10.1109/MDT.2012.2205479
Stephan Eggersglüß, R. Drechsler
ATPG based on Boolean Satisfiability (SAT) could be a promising alternative to structural test generation algorithms. This article proposes a SAT-based ATPG flow for generating high quality test patterns while applicable to large industry designs.
基于布尔可满足性(SAT)的ATPG是一种很有前途的结构测试生成算法。本文提出了一个基于sat的ATPG流程,用于生成高质量的测试模式,同时适用于大型工业设计。
{"title":"A Highly Fault-Efficient SAT-Based ATPG Flow","authors":"Stephan Eggersglüß, R. Drechsler","doi":"10.1109/MDT.2012.2205479","DOIUrl":"https://doi.org/10.1109/MDT.2012.2205479","url":null,"abstract":"ATPG based on Boolean Satisfiability (SAT) could be a promising alternative to structural test generation algorithms. This article proposes a SAT-based ATPG flow for generating high quality test patterns while applicable to large industry designs.","PeriodicalId":50392,"journal":{"name":"IEEE Design & Test of Computers","volume":"29 1","pages":"63-70"},"PeriodicalIF":0.0,"publicationDate":"2012-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/MDT.2012.2205479","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"62469587","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 18
期刊
IEEE Design & Test of Computers
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1