Experimental and physical approaches on a novel semiconducting-ionic membrane fuel cell

Semiconducting-ionic membranes (SIMs) have exhibited significant superiority to replace the conventional ionic electrolytes in solid oxide fuel cells (SOFCs). One interesting phenomenon is that the SIMs can successfully avoid the underlying short-circuiting issue and power losses while bringing significantly enhanced power output. It is crucial to understand the physics in such devices as they show distinct electrochemical processes with conventional fuel cells. We first presented experimental studies of a SIM fuel cell based on a composite of semiconductor LiCo_0.8Fe_0.2O₂ (LCF) and ionic conductor Sm-doped CeO₂ (SDC), which achieved a remarkable power density of 1150 mW cm^?2 at 550 °C along with a high open circuit voltage (OCV) of 1.04 V. Then, for the first time we used a physical model via combining a semiconductor-ionic contact junction with a rectifying layer which blocks the electron leakage to describe such unique SIM device and excellent performance. Current and power are the most important characteristics for the device, by introducing the rectifying layer we described the SIM physical nature and new device process. This work presented a new view on advanced SIM SOFC science and technology from physics.     

Communication—Processor Tradeoffs in a Limited Resources PRAM

We consider a simple restriction of the PRAM model (called PPRAM), where the input is arbitrarily partitioned between a fixed set of p processors and the shared memory is restricted to m cells. This model allows for investigation of the tradeoffs/ bottlenecks with respect to the communication bandwidth (modeled by the shared memory size m ) and the number of processors p . The model is quite simple and allows the design of optimal algorithms without losing the effect of communication bottlenecks. We have focused on the PPRAM complexity of problems that have $\tilde{O}$ (n) sequential solutions (where n is the input size), and where m ≤ p ≤ n . We show essentially tight time bounds (up to logarithmic factors) for several problems in this model such as summing, Boolean threshold, routing, integer sorting, list reversal and k -selection. We get typically two sorts of complexity behaviors for these problems: One type is $\tilde{O}$ (n/p + p/m) , which means that the time scales with the number of processors and with memory size (in appropriate ranges) but not with both. The other is $\tilde{O}$ (n/m) , which means that the running time does not scale with p and reflects a communication bottleneck (as long as m < p ). We are not aware of any problem whose complexity scales with both p and m (e.g. $O(n/\sqrt{m \cdot p})$ ). This might explain why in actual implementations one often fails to get p -scalability for p close to n .     

One electron reduction of metmyoglobin and methemoglobin and the reaction of the reduced molecule with oxygen

We have used the pulse radiolysis technique to reduce with solvated electrons (see article) a single Fe(III) site in methemoglobin and metmyoglobin. The reduction process was followed spectrophotometrically and the reactions rate constants were measured: (see article) =6.5 +/- 1-10(10) M-1-S-1. (see article)=2.5 +/- 0.3-10(10) M-1-S-1. Approx. 60% of the (see article) have reacted with the hemin group, and the rest of the (see article) have probably reacted with the globin moiety. We followed the reaction of the reduced proteins to yield the oxyderivatives and measured the rate constants of the oxygenation process k reduced methemoglobin + O2 = 2.6 +/- 0.6-10(7) M-1-S-1 and k myoglobin + O2 = 1.8 +/- 0.2-10(7) M-1-S-1, all the rate constants were measured at pH = 6.8, I = 0.004, T = 22 +/- 2 degrees C. The high rate constant for reduced methemoglobin indicates that one-site-reduced methemoglobin is probably in the R state, as predicted for methemoglobin from X-ray analysis. The spectra of the reduced and oxygenated species were measured under similar conditions at gamma = 450-650 nm. We were able to follow slight changes in the micro-second time scale, these changes were attributed to conformational changes. We were not able to detect any reaction between the radical (see article) and the hemin group (which would result in a complex such as heme O-2). This may be due to kinetic reasons.     

On the Effective Deployment of Functional Formal Verification

We examine IBM's exploitation of formal verification using RuleBase—a formal verification tool developed by the IBM Haifa Research Laboratory. The goal of the paper is methodological. We identify an integrated methodology for the deployment of formal verification which involves three complementary modes: architectural verification, block-level verification, and design exploration.     

Genetic essentialism: On the deceptive determinism of DNA.

This article introduces the notion of genetic essentialist biases: cognitive biases associated with essentialist thinking that are elicited when people encounter arguments that genes are relevant for a behavior, condition, or social group. Learning about genetic attributions for various human conditions leads to a particular set of thoughts regarding those conditions: they are more likely to be perceived as (a) immutable and determined, (b) having a specific etiology, (c) homogeneous and discrete, and (d) natural, which can lead to the naturalistic fallacy. There are rare cases of “strong genetic explanation” when such responses to genetic attributions may be appropriate; however, people tend to overweigh genetic attributions compared with competing attributions even in cases of “weak genetic explanation,” which are far more common. The authors reviewed research on people's understanding of race, gender, sexual orientation, criminality, mental illness, and obesity through a genetic essentialism lens, highlighting attitudinal, cognitive, and behavioral changes that stem from consideration of genetic attributions as bases of these categories. Scientific and media portrayals of genetic discoveries are discussed with respect to genetic essentialism, as is the role that genetic essentialism has played (and continues to play) in various public policies, legislation, scientific endeavors, and ideological movements in recent history. Last, moderating factors and interventions to reduce the magnitude of genetic essentialism, which identify promising directions to explore in order to reduce these biases, are discussed. (PsycINFO Database Record (c) 2011 APA, all rights reserved)     

Composition and Functional Properties of Apogee and Perigee Compared to Common Terrestrial Wheat Cultivars

Long duration space missions may include dwarf wheat cultivars to meet closed-loop food system constraints. Composition and functional properties of dwarf wheats (Apogee, Perigee) were characterized and compared to terrestrial cultivars (Parshall, Yecora Rojo, Yavaros 79). Proximate composition was determined using standard methods, and functional attributes were evaluated by mixograph and pasting profiles. Additional analyses measured antioxidant capacity, protein profiles, non-protein nitrogen, lipid oxidation, and starch damage. Apogee and Perigee were compositionally and functionally different from traditional cultivars, having higher protein (18–20%), ash (2–2.4%), and antioxidant (Perigee had 23.7 mol Trolox equivalent/g), and lipid oxidation levels but lower protein quality indicators. There was significant correlation (R² = 0.84) between ash content and lipid oxidation. Apogee is a better candidate crop than Perigee for a self sustaining environment, but both dwarf varieties could be used for tailored food applications.