Mathematical modelling of the lower urinary tract

The lower urinary tract is one of the most complex biological systems of the human body as it involved hydrodynamic properties of urine and muscle. Moreover, its complexity is increased to be managed by voluntary and involuntary neural systems. In this paper, a mathematical model of the lower urinary tract it is proposed as a preliminary study to better understand its functioning. Furthermore, another goal of that mathematical model proposal is to provide a basis for developing artificial control systems. Lower urinary tract is comprised of two interacting systems: the mechanical system and the neural regulator. The latter has the function of controlling the mechanical system to perform the voiding process. The results of the tests reproduce experimental data with high degree of accuracy. Also, these results indicate that simulations not only with healthy patients but also of patients with dysfunctions with neurological etiology present urodynamic curves very similar to those obtained in clinical studies.

Preliminary interpretation of shaking-table response of a full-scale 3-storey building composed of thin reinforced concrete sandwich walls

In the last few decades, the use of cast in situ reinforced concrete sandwich panels for the construction of low- to mid-rise buildings has become more and more widespread due to several interesting properties of this construction technique, such as fast construction and high thermal and acoustic performances. Nonetheless the level of knowledge of the structural behavior of systems made of squat reinforced concrete sandwich panels is still not so consolidated, especially with reference to the seismic response, due to the lack of experimental studies. In recent years, while various experimental tests have been conducted on single panels aimed at assessing their seismic capacity, only few tests have been carried out on more complex structural systems. In this paper, the experimental results of a series of shaking-table tests performed on a full-scale 3-storey building are presented in detail. The main goal is to give to the scientific community the possibility of develop independent interpretation of these experimental results. An in-depth interpretation of the discrepancies between the analytical predictions and the experimental results is beyond the objective of this paper and is still under development. Nonetheless, preliminary interpretations indicate that both the stiffness and the strength of the building under dynamic excitation appear quite superior with respect to those expected from the results of previous pseudo-static cyclic tests conducted on simple specimens.

Analysis of Lead-Acid batteries with a third-order dynamical model

Electrical energy storage is a really important issue nowadays. As electricity is not easy to be directly stored, it can be stored in other forms and converted back to electricity when needed. As a consequence, storage technologies for electricity can be classified by the form of storage, and in particular we focus on electrochemical energy storage systems, better known as electrochemical batteries. Largely the more widespread batteries are the Lead-Acid ones, in the two main types known as flooded and valve-regulated. Batteries need to be present in many important applications such as in renewable energy systems and in motor vehicles. Consequently, in order to simulate these complex electrical systems, reliable battery models are needed. Although there exist some models developed by experts of chemistry, they are too complex and not expressed in terms of electrical networks. Thus, they are not convenient for a practical use by electrical engineers, who need to interface these models with other electrical systems models, usually described by means of electrical circuits. There are many techniques available in literature by which a battery can be modeled. Starting from the Thevenin based electrical model, it can be adapted to be more reliable for Lead-Acid battery type, with the addition of a parasitic reaction branch and a parallel network. The third-order formulation of this model can be chosen, being a trustworthy general-purpose model, characterized by a good ratio between accuracy and complexity. Considering the equivalent circuit network, all the useful equations describing the battery model are discussed, and then implemented one by one in Matlab/Simulink. The model has been finally validated, and then used to simulate the battery behaviour in different typical conditions.

Tracing Hybrid Collectives of Illness, War, and Medicine in Twentieth- and Twenty-First Century Narratives of Illness

Thesis (Ph.D.)--University of Washington, 2016-06

Endothelial cell serine proteases expressed during vascular morphogenesis and angiogenesis

Many serine proteases play important regulatory roles in complex biological systems, but only a few have been linked directly with capillary morphogenesis and angiogenesis. Here we provide evidence that serine protease activities, independent of the plasminogen activation cascade, are required for microvascular endothelial cell reorganization and capillary morphogenesis in vitro. A homology cloning approach targeting conserved motifs present in all serine proteases, was used to identify candidate serine proteases involved in these processes, and revealed 5 genes (acrosin, testisin, neurosin, PSP and neurotrypsin), none of which had been associated previously with expression in endothelial cells. A subsequent gene-specific RT-PCR screen for 22 serine proteases confirmed expression of these 5 genes and identified 7 additional serine protease genes expressed by human endothelial cells, urokinase-type plasminogen activator, protein C,TMPRSS2, hepsin, matriptase/ MT-SPI, dipepticlylpepticlase IV, and seprase. Differences in serine protease gene expression between microvascular and human umbilical vein endothelial cells (HUVECs) were identified and several serine protease genes were found to be regulated by the nature of the substratum, ie. artificial basement membrane or fibrillar type I collagen. mRNA transcripts of several serine protease genes were associated with blood vessels in vivo by in situ hybridization of human tissue specimens. These data suggest a potential role for serine proteases, not previously associated with endothelium, in vascular function and angiogenesis.

