检索结果-内蒙古大学图书馆

International Symposium on Computing and Networking CANDAR

作者： Yang, Wei-Jen Huang, Wei-Lun Liao, Chiao-Ssu Wang, Yu-Wei Chu, Chun-Yen Inst Informat Ind Adv Res Inst Taipei Taiwan

ISBN: (纸本)9781479941520

In this paper, we propose a novel web application development platform using the declarative programming and business process. In the proposed platform, we define the program flow by the business process, which can organize a program process efficiently and flexibly. Since the design of the user interface (UI) is independent of the business process, the developers can design the UI without considering the business process. Furthermore, a novel declarative programming language is proposed to describe the interactions among the components in the web pages as well as define the communication between the web pages and business process, leading to a simple, efficient, and flexible platform for the web application development. The implementation of the real web application example demonstrates the practical applicability and efficacy of the proposed platform.

关键词： business process declarative programming user interface web application development

来源：评论

学校读者我要写书评

暂无评论

Thermal management for gas lubricated, high-speed turbomachinery

引用

APPLIED THERMAL ENGINEERING 2023年 218卷

作者： Olmedo, L. E. Liu, W. Gjika, K. Schiffmann, J. Ecole Polytech Fed Lausanne STI IGM LAMD CH-2002 Neuchatel Switzerland KG Turbomachinery Paris France

High-speed turbomachinery is commonly designed to achieve high power densities. Limited space for active cooling results in a challenging thermal management. A thermal modeling approach leveraging modern declarative programming capabilities is presented, yielding an efficient dynamic model capable of real-time simulation while achieving accurate results. These properties enable the inclusion of thermal management strategies in an early stage of the design process. Further, the effect of varying thermal and transport properties of materials and fluids during transient conditions is included and is suggested to yield a high impact on thermal loads and heat evacuation capabilities. The often neglected fluid advection within the system is modeled by integrating a 1D fluid network from MatlabTM SimscapeTM to the thermal model, displaying a significant impact on the temperature estimation for critical parts. The accuracy of the presented model is verified against three gas-bearing supported high-speed turbomachinery experiments for stationary and transient operation.

关键词： Turbomachinery Dynamic modeling declarative programming 1D-networks Thermal management Gas lubricated bearings

来源：评论

学校读者我要写书评

暂无评论

A domain-specific language for structure manipulation in constraint system-based GUIs

引用

JOURNAL OF COMPUTER LANGUAGES 2023年 74卷

作者： Stokke, Knut Anders Barash, Mikhail Jarvi, Jaakko Univ Bergen Bergen Norway Univ Turku Turku Finland

A common frustration with programming Graphical User Interfaces (GUIs) is that features for manipulating structures, such as lists and trees, are limited, inconsistent, buggy, or even missing. Implementing complete and convenient sets of operations for inserting, removing, and reordering elements in such structures can be tedious and difficult: a structure that appears as one collection to the user can be implemented as several different data structures and a web of dependencies between them. Structural modifications require changes both to the GUI's model and view, and possibly extraneous bookkeeping operations, such as adding and removing event *** paper introduces a DSL that helps programmers to implement a complete set of operations to structures displayed in GUIs. The programmer specifies structures and relations between elements in the structure. Concretely, the latter are definitions of methods for establishing and unestablishing relations. Operations that manipulate structures are specified as rules that control which relations should hold before and after a rule is applied. From these specifications, our tools generate an easy-to-use API for structure manipulation. We target constraint system-based Web GUIs: the DSL generates JavaScript and relies on dataflow constraint systems for expressing dependencies between elements in GUI structures. Our DSL gives tangible representations with well-defined operations for ad-hoc and incidental GUI structures.

关键词： GUI programming Separation of concerns Rule based systems declarative programming Dataflow constraint systems

来源：评论

学校读者我要写书评

暂无评论

Prompt2DeModel: declarative Neuro-Symbolic Modeling with Natural Language 18th

Prompt2DeModel: Declarative Neuro-Symbolic Modeling with Nat...

引用

18th International Conference on Neural-Symbolic Learning and Reasoning (NeSy)

作者： Faghihi, Hossein Rajaby Nafar, Aliakbar Uszok, Andrzej Karimian, Hamid Kordjamshidi, Parisa Michigan State Univ E Lansing MI 48824 USA Florida Inst Human & Machine Cognit Pensacola FL USA

