the proceedings contain 11 papers. the topics discussed include: pure functional epidemics;delta debugging type errors with a blackbox compiler;HiPErJiT: a profile-driven just-in-time compiler for erlang;spine-local t...
ISBN:
(纸本)9781450371438
the proceedings contain 11 papers. the topics discussed include: pure functional epidemics;delta debugging type errors with a blackbox compiler;HiPErJiT: a profile-driven just-in-time compiler for erlang;spine-local type inference;verifiably lazy: verified compilation of call-by-need;esverify: verifying dynamically-typed higher-order functional programs by SMT solving;MIL, a monadic intermediate language for implementing functional languages;task oriented programming and the internet of things;a staged embedding of attribute grammars in haskell;extended memory reuse - an optimization for reducing memory allocations;and a DSL embedded in rust.
Multi-Level Modeling (MLM) conceptualizes software models as layered architectures of sub-models that are inter-related by the instance-of relation, which breaks monolithic class hierarchies midway between subtyping a...
详细信息
ISBN:
(纸本)9783319915630;9783319915623
Multi-Level Modeling (MLM) conceptualizes software models as layered architectures of sub-models that are inter-related by the instance-of relation, which breaks monolithic class hierarchies midway between subtyping and interfaces. this paper introduces a formal theory of MLM, rooted in a set-theoretic semantics of class models. the MLM theory is validated by a provably correct translation into the FOML executable logic. We show how FOML accounts for inter-level constraints, rules, and queries. In that sense, FOML is an organic executable extension for MLM that incorporates all MLM services. As much as the page budget permits, the paper illustrates how multilevel models are represented and processed in FOML.
the design of decentralized energy conversion systems in smart residential microgrids is a challenging optimization problem due to the variety of available generation and storage devices. Common measures to reduce the...
详细信息
the design of decentralized energy conversion systems in smart residential microgrids is a challenging optimization problem due to the variety of available generation and storage devices. Common measures to reduce the problem's size and complexity are to reduce modeling accuracy, aggregate multiple loads or change the temporal resolution. However, since these attempts alter the optimization problem and consequently lead to different solutions as intended, this paper presents and analyses a decomposition method for solving the original problem iteratively. the decomposed method is verified by comparison withthe original compact model formulation, proving that both models deviate by less than 1.8%. Both approaches furthermore lead to similar energy systems that are operated similarly, as well. the findings also show that the compact model formulation is only applicable to small- and medium-scale microgrids due to current limitations of computing resources and optimization algorithms, whereas the distributed approach is suitable for even large-scale microgrids. We apply the decomposed method to a large-scale microgrid in order to evaluate economic and ecological benefits of interconnected buildings inside the grid. the results show that with local electricity exchange, costs can be reduced by 4.0% and emissions by even 23.7% for the investigated scenario. (C) 2018 Elsevier Ltd. All rights reserved.
In 2005, global cardiovascular diseases caused 30% of deaths in Europe, which is 46% of total deaths for all death groups. Today, according to the international Adult Diabetes Federation, 20% to 25% of the adult popul...
详细信息
In 2005, global cardiovascular diseases caused 30% of deaths in Europe, which is 46% of total deaths for all death groups. Today, according to the international Adult Diabetes Federation, 20% to 25% of the adult population in the world has Metabolic Syndrome. Turkish Statistical Institute claims that in Turkey 408782 people died of circulatory system diseases in 2016 and it is expected that numbers will dramatically increase. In 2003, total worldwide healthcare budget of Diabetes Mellitus was up to 64.9 billion international Dollars withthe continuing rise in prevalence, it is expected that total costs will increase to 396 billion international Dollars by 2025. the main purpose of this study was to present a clinical decision support system that calculates Metabolic Syndrome existence and evaluate HeartScore risk level for Turkish population. the second objective was to create a detailed personal report about individual's risk level of Metabolic Syndrome and HeartScore and give advice to him/her to reduce it. the fuzzy logic risk assessment system (FLRAS) was formed in LabVIEW graphical development platform according to international Diabetes Federation and European Heart Journal's criteria. Mamdani type fuzzy logic sets were identified for each input variable and membership functions were assigned depending on the magnitude of the input limits. System's performance was tested on 96 (72 females, 24 males) patient data. Results show that the proposed system was able to evaluate the Metabolic Syndrome risk with 0.9285 specificity, 0.92708 accuracy and 0.925 sensitivity.
ILP learners are commonly implemented to consider sequentially each training example for each of the hypotheses tested. Computing the cover set of a hypothesis in this way is costly, and introduces a major bottleneck ...
详细信息
We present an extension of propositional dynamic logic called HOT-PDL for specifying temporal properties of higher-order functional programs. the semantics of HOT-PDL is defined over Higher-Order Traces (HOTs) that mo...
详细信息
ISBN:
(纸本)9783319961453;9783319961446
We present an extension of propositional dynamic logic called HOT-PDL for specifying temporal properties of higher-order functional programs. the semantics of HOT-PDL is defined over Higher-Order Traces (HOTs) that model execution traces of higher-order programs. A HOT is a sequence of events such as function calls and returns, equipped with two kinds of pointers inspired by the notion of justification pointers from game semantics: one for capturing the correspondence between call and return events, and the other for capturing higher-order control flow involving a function that is passed to or returned by a higherorder function. To allow traversal of the new kinds of pointers, HOT-PDL extends PDL with new path expressions. the extension enables HOT-PDL to specify interesting properties of higher-order programs, including stack-based access control properties and those definable using dependent refinement types. We show that HOT-PDL model checking of higher-order functional programs over bounded integers is decidable via a reduction to modal mu-calculus model checking of higher-order recursion schemes.
In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivation for initialize...
详细信息
ISBN:
(数字)9783319999272
ISBN:
(纸本)9783319999272;9783319999265
In contrast to untimed FSMs, two minimal initialized FSMs with timeouts can be equivalent but not isomorphic. Accordingly, we propose an appropriate fault model and a method for complete test derivation for initialized deterministic FSMs with timeouts based on an appropriate FSM abstraction of the timed FSM specification. We also show how the same approach can be used for deriving tests for FSMs with both time guards and timeouts.
Agent-Based Simulation (ABS) is a methodology in which a system is simulated in a bottom-up approach by modelling the micro interactions of its constituting parts, called agents, out of which the global system behavio...
详细信息
this paper defines a novel transportation problem, the Senior Transportation Problem (STP), which is inspired by the elderly door-to-door transportation services provided by non-profit organizations. Building on the v...
详细信息
ISBN:
(纸本)9783319930312;9783319930305
this paper defines a novel transportation problem, the Senior Transportation Problem (STP), which is inspired by the elderly door-to-door transportation services provided by non-profit organizations. Building on the vehicle routing literature, we develop solution approaches including mixed integer programming (MIP), constraint programming (CP), two logic-based Benders decompositions (LBBD), and a construction heuristic. Empirical analyses on both randomly generated datasets and large real-life datasets are performed. CP achieved the best results, solving to optimality 89% of our real-life instances of up to 270 vehicles with 385 requests in under 600s. the best LBBD model can only solve 17% of those instances to optimality. Further investigation of this somewhat surprising result indicates that, compared to the LBBD approaches, the pure CP model is able to find better solutions faster and then is able to use the bounds from these sub-optimal solutions to reduce the search space slightly more effectively than the decomposition models.
Named Data Networking (NDN) is a new promising architecture of information-centric networking. For its caching property, traditional mechanisms of access control can no longer work. Hamdane et al. propose a new access...
详细信息
暂无评论