Phase equilibria in the Fe-Zn-O system at conditions relevant to zinc sintering and smelting

Zincite and spinel phases are present in the complex slag systems encountered in zinc/lead sintering and zinc smelting processes. These phases form extensive solid solutions and are stable over a wide range of compositions, temperatures and oxygen partial pressures. Accurate information on the stability of these phases is required in order to develop thermodynamic models of these slag systems. Phase equilibria in the Fe–Zn–O system have been experimentally studied for a range of conditions, between 900°C and 1580°C and oxygen partial pressures (pO2) between air and metallic iron saturation, using equilibration and quenching techniques. The compositions of the phases were measured using Electron probe X-ray microanalysis (EPMA). The ferrous and ferric bulk iron concentrations were determined using a specially developed wet-chemical analysis procedure based on the use of ammonium metavanadate. XRD was used to confirm phase identification. A procedure was developed to overcome the problems associated with evaporation of zinc at low pO2 values and to ensure the achievement of equilibria. An isothermal section of the system FeO–Fe2O3–ZnO at high ZnO concentrations at 1200°C was constructed. The maximum solubilities of iron and zinc in zincite and spinel phases in equilibrium were determined at pO2 = 1 × 10-6 atm at 1200°C and 1300°C. The morphology of the zincite crystals sharply changes in air between 1200–1300°C from rounded to plate-like. This is shown to be associated with significant increase in total iron concentration, the additional iron being principally in the form of ferric iron. Calculations performed by FactSage with a thermodynamically optimised database have been compared with the experimental results.

Entanglement measure for rank-2 mixed states

We provide an easily computable formula for a bipartite mixed-state entanglement measure. Our formula can be applied to readily calculate the entanglement for any rank-2 mixed state of a bipartite system. We use this formula to provide a tight upper bound for the entanglement of formation for rank-2 states of a qubit and a qudit. We also outline situations where our formula could be applied to study the entanglement properties of complex quantum systems.

Flexible synthesis of enantiomerically pure 2,8-dialkyl-1,7-dioxaspiro[5.5]undecanes and 2,7-dialkyl-1,6-dioxaspiro[4.5]decanes from propargylic and homopropargylic alcohols

A new approach to enantiomerically pure 2,8-dialkyl-1,7-dioxaspiro[5.5]undecanes and 2,7-dialkyl-1,6-dioxaspiro [4.5] decanes is described and utilizes enantiomerically pure homopropargylic alcohols obtained from lithium acetylide opening of enantiomerically pure epoxides, which are, in turn, acquired by hydrolytic kinetic resolution of the corresponding racemic epoxides. Alkyne carboxylation and conversion to the Weinreb amide may be followed by triple-bond manipulation prior to reaction with a second alkynyllithium derived from a homo- or propargylic alcohol. In this way, the two ring components of the spiroacetal are individually constructed, with deprotection and cyclization affording the spiroacetal. The procedure is illustrated by acquisition of (2S,5R,7S) and (2R,5R,7S)-2-n-butyl-7-methyl-1,6-dioxaspiro[4.5]-decanes (1), (2S,6R,8S)-2-methyl-8-n-pentyl-1,7-dioxaspiro[5.5]undecane (2), and (2S,6R,8S)-2-methyl-8-n-propyl-1,7-dioxaspiro[5.5]undecane (3). The widely distributed insect component, (2S,6R,8S)-2,8-dimethyl-1,7-dioxaspiro[5.5]undecane (4), was acquired by linking two identical alkyne precursors via ethyl formate. In addition, [H-2(4)]-regioisomers, 10,10,11,11-[H-2(4)] and 4,4,5,5-[H-2(4)] of 3 and 4,4,5,5-[H-2(4)]-4, were acquired by triple-bond deuteration, using deuterium gas and Wilkinson's catalyst. This alkyne-based approach is, in principle, applicable to more complex spiroacetal systems not only by use of more elaborate alkynes but also by triple-bond functionalization during the general sequence.

Developing relational navigation to effectively understand software

Effective comprehension of complex software systems requires understanding of both the individual documents that represent software and the complex relationships that exist within and between documents. Relationships of all kinds play a vital role in a software engineer's comprehension of, and navigation within and between, software documents. User-determined relationships have the additional role of enabling the engineer to create and maintain relational documentation that cannot be generated by tools or derived from other relationships. We argue that for a software development environment to effectively support the understanding of complex software systems, relational navigation must be supported at both the document-focused (intra-document) and relation-focused (inter-document) levels. The need for a relation-focused approach is highlighted by an evaluation of an existing document-focused relational interface. We conclude with the requirements for a relation-focused approach to relational navigation. These requirements focus on the user's perspective when interacting with a collection of related documents. We define the requirements for a software development environment that effectively supports the understanding of the software documents and relationships that define a complex software system.

