Design a zero energy house in Brisbane, Australia

Due to the increasing energy demand and global warming effects, energy efficient buildings have become increasingly important in the modern construction industry. This research is conducted to evaluate the energy performance, financial feasibility and potential energy savings of zero energy houses. Through the use of building computer simulation technique, a 5 stars energy rated house was modelled and validated by comparing the energy performance of a base case scenario to a typical house in Brisbane. By integrating energy reduction strategies and utilizing onsite renewable energy such as solar energy, zero energy performance is achieved. It is found that approximately 66 % energy savings can be achieved in the household annual energy usage by focusing on maximizing the thermal performance of building envelope, minimizing the energy requirements and incorporating solar energy technologies.

Genesis of workpiece roughness generated in surface grinding and polishing of metals

Assuming the grinding wheel surface to be fractal in nature, the maximum envelope profile of the wheel and contact deflections are estimated over a range of length scales. This gives an estimate of the 'no wear' roughness of a surface ground metal. Four test materials, aluminum, copper, titanium, and steel are surface ground and their surface power spectra were estimated. The departure of this power spectra from the 'no wear' estimates is studied in terms of the traction-induced wear damage of the surfaces. The surface power spectra in grinding are influenced by hardness and the power is enhanced by wear damage. No such correlation with hardness was found for the polished surface, the roughness of which is insensitive to mechanical properties and appears to be influenced by microstructure and physical properties of the material.

Structural and optical investigations of TiO2 films deposited on transparent substrates by sol-gel technique

An inexpensive and effective simple method for the preparation of nano-crystalline titanium oxide (anatase) thin films at room temperature on different transparent substrates is presented. This method is based on the use of peroxo-titanium complex, i.e. titanium isopropoxide as a single initiating organic precursor. Post-annealing treatment is necessary to convert the deposited amorphous film into titanium oxide (TiO2) crystalline (anatase) phase. These films have been characterized for X-ray diffraction (XRD) studies, atomic force microscopic (AFM) studies and optical measurements. The optical constants such as refractive index and extinction coefficient have been estimated by using envelope technique. Also, the energy gap values have been estimated using Tauc's formula for on glass and quartz substrates are found to be 3.35 eV and 3.39 eV, respectively.

Heat shock protein 70 on Neuro2a cells is a putative receptor for Japanese encephalitis virus

Japanese encephalitis virus (JEV) envelope (E) protein has been shown to play a critical role in attachment to cells. However, the receptor interacting with envelope protein has not been conclusively identified. Using mouse neuroblastoma (Neuro2a) cells and purified JEV-E protein in `Virus Overlay Protein Binding Assay' followed by MALDI-TOF analysis, we identified `heat shock protein 70' (Hsp70) as a possible receptor for JEV. Indirect immunofluorescence and flow-cytometry analysis demonstrated localization of Hsp70 on Neuro2a cell surface. Co-immunoprecipitation followed by Western blot analysis reconfirmed the interaction between Hsp70 and JEV-E protein. Further, anti-Hsp70 polyclonal-antibodies were able to block JEV entry into Neuro2a cells. Additionally, using the bioinformatic tool - FTDOCK, clocking between the proteins was performed. Amongst six interacting structural poses studied one pose involving RGD motif on JEV-E and leucine(539) on Hsp70 displayed stable interaction. These observations indicate that Hsp70 serves as putative receptor for JEV in Neuro2A cells.

Synthesis, structure and spectroscopic studies on hydroxo-bridged heterotrinuclear complexes of cobalt(m) with ethane-l,2-diamine and ammonia as terminal ligands

Hydroxo-bridged homo- and hetero-trinuclear cobalt(III) complexes of the type [MII(H2O)2{(OH)2CoIII(N4)}2]X2·nH2O [MII= a divalent metal ion such as CoII, NiII or ZnII; N4=(en)2(en = ethane-1,2-diamine) or (NH3)4; X = SO4 or (ClO4)2; n= 3 or 5] have been prepared and spectroscopically characterized. The structure of [Cu{(OH)2Co(en)2}2][SO4]2·2H2O 1 has been determined. The geometry around copper atom is a pseudo-square-based pyramid, with the basal sites occupied by four bridging hydroxide oxygens and the apical site is occupied by a weakly co-ordinated sulfate anion [Cu–O 2.516(4)Å]. The hydroxo groups bridge pairs of cobalt(III) ions which are in near-octahedral environments. The ethylenediamine chelate rings have the twist conformation. In the crystal structure of [Cu{(OH)2Co(en)2}2][ClO4]4·2H2O 2 the perchlorate ion is not co-ordinated and the en ligands have envelope conformations. The sulfate ion in [Cu{(OH)2Co(NH3)4}2][SO4]2·4H2O 3 is not co-ordinated to the central copper ion. Electronic, infrared and variable-temperature EPR spectral data are discussed.

