Language model cross adaptation for LVCSR system combination

State-of-the-art large vocabulary continuous speech recognition (LVCSR) systems often combine outputs from multiple sub-systems that may even be developed at different sites. Cross system adaptation, in which model adaptation is performed using the outputs from another sub-system, can be used as an alternative to hypothesis level combination schemes such as ROVER. Normally cross adaptation is only performed on the acoustic models. However, there are many other levels in LVCSR systems' modelling hierarchy where complimentary features may be exploited, for example, the sub-word and the word level, to further improve cross adaptation based system combination. It is thus interesting to also cross adapt language models (LMs) to capture these additional useful features. In this paper cross adaptation is applied to three forms of language models, a multi-level LM that models both syllable and word sequences, a word level neural network LM, and the linear combination of the two. Significant error rate reductions of 4.0-7.1% relative were obtained over ROVER and acoustic model only cross adaptation when combining a range of Chinese LVCSR sub-systems used in the 2010 and 2011 DARPA GALE evaluations. © 2012 Elsevier Ltd. All rights reserved.

Otolith characteristics and age determination of an endemic Ptychobarbus dipogon (Regan, 1905) (Cyprinidae: Schizothoracinae) in the Yarlung Tsangpo River, Tibet

We describe the microincrements, checks and annuli in the lapilli of the schizothoracine Ptychobarbus dipogon, an endemic species of the Tibetan plateau. We collected samples in the Yarlung Tsangpo River and its tributaries on a monthly basis (from April 2004 to August 2006). We describe the shape features of the three pairs of otoliths and document the full trajectory of lapillus development. We found that five to seven checks were clearly visible in the opaque zone of the first annulus. The pattern of 21-23 daily growth increments within each check might be explained as a lunar-induced deposition. We counted between 137 and 154 increments within the first annulus. Annuli appeared as a sequence of gradually declining increment widths, whereas false rings were characterized by abrupt checks. Our oldest estimates were 23(+)years for males and 44(+) for females. The time of annulus completion was clearly between March and April each year using monthly marginal increments analysis. We consider the factors responsible for daily increment formation as an endogenous circadian rhythm. Environmental information, such as strong sunlight and cold water temperatures in the Tibetan Plateau, could reinforce the endogenous daily cycle. Our results provided important data addressing the ecology and population dynamics of P. dipogon.

Daily timing of emersion and elevated atmospheric CO2 concentration affect photosynthetic performance of the intertidal macroalga Ulva lactuca (Chlorophyta) in sunlight

The lunar day differs in length from the solar day so that times of low tide vary from day to day. Thus, aerial exposure of intertidal seaweeds may be during the day or during the night. We measured photosynthetic CO, assimilation rates of the intertidal green macroalga Ulva lactuca during exposures of varied daily timings during sunny days of summer to establish how photosynthetic performance responds to emersion timing under varied CO2 levels [at ambient (360 ppmv) and 2x ambient (720 ppmv) atmospheric CO2 concentrations]. There was an increase in net photosynthetic rates following some duration of exposure when the initial timing of exposure occurred during early morning (06.30 h) and late afternoon (17.15 h). In contrast, net rates exhibited a sharp decline with exposure duration when the initial timing of exposure occurred at 09.30 h, 15.30 h and especially at noon (12.30 h), implying the occurrence of a severe photoinhibition resulting from mid-day insolation. Doubled atmospheric CO2 concentration significantly enhanced the emersed photosynthetic rates, indicating that the emersed photosynthesis is CO2-limited at ambient CO2 levels. However, increasing CO2 barely stimulates the emersed photosynthetic rates during mid-day insolation.

Optical characteristics of InAs quantum dots on GaAs matrix by using various InGaAs structures

The effects of various InGaAs layers on the structural and optical properties of InAs self-assembled quantum dots (QDs) grown by molecular-beam epitaxy ( MBE) were investigated. The emission wavelength of 1317 nm was obtained by embedding InAs QDs in InGAs/GgAs quantum well. The temperature-dependent and timed-resolved photoluminescence (TDPL and TRPL) were used to study the dynamic characteristics of carriers. InGaAs cap layer may improve the quality of quantum dots for the strain relaxation around QDs, which results in a stronger PL intensity and an increase of PL peak lifetime up to 170 K. We found that InGaAs buffer layer may reduce the PL peak lifetime of InAs QDs, which is due to the buffer layer accelerating the carrier migration. The results also show that InGaAs cap layer can increase the temperature point when, the thermal reemission and nonradiative recombination contribute significantly to the carrier dynamics.

