检索结果-南通市图书馆

National Science Review 2015年第3期2卷 349-370页

作者： Zhenjiang Hu John Hughes Meng Wang National Institute of Informatics Department of Computer Science and Engineering Chalmers University of Technology School of Computing University of Kent Department of Informatics SOKENDAI(Graduate University for Advanced Studies)

In 1989 when functional programming was still considered a niche topic, Hughes wrote a visionary paper arguing convincingly ‘why functional programming maters’. More than two decades have passed. Has functional programming really matered? Our answer is a resounding ‘Yes!’. functional programming is now at the forefront of a new generation of programming technologies, and enjoying increasing popularity and inluence. In this paper, we review the impact of functional programming, focusing on how it has changed the way we may construct programs, the way we may verify programs, and fundamentally the way we may think about programs.

关键词： functional programming functional languages equational reasoning monad high order function

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

A hierarchical multi-purpose roller shade controller to enhance indoor comfort and energy efficiency

引用

Building Simulation 2023年第7期16卷 1239-1256页

作者： Amir Tabadkani Morteza Haddadi Rana Abdollahi Rizi Emad Tabadkani Stantec Inc. Level 3/52 Merivale St.BrisbaneQLDAustralia Department of Energy Engineering Sharif University of TechnologyTehranIran Wellington School of Architecture Victoria University of WellingtonNew Zealand Department of Architecture Built environment and Construction engineeringPolitecnico di MilanoItaly

Building envelope is the sole interface with outdoors that can lie in the level of integrating control strategies to enhance occupant's comfort and building performance. However, in the literature, there is still a lack of multi-purpose control strategies which can balance diverse and antagonistic aspects of occupant comfort while keeping the building energy consumption under control. Therefore, this research proposed an integrated simulation-based workflow using EnergyPlus and Python-based package, OpyPlus, to adjust a roller shade for single occupied office space in a hot and arid climate. The developed system aims to improve both occupant's visual and thermal comfort considering daylight level, potential glare at occupant's field of view, view to outdoor satisfaction, and Fanger PMV method, and then, managing the HVAC system in favor of enhancing building energy efficiency. Furthermore, the controller's performance was compared to multiple fixed controls and another multi-agent control scenario from visual and thermal comfort and energy performance perspectives. The developed control system could perform effectively to provide a glare-free view and higher thermally comfortable indoor environment by 99% for the occupant across the year, while improving the heating and cooling loads. The research provides novel insights and potential future integrations for facade designers and building operators.

关键词： occupant's comfort building energy efficiency functional programming EnergyPlus Opyplus

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

An Implementation of Pure Horn Clause Logic programming in a Reduction System

引用

Journal of Computer Science & Technology 1993年第3期8卷 243-251页

作者：许满武 Department of Computer Science Nanjing UniversityNanjing 210008

Many reduction systems have been presented for implementing functional programming languages. We propose here an extension of a reduction architecture to realize a kind of logic programming——pure Horn clause logic *... 详细信息

关键词： Logic programming functional programming reduction machine Horn clause λ-calculus unification

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：