Some studies on TiO2 films deposited by sol-gel technique

TiO2 films are extensively used in various applications including optical multi-layers, sensors, photo catalysis, environmental purification, and solar cells etc. These are prepared by both vacuum and non-vacuum methods. In this paper, we present the results on TiO2 thin films prepared by a sol-gel spin coating process in non-aqueous solvent. Titanium isopropoxide is used as TiO2 precursor. The films were annealed at different temperatures up to 3000 C for 5 hours in air. The influence of the various deposition parameters like spinning speed, spinning time and annealing temperature on the thickness of the TiO2 films has been studied. The variation of film thickness with time in ambient atmosphere was also studied. The optical, structural and morphological characteristics were investigated by optical transmittance-reflectance measurements, X-ray diffraction (XRD) and scanning electron microscopy (SEM) respectively. The refractive index and extinction coefficient of the films were determined by envelope technique and spectroscopic ellipsometry. TiO2 films exhibited high transparency (92%) in the visible region with a refractive index of 2.04 at 650 nm. The extinction coefficient was found to be negligibly small. The X-ray diffraction analysis showed that the TiO2 film deposited on glass substrate changes from amorphous to crystalline (anatase) phase with annealing temperature above 2500 C. SEM results show that the deposited films are uniform and crack free.

Ship Seakeeping Operability, Motion Control, and Autonomy - A Bayesian Perspective

Ship seakeeping operability refers to the quantification of motion performance in waves relative to mission requirements. This is used to make decisions about preferred vessel designs, but it can also be used as comprehensive assessment of the benefits of ship-motion-control systems. Traditionally, operability computation aggregates statistics of motion computed over over the envelope of likely environmental conditions in order to determine a coefficient in the range from 0 to 1 called operability. When used for assessment of motion-control systems, the increase of operability is taken as the key performance indicator. The operability coefficient is often given the interpretation of the percentage of time operable. This paper considers an alternative probabilistic approach to this traditional computation of operability. It characterises operability not as a number to which a frequency interpretation is attached, but as a hypothesis that a vessel will attain the desired performance in one mission considering the envelope of likely operational conditions. This enables the use of Bayesian theory to compute the probability of that this hypothesis is true conditional on data from simulations. Thus, the metric considered is the probability of operability. This formulation not only adheres to recent developments in reliability and risk analysis, but also allows incorporating into the analysis more accurate descriptions of ship-motion-control systems since the analysis is not limited to linear ship responses in the frequency domain. The paper also discusses an extension of the approach to the case of assessment of increased levels of autonomy for unmanned marine craft.

Nature and extent of genetic diversity of dengue viruses determined by 454 pyrosequencing

Dengue virus (DENV) populations are characteristically highly diverse. Regular lineage extinction and replacement is an important dynamic DENV feature, and most DENV lineage turnover events are associated with increased incidence of disease. The role of genetic diversity in DENV lineage extinctions is not understood. We investigated the nature and extent of genetic diversity in the envelope (E) gene of DENV serotype 1 representing different lineages histories. A region of the DENV genome spanning the E gene was amplified and sequenced by Roche/454 pyrosequencing. The pyrosequencing results identified distinct sub-populations (haplotypes) for each DENV-1 E gene. A phylogenetic tree was constructed with the consensus DENV-1 E gene nucleotide sequences, and the sequences of each constructed haplotype showed that the haplotypes segregated with the Sanger consensus sequence of the population from which they were drawn. Haplotypes determined through pyrosequencing identified a recombinant DENV genome that could not be identified through Sanger sequencing. Nucleotide level sequence diversities of DENV-1 populations determined from SNP analysis were very low, estimated from 0.009-0.01. There were also no stop codon, frameshift or non-frameshift mutations observed in the E genes of any lineage. No significant correlations between the accumulation of deleterious mutations or increasing genetic diversity and lineage extinction were observed (p>0.5). Although our hypothesis that accumulation of deleterious mutations over time led to the extinction and replacement of DENV lineages was ultimately not supported by the data, our data does highlight the significant technical issues that must be resolved in the way in which population diversity is measured for DENV and other viruses. The results provide an insight into the within-population genetic structure and diversity of DENV-1 populations.

Bounds on isoperimetric values of trees

