148 research outputs found

    Language Design for Reactive Systems: On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts

    Get PDF
    Reactive systems play a crucial role in the embedded domain. They continuously interact with their environment, handle concurrent operations, and are commonly expected to provide deterministic behavior to enable application in safety-critical systems. In this context, language design is a key aspect, since carefully tailored language constructs can aid in addressing the challenges faced in this domain, as illustrated by the various concurrency models that prevent the known pitfalls of regular threads. Today, many languages exist in this domain and often provide unique characteristics that make them specifically fit for certain use cases. This thesis evolves around two distinctive languages: the actor-oriented polyglot coordination language Lingua Franca and the synchronous statecharts dialect SCCharts. While they take different approaches in providing reactive modeling capabilities, they share clear similarities in their semantics and complement each other in design principles. This thesis analyzes and compares key design aspects in the context of these two languages. For three particularly relevant concepts, it provides and evaluates lean and seamless language extensions that are carefully aligned with the fundamental principles of the underlying language. Specifically, Lingua Franca is extended toward coordinating modal behavior, while SCCharts receives a timed automaton notation with an efficient execution model using dynamic ticks and an extension toward the object-oriented modeling paradigm

    SIMULATING CONSUMABLE ORDER FULFILLMENT VIA ADDITIVE MANUFACTURING TECHNOLOGIES

    Get PDF
    Operational availability of naval aircraft through material readiness is critical to ensuring combat power. Supportability of aircraft is a crucial aspect of readiness, influenced by several factors including access to 9B Cognizance Code (COG) aviation consumable repair parts at various supply echelons. Rapidly evolving additive manufacturing (AM) technologies are transforming supply chain dynamics and the traditional aircraft supportability construct. As of June 2022, there are 595 AM assets within the Navy’s inventory—all for research and development purposes. This report simulates 9B COG aviation consumable fulfillment strategies within the U.S. Indo-Pacific sustainment network for a three-year span, inclusive of traditional supply support avenues and a developed set of user-variable capability inputs. Simulated probabilistic demand configurations are modeled from historical trends that exploit a heuristic methodology to assign a “printability” score to each 9B COG requirement, accounting for uncertainty, machine failure rates, and other continuous characteristics of the simulated orders. The results measure simulated lead time across diverse planning horizons in both current and varied operationalized AM sustainment network configurations. This research indicates a measurable lead time reduction of approximately 10% across all 9B order lead times when AM is employed as an order fulfillment source for only 0.5% of orders.NPS Naval Research ProgramThis project was funded in part by the NPS Naval Research Program.Lieutenant Commander, United States NavyApproved for public release. Distribution is unlimited

    Liber Amicorum Jean-Claude Haelewyck édité par Claude Obsomer pour Ses Septante ans

    Get PDF

    Liber Amicorum Jean-Claude Haelewyck édité par Claude Obsomer pour Ses Septante ans

    Get PDF

    Computational Methods for Medical and Cyber Security

    Get PDF
    Over the past decade, computational methods, including machine learning (ML) and deep learning (DL), have been exponentially growing in their development of solutions in various domains, especially medicine, cybersecurity, finance, and education. While these applications of machine learning algorithms have been proven beneficial in various fields, many shortcomings have also been highlighted, such as the lack of benchmark datasets, the inability to learn from small datasets, the cost of architecture, adversarial attacks, and imbalanced datasets. On the other hand, new and emerging algorithms, such as deep learning, one-shot learning, continuous learning, and generative adversarial networks, have successfully solved various tasks in these fields. Therefore, applying these new methods to life-critical missions is crucial, as is measuring these less-traditional algorithms' success when used in these fields

    Machine Learning and Data Mining Applications in Power Systems

    Get PDF
    This Special Issue was intended as a forum to advance research and apply machine-learning and data-mining methods to facilitate the development of modern electric power systems, grids and devices, and smart grids and protection devices, as well as to develop tools for more accurate and efficient power system analysis. Conventional signal processing is no longer adequate to extract all the relevant information from distorted signals through filtering, estimation, and detection to facilitate decision-making and control actions. Machine learning algorithms, optimization techniques and efficient numerical algorithms, distributed signal processing, machine learning, data-mining statistical signal detection, and estimation may help to solve contemporary challenges in modern power systems. The increased use of digital information and control technology can improve the grid’s reliability, security, and efficiency; the dynamic optimization of grid operations; demand response; the incorporation of demand-side resources and integration of energy-efficient resources; distribution automation; and the integration of smart appliances and consumer devices. Signal processing offers the tools needed to convert measurement data to information, and to transform information into actionable intelligence. This Special Issue includes fifteen articles, authored by international research teams from several countries

    Intelligent Transportation Related Complex Systems and Sensors

    Get PDF
    Building around innovative services related to different modes of transport and traffic management, intelligent transport systems (ITS) are being widely adopted worldwide to improve the efficiency and safety of the transportation system. They enable users to be better informed and make safer, more coordinated, and smarter decisions on the use of transport networks. Current ITSs are complex systems, made up of several components/sub-systems characterized by time-dependent interactions among themselves. Some examples of these transportation-related complex systems include: road traffic sensors, autonomous/automated cars, smart cities, smart sensors, virtual sensors, traffic control systems, smart roads, logistics systems, smart mobility systems, and many others that are emerging from niche areas. The efficient operation of these complex systems requires: i) efficient solutions to the issues of sensors/actuators used to capture and control the physical parameters of these systems, as well as the quality of data collected from these systems; ii) tackling complexities using simulations and analytical modelling techniques; and iii) applying optimization techniques to improve the performance of these systems. It includes twenty-four papers, which cover scientific concepts, frameworks, architectures and various other ideas on analytics, trends and applications of transportation-related data

    Three Risky Decades: A Time for Econophysics?

    Get PDF
    Our Special Issue we publish at a turning point, which we have not dealt with since World War II. The interconnected long-term global shocks such as the coronavirus pandemic, the war in Ukraine, and catastrophic climate change have imposed significant humanitary, socio-economic, political, and environmental restrictions on the globalization process and all aspects of economic and social life including the existence of individual people. The planet is trapped—the current situation seems to be the prelude to an apocalypse whose long-term effects we will have for decades. Therefore, it urgently requires a concept of the planet's survival to be built—only on this basis can the conditions for its development be created. The Special Issue gives evidence of the state of econophysics before the current situation. Therefore, it can provide excellent econophysics or an inter-and cross-disciplinary starting point of a rational approach to a new era

    Blockchain-Based Digitalization of Logistics Processes—Innovation, Applications, Best Practices

    Get PDF
    Blockchain technology is becoming one of the most powerful future technologies in supporting logistics processes and applications. It has the potential to destroy and reorganize traditional logistics structures. Both researchers and practitioners all over the world continuously report on novel blockchain-based projects, possibilities, and innovative solutions with better logistic service levels and lower costs. The idea of this Special Issue is to provide an overview of the status quo in research and possibilities to effectively implement blockchain-based solutions in business practice. This Special Issue reprint contained well-prepared research reports regarding recent advances in blockchain technology around logistics processes to provide insights into realized maturity

    Advances in Evaporation and Evaporative Demand

    Get PDF
    The importance of evapotranspiration is well-established in different disciplines such as hydrology, agronomy, climatology, and other geosciences. Reliable estimates of evapotranspiration are also vital to develop criteria for in-season irrigation management, water resource allocation, long-term estimates of water supply, demand and use, design and management of water resources infrastructure, and evaluation of the effect of land use and management changes on the water balance. The objective of this Special Issue is to define and discuss several ET terms, including potential, reference, and actual (crop) ET, and present a wide spectrum of innovative research papers and case studies
    • …
    corecore