The effects of behavioral tasks on the in vitro phosphorylation of intermediate filament subunits of rat hippocampus are mediated by CaMKII and PKA

In the homodimeric hemoglobin from Scapharca, HbI, functional communication between the two heme groups is based on their direct structural linkage across the subunit interface through the heme propionates. The heme-protein interactions have been altered in deutero- and meso-HbI by substituting the vinyl groups at positions 2 and 4 of protoheme with hydrogen and ethyl groups, respectively. In meso-HbI the introduction of the ethyl groups in the heme pocket induces significant alterations in the conformation of the heme peripheral substituents, including the propionates, and in the structure of bound CO, as revealed by the resonance Raman spectra. The functional counterpart of these structural changes is the loss of cooperativity in carbon monoxide binding and in the rate of oxygen dissociation. Oxygen pulse and flash photolysis experiments indicate that meso-HbI is locked in the liganded conformation. It is postulated that the ethyl groups, which occupy a larger volume than vinyl ones, impair the ligand-linked movement of the heme relative to its pocket and in turn the expression of cooperativity. In deutero-HbI structural alterations have not been monitored. Functionally, cooperativity in the CO binding kinetics is increased as if hydrogen atoms at positions 2 and 4 permitted more marked movements of the heme than in the native protein.     

Normal form approach to compiler design

This paper demonstrates how reduction to normal form can help in the design of a correct compiler for Dijkstra's guarded command language. The compilation strategy is to transform a source program, by a series of algebraic manipulations, into a normal form that describes the behaviour of a stored-program computer. Each transformation eliminates high-level language constructs in favour of lower-level constructs. The correctness of the compiler follows from the correctness of each of the algebraic transformations.     

Constructive model-based analysis for safety assessment

The aerospace industry still uses fault trees to perform reliability analysis. This is because fault-tree modeling and analysis (FTA) seems easier to practical engineers when compared with Markov models, even though FTA provides a weaker form of analysis. In this paper, we propose an automatic strategy for generating Markov-based models and corresponding analysis formulations, according to ARP 4761, directly from Simulink diagrams annotated with failure information. The generated Markov-based models are expressed in the formal language PRISM, and the analysis is carried out by the PRISM model checker. The strategy is compositional and based on a comprehensive set of translation rules from Simulink to PRISM. We briefly address soundness and completeness of the rules and, to illustrate the application of the strategy, we apply it to a classical avionics case study: an actuator control system.     

Variational-Based Reduced-Order Model in Dynamic Substructuring of Coupled Structures Through a Dissipative Physical Interface: Recent Advances

This paper deals with a variational-based reduced-order model in dynamic substructuring of two coupled structures through a physical dissipative flexible interface. We consider the linear elastodynamic of a dissipative structure composed of two main dissipative substructures perfectly connected through interfaces by a linking substructure. The linking substructure is flexible and is modeled in the context of the general linear viscoelasticity theory, yielding damping and stiffness operators depending on the frequency, while the two main dissipative substructures are modeled in the context of linear elasticity with an additional classical viscous damping modeling which is assumed to be independent of the frequency. We present recent advances adapted to such a situation, which is positioned with respect to an appropriate review that we carry out on the different methods used in dynamic substructuring. It consists in constructing a reduced-order model using the free-interface elastic modes of the two main substructures and, for the linking substructure, an appropriate frequency-independent elastostatic lifting operator and the frequency-dependent fixed-interface vector basis.     

Improving robustness of industrial object detection by automatic generation of synthetic images from CAD models

Object detection (OD) is used for visual quality control in factories. Images that compose training datasets are often collected directly from the production line and labeled with bounding boxes manually. Such data represent well the inference context but might lack diversity, implying a risk of overfitting. To address this issue, we propose a dataset construction method based on an automated pipeline, which receives a CAD model of an object and returns a set of realistic synthetic labeled images (code publicly available). Our approach can be easily used by non-expert users and is relevant for industrial applications, where CAD models are widely available. We performed experiments to compare the use of datasets obtained by the two different ways—collecting and labeling real images or applying the proposed automated pipeline—in the classification of five different industrial parts. To ensure that both approaches can be used without deep learning expertise, all training parameters were kept fixed during these experiments. In our results, both methods were successful for some objects but failed for others. However, we have shown that the combined use of real and synthetic images led to better results. This finding has the potential to make industrial OD models more robust to poor data collection and labeling errors, without increasing the difficulty of the training process.     

A Framework for Integrating Non-Functional Requirements into Conceptual Models

