22,870 research outputs found
ERIGrid Holistic Test Description for Validating Cyber-Physical Energy Systems
Smart energy solutions aim to modify and optimise the operation of existing energy infrastructure. Such cyber-physical technology must be mature before deployment to the actual infrastructure, and competitive solutions will have to be compliant to standards still under development. Achieving this technology readiness and harmonisation requires reproducible experiments and appropriately realistic testing environments. Such testbeds for multi-domain cyber-physical experiments are complex in and of themselves. This work addresses a method for the scoping and design of experiments where both testbed and solution each require detailed expertise. This empirical work first revisited present test description approaches, developed a newdescription method for cyber-physical energy systems testing, and matured it by means of user involvement. The new Holistic Test Description (HTD) method facilitates the conception, deconstruction and reproduction of complex experimental designs in the domains of cyber-physical energy systems. This work develops the background and motivation, offers a guideline and examples to the proposed approach, and summarises experience from three years of its application.This work received funding in the European Community’s Horizon 2020 Program (H2020/2014–2020)
under project “ERIGrid” (Grant Agreement No. 654113)
OFMTutor: An operator function model intelligent tutoring system
The design, implementation, and evaluation of an Operator Function Model intelligent tutoring system (OFMTutor) is presented. OFMTutor is intended to provide intelligent tutoring in the context of complex dynamic systems for which an operator function model (OFM) can be constructed. The human operator's role in such complex, dynamic, and highly automated systems is that of a supervisory controller whose primary responsibilities are routine monitoring and fine-tuning of system parameters and occasional compensation for system abnormalities. The automated systems must support the human operator. One potentially useful form of support is the use of intelligent tutoring systems to teach the operator about the system and how to function within that system. Previous research on intelligent tutoring systems (ITS) is considered. The proposed design for OFMTutor is presented, and an experimental evaluation is described
Quantitative reactive modeling and verification
Formal verification aims to improve the quality of software by detecting errors before they do harm. At the basis of formal verification is the logical notion of correctness, which purports to capture whether or not a program behaves as desired. We suggest that the boolean partition of software into correct and incorrect programs falls short of the practical need to assess the behavior of software in a more nuanced fashion against multiple criteria. We therefore propose to introduce quantitative fitness measures for programs, specifically for measuring the function, performance, and robustness of reactive programs such as concurrent processes. This article describes the goals of the ERC Advanced Investigator Project QUAREM. The project aims to build and evaluate a theory of quantitative fitness measures for reactive models. Such a theory must strive to obtain quantitative generalizations of the paradigms that have been success stories in qualitative reactive modeling, such as compositionality, property-preserving abstraction and abstraction refinement, model checking, and synthesis. The theory will be evaluated not only in the context of software and hardware engineering, but also in the context of systems biology. In particular, we will use the quantitative reactive models and fitness measures developed in this project for testing hypotheses about the mechanisms behind data from biological experiments
Computational Thinking Integration into Middle Grades Science Classrooms: Strategies for Meeting the Challenges
This paper reports findings from the efforts of a university-based research team as they worked with middle school educators within formal school structures to infuse computer science principles and computational thinking practices. Despite the need to integrate these skills within regular classroom practices to allow all students the opportunity to learn these essential 21st Century skills, prior practice has been to offer these learning experiences outside of mainstream curricula where only a subset of students have access. We have sought to leverage elements of the research-practice partnership framework to achieve our project objectives of integrating computer science and computational thinking within middle science classrooms. Utilizing a qualitative approach to inquiry, we present narratives from three case schools, report on themes across work sites, and share recommendations to guide other practitioners and researchers who are looking to engage in technology-related initiatives to impact the lives of middle grades students
Recommended from our members
An assessment of the load modifying potential of model predictive controlled dynamic facades within the California context
California is making major strides towards meeting its greenhouse gas emission reduction goals with the transformation of its electrical grid to accommodate renewable generation, aggressive promotion of building energy efficiency, and increased emphasis on moving toward electrification of end uses (e.g., residential heating, etc.). As a result of this activity, the State is faced with significant challenges of systemwide resource adequacy, power quality and grid reliability that could be addressed in part with demand responsive (DR) load modifying strategies using controllable building technologies. Dynamic facades have the ability to potentially shift and shed loads at critical times of the day in combination with daylighting and HVAC controls. This study explores the technical potential of dynamic facades to support net load shape objectives. A model predictive controller (MPC) was designed based on reduced order thermal (Modelica) and window (Radiance) models. Using an automated workflow (involving JModelica.org and MPCPy), these models were converted and differentiated to formulate a non-linear optimization problem. A gradient-based, non-linear programming problem solver (IPOPT) was used to derive an optimal control strategy, then a post-optimization step was used to convert the solution to a discrete state for facade actuation. Continuous state modulation of the façade was also modeled. The performance of the MPC controller with and without activation of thermal mass was evaluated in a south-facing perimeter office zone with a three-zone electrochromic window for a clear sunny week during summer and winter periods in Oakland and Burbank, California. MPC strategies reduced total energy cost by 9–28% and critical coincident peak demand was reduced by up to 0.58 W/ft2-floor or 19–43% in the 4.6 m (15 ft) deep south zone on sunny summer days in Oakland compared to state-of-the-art heuristic control. Similar savings were achieved for the hotter, Burbank climate in Southern California. This outcome supports the argument that MPC control of dynamic facades can provide significant electricity cost reductions and net load management capabilities of benefit to both the building owner and evolving electrical grid
Method for finding metabolic properties based on the general growth law. Liver examples. A General framework for biological modeling
We propose a method for finding metabolic parameters of cells, organs and
whole organisms, which is based on the earlier discovered general growth law.
Based on the obtained results and analysis of available biological models, we
propose a general framework for modeling biological phenomena and discuss how
it can be used in Virtual Liver Network project. The foundational idea of the
study is that growth of cells, organs, systems and whole organisms, besides
biomolecular machinery, is influenced by biophysical mechanisms acting at
different scale levels. In particular, the general growth law uniquely defines
distribution of nutritional resources between maintenance needs and biomass
synthesis at each phase of growth and at each scale level. We exemplify the
approach considering metabolic properties of growing human and dog livers and
liver transplants. A procedure for verification of obtained results has been
introduced too. We found that two examined dogs have high metabolic rates
consuming about 0.62 and 1 gram of nutrients per cubic centimeter of liver per
day, and verified this using the proposed verification procedure. We also
evaluated consumption rate of nutrients in human livers, determining it to be
about 0.088 gram of nutrients per cubic centimeter of liver per day for males,
and about 0.098 for females. This noticeable difference can be explained by
evolutionary development, which required females to have greater liver
processing capacity to support pregnancy. We also found how much nutrients go
to biomass synthesis and maintenance at each phase of liver and liver
transplant growth. Obtained results demonstrate that the proposed approach can
be used for finding metabolic characteristics of cells, organs, and whole
organisms, which can further serve as important inputs for many applications in
biology (protein expression), biotechnology (synthesis of substances), and
medicine.Comment: 20 pages, 6 figures, 4 table
Using structured analysis and design technique (SADT) for simulation conceptual modelling
Conceptual Modelling (CM) has received little attention in the area of Modelling and Simulation (M&S) and more specifically in Discrete Event Simulation (DES). It is widely agreed that CM is least understood despite its importance. This is however, not the case in other fields of science and engineering (especially, computer science, systems engineering and software engineering). In Computer Science (CS) alone, CM has been extensively used for requirements specification and some well-established methods are in practice. The aim of the thesis is to propose a CM framework based on the principles of software engineering and CS. The development of the framework is adapted from a well-known software engineering method called Structured Analysis and Design Technique (SADT), hence it is called SADT CM. It is argued that by adapting approaches from CS, similar benefits can be achieved in terms of formality, understanding, communication and quality. A comprehensive cross-disciplinary review of CM in CS and M&S is undertaken, which highlights the dearth of standards within M&S CM when compared to CS. Three important sub-fields of CS are considered for this purpose namely, information systems, databases and software engineering. The review identifies two potential methods that could be adopted for developing a M&S CM framework. The first method called PREView was found unsuitable for M&S CM in DES domain. Hence, the thesis concentrates on developing the framework based on SADT. The SADT CM framework is evaluated on three-in depth test cases that investigate the feasibility of the approach. The study also contributes to the literature by conducting a usability test of the CM framework in an experimental setting. A comprehensive user-guide has also been developed as part of the research for users to follow the framewor
An investigation into modeling and simulation approaches for sustainable operations management
Modeling and simulation (M&S) studies have been widely used in industry to gain insights into existing or proposed systems of interest. The majority of these studies focus on productivity-related measures to evaluate systems' performance. This paradigm, however, needs to be shifted to cope with the advent of sustainability, as it is increasingly becoming an important issue in the managerial and the organizational agendas. The application of M&S to evaluate the often-competing metrics associated with sustainable operations management (SOM) is likely to be a challenge. The aim of this review is to investigate the underlying characteristics of SOM that lend towards modeling of production and service systems, and further to present an informed discussion on the suitability of specific modeling techniques in meeting the competing metrics for SOM. The triple bottom line, which is a widely used concept in sustainability and includes environmental, social, and economic aspects, is used as a benchmark for assessing this. Findings from our research suggest that a hybrid (combined) M&S approach could be an appropriate method for SOM analysis; however, it has its challenges.This research received no specific grant from any funding agency
in the public, commercial, or not-for-profit sectors
- …