Some theorems in classical elastodynamic

This investigation is concerned with various fundamental aspects of the linearized dynamical theory for mechanically homogeneous and isotropic elastic solids. First, the uniqueness and reciprocal theorems of dynamic elasticity are extended to unbounded domains with the aid of a generalized energy identity and a lemma on the prolonged quiescence of the far field, which are established for this purpose. Next, the basic singular solutions of elastodynamics are studied and used to generate systematically Love's integral identity for the displacement field, as well as an associated identity for the field of stress. These results, in conjunction with suitably defined Green's functions, are applied to the construction of integral representations for the solution of the first and second boundary-initial value problem. Finally, a uniqueness theorem for dynamic concentrated-load problems is obtained.

Improving statistical machine translation by classifying and generalizing inflected verb forms

This paper introduces a rule-based classification of single-word and compound verbs into a statistical machine translation approach. By substituting verb forms by the lemma of their head verb, the data sparseness problem caused by highly-inflected languages can be successfully addressed. On the other hand, the information of seen verb forms can be used to generate new translations for unseen verb forms. Translation results for an English to Spanish task are reported, producing a significant performance improvement.

Bryodrilus fuscistriatus, a new enchytraeid species (Oligochaeta : Enchytraeidae) from northeastern China

Bryodrilus fuscistriatus, a new enchytraeid species from Mt. Changbaishan, Jilin Province, north-eastern China, is described. It is characterized by brown epidermal glands, 7 pairs of preclitellar nephridia, poorly-developed clitellar glands, spermatheca with 2 sessile globular diverticula, and a long sperm funnel with a very broad collar. It is similar to the Alaskan B. tunicatus Dozsa-Farkas & Christensen, 2002 in possessing two diverticula in the spermathecal ampulla and the origin of the dorsal vessel, and the Chinese B. longifistulatus and B. macrotheca Xie et al., 2000c in body size, long sperm funnel and undeveloped clitellar glands, but it differs from B. tunicatus by the presence of brown-striped epidermal gland cells in III-V, a poorly-elevated clitellum, the absence of copulatory glands in XIII-XIV, the regular outline of coelomocytes, and 7 pairs of preclitellar nephridia; from B. longifistulatus and B. macrotheca by the shape of spermatheca, the color of epidermal gland cells, the position of the first pair nephridia, and the origin of dorsal vessel.

Fridericia nanningensis, a new terrestrial enchytraeid species (Oligochaeta) from southwestern China

Fridericia nanningensis, a new species from wetland soil of Nanhu Park, Nanning city, the capital of Guangxi Zhuang Autonomous Region in southwest China, is described. It is characterized by 2-4 chaetae per bundle, poorly-developed clitellar glands, slender, unbranched peptonephridia, and spermathecae with 2 ampullar diverticula, a deep constriction in the middle of the ampulla and one large ectal gland. It is closely related to the European species, F. alata Nielsen & Christensen, 1959 and the East European species, F. tubulosa Dozsa-Farkas, 1972 by the shape of peptonephridia and the undeveloped clitellar glands. It differs from F. alata by its shorter body length and fewer chaetae per bundle, its type of coelomocytes (type "c"), its deep constriction in the middle of the spermathecae ampulla and a larger ectal gland, and it differs from F. tubulosa by its pale epidermal glands, its more anterior origin of the dorsal vessel, a deep constriction in the middle of the spermathecae ampulla, shorter ectal duct, and only one ectal gland at the spermathecal orifice.

可满足性问题研究

