Dependence Logic: Investigations into Higher-Order Semantics Defined on Teams

This thesis is a study of a rather new logic called dependence logic and its closure under classical negation, team logic. In this thesis, dependence logic is investigated from several aspects. Some rules are presented for quantifier swapping in dependence logic and team logic. Such rules are among the basic tools one must be familiar with in order to gain the required intuition for using the logic for practical purposes. The thesis compares Ehrenfeucht-Fraïssé (EF) games of first order logic and dependence logic and defines a third EF game that characterises a mixed case where first order formulas are measured in the formula rank of dependence logic. The thesis contains detailed proofs of several translations between dependence logic, team logic, second order logic and its existential fragment. Translations are useful for showing relationships between the expressive powers of logics. Also, by inspecting the form of the translated formulas, one can see how an aspect of one logic can be expressed in the other logic. The thesis makes preliminary investigations into proof theory of dependence logic. Attempts focus on finding a complete proof system for a modest yet nontrivial fragment of dependence logic. A key problem is identified and addressed in adapting a known proof system of classical propositional logic to become a proof system for the fragment, namely that the rule of contraction is needed but is unsound in its unrestricted form. A proof system is suggested for the fragment and its completeness conjectured. Finally, the thesis investigates the very foundation of dependence logic. An alternative semantics called 1-semantics is suggested for the syntax of dependence logic. There are several key differences between 1-semantics and other semantics of dependence logic. 1-semantics is derived from first order semantics by a natural type shift. Therefore 1-semantics reflects an established semantics in a coherent manner. Negation in 1-semantics is a semantic operation and satisfies the law of excluded middle. A translation is provided from unrestricted formulas of existential second order logic into 1-semantics. Also game theoretic semantics are considerd in the light of 1-semantics.

A field investigation of a modified intravaginal progesterone releasing device and oestradiol benzoate based ovulation synchronisation protocol designed for fixed-time artificial insemination of Brahman heifers

Pregnancy rates (PR) to fixed-time AI (FTAI) in Brahman heifers were compared after treatment with a traditional oestradiol-based protocol (OPO-8) or a modified protocol (OPO-6) where the duration of intravaginal progesterone releasing device (IPRD) was reduced from 8 to 6 days, and the interval from IPRD removal to oestradiol benzoate (ODB) was increased from 24 to 36 h. Rising 2 yo heifers on Farm A: (n = 238 and n = 215; two consecutive days AI); B (n = 271); and C (n = 393) were allocated to OPO-8 or OPO-6. An IPRD was inserted and 1 mg ODB i.m. on Day 0 for OPO-8 heifers and Day 2 for OPO-6 heifers. On Day 8, the IPRD was removed and 500 μg cloprostenol i.m. At 24 h, for OPO-8 heifers, and 36 h, for OPO-6 heifers, post IPRD removal all heifers received 1 mg ODB i.m. FTAI was conducted at 54 and 72 h post IPRD removal for OPO-8 and OPO-6 heifers. At Farm A, OPO-6 heifers, AI on the second day, the PR was 52.4 to FTAI (P = 0.024) compared to 36.8 for OPO-8 heifers. However, no differences were found between OPO-8 and OPO-6 protocols at Farm A (first day of AI) (39.9 vs. 35.7), or Farms B (26.2 vs. 35.4) and C (43.2 vs. 40.3). Presence of a corpus luteum at IPRD insertion affected PR to FTAI (43.9 vs. 28.8; P < 0.001). This study has shown that the modified ovulation synchronisation protocol OPO-6 may be a viable alternative to the OPO-8 protocol for FTAI in B. indicus heifers.

Controlled release of ethylene gas from the ethylene-α-cyclodextrin inclusion complex powder with deliquescent salts

Deliquescent calcium chloride (CaCl2) and magnesium chloride (MgCl2) were investigated for their practical application to release ethylene gas from an ethylene-α-cyclodextrin inclusion complexes (CD IC) powder at relative humidities (RHs) between 11.2 and 93.6 % at 18 °C. The IC powder and deliquescent salts were mixed at a ratio of 1:5, respectively. CaCl2 and MgCl2 started to deliquesce at 32.7 % RH. The IC powder dissolved in the concentrated salt solutions to release ethylene gas. Increasing the RH accelerated the release rate. Maximum release of ethylene gas was achieved after 24 h at 75.5 and 93.6 % RH for both IC powder-deliquescent salts mixture. The deliquescent salts proved to be a simple option for releasing ethylene gas from the IC powder.