The development of a new compiler-compiler front-end

The increasing cost of developing complex software systems has created a need for tools which aid software construction. One area in which significant progress has been made is with the so-called Compiler Writing Tools (CWTs); these aim at automated generation of various components of a compiler and hence at expediting the construction of complete programming language translators. A number of CWTs are already in quite general use, but investigation reveals significant drawbacks with current CWTs, such as lex and yacc. The effective use of a CWT typically requires a detailed technical understanding of its operation and involves tedious and error-prone input preparation. Moreover, CWTs such as lex and yacc address only a limited aspect of the compilation process; for example, actions necessary to perform lexical symbol valuation and abstract syntax tree construction must be explicitly coded by the user. This thesis presents a new CWT called CORGI (COmpiler-compiler from Reference Grammar Input) which deals with the entire `front-end' component of a compiler; this includes the provision of necessary data structures and routines to manipulate them, both generated from a single input specification. Compared with earlier CWTs, CORGI has a higher-level and hence more convenient user interface, operating on a specification derived directly from a `reference manual' grammar for the source language. Rather than developing a compiler-compiler from first principles, CORGI has been implemented by building a further shell around two existing compiler construction tools, namely lex and yacc. CORGI has been demonstrated to perform efficiently in realistic tests, both in terms of speed and the effectiveness of its user interface and error-recovery mechanisms.

The realisation of JSD specifications in object oriented languages

