Biochemical,functional, and histochemical effects of essential fatty acid deficiency in rat kidney

The present study was designed to examine the effects of EFA deficiency (EFAD) on biochemical, functional, and structural aspects of the kidney in growing and adult rats fed a normal or EFAD diet for 9 wk after weaning. Food and fluid intake (FI), urine volume, and Na⁺ and K⁺ excretions were measured weekly from weeks 4 to 8 by placing the rats in individual metabolic cages for 24 h. At week 9, Li⁺ and a 5% water load, respectively, were administered at 14 and 1.5 h prior to glomerular and proximal tubular function studies, as assessed by 3-h creatinine (C_Cr) and Li⁺ (C_Li+) clearances. Hematocrit and urine volume; serum and urine [Cr], [Li⁺], [Na⁺], and [K⁺]; and renal FA distribution were also measured. Data [corrected to 100 g/body weight (bw) and presented as means ±SEM] were significant, at P<-0.05. Despite a similar ingestion of solids from weeks 4 to 7 (weeks 7 to 10 of life), the rats on the EFAD diet showed a decreased body weight from week 5. From weeks 4 to 8, Fl and urine volume were similar for both groups, but the Fl increased at week 6 in the EFAD group; 24-h Na⁺ and K⁺ excretions were similar at all weeks, except for an increase in the EFAD group for both ions at week 7. In the EFAD group, C_Cr and C_Li+ decreased by 27 and 56.3%, respectively (385.7±33.4 vs. 280±21.1, and 21.0±2.1 vs. 9.2±1.1 μL/min/100 g; n=9 vs. 10), the latter result suggesting increased proximal reabsorption. The 3-h Na⁺ and K⁺ excretions were similar, but the Li⁺ decreased (0.78±0.06×10⁻² vs. 0.32±0.03×10⁻² μeq/min/100 g) in the EFAD group, giving additional support to the suggestion. Renal structure was normal and similar for both groups, but the EFAD group showed a more prominent proximal tubule brush border, together with heavier periodic acid-Schiff staining in all specimens from weeks 5 to 9. In the EFAD group, FA of the n−9 and n−7 series were higher, but most of the n−6 series were lower as a percentage of total lipids in the medulla and cortex. Medullary levels of 20∶4n−6 were maintained, 22∶4n−6 declined twice, arachidonic acid was maintained, and 20∶5n−3 was lower. The EFAD diet affected glomerular function, proximal tubular structure and function, and FA distribution in the rat kidney.     

Model falsification using set‐valued observers for a class of discrete‐time dynamic systems: a coprime factorization approach

This article introduces a new method for model falsification using set‐valued observers, which can be applied to a class of discrete linear time‐invariant dynamic systems with time‐varying model uncertainties. In comparison with previous results, the main advantages of this approach are as follows: The computation of the convex hull of the set‐valued estimates of the state can be avoided under certain circumstances; to guarantee convergence of the set‐valued estimates of the state, the required number of previous steps is at most as large as the number of states of the nominal plant; and it provides a straightforward nonconservative method to falsify uncertain models of dynamic systems, including open‐loop unstable plants. The results obtained are illustrated in simulation, emphasizing the advantages and shortcomings of the suggested method. Copyright © 2013 John Wiley & Sons, Ltd.     

Experience with model-based performance, reliability, and adaptability assessment of a complex industrial architecture

In this paper, we report on our experience with the application of validated models to assess performance, reliability, and adaptability of a complex mission critical system that is being developed to dynamically monitor and control the position of an oil-drilling platform. We present real-time modeling results that show that all tasks are schedulable. We performed stochastic analysis of the distribution of task execution time as a function of the number of system interfaces. We report on the variability of task execution times for the expected system configurations. In addition, we have executed a system library for an important task inside the performance model simulator. We report on the measured algorithm convergence as a function of the number of vessel thrusters. We have also studied the system architecture adaptability by comparing the documented system architecture and the implemented source code. We report on the adaptability findings and the recommendations we were able to provide to the system’s architect. Finally, we have developed models of hardware and software reliability. We report on hardware and software reliability results based on the evaluation of the system architecture.     

A novel electromyographic signal simulator for muscle contraction studies

Mathematical simulation has been widely used in biomedical and biological sciences. In the case of the surface electromyographic (SEMG) activity, some models have been proposed aiming to study muscle contraction strategies that are used during different tasks and conditions. Most of SEMG simulators are based on energy modulation of a Gaussian noise. This work proposes a novel simulator in which the user-defined parameters are associated with the motor units (MUs) recruitment and their firing rate. Comparison between the mean spectrum of real SEMG signals collected in isometric contraction of the muscle biceps brachii and the mean spectrum obtained from simulated SEMG signals showed a good agreement, pointing the proposed simulator seems to be capable to generate consistent electromyographic signals in time and frequency domains and that can be used in many studies, in particular in the evaluation of automatic methods aimed to detect muscular contraction.     