基于Yices对时间自动机的有界模型检测

随着工业化程度的提高，对模型的检测方法受到越来越大的重视。通常的检测方法有推理验证和模型检测。而相对于推理验证，模型检测由于其高度自动化的检测过程，在工业界有着更广泛的应用。 模型检测自从概念雏形开始之时，就受到状态爆炸问题的困扰。为了解决这个问题，不同的技术被提了出来。McMillan提出利用OBDD的符号模型检测方法在一定程度上解决了这个问题。另外，本文所主要讲述的有界模型检测，经大量的实践证明，对符号模型检测也是一个很好的补充。 由于问题的特殊性，科学家提出来不同的模型来描述不同情况的系统。由于时间自动机能够很好地描述异步系统，而且这种系统广泛地存在于现实生活中，对时间自动机这种特殊模型的验证方法的研究变得很有必要。另外，由于时间自动机带有实数域的时钟变量，这导致了时间自动机有一个无限域的状态迁移图。为了利用模型检测的方法对其进行验证，需要对时间变量进行预处理。一般的方法是把时钟所对应的时钟区或时钟域根据等价性，化为有限的域，相应地，把时间自动机转化为有限的状态迁移图。 为了避免在对时间自动机有界模型检测过程中对变量进行布尔编码以及对时间自动机模型中的时钟进行预处理，本文给出一个利用SMT工具进行的对时间自动机进行有界模型检测的方法。该方法的主要优点是无需将时间自动机中的时钟进行预处理，也不需要将模型中的变量进行布尔编码，只需将时间自动机转变为SMT工具可解的逻辑公式，利用SMT的高效求解来进行模型检测。实验结果表明，对于某些可达性性质的验证，这种方法的效率有一定的优势。

时间符号迁移图及其互模拟判定

引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型。该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。

一种基于时间自动机的实时系统测试方法