Jackson System Development (JSD) is an operational software development method which addresses most of the software lifecycle either directly or by providing a framework into which more specialised techniques can fit. The method has two major phases: first an abstract specification is derived that is in principle executable; second the specification is implemented using a variety of transformations. The object oriented paradigm is based on data abstraction and encapsulation coupled to an inheritance architecture that is able to support software reuse. Its claims of improved programmer productivity and easier program maintenance make it an important technology to be considered for building complex software systems. The mapping of JSD specifications into procedural languages typified by Cobol, Ada, etc., involves techniques such as inversion and state vector separation to produce executable systems of acceptable performance. However, at present, no strategy exists to map JSD specifications into object oriented languages. The aim of this research is to investigate the relationship between JSD and the object oriented paradigm, and to identify and implement transformations capable of mapping JSD specifications into an object oriented language typified by Smalltalk-80. The direction which the transformational strategy follows is one whereby the concurrency of a specification is removed. Two approaches implementing inversion - an architectural transformation resulting in a simulated coroutine mechanism being generated - are described in detail. The first approach directly realises inversions by manipulating Smalltalk-80 system contexts. This is possible in Smalltalk-80 because contexts are first class objects and are accessible to the user like any other system object. However, problems associated with this approach are expounded. The second approach realises coroutine-like behaviour in a structure called a `followmap'. A followmap is the results of a transformation on a JSD process in which a collection of followsets is generated. Each followset represents all possible state transitions a process can undergo from the current state of the process. Followsets, together with exploitation of the class/instance mechanism for implementing state vector separation, form the basis for mapping JSD specifications into Smalltalk-80. A tool, which is also built in Smalltalk-80, supports these derived transformations and enables a user to generate Smalltalk-80 prototypes of JSD specifications.

Molecular regulation of iron uptake in pseudomonas aeruginosa

The microbial demand for iron is often met by the elaboration of siderophores into the surrounding medium and expression of cognate outer membrane receptors for the ferric siderophore complexes. Conditions of iron limitation, such as those encountered in vivo, cause Pseudomonas aeruginosa to express two high-affinity iron-uptake systems based on pyoverdin and pyochelin. These systems will operate both in the organism's natural habitat, soil and water, where the solubility of iron at neutral pH is extremely low, and in the human host where the availability of free iron is too low to sustain bacterial growth due to the iron-binding glycoproteins transferrin and lactoferrin. Cross-feeding and radiolabelled iron uptake experiments demonstrated that pyoverdin biosynthesis and uptake were highly heterogeneous amongst P.aeruginosa strains, that growth either in the presence of pyoverdin or pyochelin resulted in induction of specific IROMPs, and that induction of iron uptake is siderophore-specific. The P.aeruginosa Tn5 mutant PH1 is deficient in ferripyoverdin uptake and resistant to pyocin Sa, suggesting that the site of interaction of pyocin Sa is a ferripyoverdin receptor. Additional Tn5 mutants appeared to exploit different strategies to achieve pyocin Sa-resistance, involving modifications in expression of pyoverdin-mediated iron uptake, indicating that complex regulatory systems exist to enable these organisms to compete effectively for iron. Modulation of expression of IROMPs prompted a study of the mechanism of uptake of a semi-synthetic C(7) α-formamido substituted cephalosporin BRL 41897A. Sensitivity to this agent correlated with expression of the 75 kDa ferri-pyochelin receptor and demonstrated the potential of high-affinity iron uptake systems for targeting of novel antibiotics. Studies with ferri-pyoverdin uptake-deficient mutant PH1 indicated that expression of outer membrane protein G (OprG), which is usually expressed under iron-rich conditions and repressed under iron-deficient conditions, was perturbed. Attempts were made to clone the oprG gene using a degenerate probe based on the N-terminal amino acid sequence. A strongly hybridising HindIll restriction fragment was cloned and sequenced, but failed to reveal an open reading frame correspondmg to OprG. However, there appears to be good evidence that a part of the gene codmg for the hydrophilic membrane-associated ATP-binding component of a hitherto uncharacterised periplasmic- binding-protein-dependent transport system has been isolated. The full organisation and sequence of the operon, and substrate for this putative transport system, are yet: to be elucidated,

Predicting and diagnosing faults in wastewater treatment process by Bayesian Belief Networks

Diagnosing faults in wastewater treatment, like diagnosis of most problems, requires bi-directional plausible reasoning. This means that both predictive (from causes to symptoms) and diagnostic (from symptoms to causes) inferences have to be made, depending on the evidence available, in reasoning for the final diagnosis. The use of computer technology for the purpose of diagnosing faults in the wastewater process has been explored, and a rule-based expert system was initiated. It was found that such an approach has serious limitations in its ability to reason bi-directionally, which makes it unsuitable for diagnosing tasks under the conditions of uncertainty. The probabilistic approach known as Bayesian Belief Networks (BBNS) was then critically reviewed, and was found to be well-suited for diagnosis under uncertainty. The theory and application of BBNs are outlined. A full-scale BBN for the diagnosis of faults in a wastewater treatment plant based on the activated sludge system has been developed in this research. Results from the BBN show good agreement with the predictions of wastewater experts. It can be concluded that the BBNs are far superior to rule-based systems based on certainty factors in their ability to diagnose faults and predict systems in complex operating systems having inherently uncertain behaviour.

The application of contact mechanics to the numerical simulation of particulate material

Particulate solids are complex redundant systems which consist of discrete particles. The interactions between the particles are complex and have been the subject of many theoretical and experimental investigations. Invetigations of particulate material have been restricted by the lack of quantitative information on the mechanisms occurring within an assembly. Laboratory experimentation is limited as information on the internal behaviour can only be inferred from measurements on the assembly boundary, or the use of intrusive measuring devices. In addition comparisons between test data are uncertain due to the difficulty in reproducing exact replicas of physical systems. Nevertheless, theoretical and technological advances require more detailed material information. However, numerical simulation affords access to information on every particle and hence the micro-mechanical behaviour within an assembly, and can replicate desired systems. To use a computer program to numerically simulate material behaviour accurately it is necessary to incorporte realistic interaction laws. This research programme used the finite difference simulation program `BALL', developed by Cundall (1971), which employed linear spring force-displacement laws. It was thus necessary to incorporate more realistic interaction laws. Therefore, this research programme was primarily concerned with the implementation of the normal force-displacement law of Hertz (1882) and the tangential force-displacement laws of Mindlin and Deresiewicz (1953). Within this thesis the contact mechanics theories employed in the program are developed and the adaptations which were necessary to incorporate these laws are detailed. Verification of the new contact force-displacement laws was achieved by simulating a quasi-static oblique contact and single particle oblique impact. Applications of the program to the simulation of large assemblies of particles is given, and the problems in undertaking quasi-static shear tests along with the results from two successful shear tests are described.

PSS as a service based strategy for western manufacturers

A product-service system (PSS) is a subtle blend of products and services that are offered as an integrated solution to customers. Much existing work on PSS has originated from Scandinavia and has been motivated by a sustainability agenda. Although valuable, this form has limited appeal to western manufacturers. However, by expanding the concepts of PSS to also embrace leading thinking on large scale complex service systems and informated products and services, it is possible to put forward the basis of a service business model that offers the means to differentiate from competitors who simply offer lower priced products. This paper aims to build this case. It reports the state-of-the-art of PSS, defines the concept, reports on its origin and features, discusses examples of applications, and finally proposes a research strategy for future work on this topic.