scholarly journals Constitutive Hybrid Processes: a Process-Algebraic Semantics for Hybrid Bond Graphs

SIMULATION ◽  
2008 ◽  
Vol 84 (7) ◽  
pp. 339-358 ◽  
Author(s):  
Pieter J.L. Cuijpers ◽  
Jan F. Broenink ◽  
Pieter J. Mosterman
2019 ◽  
Vol 1 (7) ◽  
pp. 42-45
Author(s):  
V. A. Golubkov ◽  
V. F. Shishlakov ◽  
A. G. Fedorenko ◽  
E. Yu. Vataeva

Electromechanical devices consist mainly of rotor systems. Vibration is the result of the interaction of the elements of the rotor system and is largely determined by the accuracy of manufacturing elements at the production stage and defects arising in the process of operation. The main components of the rotor systems that affect vibration are bearings. To determine the technical condition of the bearings and the service life of the rotor system, it is necessary to accurately measure the unobservable vibrations of the rotor. The article describes the model of the channel for measuring the vibration of an electromechanical system, built using the apparatus of bond graphs. The transfer function is obtained by analyzing the signal flow graph. The systematic and random errors of vibration measurement are analyzed depending on the mass ratio between the system case and the vibration transducer for various sensor masses and attachment rigidity.


Author(s):  
Lucas Champollion

Why can I tell you that I ran for five minutes but not that I *ran all the way to the store for five minutes? Why can you say that there are five pounds of books in this package if it contains several books, but not *five pounds of book if it contains only one? What keeps you from using *sixty degrees of water to tell me the temperature of the water in your pool when you can use sixty inches of water to tell me its height? And what goes wrong when I complain that *all the ants in my kitchen are numerous? The constraints on these constructions involve concepts that are generally studied separately: aspect, plural and mass reference, measurement, and distributivity. This work provides a unified perspective on these domains, connects them formally within the framework of algebraic semantics and mereology, and uses this connection to transfer insights across unrelated bodies of literature and formulate a single constraint that explains each of the judgments above. This provides a starting point from which various linguistic applications of mereology are developed and explored. The main foundational issues, relevant data, and choice points are introduced in an accessible format.


2021 ◽  
Author(s):  
Marco Nazareno State Dell'Anna ◽  
Mathew Laureano ◽  
Hamed Bateni ◽  
John E Matthiesen ◽  
Ludovic Zaza ◽  
...  

The integration of microbial and electrochemical conversions in hybrid processes broadens the portfolio of products accessible from biomass. For instance, sugars and lignin monomers can be biologically converted to cis,cis-muconic...


2021 ◽  
Author(s):  
Ivan Chajda ◽  
Helmut Länger

AbstractTogether with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that—similar to relatively pseudocomplemented lattices—these structures can serve as an algebraic semantics of certain intuitionistic logics. The aim of the present paper is to define congruences and filters in these structures, derive mutual relationships between them and describe basic properties of congruences in strongly sectionally pseudocomplemented posets. For the description of filters in both sectionally pseudocomplemented lattices and posets, we use the tools introduced by A. Ursini, i.e., ideal terms and the closedness with respect to them. It seems to be of some interest that a similar machinery can be applied also for strongly sectionally pseudocomplemented posets in spite of the fact that the corresponding ideal terms are not everywhere defined.


2010 ◽  
Vol 180 (8) ◽  
pp. 1354-1372 ◽  
Author(s):  
Carles Noguera ◽  
Francesc Esteva ◽  
Lluís Godo

2011 ◽  
Vol 233-235 ◽  
pp. 866-869 ◽  
Author(s):  
Guang Lu Han ◽  
Qi Zhang ◽  
Jing Zhong ◽  
Hui Shao ◽  
Huan Ru Zhang

Three kinds of commercial PVA composite membranes with different crosslinking degrees (PVA-1, PVA-2 and PVA-3) were used to separate DMF/H2O mixtures. Their pervaporation performance was investigated at different operation temperatures. The results showed that PVA-1 was the most suitable one for separating DMF/H2O mixtures. When operation temperature was 60°C and downstream pressure was lower than 6kPa, flux reached to 0.59 kg·m-2·h-1 and separation factor was 33 for PVA-1 membranes. Aspen Plus® was applied to simulate the normal distillation for retentate from pervaporation unit. Comparing with the two-effect distillation, the cost of concentrating DMF could be reduced 16.2% to 19.2% for DMF aqueous solution with different composition by hybrid processes. The cost would be the lowest for a hybrid process that concentrated the feed into 50wt% by pervaporation firstly, then concentrated retentate to 99.6wt% by two-effect distillation


Sign in / Sign up

Export Citation Format

Share Document