基于时间自动机(timedautomata,简称TA)的一种变体——时间安全输入/输出自动机(timedsafetyinput/outputautomata,简称TSIOA),提出了一种实时系统测试方法.该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimedstabletransitiongraphofsymbolicstate,简称USTGSS);然后采用基于标号迁移系统(labeledtransitionsystem,简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列;最后,给出了一个根据迁移动作序列构造和执行测试用例的过程,该过程引入了时间延迟变量目标函数,并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量.

基于时间自动机的测试用例自动生成及执行方法

为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用基于符号迁移系统的测试方法分别生成相应的转移动作序列;最后通过对这些序列进行组合产生系统的测试用例,为了执行测试用例,利用TTCN-3的多PTC并发执行能力来实施测试。

面向媒体时序描述的带时间自动机的自动构造方法

依据有穷状态自动机模型，面向程序规范的并发系统和分布式系统测试方法的研究已经取得许多结果．由于特殊的实时和同步要求，这些结果不能直接应用于分布式多媒体软件系统的测试．为此，作者提出一种面向媒体对象时序描述的带时间自动机（Ｔｉｍ ｅｄ ａｕｔｏｍ ａｔａ）的自动构造方法，根据带时间自动机，对分布式多媒体软件系统进行非确定性测试时，可以较容易地判断运行结果正确与否；在进行确定性测试时，可以辅助自动生成测试用例

若尔盖湿地3种两栖类的种间竞争及畜牧业对其食性的影响

从空间、时间、食物3个方面研究了若尔盖湿地3种两栖类的种间竞争，运用生态位理论探讨了3种两栖类利用环境资源的能力以及它们之间的共存模式，研究了3种两栖类年周期食性，并考察了畜牧业对3种两栖类食性及食物竞争格局的影响；此外，还通过实验室研究对2种两栖类幼体的种间竞争策略进行了考察。主要结果如下： 1、两栖类的空间资源利用状况：在3种两栖类成体生态位宽度的比较中，岷山蟾蜍（Bufo minshanicus）成体在牧场性质(0.41)、牛粪数量(0.42)、植被盖度(0.20)、地表温度(0.50)、地表湿度(0.51) 5个维度上的生态位宽度最窄；而倭蛙（Nanorana pleskei）成体在牛粪数量(0.81)、植被高度(0.63)、植被盖度(0.47)、小水体距离(0.68) 4个维度上的生态位宽度最宽。在3种两栖类亚成体生态位宽度的比较中，岷山蟾蜍亚成体在牧场性质(0.66)、牛粪数量(0.58)、植被高度(0.64)、小水体距离(0.51)、地表湿度(0.79) 5个维度的上生态位宽度最宽；倭蛙亚成体在牧场性质(0.39)、牛粪数量(0.30)、地表温度(0.18)、地表湿度(0.33) 4个维度上的生态位宽度最窄。高原林蛙（Rana kukunoris）在地表温度（成体：0.62；亚成体：0.56）、地表湿度（成体：0.84；亚成体：0.60）两个维度上具有较大的生态位宽度值，而在小水体距离维度上（成体：0.27；亚成体：0.14）的生态位宽度值则很小。比较3种无尾两栖类在不同生长阶段（成体、亚成体）的生态位宽度，发现高原林蛙和倭蛙的亚成体对栖息环境的要求更高。3种两栖类空间资源利用的相似程度很高，高原林蛙与倭蛙之间的生态重叠度(0.87)较之它与岷山蟾蜍(0.81)的生态位重叠度更大。 2、两栖类的日活动节律：高原林蛙成体、亚成体、岷山蟾蜍亚成体活动的最低气温为0℃、2℃、8℃；岷山蟾蜍和高原林蛙亚成体出现的数量与气温成极显著的正相关（r=0.797, p<0.001；r=0.794, p<0.001），高原林蛙成体出现的数量与气温有一定相关性（r=0.456, p<0.05）；晴天时两栖类的活动性明显高于阴天（p<0.001）；多云转晴天气，高原林蛙和岷山蟾蜍亚成体出现两次日活动高峰，分别为中午12:30左右和下午15:30～16:30之间；多云天气，高原林蛙和岷山蟾蜍亚成体出现两次日活动高峰，分别为9:30～10:30之间和15:30～16:30之间。 3、两栖类的食物资源利用状况：春、秋两季，高原林蛙最主要的食物是蜉金龟科(Aphodiidae)昆虫，相对重要性指数(IRI)最高（春季：35.28%，秋季：28.57%），其次为昆虫的幼虫，以及双翅目的毛蚊科(Bibionidae)、蝇科(Muscidae)、丽蝇科(Calliphoridae)昆虫，秋季，蝗虫是高原林蛙食物组成中的重要部分；岷山蟾蜍最主要的食物是蚂蚁(IRI，春季：85.54%，秋季：49.70%)，其次为蜉金龟科、象甲科(Curculionidae)、步甲科(Carabidae)、粪金龟科(Geotrupidae) 等鞘翅目昆虫；倭蛙春季的最主要食物也是蜉金龟科昆虫(IRI，春季：13.41%)，其次为蚂蚁、毛蚊科昆虫、昆虫的幼虫以及狼蛛科(Lycosidae)。3种两栖类中，倭蛙的食性生态位宽度相对较宽（0.43），而岷山蟾蜍（0.09）和高原林蛙（0.22）的生态位宽度较窄，与春季相比，两栖类在秋季的食谱更宽。以利用食物种类为标准，春季高原林蛙与倭蛙的生态位重叠度(0.40)比它与岷山蟾蜍的生态位重叠度（0.33）更大。 4、畜牧业对两栖类食性及食物竞争格局的影响：以藏牦牛粪为食物或寄居场所的昆虫，如蜉金龟科、粪金龟科、毛蚊科、蝇科、丽蝇科昆虫和某些昆虫幼虫，是3种两栖类食物谱中最主要的组成部分，蜉金龟科昆虫在高原林蛙食谱中的比例更高，高原林蛙可能从畜牧业发展中获得更多的好处，使之在食物竞争方面处于优势地位。与无放牧样地相比，在有放牧样地的中，两栖类食谱中的蜉金龟科昆虫数量更多(有放牧：31.94%；无放牧：21.32%)、出现频率更高(有放牧：76.38%；无放牧：44%)。然而在不同样地上（有放牧/无放牧），两栖类的食物组成无显著性差异(P=0.188)，两栖类的数量(P=0.075)、肥满度(P=0.537)均没有显著差别。 5、两栖类幼体的竞争策略：实验室条件下，通过活动性水平，变态时的体重、增长率和完成变态所需时间考察自然条件下常同水塘分布的中华蟾蜍（Bufo gargarizans）和高原林蛙蝌蚪的竞争策略。结果表明：中华蟾蜍蝌蚪在不同食物资源条件下，所选择的生存策略可能不同，即食物资源充足时，增加活动性获取更多食物，食物资源有限时，降低活动性且提前完成变态；与中华蟾蜍蝌蚪相比，在食物资源有限时高原林蛙蝌蚪获取食物能力可能更强。 This paper presented the study of competition of three amphibians (Rana kukunoris, Nanorana pleskei, Bufo minshanicus) based on spatial, temporal and dietary scales in Zoige wetland. We measured coexistence patterns of three amphibians and analyzed their ability of exploiting resource. Effects of grazing on the diet composition and diet competition of amphibians were analyzed by their diet composition during spring and autumn. Furthermore, we examined the competitive ability of larval common frogs (Rana kukunoris)and common toads(Bufo gargarizans) in a laboratory experiment, and analyzed their competitive strategies respectively. The results were as follows: 1 .The status of using spatial resource Niche breadths of B. minshanicus adults on 5 dimensional axes including character of pasture(0.41), number of yaks dung(0.42), vegetation coverage(0.20), temperature (0.50)and humidity(0.51) of ground surface were narrower than adults of R. kukunoris and N. pleskei. Niche breadths of B. minshanicus subadults were broader than R.kukunoris subadults and N.pleskei subadults on 5 dimensional axes including character of pasture (0.66), number of yaks dung (0.58), vegetation height (0.64), distance to small waterbodies (0.51), humidity of ground surface (0.79). Niche breadths of N. pleskei subadults were the narrowest in three anurans subadults on 4 dimensional axes including character of pasture (0.39), number of yaks dung (0.30), temperature (0.18) and humidity (0.33) of ground surface, niche breadths of N. pleskei adults were the broadest in three anurans adults on 4 dimensional axes including number of yaks dung (0.81), vegetation height (0.63) and coverage(0.47), distance to small waterbodies(0.68).Comparatively, niche breadths of R. kukunoris were broader on the two microclimate factors including temperature(adults：0.62；subadults：0.56) and humidity (adults：0.84；subadults：0.60)of ground surface, but was narrow on distance to small waterbodies(adults：0.27；subadults：0.14). Strategies for using habitat resource of adults and subadults of the three species anuran were different. Generally, subadults of R. kukunoris and N. pleskei needs better habitat condition. It was quite similar that three anurans exploited spatial resource, Niche overlap between R. kukunoris and N. pleskei (0.87) was greater than that between R. kukunoris and B.minshanicus(0.81). 2.Daily activity rhythm R. kukunoris audlts were active when air temperatures were as low as 0℃, R. kukunoris subadults were active at 2℃, B.minshanicus subaudlts were active at 8℃. Positive correlation was found between activities of amphibians and air temperature, Subadults of R.kukunoris, (r=0.797, p<0.001), Subadults,of,B.minshanicus, (r=0.794, p<0.001), andbadults,of,R.kukunoris(r=0.456, p<0.05).Amphibians were more active during sunny days than cloudy days. In cloudy turning into sunny, R. kukunoris and B.minshanicus subadults had two active peak: at noon about 12:30 and 15:30～16:30 pm; in cloudy, R. kukunoris and B.minshanicus subadult had two active peak too : 9:30～10:30am,15:30～16:30pm. 3.Diet analysis Aphodiidae was the most commonly consumed food item by R. kukunoris based on index of relative importance (IRI) during spring (35.28%) and autumn (28.57%) in Zogie wetland. Besides Aphodiidae, larval insect, dipterans such as Bibionidae, Muscidae, Calliphoridae also were important food item for R. kukunoris, in autumn, locust was one of important food item for R. kukunoris. The most important food item for B.minshanicus during spring (IRI:85.54%) and autumn (IRI:49.70%) was ants, following, was coleopterans, such as Aphodiidae, dung beetle. Aphodiidae (IRI:13.41%) were the most important consumed food item by N. pleskei during spring too, following, was ants and Bibionidae. Dietary breadth of N. pleskei (0.43) were greater than R. kukunoris (0.22) and B. minshanicus (0.09). As a whole, Dietary breadth of amphibians during aurumn were greater than spring. Based on prey item, dietary overlap between R. kukunoris and N. pleskei (0.40) was greater than that between R. kukunoris and B.minshanicus (0.33) during spring. 4.Effects of grazing on the diet composition and diet competition of amphibians Amphibians are an important part of the pasture ecosystems as prey and predator. In Zogie wetland, major diet of amphibians was closely associated with dung of yaks, for example, Aphodiidae, Bibionidae, Muscidae, dung beetle. Dung of yaks was major diet and habitat of these insects. Proportion of Aphodiidae was higher in diet composition of R. kukunoris than N. pleskei and B.minshanicus, with development of pasturage, R. kukunoris may have a diet competitive advantage over N. pleskei and B.minshanicus. Number of Aphodiidae in diet composition of amphibians was higher in samples with grazing (31.94%) than in those without grazing (21.32%). Occurrence Frequency of Aphodiidae in diet composition of amphibians was higher in samples with grazing (76.38%) than in those without grazing (44%). However, There was not significantly different on diet composition (P=0.188), and number (P=0.075) and the relative fatness (P=0.537) of amphibians between grazing samples and without grazing. 5.Competitive strategies of amphibian larvae I examined the competitive ability of larval toads (Bufo gargarizans) and frogs (Rana kukunoris) which co-occur in the nature pond by activity level, the growth rate and mass at metamorphosis and larval period in a laboratory experiment. The results suggest: In laborary, B.gargarizans adapted himself to different food level by changing activity. At high food level, B. gargarizans increased activity to gain more diet. At low food level, B. gargarizans decreased activity and achieved early metamorphosis. When food resource was limit, R. kukunoris could gain more food than B. gargarizans.

对时间自动机进行空性检测的过程和改进

为了提高对时间自动机进行空性检测的效率,研究了使用基于时钟区域(zone)的符号化方法和抽象对时间自动机进行空性检测,提出了针对时间自动机自身特点对检测过程进行改进的方法。通过使用基于zone的符号化表示方法和抽象,一个符号化状态表示显式的状态的集合,时间自动机的状态空间会显著缩小,不同的抽象方法对状态空间有不同的效果。符号化状态间不仅有相等关系还有包含关系,通过判断这种包含关系可以尽早的找到接收路径和避免不必要的状态展开从而提高空性检测的效率。实现了改进的检测过程,对一些例子进行了数据比较,取得了较好的实验结果。

改进的以SMT为基础的实时系统限界模型检测

基于SAT的限界模型检测在处理实时系统时具有很高的复杂度.SMT求解器在计算可满足性的同时,还能处理算术和其他可判定性理论.在对实时系统进行检测时,用SMT求解器代替SAT求解器,系统里的时钟就可以用整型或实型变量表示,时钟约束则可以直接表示成线性算术表达式,从而使整个检测过程更加高效.带时间参数的计算树逻辑(timed computation tree logic,简称TCTL)被用来描述实时系统里的性质.同时,还对检测方法作了相应的改进.

基于Yices对时间自动机的有界模型检测

为了避免在有界模型检测过程中对变量进行布尔编码以及对时间自动机模型中的时钟进行预处理,给出一个利用SMT(satisfiability modulo theories)工具进行的对时间自动机进行有界模型检测的方法。该方法将时间自动机模型直接转换成SMT工具可识别的逻辑公式,利用SMT工具可求解包含有整数型和实数型变量逻辑公式的能力来进行模型检测。实验结果表明,对于某些可达性性质的验证,该方法的效率有一定的优势。