A Tool Support for Reusing ELAN Rule-Based Components

The adaptation of software components developed for a specific application in order to generate reusable components often includes some kind of generalization. This generalization may be carried out, for instance, by the renaming of some identifiers or by its parameterization. In our work, we are specially interested in the generalization by parameterization of algebraic specification components. Generalization and some other transformations on algebraic specifications are being integrated in the FERUS tool. This tool was initially developed for the Common Algebraic Specification Language, called CASL, and we show in the paper its adaptation to the new version of the rule-based programming language ELAN.     

Failure pressure evaluation of the containment building of a large dry nuclear power plant

The evaluation of the failure pressure of the containment building of a large dry PWR-W three loops nuclear power plant, based on computer numerical simulation, is described in this paper. The proposed method considers fully three-dimensional finite element models in order to take into account the effect of the most significant structural characteristics (presence of three buttresses, penetrations, additional reinforcement around the penetrations, etc.), the lack of symmetry of the forces generated by the prestressing system, as well as the nonlinear behaviour of the materials and the sensitivity of the results to uncertainties associated with several parameters. The computational model is completely described, including the constitutive equations for the concrete, the reinforcing steel and prestressing tendons, the spatial discretization—isoparametric elements including the reinforcement are used. The structural models and the analyses performed for their calibration are also described. The influence on the failure pressure of incorporating the foundation slab in the structural model, and the influence of the thermal effects, are discussed. One of the conclusions of the numerical study is that the failure process can be appropriately simulated by means of a structural model which does not include either the foundation slab or the thermal effects. Finally, results of a probabilistic simulation of the failure pressure are given.     

Toward the first nonpeptidic molecular tong inhibitor of wild-type and mutated HIV-1 protease dimerization

Herein we describe the synthesis and HIV-1 protease (PR) inhibitory activity of 16 new peptidomimetic molecular tongs with a naphthalene scaffold. Their peptidic character was progressively decreased. Two of these molecules exhibited the best dimerization inhibition activity toward HIV-1 wild-type and multimutated ANAM-11 proteases obtained to date for this class of molecules (～40?nM for wild-type PR and 100?nM for ANAM-11 PR). Although the peptidic character of one molecular tong was completely suppressed, the mechanism of inhibition and inhibitory potency toward both proteases were maintained.     

Intraoperative Tumor Detection Using Pafolacianine

Cancer is a leading cause of death worldwide, with increasing numbers of new cases each year. For the vast majority of cancer patients, surgery is the most effective procedure for the complete removal of the malignant tissue. However, relapse due to the incomplete resection of the tumor occurs very often, as the surgeon must rely primarily on visual and tactile feedback. Intraoperative near-infrared imaging with pafolacianine is a newly developed technology designed for cancer detection during surgery, which has been proven to show excellent results in terms of safety and efficacy. Therefore, pafolacianine was approved by the U.S. Food and Drug Administration (FDA) on 29 November 2021, as an additional approach that can be used to identify malignant lesions and to ensure the total resection of the tumors in ovarian cancer patients. Currently, various studies have demonstrated the positive effects of pafolacianine’s use in a wide variety of other malignancies, with promising results expected in further research. This review focuses on the applications of the FDA-approved pafolacianine for the accurate intraoperative detection of malignant tissues. The cancer-targeting fluorescent ligands can shift the paradigm of surgical oncology by enabling the visualization of cancer lesions that are difficult to detect by inspection or palpation. The enhanced detection and removal of hard-to-detect cancer tissues during surgery will lead to remarkable outcomes for cancer patients and society, specifically by decreasing the cancer relapse rate, increasing the life expectancy and quality of life, and decreasing future rates of hospitalization, interventions, and costs.     

Modification of cellulose/chitin mix fibers with N‐isopropylacrylamide and poly(N‐isopropylacrylamide) under cold plasma conditions

