Characteristics of nitrogen forms in the southern Huanghai Sea surface sediments

The distributions of different forms of nitrogen in the surface sediments of the southern Huanghai Sea are different and affected by various factors. The contents of IEF-N, SOEF-N and TN gradually decrease eastward, and those of SAEF-N northward, while those of WAEF-N westward. Around the seaport of the old Huanghe (Yellow) River, the contents of both SOEF-N and TN are the highest. Among all the factors, the content of fine sediment is the predominant factor to affect the distributions of different forms of nitrogen. The contents of IEF-N, SOEF-N, and TN have visibly positive correlation with the content of fine sediments, and the correlative coefficient is 0.68, 0.58 and 0.71 respectively, showing that the contents of the three forms of nitrogen increase with those of fine sediments. The content of WAEF-N is related to that of fine sediments to a certain extent, with a correlative coefficient of 0.35; while the content of SAEF-N is not related to that of fine sediments, showing that the content of SAEF-N is not controlled by fine grain-size fractions of sediments. In addition, the distributions of different forms of nitrogen are also interacted one another, and the contents of IEF-N and SOEF-N are obviously affected by TN, while those of inorganic nitrogen (WAEF-N, SAEF-N and IEF-N) are not affected by SOEF-N and TN obviously, although they are interacted each other.

Characteristics of nitrogen forms in the surface sediments of southwestern Nansha Trough, South China Sea

The area of the southwestern Nansha Trough is one of the most productive areas of the southern South China Sea. It is a typical semi-deep sea area of transition from shoal to abyssal zone. To understand distributions and roles of nitrogen forms involved in biogeochemical cycling in this area, contents of nitrogen in four extractable forms: nitrogen in ion exchangeable form (IEF-N), nitrogen in weak acid extractable form (WAEF-N), nitrogen in strong alkali extractable form (SAEF-N) and nitrogen in strong oxidation extractable form (SOEF-N), as well as in total nitrogen content (TN) in surface sediments were determined from samples collected from the cruise in April-May 1999. The study area was divided into three regions (A, B and C) in terms of clay sediment (< 4 mu m) content at < 40%, 40%-60% and > 60%, respectively. Generally, region C was the richest in the nitrogen of all forms and region A the poorest, indicating that the finer the grain size is, the richer the contents of various nitrogen are. The burial efficiency of total nitrogen in surface sediments was 28.79%, indicating that more than 70% of nitrogen had been released and participated in biogeochemical recycling through sediment-water interface.

可重构星球探测机器人的机构设计

基于可重构思想设计了一种可重构星球探测机器人系统。系统由一个母体和几个子机器人组成,其中子机 器人包括车轮和手臂两部分,可以作为独立作业的机器人,具有移动状态和工作状态两种模式。子机器人具有在 一个驱动力作用下处于不同约束环境中时,表现为不同形式输出的特点,容易实现两种模式下的灵活运动。并深 入研究了机构参数对子机器人运动的影响,用试验和仿真进行了验证,这为机器人的参数化设计及运动中的参数 化调整提供了重要的理论依据。

BUILD: A Tool for Maintaining Consistency in Modular Systems

Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to be performed in order to perform the task. This differs from existing tools which do not explicitly separate knowledge about systems from knowledge about how systems are manipulated. BUILD provides a static framework for modeling systems and handling construction requests that makes use of programming environment specific definitions. By altering the set of definitions, BUILD can be extended to work with new programming environments to perform new tasks.

Desarrollo de un sistema compuesto de aislamiento acústico de baja masa: aplicación experimental a una cabina modular

Tesis inédita presentada en la Universidad Europea de Madrid. Facultad de Arquitectura, Ingeniería y Diseño. Programa de Doctorado en Técnicas Avanzadas en Construcción

Absolute forms in the poetry of the Gogynfeirdd: functionally obsolete archaisms or working system?

Rodway, S. (2002). Absolute forms in the poetry of the Gogynfeirdd: functionally obsolete archaisms or working system? Journal of Celtic Linguistics. 7, pp.63-84. RAE2008

Birkhoff normal forms in semi-classical inverse problems

Iantchenko, A.; Sj?strand, J.; Zworski, M., (2002) 'Birkhoff normal forms in semi-classical inverse problems', Mathematical Research Letters 9(3) pp.337-362 RAE2008

Birkhoff normal forms for Fourier integral operators II

Iantchenko, A.; Sj?strand, J., (2001) 'Birkhoff normal forms for Fourier integral operators II', American Journal of Mathematics 124(4) pp.817-850 RAE2008

Li+ Diffusion and its Structural Basis in the Nanocrystalline and Amorphous Forms of Two-dimensionally Ion-conducting LixTiS2

Winter, Rudolf; Heitjans, P., (2001) 'Li+ Diffusion and its Structural Basis in the Nanocrystalline and Amorphous Forms of Two-dimensionally Ion-conducting LixTiS2', Journal of Physical Chemistry B 105(26) pp.6108-6115 RAE2008

KInNeSS: A Modular Framework for Computational Neuroscience

Making use of very detailed neurophysiological, anatomical, and behavioral data to build biological-realistic computational models of animal behavior is often a difficult task. Until recently, many software packages have tried to resolve this mismatched granularity with different approaches. This paper presents KInNeSS, the KDE Integrated NeuroSimulation Software environment, as an alternative solution to bridge the gap between data and model behavior. This open source neural simulation software package provides an expandable framework incorporating features such as ease of use, scalabiltiy, an XML based schema, and multiple levels of granularity within a modern object oriented programming design. KInNeSS is best suited to simulate networks of hundreds to thousands of branched multu-compartmental neurons with biophysical properties such as membrane potential, voltage-gated and ligand-gated channels, the presence of gap junctions of ionic diffusion, neuromodulation channel gating, the mechanism for habituative or depressive synapses, axonal delays, and synaptic plasticity. KInNeSS outputs include compartment membrane voltage, spikes, local-field potentials, and current source densities, as well as visualization of the behavior of a simulated agent. An explanation of the modeling philosophy and plug-in development is also presented. Further developement of KInNeSS is ongoing with the ultimate goal of creating a modular framework that will help researchers across different disciplines to effecitively collaborate using a modern neural simulation platform.

