Architectures in parametric component-based systems: Qualitative and quantitative modelling

One of the key aspects in component-based design is specifying the software architecture that characterizes the topology and the permissible interactions of the components of a system. To achieve well-founded design there is need to address both the qualitative and non-functional aspects of architectures. In this paper we study the qualitative and quantitative formal modelling of architectures applied on parametric component-based systems, that consist of an unknown number of instances of each component. Specifically, we introduce an extended propositional interaction logic and investigate its first-order level which serves as a formal language for the interactions of parametric systems. Our logics achieve to encode the execution order of interactions, which is a main feature in several important architectures, as well as to model recursive interactions. Moreover, we prove the decidability of equivalence, satisfiability, and validity of first-order extended interaction logic formulas, and provide several examples of formulas describing well-known architectures. We show the robustness of our theory by effectively extending our results for parametric weighted architectures. For this, we study the weighted counterparts of our logics over a commutative semiring, and we apply them for modelling the quantitative aspects of concrete architectures. Finally, we prove that the equivalence problem of weighted first-order extended interaction logic formulas is decidable in a large class of semirings, namely the class (of subsemirings) of skew fields.

New Modified Recombinant Botulinum Neurotoxin Type F with Enhanced Potency

Botulinum neurotoxins (BoNTs) are notorious toxins and powerful agents and can be lethal, causing botulism, but they are also widely used as therapeutics, particularly to treat neuromuscular disorders. As of today, the commercial BoNT treatments available are from native A or B serotypes. Serotype F has shown efficacy in a clinical trial but has scarcely been used, most likely due to its medium duration of effect. Previously, the uniqueness of the light chain of the F7 subtype was identified and reported, showing an extended interaction with its substrates, VAMPs 1, 2 and 3, and a superior catalytic activity compared to other BoNT/F subtypes. In order to more extensively study the properties of this neurotoxin, we engineered a modified F7 chimera, mrBoNT/F7-1, in which all the regions of the neurotoxin were identical to BoNT/F7 except the activation loop, which was the activation loop from BoNT/F1. Use of the activation loop from BoNT/F1 allowed easier post-translational proteolytic activation of the recombinant protein without otherwise affecting its properties. mrBoNT/F7-1 was expressed, purified and then tested in a suite of in vitro and in vivo assays. mrBoNT/F7-1 was active and showed enhanced potency in comparison to both native and recombinant BoNT/F1. Additionally, the safety profile remained comparable to BoNT/F1 despite the increased potency. This new modified recombinant toxin F7 could be further exploited to develop unique therapeutics to address unmet medical needs.

About theory of extended interaction klystron and drift space in the form of medium with complex permittivity

Purpose of this work is to construct a theory of extended interaction klystron with ordinary distributed resonators, but with a drift space in the form of medium with complex permittivity. Methods. For this, a hybrid of extended interaction klystron and an amplifier with a complex permittivity is considered in the framework of the weak signal approximation. Two types of configurations of a extended interaction klystron were considered: with two and three distributed resonators. For a two-resonator klystron with distributed interaction, two cases are considered: without reflections from the ends of distributed resonators and the case when the input binder is fully matched to the external transmission line, and for the second distributed resonator, the so-called condition of critical coupling of the “hot” resonator with the transmission line is satisfied. For a three-resonator klystron with distributed interaction, the case is considered without reflections from the ends of distributed resonators. Results and conclusion. According to the results of the developed theory of a weak signal in a extended interaction klystron with ordinary distributed resonators and a drift space with a complex dielectric constant, by choosing the parameters, it is possible to achieve a greater gain at a length that is shorter than in a conventional extended interaction klystron, all other things being equal. In addition, the presence of an intermediate distributed resonator makes it possible to increase the gain while maintaining the full length of the device.

Pseudospark-sourced beam and its application in high-power millimeter-wave generation

A pseudospark (PS) discharge can generate an electron beam with a high current density. The electron beam can be self-focused by an ion channel and transported over a long distance without the need for an external magnetic field. Such features make it attractive to drive millimeter-wave/THz interaction circuits for the generation of high-power radiation from a compact device. This paper presents the experimental results on the generation and transportation of the PS-sourced beam with different cross-sections, as well as the differences of the PS-sourced beam with and without post acceleration. Its application in millimeter-wave/THz sources was demonstrated by the operation of extended interaction oscillators (EIOs) at different frequencies is presented.