Let G = (V, E) be a finite, simple and undirected graph. For S subset of V, let delta(S, G) = {(u, v) is an element of E : u is an element of S and v is an element of V - S} be the edge boundary of S. Given an integer i, 1 <= i <= vertical bar V vertical bar, let the edge isoperimetric value of G at i be defined as b(e)(i, G) = min(S subset of V:vertical bar S vertical bar=i)vertical bar delta(S, G)vertical bar. The edge isoperimetric peak of G is defined as b(e)(G) = max(1 <= j <=vertical bar V vertical bar)b(e)(j, G). Let b(v)(G) denote the vertex isoperimetric peak defined in a corresponding way. The problem of determining a lower bound for the vertex isoperimetric peak in complete t-ary trees was recently considered in [Y. Otachi, K. Yamazaki, A lower bound for the vertex boundary-width of complete k-ary trees, Discrete Mathematics, in press (doi: 10.1016/j.disc.2007.05.014)]. In this paper we provide bounds which improve those in the above cited paper. Our results can be generalized to arbitrary (rooted) trees. The depth d of a tree is the number of nodes on the longest path starting from the root and ending at a leaf. In this paper we show that for a complete binary tree of depth d (denoted as T-d(2)), c(1)d <= b(e) (T-d(2)) <= d and c(2)d <= b(v)(T-d(2)) <= d where c(1), c(2) are constants. For a complete t-ary tree of depth d (denoted as T-d(t)) and d >= c log t where c is a constant, we show that c(1)root td <= b(e)(T-d(t)) <= td and c(2)d/root t <= b(v) (T-d(t)) <= d where c(1), c(2) are constants. At the heart of our proof we have the following theorem which works for an arbitrary rooted tree and not just for a complete t-ary tree. Let T = (V, E, r) be a finite, connected and rooted tree - the root being the vertex r. Define a weight function w : V -> N where the weight w(u) of a vertex u is the number of its successors (including itself) and let the weight index eta(T) be defined as the number of distinct weights in the tree, i.e eta(T) vertical bar{w(u) : u is an element of V}vertical bar. For a positive integer k, let l(k) = vertical bar{i is an element of N : 1 <= i <= vertical bar V vertical bar, b(e)(i, G) <= k}vertical bar. We show that l(k) <= 2(2 eta+k k)

Structural and optical investigations of TiO2 films deposited on transparent substrates by sol-gel technique

An inexpensive and effective simple method for the preparation of nano-crystalline titanium oxide (anatase) thin films at room temperature on different transparent substrates is presented. This method is based on the use of peroxo-titanium complex, i.e. titanium isopropoxide as a single initiating organic precursor. Post-annealing treatment is necessary to convert the deposited amorphous film into titanium oxide (TiO2) crystalline (anatase) phase. These films have been characterized for X-ray diffraction (XRD) studies, atomic force microscopic (AFM) studies and optical measurements. The optical constants such as refractive index and extinction coefficient have been estimated by using envelope technique. Also, the energy gap values have been estimated using Tauc's formula for on glass and quartz substrates are found to be 3.35 eV and 3.39 eV, respectively. (C) 2008 Elsevier B.V. All rights reserved.

Separability in relativistic Hamiltonian particle dynamics

The problem of separability in recent models of classical relativistic interacting particles is examined. This physical requirement is shown to be more subtle than naive separability of all the constraints defining the system: it is adequate to be able to canonically transform the time-fixing constraints from an unseparated to a separated form when clusters emerge. Viewing separability in this way, and within a specific framework, we are led to a new no-interaction theorem which states the incompatibility of nontrivial interaction with relativistic invariance, separability, and invariant world lines for more than two particles.

Do H-functions always increase during Violent Relaxation

Recent work on the violent relaxation of collisionless stellar systems has been based on the notion of a wide class of entropy functions. A theorem concerning entropy increase has been proved. We draw attention to some underlying assumptions that have been ignored in the applications of this theorem to stellar dynamical problems. Once these are taken into account, the use of this theorem is at best heuristic. We present a simple counter-example.

Classical Langevin dynamics of a charged particle moving on a sphere and diamagnetism: A surprise

It is generally known that the orbital diamagnetism of a classical system of charged particles in thermal equilibrium is identically zero —the Bohr-van Leeuwen theorem. Physically, this null result derives from the exact cancellation of the orbital diamagnetic moment associated with the complete cyclotron orbits of the charged particles by the paramagnetic moment subtended by the incomplete orbits skipping the boundary in the opposite sense. Motivated by this crucial but subtle role of the boundary, we have simulated here the case of a finite but unbounded system, namely that of a charged particle moving on the surface of a sphere in the presence of an externally applied uniform magnetic field. Following a real space-time approach based on the classical Langevin equation, we have computed the orbital magnetic moment that now indeed turns out to be non-zero and has the diamagnetic sign. To the best of our knowledge, this is the first report of the possibility of finite classical diamagnetism in principle, and it is due to the avoided cancellation.

Truth, Proof and Gödelian Arguments : A Defence of Tarskian Truth in Mathematics

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion.

Asymptotic behaviour of point processes with Markov-dependent intervals

This splitting techniques for MARKOV chains developed by NUMMELIN (1978a) and ATHREYA and NEY (1978b) are used to derive an imbedded renewal process in WOLD's point process with MARKOV-correlated intervals. This leads to a simple proof of renewal theorems for such processes. In particular, a key renewal theorem is proved, from which analogues to both BLACKWELL's and BREIMAN's forms of the renewal theorem can be deduced.