A Convenient Route for the Synthesis of Complex Metal Oxides Employing Solid-Solution Precursors

Synthesis of complex metal oxides by the thermal decomposition of solid-solution precursors (formed by isomorphous compounds of component metals) has been investigated since the method enables mixing of cations on an atomic scale and drastically reduces diffusion distances to a few angstroms. Several interesting oxides such as Ca2Fe03,5C, aCoz04,C a2C0205a, nd Ca,FeCo05 have been prepared by this technique starting from carbonate solid solutions of the type Ca,-,Fe,C03, Cal-,Co,C03, and Ca,-,,M,M'yC03 (M, M' = Mn, Fe, Co). The method has been extended to oxalate solid-solution precursors, and the possibility of making use of other kinds of precursor solid solutions is indicated.

Crystal structure of the amino acid-vitamin complex lysine pantothenatestar, open

L-Lysine d-pantothenate, a 1:1 amino acid-vitamin complex, crystallizes in the monoclinic space group P21 with Image Full-size image (1K) .The structure has been solved by direct methods and refined to an R value of 0.053 for 1868 observed reflections. The zwitterionic positively charged lysine molecules in the structure assume the sterically most favourable conformation with an all-trans side chain trans to the α-carboxylate group. The pantothenate anion has a somewhat folded conformation stabilised by an intramolecular bifurcated hydrogen bond. The unlike molecules aggregate into separate alternating layers. The molecules in the lysine layers form a head-to-tail sequence parallel to the a-axis. The interactions which hold the adjacent layers together include those between the side chain amino group of lysine and the carboxylate group in the pantothenate anion. The geometry of these interactions is such that each carboxylate group is sandwiched between two amino groups in a periodic arrangement of alternating carboxylate and amino groups.

The conformation of (μ-butatriene)hexacarbonyldiiron complex from proton NMR studies in three nematic phases

Proton NMR spectroscopy in three different liquid crystals has been used to determine two conformational angles of (μ-butatriene)hexacarbonyldiiron complex, namely the angle between the two CH2 planes and the dihedral angle between the two planes containing four carbon atoms of the butatriene moiety. The values are 44 and 46°, respectively. The direct and the indirect geminal HH couplings are shown to be of the same sign in the liquid crystals with positive diamagnetic anisotropy.

Uses of an innovative ethylene-α-cyclodextrin inclusion complex powder for ripening of mango fruit

A novel ethylene-α-cyclodextrin (α-CD) inclusion complex (IC) powder was investigated to ripen Calypso mango fruit. Modulated release of ethylene gas from the IC powder was achieved by admixture with deliquescent salt CaCl2 at RHs of 75.5% and 93.6%. The IC powder was tested in the laboratory and for in-transit ripening of mango fruit over two seasons. In the laboratory experiment, ethylene gas started to release from the IC powder in 2 h and complete release was achieved in 24 h. Assessments of fruit colour and firmness showed that encapsulated ethylene and commercial grade ethylene from pressurised cylinder similarly shortened the ripening time to 9–10 days (after harvest) for treated fruit as compared with 15 days for untreated mango. Mango fruit treated in both ways with ethylene showed more uniform ripening than the control. For the in-transit ripening using the IC powder, ethylene was found to be between 4.9 and 10.5 μL L−1 in the headspace of the truck containers over 48 h. Mango fruit from the treated containers shortened the ripening time by 3–6 days as compared to the untreated control fruit. Thus, the safe and convenient IC powder has demonstrated promise for in-transit fruit ripening.

Molecular Breeding for Complex Adaptive Traits: How Integrating Crop Ecophysiology and Modelling Can Enhance Efficiency

Progress in crop improvement is limited by the ability to identify favourable combinations of genotypes (G) and management practices (M) in relevant target environments (E) given the resources available to search among the myriad of possible combinations. To underpin yield advance we require prediction of phenotype based on genotype. In plant breeding, traditional phenotypic selection methods have involved measuring phenotypic performance of large segregating populations in multi-environment trials and applying rigorous statistical procedures based on quantitative genetic theory to identify superior individuals. Recent developments in the ability to inexpensively and densely map/sequence genomes have facilitated a shift from the level of the individual (genotype) to the level of the genomic region. Molecular breeding strategies using genome wide prediction and genomic selection approaches have developed rapidly. However, their applicability to complex traits remains constrained by gene-gene and gene-environment interactions, which restrict the predictive power of associations of genomic regions with phenotypic responses. Here it is argued that crop ecophysiology and functional whole plant modelling can provide an effective link between molecular and organism scales and enhance molecular breeding by adding value to genetic prediction approaches. A physiological framework that facilitates dissection and modelling of complex traits can inform phenotyping methods for marker/gene detection and underpin prediction of likely phenotypic consequences of trait and genetic variation in target environments. This approach holds considerable promise for more effectively linking genotype to phenotype for complex adaptive traits. Specific examples focused on drought adaptation are presented to highlight the concepts.

