Hydrostability and Scaling Up Molecular Sieve Silica (MSS) Membranes for H2/CO Separation in Fuel Cell Systems

MSS membranes are a good candidate for CO cleanup in fuel cell fuel processing systems due to their ability to selectively permeate H2 over CO via molecular sieving. Successfully scaled up tubular membranes were stable under dry conditions to 400°C with H2 permeance as high as 2 x 10-6 mol.m-2.s^-1.Pa^-1 at 200 degrees C and H2/CO selectivity up to 6.4, indicating molecular sieving was the dominant mechanism. A novel carbonised template molecular sieve silica (CTMSS) technology gave the scaled up membranes resilience in hydrothermal conditions up to 400 degrees C in 34% steam and synthetic reformate, which is required for use in fuel cell CO cleanup systems.

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies

This paper reports on a system for automated agent negotiation, based on a formal and executable approach to capture the behavior of parties involved in a negotiation. It uses the JADE agent framework, and its major distinctive feature is the use of declarative negotiation strategies. The negotiation strategies are expressed in a declarative rules language, defeasible logic, and are applied using the implemented system DR-DEVICE. The key ideas and the overall system architecture are described, and a particular negotiation case is presented in detail.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An exception is [1]that manages also some temporal aspects both with respect to cognition and normative provisions. We propose in this paper an extension of the logic presented in [1]with temporal intervals.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Novel composite membranes for gas separation: Preparation and performance

High performance composite membranes based on molecular sieving silica (MSS) were synthesized using sols containing silicon co-polymers (methyltriethoxysilane and tetraethylorthosilicate). Alpha alumina supports were treated with hydrochloric acid prior to sol deposition. Permselectivity of CO2 over CH4 as high as 16.68 was achieved whilst permeability of CO2 up to 36.7 GPU (10(-6) cm(3) (STP) cm(-2) . s(-1) . cm Hg-1) was measured. The best membrane's permeability was finger printed during various stages of the synthesis process showing an increase in CO2/CH4 permselectivity by over 25 times from initial support condition (no membrane film) to the completion of pore structure tailoring. Transport measurement results indicate that the membrane pretreated with HCl has highest permselectivity and permeation rate. In particular, there is a definite cut-off pore size between 3.3 and 3.4 angstroms which is just below the kinetic diameters of Ar and CH4. This demonstrates that the mechanism for the separation in the prepared composite membrane is molecular sieving (activated diffusion), rather than Knudsen diffusion.

Social separation and diazepam withdrawal increase anxiety in the elevated plus-maze and serotonin turnover in the median raphe and hippocampus

The present work aimed to evaluate the effects of social separation for 14 days (chronic stress) and of withdrawal from a 14-day treatment with diazepam (acute stress) on the exploratory behaviour of male rats in the elevated plus-maze and on serotonin (5-hydroxytryptamine) turnover in different brain structures. Social separation had an anxiogenic effect, evidenced by fewer entries into, and less time spent on the open arms of the elevated plus-maze. Separation also selectively increased 5-hydroxytryptamine turnover in the hippocampus and median raphe nucleus. Diazepam withdrawal had a similar anxiogenic effect in grouped animals and increased 5-hydroxytryptamine turnover in the same brain structures. Chronic treatment with imipramine during the 14 days of separation prevented the behavioural and neurochemical changes caused by social separation. It is suggested that the increase in anxiety determined by both acute and chronic stress is mediated by the activation of the median raphe nucleus-hippocampal 5-hydroxytryptamine pathway.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Separation and hedging results with state-contingent production

A state-contingent model of production under uncertainty is developed and compared with more traditional models of production under uncertainty. Producer behaviour with both production and price risk, in the presence and in the absence of futures and forward markets, is analysed in this state-contingent framework. Conditions for the optimal hedge to be positive or negative are derived. We also show that, under plausible conditions, a risk-averse producer facing price uncertainty and the ability to hedge price risk will never willingly adopt a nonstochastic technology. New separation results, which hold in the presence of both price and production risk, are then developed. These separation results generalize Townsend's spanning results by reducing the number of necessary forward markets by one.

Model for Differential Nursing Diagnosis of Alterations in Urinary Elimination Based on Fuzzy Logic

Nursing diagnoses associated with alterations of urinary elimination require different interventions, Nurses, who are not specialists, require support to diagnose and manage patients with disturbances of urine elimination. The aim of this study was to present a model based on fuzzy logic for differential diagnosis of alterations in urinary elimination, considering nursing diagnosis approved by the North American Nursing Diagnosis Association, 2001-2002. Fuzzy relations and the maximum-minimum composition approach were used to develop the system. The model performance was evaluated with 195 cases from the database of a previous study, resulting in 79.0% of total concordance and 19.5% of partial concordance, when compared with the panel of experts. Total discordance was observed in only three cases (1.5%). The agreement between model and experts was excellent (kappa = 0.98, P < .0001) or substantial (kappa = 0.69, P < .0001) when considering the overestimative accordance (accordance was considered when at least one diagnosis was equal) and the underestimative discordance (discordance was considered when at least one diagnosis was different), respectively. The model herein presented showed good performance and a simple theoretical structure, therefore demanding few computational resources.

Effects of semen storage and separation techniques on sperm DNA fragmentation

Objective: To determine the effect of semen storage and separation techniques on sperm DNA fragmentation. Design: Controlled clinical study. Setting: An assisted reproductive technology laboratory. Patient(s): Thirty normoozospermic semen samples obtained from patients undergoing infertility evaluation. Intervention(s): One aliquot from each sample was immediately prepared (control) for the sperm chromatin dispersion assay (SCD). Aliquots used to assess storage techniques were treated in the following ways: snap frozen by liquid nitrogen immersion, slow frozen with Tris-yolk buffer and glycerol, kept on ice for 24 hours or maintained at room temperature for 4 and 24 hours. Aliquots used to assess separation techniques were processed by the following methods: washed and centrifuged in media, swim-up from washed sperm pellet, density gradient separation, density gradient followed by swim-up. DNA integrity was then measured by SCD. Main Outcome Measure(s): DNA fragmentation as measured by SCD. Result(s): There was no significant difference in fragmentation among the snap frozen, slow frozen, and wet-ice groups. Compared to other storage methods short-term storage at room temperature did not impact DNA fragmentation yet 24 hours storage significantly increased fragmentation. Swim-up, density gradient and density gradient/swim-up had significantly reduced DNA fragmentation levels compared with washed semen. Postincubation, density gradient/swim-up showed the lowest fragmentation levels. Conclusion(s): The effect of sperm processing methods on DNA fragmentation should be considered when selecting storage or separation techniques for clinical use. (Fertil Steril (R) 2010;94:2626-30. (C) 2010 by American Society for Reproductive Medicine.)

Developing logic programs from specifications using stepwise refinement

In this paper we demonstrate a refinement calculus for logic programs, which is a framework for developing logic programs from specifications. The paper is written in a tutorial-style, using a running example to illustrate how the refinement calculus is used to develop logic programs. The paper also presents an overview of some of the advanced features of the calculus, including the introduction of higher-order procedures and the refinement of abstract data types.