The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Solar‐driven interfacial evaporation (SDIE) is a highly promising approach to achieve sustainable desalination and tackle the global freshwater crisis. Despite advancements in this field, achieving balanced thermal localization and salt resistance remains a challenge. Herein, the study presents a 3D hierarchical porous ceramic platform for SDIE applications. The utilized alumina foam ceramics (AFCs)...
Real-time process algebra (RTPA) is an expressive mathematical means for describing cognitive behaviors and processes of human beings and software systems. This paper presents the strategies and patterns for transforming mathematical models of system behaviors in RTPA into C++. An RTPA code generator towards the simulation of system behaviors and processes is implemented, which transforms system architectures...
This paper discusses the implementation of the real-time processes of real-time process algebra (RTPA) using real-time Java. The difficulty in implementing real-time software from formal specifications comes from the fact that some realtime features expressed using a formal specification language cannot be easily transformed into a programming language. The paper shows how a combination of a real-time...
Real-time process algebra (RTPA) is a mathematics-based notation system for the specification and refinement of realtime and safety-critical systems. This paper presents the work on designing and developing a set of tools that facilitate automatic generation of C++ code from RTPA specifications of system architectures and behaviors. A two-phrase strategy has been employed in the design of the toolkit...
An abstract data type (ADT) is an abstraction of a data structure that specifies what information can be stored in the ADT and what operations can be done on/by the ADT. The file as a common type plays a primordial role in software system development since it provides a means for manipulating large volumes of information and persistent data. However, the file ADT has not been given a formal semantics...
Formal specification of abstract data types (ADTs) is important in modeling system architecture and their implementations. B-Trees are one of the most widely used ADT in system development. This paper presents a formal approach to the specification of B-Tree using real-time process algebra (RTPA), which is a newly developed mathematics-based notation system for the specification and refinement of...
This paper presents the work on developing a code generator that automatically generates C++ code based on RTPA specifications of system architecture and behaviors. The traditional sequential part of RTPA specification can be mapped onto standard C++ counterparts or their combinations. However the important real-time features of RTPA, such as interrupt, concurrency, duration, and event/time-driven...
Real-time process algebra (RTPA) is designed to deal with a rich set of fundamental real-time processes such as timing, interrupt, concurrency, and event/time-driven. Some of the RTPA processes cannot be described adequately in conventional denotational semantics paradigms. This paper develops a new framework for modeling time and processes in order to represent RTPA in denotational semantics. Within...
Real-time software development from formal specifications requires tools and suitable supporting environments to facilitate the development process. The need for such tools becomes more pronounced if the development language is Java; because Java suffers from the unpredictable behavior of the garbage collector. This paper presents a supporting environment for developing real-time software using Java...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.