Discovering non-terminating inputs for multi-path polynomial programs

This paper investigates the termination problems of multi-path polynomial programs （MPPs） with equational loop guards. To establish sufficient conditions for termination and nontermination simultaneously, the authors propose the notion of strong/weak non-termination which under/over- approximates non-termination. Based on polynomial ideal theory, the authors show that the set of all strong non-terminating inputs （SNTI） and weak non-terminating inputs （WNTI） both correspond to tile real varieties of certain polynomial ideals. Furthermore, the authors prove that the variety of SNTI is computable, and under some sufficient conditions the variety of WNTI is also computable. Then by checking the computed SNTI and WNTI varieties in parallel, termination properties of a consid- ered MPP can be asserted. As a consequence, the authors establish a new framework for termination analysis of MPPs.     

SHL6.5t／h锅炉掺烧无烟煤及扩容技术改造

论述了ＳＨＬ６．５ｔ／ｈ锅炉改造后掺烧６０％－７０％无烟煤的方法，并使锅炉的产汽量增加到８ｔ／ｈ，改造中采用了人字拱，热管式换热器等我技术，取得了显著的经济效益。     

刺槐抗旱造林试验研究

采用农膜、根宝、生根粉、保水剂在干旱地区对刺槐造林成活率进行了田间对比试验。结果表明：农膜、根宝对提高造林成活率的影响显著高于常规造林方法，分别提高43．63％，36．36％，而生根粉和保水剂与常规造林法比较差异不显著。4种产品中根宝的经济适用性优于其它产品。     

为语言学中的某些术语正名

本文主要对现代语言学中一些不尽合理的术语加以分析,并提出了应该采用的科学合理的术语;同时对一些尚未引起注意的文字间的关系,进行了分析说明。     

《汇编语言》课程设计的改革与实践

本通过对《汇编语言》课程设计各环节的深刻讨论，在总结以往工作经验的基础上，为读推荐了一种较实用的《汇编语言》课程设计的改革方案，经实践检验具有一定的推广价值。     

计算机多机通讯及其在变电站中的应用

变电站是供电过程中的重要组成部分，怎样对变电站中的各种参数进行实时监控，尤其是边远无人地区的变电站，以免除人工记录带来的种种不便及错误，成为本文所讨论的问题。该系统解决了对变电站数据的自动实时检测。     

线性Sobolev方程的全离散间断有限体积元方法

笔者给出了线性Sobolev方程后退Euler全离散间断有限体积元格式，得到了该格式的最优L^2模和离散H^1模估计．     

Genome editing and animal models

Transgenic technology allows a gene of interest to be introduced into the genome of a laboratory animal, and provides an extremely powerful tool to dissect the molecular mechanisms of disease. Transgenic mouse models made by microinjection of DNA into zygotic pro- nuclei in particular have been widely used by the genetics community for 30 years. However, it remains a rather crude approach： injected sequences randomly insert in multiple copies as concatamers, they can be mutagenic, and they have variable or silenced expression depending on the site of integration, a phenomenon called position effects. As a result, multiple lines are required in order to confirm appropriate transgene expression. This can be partially overcome by flanking transgenes with insulator sequences to protect the transgene from the influence of the sur- rounding regulatory elements. Large （〈300 kb） BAC- based transgenic vectors have also been shown to be more resistant to position effects. However, animals carrying extra copies of fairly large regions of the genome could have unpredictable phenotypes. The most effective method used to control for position effects is to target transgene insertion to specific genomic loci, the so-called targeted transgenesis; for instance, the fast, site-specific transgenic technology TargattTM. The purpose of this review is to provide an overview on the current existing methods for making targeted transgenic mouse models.     

英语核心词汇研究综述

核心词汇是最简单、最基本的词汇,在二语习得过程中占有重要地位,同时在日常交际中也举足轻重。回顾并总结核心词汇方面的相关研究,对核心词汇的概念、特征和界定方法做详细阐述,可以发现,核心词汇在词汇学习中占有重要地位,对外语教学及词典编纂具有重要意义。     

黔东南施秉白云岩喀斯特地区生物多样性与世界遗产价值

通过对中国南方喀斯特第二批提名预选地贵州施秉白云岩喀斯特地区28 295 ha范围内的生物物种进行初步调查,发现该地区物种资源丰富,共有高等植物1 352种。其中,列入中国物种红色名录的高等植物有70种,列入IUCN红色名录的有16种,列入濒危野生动植物国际贸易公约(CITES)的有26种。共有脊椎动物298种,还有丰富的昆虫和洞穴动物。其中,列入中国物种红色名录的脊椎动物有243种,列入IUCN红色名录的有21种,列入濒危野生动植物国际贸易公约(CITES)的有41种。该研究区的区系具有古老残遗的特性,植物区系是温带与热带亚热带区系并重,而陆生脊椎动物的区系则表现了亚热带特点。据初步统计,研究区的植被类型有针叶林、针阔混交林、常绿阔叶林、常绿落叶阔叶混交林、竹林、灌丛等8个森林植被型组、61个群系;根据动物适应白云岩喀斯特环境的特点,大致将研究区内的动物群落划分为溪河动物群、河谷芦竹与河滩灌丛动物群、森林动物群、竹林动物群、岩岸动物群、灌丛灌草丛动物群、农田村寨动物群和洞穴动物群等群落类型。施秉喀斯特提名预选地初步反映了陆地白云岩喀斯特生态系统和动植物群落正在进行的重要的生态和生物演化过程,包含了就地保护生物多样性最重要和显著的自然栖息地,包括从科学和保护的角度看具突出普遍价值的濒危物种的栖息地,基本满足世界自然遗产(ix)和(x)条评价标准。