The development of complex information systems calls for conceptual models that describe aspects beyond entities and activities. In particular, recent research has pointed out that conceptual models need to model goals, in order to capture the intentions which underlie complex situations within an organisational context. This paper focuses on one class of goals, namely non-functional requirements (NFR), which need to be captured and analysed from the very early phases of the software development process. The paper presents a framework for integrating NFRs into the ER and OO models. This framework has been validated by two case studies, one of which is very large. The results of the case studies suggest that goal modelling during early phases can lead to a more productive and complete modelling activity.       

A new approach to designing reduced scale thermal-hydraulic experiments

Reduced scale experiments are often employed in engineering because they are much cheaper than real scale testing. Unfortunately, though, it is difficult to design a thermal-hydraulic circuit or equipment in reduced scale capable of reproducing, both accurately and simultaneously, all the physical phenomena that occur in real scale and operating conditions. This paper presents a methodology to designing thermal-hydraulic experiments in reduced scale based on setting up a constrained optimization problem that is solved using genetic algorithms (GAs). In order to demonstrate the application of the methodology proposed, we performed some investigations in the design of a heater aimed to simulate the transport of heat and momentum in the core of a pressurized water reactor (PWR) at 100% of nominal power and non-accident operating conditions. The results obtained show that the proposed methodology is a promising approach for designing reduced scale experiments.     

Enzymatic synthesis of sugar esters and their potential as surface-active stabilizers of coconut milk emulsions

Sugar esters are compounds with surfactant properties (biosurfactants), i.e., capable of reducing the surface tension and promote the emulsification of immiscible liquids. On the other hand, as with all emulsions, coconut milk is not physically stable and is prone to phase separation. Therefore, the aim of this work was to evaluate the synthesis of fructose, sucrose and lactose esters from the corresponding sugars using Candida antarctica type B lipase immobilized in two different supports, namely acrylic resin and chitosan, and evaluate its application in the stabilization of coconut milk emulsions. The enzyme immobilized on chitosan showed the highest yield of lactose ester production (84.1%). Additionally, the production of fructose ester was found to be higher for the enzyme immobilized on the acrylic resin support (74.3%) as compared with the one immobilized on chitosan (70.1%). The same trend was observed for the sucrose ester, although with lower percentage yields. Sugar esters were then added to samples of fresh coconut milk and characterized according to their surface tension, emulsification index and particle size distribution. Although the microscopic analysis showed similar results for all sugar esters, results indicated lactose ester as the best biosurfactant, with a surface tension of 38.0 N/m and an emulsification index of 54.1%, when used in a ratio of 1:10 (biosurfactant:coconut milk, v/v) for 48 h experiments.     

Preconditioning approaches related to canonical correlation by use of cyclic form

There are many situations in engineering where we need to calculate the eigensystem of a matrix A which is given as a product of matrices, that is, A = A ₁ A ₂···A _p . Since, usually, we first perform the multiplication of the factors, the matrix A often becomes very ill-conditioned. Actually this happens even when A is a symmetric matrix, which will be our concern here. In this article we introduce a new approach to calculate the eigensystem of A without performing the indicated multiplication, or performing only partially the multiplication of the factors.     

How much nitrogen is fixed by biological symbiosis in tropical dry forests? 2. Herbs

Although biological nitrogen fixation (BNF) is considered the main input of N in mature and regenerating native tropical vegetation, it has seldom been quantified. Biomass and N accumulation and fixation were determined for spontaneously occurring herbaceous species in caatinga areas in four regeneration stages (2, 17, 39 and >50?years after abandonment from agricultural use). BNF was estimated using the ¹⁵N natural-abundance method. The 2-year regeneration area had the highest total herb (6,355?kg?ha^?1) and legume (262?kg?ha^?1) biomass production, N stocks (82?kg?ha^?1) and fixed N (5.0?kg?ha^?1). N₂-fixing legumes (nine species in the sampled area) contributed over 97?% of legume biomass in all areas. Macroptilium gracile added the largest amount of N (3.9?kg?ha^?1 in the 2-year regeneration area) because of its large biomass production (205?kg?ha^?1), although it was not the species with the highest proportion of fixed N (76?%). All of the N₂-fixing species obtained large proportions of their N from symbiosis, most of them more than 50?%.However, the amounts of fixed N per unit area were relatively low (0.22?C5.00?kg?ha^?1) because the biomass of N₂-fixing species was always less than 5?% of the total herb biomass.