数理逻辑是计算机科学的基础，而逻辑公式的可满足性问题是计算机科学和人工智能领域中的一个著名而又重要的问题。它在计算机科学和人工智能研究中有广泛的应用。本文将重点介绍实际可用的判定算法及其相关技术。 本文的研究分两大方向，分别是命题逻辑的可满足性问题研究和一阶逻辑的可满足性问题研究。命题逻辑的可满足性问题（Satisfiability Problem）是一个历史悠久的问题，一般简称为 SAT问题。SAT 问题的求解算法有两大类，分别是确定性算法和非确定性算法。本文只研究确定性算法的相关内容，尤其是如何进行剪枝。我们充分调研了SAT求解算法和求解工具的相关知识，在此基础上，提出了local Lemma 这个剪枝技术，该技术可以更加充分地挖掘剪枝信息，达到进行更多剪枝的目的。 在一阶逻辑的可满足性问题研究方面，本文采取直接搜索可行的一阶逻辑模型的方法研究有限论域上的一阶逻辑的可满足性问题。该方法本质上就是深度优先的回溯搜索。因此，我们的研究重点就是如何找到问题的更高效的一阶逻辑的表示以及如何采用启发式的方式进行剪枝。在这个问题上，我的主要工作有两个：一个是模型搜索中适用于谓词的同构消去技术，包括Row by Row策略和Ramsey Number 策略两个技术；另一个是 DASH（Decision Assignment Scheme Heuristic），用来在生成有限模型的时候边搜索边消除同构子空间。DASH 能用近乎零代价保证输出的模型都是互不同构的。这两个技术都是基于有限论域中的元素的固有对称性，换言之，就是需要有限论域中的元素是两两可交换的。 在已有的成果的基础上，我们又尝试使用它们去求解一些数学中的实际问题，如拟群拉丁方，有限射影平面，正交拉丁方（组）等。我们给出了在这几个方面的一些尝试和初步结果，包括一个重要的定理和若干效率提高了几个数量级的改进。 值得一提的是，和马菲菲共同提出的横截矩阵（Transversal Matrix）概念是一个新颖的成果，使得正交拉丁方的表示和求解取得了明显的改进。在这个概念的基础上，进一步给出了几个定理，进行了理论上的拓展。实验数据表明，我们的求解途径和技术能有效解决拉丁方相关的问题。

SAT和DSOLS问题的研究

约束可满足性问题（Constraint Satisfaction Problem,CSP）是在人工智能领域被广泛研究的一类问题。对CSP问题的研究有两种重要的思路：一种思路是用统一的模型来表示CSP，然后用针对这个统一模型的通用工具进行求解；另外一种思路是针对不同的CSP问题开发专门工具，设计不同的算法和数据结构来求解。 本文研究了两个CSP问题：SAT(SATisfiability problem)和DSOLS(DoublySelf-Orthogonal Latin Squares)。CSP可以方便的转换为SAT来求解，因此对SAT的研究对很多问题具有重大意义。本文介绍了当前流行的SAT solver的一些技术，也提出一种新的搜索空间裁剪策略Local Lemma。DSOLS是一种具有特定性质的拉丁方，本文对它的研究不仅仅因为它的应用意义。更重要的是它作为一个特定的CSP问题，可以用来比较通用工具和专门工具的优劣。本文尝试了把DSOLS转化为SAT求解，也试过用一般CSP的思路来求解，最后提出了一种针对性的高效算法并开发了一个专门工具DSOLver，用这个工具证明了一个开放问题：DSOLS(10)不存在。

Tripogon debilis (Poaceae), a new species from western China

A new species of Tripogon from western China (Sichuan Province), T. debilis L. B. Cai, is described and illustrated. This species is similar to both T. chinensis (Franchet) Hackel and T sichuanicus S. M. Phillips & S. L. Chen, but distinguished from these two species by its pendent pi spikes, relatively tong glumes and lemma awns, denticulate upper glumes, and its paleas strikingly shorter than the lemmas.

Robust Identification of Shared Losses Using End-to-End Unicast Probes