A two‐step grafting procedure was applied to cellulose/chitin (CC) mix fibers, namely: activation under the action of cold plasma discharges, followed by reaction with N‐isopropylacrylamide (NIPAAm) and poly(N‐isopropylacrylamide) (PNIPAAm) to obtain fibers with responsiveness to external stimuli. The graft samples were characterized using attenuated total reflection Fourier transform infrared spectroscopy, X‐ray photoelectron spectroscopy (XPS), X‐ray diffraction, scanning electron microscopy coupled with energy‐dispersive X‐ray microanalysis and antimicrobial testing. All obtained results confirm the morphological and structural changes after plasma treatment which determine the modification of cellulose fiber properties. It was estimated from XPS data that the degrees of modification/grafting were about 23% for CC/NIPAAm and 13% for CC/PNIPAAm. Such treatment could be transferred to practical technologies, particularly in textile applications and special applications in the medical field. Copyright © 2012 Society of Chemical Industry     

Low density polyethylene composites containing cellulose pulp fibers

Unbleached and bleached Kraft cellulose pulp fibers modified with a long chain carboxylic acid, i.e. oleic acid in cold plasma conditions have been used as reinforcements in low density polyethylene (LDPE). The purpose of the modification is to enhance the interfacial adhesion between cellulose and matrix and to increase the dispersability. Composites containing up to 10 wt.% of untreated and modified cellulose pulp fibers with LDPE were prepared by melt mixing. The samples were characterized by processing behavior, mechanical and rheological properties, SEM, contact angle measurements, TGA and DSC. It was found that when the modified pulp fibers were incorporated into composites matrix, most of the properties have been improved.     

Designing a dynamic system traffic control of a freight railway

This paper empathizes the interface design for a new control system for freight that was developed during the process of modernization in a company. On one side, there are managers, intermediate decision levels, that dialogue with the ergonomists and, on the other side, the operators with their own opinions about the system. These last ones are rarely asked by the managers about their opinions. The proposed system is configured from the opinions of the operators. Other problems, such as technology transfer and insistence of the managers about using similar systems obliged that the final project should include some modifications.     

Invariant sets techniques for Youla–Kučera parameter synthesis

This article addresses an invariant sets approach for Youla–Ku?era parameter synthesis using linear matrix inequality (LMI) techniques. Given a linear discrete-time observer-based system affected by bounded disturbances and constraints, the proposed technique furnishes the best Youla parameter in terms of finding an invariant ellipsoidal set satisfying the constraints and having the maximal ellipsoidal projection on the state space. Compared with the results obtained for an observer-based design, the synthesis of a Youla parameter provides a larger ellipsoidal projection and an improved sensitivity function. The price to pay for these achievements in terms of robustness is usually a slow closed-loop performance with degraded complementary sensitivity function. In order to obtain a compromise between robustness and performance two methods are proposed: the first method imposes a new bound on the Lyapunov function decreasing speed and the second refers to the pole placement concept. The aforementioned approaches are finally validated in simulation considering position control of an induction motor.     

Promising Therapies for Atrial Fibrillation and Ventricular Tachycardia

Sudden cardiac death due to arrhythmias, such as atrial fibrillation or ventricular tachycardia, account for 15–20% of all deaths. Myocardial infarction increases the burden of atrial fibrillation and ventricular tachycardia by structural and electrical remodeling of the heart. The current management of new-onset atrial fibrillation includes electric cardioversion with very high conversion rates and pharmacologic cardioversion, with less a than 50% conversion rate. If atrial fibrillation cannot be converted, the focus becomes the control of the symptoms ensuring a constant rhythm and rate control, without considering other contributory factors such as autonomic imbalance. Recently, a huge success was obtained by developing ablation techniques or addressing the vagal nerve stimulation. On the other hand, ventricular tachycardia is more sensitive to drug therapies. However, in cases of non-responsiveness to drugs, the usual therapeutic choice is represented by stereotactic ablative therapy or catheter ablation. This review focuses on these newly developed strategies for treatment of arrhythmias in clinical practice, specifically on vernakalant and low-level tragus stimulation for atrial fibrillation and stereotactic ablative therapy for drug-refractory ventricular tachycardia. These therapies are important for the significant improvement of the management of atrial fibrillation and ventricular tachycardia, providing: (1) a safer profile than current therapies, (2) higher success rate than current solutions, (3) low cost of delivery.