Typology of teacher perception toward distance education issues – A study of college information department teachers in Taiwan

The popularity of distance education has grown rapidly over the last decade in Taiwan’s higher education, yet many fundamental teaching–learning issues are still in debate. While teacher–student interaction is a key success factor in distance education, little work has been done on the teachers. The intent of this research was to clarify teacher’s perceptions on key distance education issues and to develop a discernible typology of different groups of teachers based on their perceptions. Because there may be a gulf between teachers and the technology used in distance education, the target of this study was teachers in information related departments in Taiwan’s colleges, who were more familiar with current technology. Factor analysis and cluster analysis were used to derive the typology. Five higher-level issue constructs emerged from the factor analysis: learning effect, customization, administrative challenges, geographic and resource integration, and instructional design challenges. Four groups of teachers, namely the skeptics, the optimists, the mild-promising group, and the outlier, were identified using cluster analysis of teachers’ perceptions on these five higher-level issue constructs. The profiles of the four groups of teachers were summarized and implications were discussed, which should provide useful insights to the policy makers of higher education on distance education decisions.     

Questionnaire-based variability modeling for system configuration

Variability management is a recurrent issue in systems engineering. It arises for example in enterprise systems, where modules are configured and composed to meet the requirements of individual customers based on modifications to a reference model. It also manifests itself in the context of software product families, where variants of a system are built from a common code base. This paper proposes an approach to capture system variability based on questionnaire models that include order dependencies and domain constraints. The paper presents analysis techniques to detect circular dependencies and contradictory constraints in questionnaire models, as well as techniques to incrementally prevent invalid configurations by restricting the space of allowed answers to a question based on previous answers. The approach has been implemented as a toolset and has been used in practice to capture configurable process models for film post-production.

Relaxation of the mouse pubic symphysis during late pregnancy is not accompanied by the influx of granulocytes

In some animals, such as mice and guinea pigs, a hormonally controlled mechanism increases the flexibility of the pubic symphysis and enhances the cervical remodeling necessary for safe delivery. Cervical ripening during pregnancy is associated with a paradoxical influx of leukocytes. However, the changes in cell metabolism during relaxation of the mouse pubic symphysis for delivery have not been extensively studied. In this work, we used light microscopy and transmission and scanning electron microcopy, as well as immunohistochemistry and Western blotting for MMP-8, to investigate the involvement of granulocytes or resident stromal cells in the relaxation of the virgin pubic symphysis during late pregnancy (days 18 and 19, before delivery) in vivo and in explanted joints. MMP-8 was studied because this collagenase is a hallmark for cervical ripening associated with the influx of granulocytes during late pregnancy. Extensive dissolution and disorganization of the extracellular matrix was seen around fibroblastic-like cells in late pregnancy. In contrast to the cervix (positive control), morphological and immunohistochemical analyses revealed that there was no characteristic cellular inflammatory response in the interpubic tissue. Staining for MMP-8 was observed in chondroid and fibroblastic-like cells of virgin and relaxed interpubic ligament, respectively. However, no granulocytes were seen during the extensive remodeling of the pubic joint in late pregnancy. These results indicate that constitutive stromal cells may have an important role in tissue relaxation during remodeling of the pubic symphysis in pregnancy.     

On the stochastic timed Pétri nets model and its application to the DQDB protocol

The goal of this paper is twofold : at first, to present the stochastic timed Pétri nets model by emphasizing its ability to express the main characteristics of real time distributed systems (parallelism, synchronization by message exchange, time attributes and in particular time constraints) and to allow both qualitative and quantitative analysis (concept of randomized states graph); second, to show a modeling methodology based on this model that allows a rigorous modeling of theDqdb protocol (Qa access, bwb mechanism role,Pa access influence). A new contribution to theQa mechanism has been done (1).     

Real-time digital control of optical interferometers by the mechanical-modulation technique

We discuss the application of digital systems to the automatic control of dual-wave optical interferometers. We show that, if the mechanical-modulation technique is used for error-signal extraction, digital techniques can be used both for error-signal extraction and for control-signal generation. Therefore, apart from two front/end amplifiers that are necessary to match the dynamics of the detectors and actuators to the dynamics of the analog-to-digital converters and digital-to-analog converters, no other analog devices are required. In particular, the mechanical-modulation technique requires the synchronous demodulation of the photodiode output signal. Hence we need to implement a digital lock-in amplifier whose algorithm is described here. Finally, we describe one of the possible applications of this digital control procedure, such as the control of a classic Mach-Zehnder interferometer in air.