Explicit solution of DMZ equation in nonlinear filtering via solution of ODEs

In this note, we develop a real-time and accurate solution for nonlinear filtering problems based on the Gaussian distribution. Specifically, we present an explicit solution of the Duncan-Mortensen-Zakai (DMZ) equation of the Yau filtering system, which includes the linear filtering system and exact filtering system. The solution is given in terms of a solution of a system of ordinary differential equations. In particular, our method can be implemented in hardware. The complexity of our algorithms is the same as those of Kalman-Bucy filters in the case of linear filtering systems.     

Group Study of Simulated Driving fMRI Data by Multiset Canonical Correlation Analysis

In this work, we apply a novel statistical method, multiset canonical correlation analysis (M-CCA), to study a group of functional magnetic resonance imaging (fMRI) datasets acquired during simulated driving task. The M-CCA method jointly decomposes fMRI datasets from different subjects/sessions into brain activation maps and their associated time courses, such that the correlation in each group of estimated activation maps across datasets is maximized. Therefore, the functional activations across all datasets are extracted in the order of consistency across different dataset. On the other hand, M-CCA preserves the uniqueness of the functional maps estimated from each dataset by avoiding concatenation of different datasets in the analysis. Hence, the cross-dataset variation of the functional activations can be used to test the hypothesis of functional-behavioral association. In this work, we study 120 simulated driving fMRI datasets and identify parietal-occipital regions and frontal lobe as the most consistently engaged areas across all the subjects and sessions during simulated driving. The functional-behavioral association study indicates that all the estimated brain activations are significantly correlated with the steering operation during the driving task. M-CCA thus provides a new approach to investigate the complex relationship between the brain functions and multiple behavioral variables, especially in naturalistic tasks as demonstrated by the simulated driving study.     

Finite satisfiability for guarded fixpoint logic

The finite satisfiability problem for guarded fixpoint logic is decidable and complete for 2ExpTime (resp. ExpTime for formulas of bounded width).     

Field Performance of High Oleic Soybeans with Mutant FAD2-1A and FAD2-1B Genes in Tennessee

Soybean [Glycine max (L.) Merr.] oil with high oleic acid (>75%) has increased oxidative stability and health benefits that are valuable for food, fuel, and industrial products. It has been determined that two naturally occurring mutations in genes FAD2-1A and FAD2-1B can combine to produce high oleic soybeans. The objective of this study was to test the effect of these mutant alleles on seed yield and oil and protein concentration. Molecular markers assisted in the creation of a population of 48 BC₃F_2:4 lines (93.75% expected genome commonality). Each line was classified into one of four genotypic groups where both FAD2-1A and FAD2-1B genes were either homozygous wild type or mutant, respectively. Twelve lines for each genotypic group were evaluated in three replications at six locations across Tennessee. There was no seed yield difference between the high oleic genotypic group and the other groups (P < 0.05). On the other hand, there were differences in fatty acid profiles and oil and protein concentrations. In combination, the mutant FAD2-1A and FAD2-1B alleles produced a mean of 803.1 g kg⁻¹ oleic acid. This is, on average, approximately 500 g kg⁻¹ more oleic acid compared to soybean lines with only one mutant FAD2-1 allele. The high oleic double mutant group had more total oil (228.0 g kg⁻¹) and protein (401.0 g kg⁻¹) compared to all other genotypic groups (P < 0.05). Overall, this specific combination of mutant FAD2-1A and FAD2-1B alleles appears to generate conventional high oleic soybeans without a yield drag.     

Radiation-curable carbon fiber prepreg composites

Radiation processing is the utilization of ionizing radiation, usually photons or electron beams, to produce useful physical and chemical changes in a material. A potential application for electron beam processing for composite manufacturing is for curing carbon fiber prepregs. These prepregs, carbon fibers or fabrics preimpregnated with liquid polymer resin, are commonly used in the aircraft industry. Their use, however, can be time consuming and labor intensive. The advantages of radiation curing over thermal or chemical curing methods include improved rate control, reduced curing times, and curing at ambient temperature. There is no need for chemical initiators. A radiation-curable prepreg has been designed to meet the mechanical and physical property specifications of a leading aircraft manufacturing company. The resin is a mixture of an expoxy diacrylate, polybutadiene diacrylate, and a multifunctional monomer. This resin was used to impregnate a plain weave carbon fabric, at a loading of 35 percent (by mass), using a solvent process. Preliminary characterization studies show that the cured polymer produced by irradiation in air to a dose of 40 kGy is amorphous with a maximum gel fraction of 85 percent. The softening point of the polymer varied from 228°C (30-kGy sample) to 237°C (50-kGy sample). The linear thermal expansion coefficient of the polymer was 1.7 × 10⁻⁴ m/m°C from 25°C to 150°C and was unaffected by varying the applied dose from 30 to 50 kGy.     

An Interleaved AC–DC Converter Based on Current Tracking

In this paper, an interleaved AC-DC converter based on current tracking without any current sharing required is presented and applied to a two-phase flyback converter. This is realized using two critical-conduction-mode (CRM) pulsewidth-modulated chips, together with a field-programmable gate array technique. By doing so, not only are the total harmonic distortion and the power factor improved but the output power is also upgraded. In this paper, the circuit operation is described in detail, with some experimental results given to verify the proposed control scheme.