Superhydrophobic fabrics for oil-water separation based on the metal organic charge transfer complex CuTCNAQ

This work reports on the fabrication of a superhydrophobic nylon textile based on the organic charge transfer complex CuTCNAQ (TCNAQ = 11,11,12,12-tetracyanoanthraquinodimethane). The nylon fabric that is metallized with copper undergoes a spontaneous chemical reaction with TCNAQ dissolved in acetonitrile to form nanorods of CuTCNAQ that are intertwined over the entire surface of the fabric. This creates the necessary micro and nanoscale roughness that is required for the Cassie-Baxter state thereby achieving a superhydrophobic/superoleophilic surface without the need for a fluorinated surface. The material is characterised with SEM, FT-IR and XPS spectroscopy and investigated for its ability to separate oil and water in two modes, namely under gravity and as an absorbent. It is found that the fabric can separate dichloromethane, olive oil and crude oil from water and in fact reduce the water content of the oil during the separation process. The fabric is reusable and tolerant to conditions such as seawater, hydrochloric acid and extensive time periods on the shelf. Given that CuTCNAQ is a copper based semiconductor may also open up the possibility of other applications in areas such as photocatalysis and antibacterial applications.

Assessing the integrated sustainability of a public rental housing project from the perspective of complex eco-system

Public rental housing (PRH) projects are the mainstream of China's new affordable housing policies, and their integrated sustainability has a far-reaching effect on medium-low income families' well-being and social stability. However, there are few quantitative researches on the integrated sustainability of PRH projects. Our study tries to fill this gap through proposing an assessment model of the integrated sustainability for PRH projects. First, this paper defines what the sustainability of a PRH project is. Second, after constructing the sustainable system of a PRH project from the perspective of complex eco-system, the paper explores the internal operation mechanism and the coupling mechanism among the ecological, economic and social subsystems. Third, it identifies fourteen indices to represent the sustainability system of a PRH project, including six indices of ecological subsystem, five of economic subsystem and three of social subsystem. Fourth, it qualifies the weights of three subsystems and their internal representative indices. In addition, an assessment model is established through expert surveys and analytic network process (ANP). Finally, the paper carries out an empirical research on a PRH project in Nanjing city of China, followed by suggestions to enhance the integrated sustainability. The sustainability system and its evaluation model proposed in this paper are concise and easy to understand and can provide a theoretical foundation and a scientific basis for the evaluation and optimization of PRH projects.

Static RAM cell for ternary logic

A novel CMOS static RAM cell for ternary logic systems is described. This cell is based on the lambda diode. The operation of the cell has been simulated using the SPICE 2G program. The results of the simulation are given.

Structural studies of analgesics and their interactions. II. The crystal structure of a 1:1 complex between antipyrine and salicyclic acid (salipyrine)

The complex crystallizes in the space group P21/c with four formula units in a unit cell of dimensions a= 12.747, b= 7.416, c= 17.894 A and/3= 90.2 °. The structure has been solved by the symbolic addition procedure using three-dimensional photographic data and refined to an R value of 0.079 for 2019 observed reflexions. The pyramidal nature of the two hetero nitrogen atoms in the antipyrine molecule is inter:nediate between that observed in free antipyrine and in some of its metal complexes. The molecule is more polar than that in crystals of free antipyrine but less so compared with that in metal complexes. In the salicylic acid molecule, the hydroxyl group forms an internal hydrogen bond with one of the oxygen atoms in the carboxyl group. The association between the salicylic acid and the antipyrine molecules is achieved through an intermolecular hydrogen bond with the other carboxyl oxygen atom in the salicylic acid molecule as the proton donor and the carboxyl oxygen atom of the antipyrine molecule as the acceptor.

A Note on Easily Testable Realizations for Logic Functions

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.