ERRATA: We present corrections to Fact 3 and (as a consequence) to Lemma 1 of BUCS Technical Report BUCS-TR-2000-013 (also published in IEEE INCP'2000)[1]. These corrections result in slight changes to the formulae used for the identifications of shared losses, which we quantify.

Toxicity of manufactured nano-ZnO to Lemna minor

The rapid development of nanotechnology has led to a rise in the large-scale production and commercial use of engineered nano-ZnO. Engineered/manufactured nano-ZnO are applied in a broad range of products such as drugs, paints, cosmetics, abrasive agents and insulators. This can result in the unintended exposure of human beings to nano-ZnO and will inevitably result in the release of nano-ZnO in to the environment. Thus, it is necessary to assess the risk of nano-ZnO to the environment. In this thesis the toxicity of nano-ZnO was analysed using the aquatic, primary producer lesser duckweed (Lemna minor), and the mechanism of toxicity was analysed. Both short-term (one week) and long-term (six weeks) toxicity of nano-ZnO (uncoated) were determined. Results show that the toxicity of nano-ZnO added to the aquatic growth medium increases with increasing concentration and that toxicity accumulates with exposure time. A study of nano-ZnO dissolution reveals that the main reason for nano-ZnO toxicity on Lemna minor is the release of Zn ions. Nano-ZnO dissolution is pH dependent, and toxicity matches the release of Zn2+. Functional coating materials are commonly added to nano-ZnO particles to improve specific industrial applications. To test if coating materials contribute to nano-ZnO toxicity on lesser duckweed, the effect of silane coupling agent (KH550) coated nano-ZnO on Lemma minor was investigated. Results show that coating can decrease the release of Zn ions, which reduces toxicity to Lemna minor, in contrast to uncoated particles. Another commonly hypothesized reason for nano-ZnO toxicity is the formation of Reactive Oxygen Species (ROS) on the particles surface. As part of this thesis, the ROS formation induced by nano-ZnO was studied. Results show that nano-ZnO catalyse ROS formation and this can negatively affect duckweed growth. In conclusion, this work has detailed potentially toxic effects of nano-ZnO on Lemna minor. This study has also provides references for future research, and informs regulatory testing for nanoparticle toxicity. Specifically, the outcomes of this study emphasize the importance of exposure time, environmental parameters and coating material when analysing NPs toxicity. Firstly, impacts of longer exposure time should be studied. Secondly, environmental parameters such as pH and medium-composition need to be considered when investigating NPs toxicity. Lastly, coating of NPs should always be considered in the context of NPs toxicity, and similar NPs with different coatings require separate toxicity tests.

A theory of hypoellipticity and unique ergodicity for semilinear stochastic PDEs

We present a theory of hypoellipticity and unique ergodicity for semilinear parabolic stochastic PDEs with "polynomial" nonlinearities and additive noise, considered as abstract evolution equations in some Hilbert space. It is shown that if Hörmander's bracket condition holds at every point of this Hilbert space, then a lower bound on the Malliavin covariance operatorμt can be obtained. Informally, this bound can be read as "Fix any finite-dimensional projection on a subspace of sufficiently regular functions. Then the eigenfunctions of μt with small eigenvalues have only a very small component in the image of Π." We also show how to use a priori bounds on the solutions to the equation to obtain good control on the dependency of the bounds on the Malliavin matrix on the initial condition. These bounds are sufficient in many cases to obtain the asymptotic strong Feller property introduced in [HM06]. One of the main novel technical tools is an almost sure bound from below on the size of "Wiener polynomials," where the coefficients are possibly non-adapted stochastic processes satisfying a Lips chitz condition. By exploiting the polynomial structure of the equations, this result can be used to replace Norris' lemma, which is unavailable in the present context. We conclude by showing that the two-dimensional stochastic Navier-Stokes equations and a large class of reaction-diffusion equations fit the framework of our theory.

Cannibal Animal Games: A new variant of Tic-Tac-Toe

This paper presents a new partial two-player game, called the cannibal animal game, which is a variant of Tic-Tac-Toe. The game is played on the infinite grid, where in each round a player chooses and occupies free cells. The first player Alice can occupy a cell in each turn and wins if she occupies a set of cells, the union of a subset of which is a translated, reflected and/or rotated copy of a previously agreed upon polyomino P (called an animal). The objective of the second player Bob is to prevent Alice from creating her animal by occupying in each round a translated, reflected and/or rotated copy of P. An animal is a cannibal if Bob has a winning strategy, and a non-cannibal otherwise. This paper presents some new tools, such as the bounding strategy and the punching lemma, to classify animals into cannibals or non-cannibals. We also show that the pairing strategy works for this problem.

Factores ambientales pre - dispersión y post - dispersión de semillas que modulan la germinación y emergencia de Digitaria sanguinalis (L.) Scop. en el cultivo de soja

El éxito de Digitaria sanguinalis en los cultivos estivales de la Argentina se debe en gran medida al establecimiento de varias cohortes a lo largo del ciclo del cultivo, lo que le permite escapar a los controles químicos. El establecimiento de las plántulas depende de factores ambientales pre-dispersión (competitivos y no competitivos), a través de los efectos maternos, y post-dispersión (no competitivos). A su vez, los efectos predispersión competitivos también afectan la fecundidad de las plantas. Por lo tanto, comprender los efectos de las interacciones dentro del sistema cultivo-maleza sería de utilidad para diseñar estrategias de manejo más efectivas de la maleza. Este trabajo tuvo como objetivo general i) determinar los efectos pre-dispersión que genera el cultivo de soja sobre el crecimiento, la estructura, la fecundidad y la dormición de semillas de biotipos locales de D. sanguinalis, y ii) los efectos post-dispersión que genera el ambiente en el que se encuentran las semillas condicionando el establecimiento de las plántulas en la campaña siguiente. Para cumplir con estos objetivos se realizaron experimentos i) en cámara evaluando los efectos de la temperatura, luz y humedad y el rol de las cubiertas en la imposición de la dormición, ii) en parcelas a campo combinando la presencia del cultivo con distintas distancias entre surcos, los grupos de madurez y los "gaps", iii) en macetas a campo evaluando los efectos del sombreo, la fertilidad edáfica y la luz roja y azul y iv) en parcelas a campo combinando la cobertura del suelo (rastrojo), el tiempo de permanencia de las semillas en el suelo, la presencia del cultivo de soja y el nivel de dormición de las semillas al momento de su dispersión. Temperaturas frescas (5ºC a 20ºC) y humedad, seguidas de temperaturas alternadas (20/30ºC) con luz fueron las mejores condiciones para la salida y la terminación de la dormición de las semillas, respectivamente. Dicha dormición está determinada por las cubiertas de las semillas, principalmente por la lemma y, aparentemente por el efecto de inhibidores presentes en ella. El cultivo de soja modificó el ambiente en el que crecen las plantas de la maleza al alterar la radiación incidente, la relación R-RL, la temperatura y la humedad relativa reduciendo la biomasa, la altura, el número de vástagos, la fecundidad de las plantas y el nivel de dormición de las semillas de D. sanguinalis. El nivel de dormición fue afectado por la temperatura máxima, la alternancia de temperatura y la radiación incidente en estadios reproductivos de la maleza, en cambio la fertilidad edáfica, la luz azul y rojo lejano no tuvieron ningún efecto. Por otra parte, el rastrojo de soja o de maíz, no modificó la salida de la dormición pero retrasó la terminación de la misma por la disminución en la alternancia de las temperaturas, retrasando la germinación y la emergencia de la maleza en la campaña siguiente. Semillas con distinto nivel de dormición en el momento de dispersión, tuvieron distintos valores de emergencia en la campaña siguiente cuando la temperatura no fue lo suficientemente baja como para reducir los niveles de dormición de toda la población. La presencia de un cultivo de soja junto con la presencia de rastrojo de soja o maíz, redujeron la emergencia de las plántulas a campo debido, en parte, al efecto de la menor alternancia de temperaturas. Los resultados de esta tesis permiten determinar cómo la estructura del cultivo de soja modifica el establecimiento de plántulas de D. sanguinalis en la campaña siguiente, a través de su efecto sobre el ambiente pre y postdispersión, afectando la salida y la terminación de la dormición y por lo tanto la emergencia de la maleza.

Uniqueness criteria for continuous-time Markov chains with general transition structures

We derive necessary and sufficient conditions for the existence of bounded or summable solutions to systems of linear equations associated with Markov chains. This substantially extends a famous result of G. E. H. Reuter, which provides a convenient means of checking various uniqueness criteria for birth-death processes. Our result allows chains with much more general transition structures to be accommodated. One application is to give a new proof of an important result of M. F. Chen concerning upwardly skip-free processes. We then use our generalization of Reuter's lemma to prove new results for downwardly skip-free chains, such as the Markov branching process and several of its many generalizations. This permits us to establish uniqueness criteria for several models, including the general birth, death, and catastrophe process, extended branching processes, and asymptotic birth-death processes, the latter being neither upwardly skip-free nor downwardly skip-free.