TRUNK WITH FOLDING CROSSBARS, PATENT OSIM – RO NR. 130559/2019 PROPOSED FOR INSTALLATION ON THE DACIA – DUSTER CAR

The work presents a manner of implementation of an existing Romanian patent (OSIM - Ro Patent no. 130559/2019 which refers to a car trunk with folding crossbars), for its adaptation to the Dacia-DUSTER car, as a SMART trunk. The novelty element is that the trunk is designed in such a way that it can fold / hide inside the longitudinal bars when it is not used (leading to fuel savings), and respectively, it can be extended by folding to be put in a working position, when it becomes active. In addition, the trunk has possibilities of adjustment depending on the types / dimensions of the luggage transported and is integrated more harmoniously with the shape of the car's body, compared to the existing universa

Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems

This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, illustrated on a tissue P system with active membranes solving the 3-colouring problem. The paper focuses on this problem and reports the invariants and the properties extracted and veri ed using a series of tools (Daikon, MeCoSim, Maple, Spin, ProB) and languages (P{Lingua, Promela, Event-B). Appropriate tools and integration plugins, which facilitate and even automate the steps involved in the aforementioned approach, have also been developed. The case study chosen is complex (it involves an exponential growth of the number of states through the use of membrane division rules) and the properties obtained are non-trivial.Ministerio de Ciencia e Innovación TIN2009–13192Junta de Andalucía P08–TIC–0420

Algorithm for Two Generalized Nonexpansive Mappings in Uniformly Convex Spaces

In this paper, we study the common fixed-point problem for a pair of García-Falset mapping and (α,β)-generalized hybrid mapping in uniformly convex Banach spaces. For this purpose, we construct a modified three-step iteration by properly including together these two types of mappings into its formula. Under this modified iteration, a necessary and sufficient condition for the existence of a common fixed point as well as weak and strong convergence outcomes are phrased under some additional conditions

Thermal Comfort Modeling of a Church Heated with Static Heaters

This paper evaluates a static heating system from a church. They are presented in almost every church. Temperature distribution in the church is done in 2d plane. The simulation is presented on a particular example, the Dormition of the Mother of God Church from Jassy, Romania. The heating system had been simulated in FLUENT and the consequences over the interior climate in the church are showed. An important issue is the impact of this system over the artwork, the church being rise in XVIII century

Indoor Climate Simulation in a Church During Winter Season

In the paper is presented a heating system installed in church and the interior climate generated. Thermal Comfort is the purpose of each designer, since the design stage and has to be ensure for the churchgoers, but even for the interior finishes. The heating system that uses hydronic radiators is evaluated trough the CFD modelling, in order to evaluate pro and contra arguments. The simulation has been made in a 3d simulation software environment, in Autodesk CFD with good results

Pulmonary hypertension in patients with myeloproliferative neoplasms: A large cohort of 183 patients

International audienc