ISBN: (纸本)9783031711695;9783031711701

This paper presents a conversational pipeline for crafting domain knowledge for complex neuro-symbolic models through natural language prompts. It leverages large language models to generate declarative programs in the DomiKnowS framework. The programs in this framework express concepts and their relationships as a graph in addition to logical constraints between them. The graph, later, can be connected to trainable neural models according to those specifications. Our proposed pipeline utilizes techniques like dynamic in-context demonstration retrieval, model refinement based on feedback from a symbolic parser, visualization, and user interaction to generate the tasks' structure and formal knowledge representation. This approach empowers domain experts, even those not well-versed in ML/AI, to formally declare their knowledge to be incorporated in customized neural models in the DomiKnowS framework.

关键词： Neuro-Symbolic AI Code Generation Constraint Integration declarative programming Language to Code Generative AI Large Language Models

来源：评论

学校读者我要写书评

暂无评论

A declarative reasoning approach to conflict management in Intent-Based Networking 27

A declarative reasoning approach to conflict management in I...

引用

27th Conference on Innovation in Clouds, Internet and Networks (ICIN)

作者： Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy

ISBN: (纸本)9798350393767;9798350393774

Intent-Based Networking aims to automate network management by allowing users to express desired outcomes rather than manually configuring network resources. For its fulfilment, a user intent should be translated into machine-executable actions, which are then implemented in the infrastructure, and their outcome continuously monitored. However, such an automated loop may be hindered by conflicts that arise within an intent or between multiple intents throughout their lifecycle. In this work, we propose a Prolog-based declarative model and reasoning methodology to detect and resolve conflicts arising from new incoming intents. By leveraging and extending an open-source Prolog prototype designed for intent processing and translation into Virtual Network Function chains, we show its conflict detection and resolution capabilities through an illustrative application use case.

关键词： intent-based networking declarative programming virtual network functions cloud-edge continuum

来源：评论

学校读者我要写书评

暂无评论

On Correctness and Completeness of an n Queens Program

引用

THEORY AND PRACTICE OF LOGIC programming 2022年第1期22卷 37-50页

作者： Drabent, Wlodzimierz Polish Acad Sci Inst Comp Sci Ul Jana Kazimierza 5 PL-01248 Warsaw Poland Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden

Thom Fruhwirth presented a short, elegant, and efficient Prolog program for the n queens problem. However, the program may be seen as rather tricky and one may not be convinced about its correctness. This paper explains the program in a declarative way and provides proofs of its correctness and completeness. The specification and the proofs are declarative, that is they abstract from any operational semantics. The specification is approximate, it is unnecessary to describe the program's semantics exactly. Despite the program works on non-ground terms, this work employs the standard semantics, based on logical consequence and Herbrand interpretations. Another purpose of the paper is to present an example of precise declarative reasoning about the semantics of a logic program.

关键词： logic programming declarative programming program completeness program correctness specification nonground answers

来源：评论

学校读者我要写书评

暂无评论

Osmotic management of distributed complex systems: A declarative decentralised approach

引用

JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS 2022年第10期34卷

作者： Forti, Stefano Lera, Isaac Guerrero, Carlos Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy Univ Balearic Isl Dept Comp Sci Palma De Mallorca Spain

Osmotic computing encompasses emerging Cloud-Internet of Things (IoT) computing paradigms, by featuring the possibility for application services to adapt into different functionally equivalent flavours, depending on the contextually available resources and on specific requirements of running applications. This article proposes a fully decentralised declarative framework that enables both application and infrastructure operators to declare management policies for the service instances and the nodes they manage, respectively. Policies are composed of a simple and well-defined set of management operations, declared in Prolog, which trigger based on locally available contextual information on application requests and infrastructure resources. A prototype implementation of the framework is showcased and assessed via simulation over a lifelike Smart Campus use case with multiple applications, at increasing infrastructure sizes and number of mobile users. Experimental results show that the proposed management framework scales to large infrastructure sizes and suits the needs of multiflavoured Osmotic applications in dynamic deployment conditions, by improving the trade-off between their response times and suitable service usage.

关键词： decentralised management declarative programming fog computing osmotic computing

来源：评论

学校读者我要写书评

暂无评论