KInNeSS: A Modular Framework for Computational Neuroscience

Making use of very detailed neurophysiological, anatomical, and behavioral data to build biologically-realistic computational models of animal behavior is often a difficult task. Until recently, many software packages have tried to resolve this mismatched granularity with different approaches. This paper presents KInNeSS, the KDE Integrated NeuroSimulation Software environment, as an alternative solution to bridge the gap between data and model behavior. This open source neural simulation software package provides an expandable framework incorporating features such as ease of use, scalability, an XML based schema, and multiple levels of granularity within a modern object oriented programming design. KInNeSS is best suited to simulate networks of hundreds to thousands of branched multi-compartmental neurons with biophysical properties such as membrane potential, voltage-gated and ligand-gated channels, the presence of gap junctions or ionic diffusion, neuromodulation channel gating, the mechanism for habituative or depressive synapses, axonal delays, and synaptic plasticity. KInNeSS outputs include compartment membrane voltage, spikes, local-field potentials, and current source densities, as well as visualization of the behavior of a simulated agent. An explanation of the modeling philosophy and plug-in development is also presented. Further development of KInNeSS is ongoing with the ultimate goal of creating a modular framework that will help researchers across different disciplines to effectively collaborate using a modern neural simulation platform.

The CLARITY modular ambient health and wellness measurement platform

Emerging healthcare applications can benefit enormously from recent advances in pervasive technology and computing. This paper introduces the CLARITY Modular Ambient Health and Wellness Measurement Platform:, which is a heterogeneous and robust pervasive healthcare solution currently under development at the CLARITY Center for Sensor Web Technologies. This intelligent and context-aware platform comprises the Tyndall Wireless Sensor Network prototyping system, augmented with an agent-based middleware and frontend computing architecture. The key contribution of this work is to highlight how interoperability, expandability, reusability and robustness can be manifested in the modular design of the constituent nodes and the inherently distributed nature of the controlling software architecture.Emerging healthcare applications can benefit enormously from recent advances in pervasive technology and computing. This paper introduces the CLARITY Modular Ambient Health and Wellness Measurement Platform:, which is a heterogeneous and robust pervasive healthcare solution currently under development at the CLARITY Center for Sensor Web Technologies. This intelligent and context-aware platform comprises the Tyndall Wireless Sensor Network prototyping system, augmented with an agent-based middleware and frontend computing architecture. The key contribution of this work is to highlight how interoperability, expandability, reusability and robustness can be manifested in the modular design of the constituent nodes and the inherently distributed nature of the controlling software architecture.

The purification and characterization of the high and low molecular weight forms of rabbit intestinal adenosine deaminase

Accepted Version

Modular average case analysis: Language implementation and extension

Motivated by accurate average-case analysis, MOdular Quantitative Analysis (MOQA) is developed at the Centre for Efficiency Oriented Languages (CEOL). In essence, MOQA allows the programmer to determine the average running time of a broad class of programmes directly from the code in a (semi-)automated way. The MOQA approach has the property of randomness preservation which means that applying any operation to a random structure, results in an output isomorphic to one or more random structures, which is key to systematic timing. Based on original MOQA research, we discuss the design and implementation of a new domain specific scripting language based on randomness preserving operations and random structures. It is designed to facilitate compositional timing by systematically tracking the distributions of inputs and outputs. The notion of a labelled partial order (LPO) is the basic data type in the language. The programmer uses built-in MOQA operations together with restricted control flow statements to design MOQA programs. This MOQA language is formally specified both syntactically and semantically in this thesis. A practical language interpreter implementation is provided and discussed. By analysing new algorithms and data restructuring operations, we demonstrate the wide applicability of the MOQA approach. Also we extend MOQA theory to a number of other domains besides average-case analysis. We show the strong connection between MOQA and parallel computing, reversible computing and data entropy analysis.

Practical programming for static average-case analysis: the MOQA investigation

This work considers the static calculation of a program’s average-case time. The number of systems that currently tackle this research problem is quite small due to the difficulties inherent in average-case analysis. While each of these systems make a pertinent contribution, and are individually discussed in this work, only one of them forms the basis of this research. That particular system is known as MOQA. The MOQA system consists of the MOQA language and the MOQA static analysis tool. Its technique for statically determining average-case behaviour centres on maintaining strict control over both the data structure type and the labeling distribution. This research develops and evaluates the MOQA language implementation, and adds to the functions already available in this language. Furthermore, the theory that backs MOQA is generalised and the range of data structures for which the MOQA static analysis tool can determine average-case behaviour is increased. Also, some of the MOQA applications and extensions suggested in other works are logically examined here. For example, the accuracy of classifying the MOQA language as reversible is investigated, along with the feasibility of incorporating duplicate labels into the MOQA theory. Finally, the analyses that take place during the course of this research reveal some of the MOQA strengths and weaknesses. This thesis aims to be pragmatic when evaluating the current MOQA theory, the advancements set forth in the following work and the benefits of MOQA when compared to similar systems. Succinctly, this work’s significant expansion of the MOQA theory is accompanied by a realistic assessment of MOQA’s accomplishments and a serious deliberation of the opportunities available to MOQA in the future.