A General Purpose Representation and Adaptive EA for Evolving Graphs 23

A General Purpose Representation and Adaptive EA for Evolvin...

引用

Genetic and Evolutionary Computation Conference (GECCO)

作者： Medvet, Eric Pozzi, Simone Manzoni, Luca Univ Trieste DIA Trieste Italy Univ Trieste DMG Trieste Italy

ISBN: (纸本)9798400701191

Graphs are a way to describe complex entities and their relations that apply to many practically relevant domains. However, domains often differ not only in the properties of nodes and edges, but also in the constraints imposed to the overall structure. This makes hard to define a general representation and genetic operators for graphs that permit the evolutionary optimization over many domains. In this paper, we tackle this challenge. We first propose a representation template that can be customized by users for specific domains: the constraints and the genetic operators are given in Prolog, a declarative programming language for operating with logic. Then, we define an adaptive evolutionary algorithm that can work with a large number of genetic operators by modifying their usage probability during the evolution: in this way, we relieve the user from the burden of selecting in advance only operators that are "good enough". We experimentally evaluate our proposal on two radically different domains to demonstrate its applicability and effectiveness: symbolic regression with trees and text extraction with finite-state automata. The results are promising: our approach does not trade effectiveness for versatility and is not worse than other domain-tailored approaches.

关键词： Graph Evolutionary Algorithm declarative programming Prolog Adaptive Evolutionary Algorithm

来源：评论

学校读者我要写书评

暂无评论

Program Synthesis for declarative Systems

Program Synthesis for Declarative Systems

引用

作者： Chen, Haoxian University of Pennsylvania

学位级别：Ph.D., Doctor of Philosophy

Formal methods are essential in assuring system correctness. However, formal specification languages have steep learning curves, thus hindering broader application to system development in practice. To address this problem, we propose NetSpec, a tool that generates system specification via intuitive example-based interface, DeCon, a high-level language for Ethereum smart contracts that provides unified interfaces for contract implementation and specification, and DCV, a safety verification tool for DeCon. NetSpec aims to be i) highly expressive, capable of synthesizing network specifications with complex semantics; ii) scalable, by virtue of using a novel stochastic search algorithm to efficiently explore an unbounded solution space, and iii) robust, avoiding the need for exhaustive input-output examples by actively generating new examples. Our experiments demonstrate that NetSpec can synthesize a wide range of specifications used in network verification, analysis, and implementations. Furthermore, NetSpec improves upon existing approaches in terms of expressiveness, efficiency, and robustness to examples. DeCon, a specification language for Ethereum smart contracts, models a contract as a set of relational tables that store transaction records, driven by the observation that smart contract operations and contract-level properties can be naturally expressed as relational constraints. This relational representation enables convenient specification of contract properties, facilitates run-time monitoring of potential property violations, and brings clarity to debugging via data provenance. DeCon programs are compiled into executable Solidity programs, with instrumentation for run-time property monitoring. Our case studies demonstrate that DeCon can implement realistic smart contracts such as ERC20 and ERC721 digital tokens. The evaluation shows that DeCon has comparable efficiency with the open-source reference implementation, incurring 14% median gas overhead for exec

关键词： Computer networks declarative programming Program synthesis Program verification Smart contracts NetSpec DeCon

来源：评论

学校读者我要写书评

暂无评论

declarative Provisioning of Virtual Network Function Chains in Intent-based Networks 9

Declarative Provisioning of Virtual Network Function Chains ...

引用

9th IEEE International Conference on Network Softwarization (IEEE NetSoft) - Boosting Future Networks through Advanced Softwarization

作者： Massa, Jacopo Forti, Stefano Paganelli, Federica Dazzi, Patrizio Brogi, Antonio Univ Pisa Dept Comp Sci Pisa Italy

ISBN: (纸本)9798350399806

Intent-based Networking (IBN) aims at simplifying network configuration and management by using high-level objectives that express the desired state of the network rather than the details of how to implement it. In this article, we propose a declarative methodology and an associated open-source Prolog prototype (i) to model IBN intents related to the provisioning of Virtual Network Function (VNF) chains, and (ii) to process those intents to assemble and place a VNF chain that fulfils them. Our prototype is assessed over a lifelike motivating scenario.

关键词： intent-based networking declarative programming virtual network functions cloud-edge continuum

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：