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.     

Complexed rheumatoid factor measurements in sera, synovial fluids and in immune complex fractions.

Mild acidic treatment increases the rheumatoid factor titre of some sera and synovial fluids (SF) in rheumatoid arthritis (RA), juvenile RA (JRA) and most frequently in rheumatoid vasculitis. This unmasking of 'hidden' RF in serum and SF samples correlated with the RF-immune complexes (RF-IC) and complexed C4 present in the 3% polyethylene glycol (PEG) precipitates, indicating that by means of 'hidden' RF measurements RF-ICs are possibly detected. This method seems to provide a diagnostic tool for detecting RF-ICs in RA and other related diseases.     

Tsetse fly Glossina morsitans morsitans produces ultrasound related to behavior.

The spectrum of the sounds produced by the tsetse fly Glossina morsitans morsitans extends to above 80 kHz and the energy distribution between 20 and 70 kHz is related to behavior.     

关于电位零点选择的问题

本文讨论了电位零点选择的问题；并给出了静电学中一些常见物理模型的适用范围     

曲靖市初中语文课果改成效的实证研究调查报告

随着语文新课程改革的深入开展,对于课改中存在问题及成效的关注越来越成为研究的热点.在实证调查研究的基础上,分析了曲靖市初中语文新课程改革在课改理念、课程评价、教师行为、教材等方面存在的问题和实效,并针对相关问题提出了可资借鉴的建议和意见.     

影响建筑工程管理的主要因素及对策分析

近年来,随着我国改革开放步伐的持续加快以及整体国民经济水平的稳步提升,我国建筑行业迎来了前所未有的良好发展时机.目前来看,我国建筑行业的高速发展主要是借助了经济形势与社会环境的促进和推动作用,但是当一切外部有利条件都相对减弱的情况下,我国建筑业要继续保持稳定、健康、持久的发展势头,就必须从自身管理工作抓起,确实做到"内强素质、外树形象",只有这样我国建筑行业才会拥有永不枯竭的发展动力,才能走得更远、更稳.本文就我国建筑工程管理工作中存在的问题及其主要影响因素和对策作以简要的分析.     

电子小发明在电子玩具设计中的应用

电子技术在现代玩具设计中占有重要位置。结合作者在高职院校教学的经验,以及在中学开展发明创造的成果,介绍了作者将电子制作转化为玩具设计应用的经验,探讨了将若干电子设计的成果转化为玩具声光的思路和技巧,提出了玩具设计与制造专业的大学生和玩具设计人员要注重电子新技术应用,关注电子技术的发展,分析了电子技术的教学与玩具设计专业脱节的形状。对于玩具设计与制造专业的师生以及玩具设计人员有一定的参考作用。     

耦合映象格子系统中的刚性同步

提出了一个新的反馈项，实现了两个耦合映象格子系统的时空混沌同步。讨论了这同步的特点，指出这种同步是刚性同步，并给出模拟结果。     

初始段安控信息系统的应用研究

从发射场的实际需要出发 ,对飞行初始段安控信息的获取进行了分析研究。采用新的初始段安控测量体制 ,把电视图像和计算机数字信息量化合成为一体 ,使安控指挥员能够及时直观地进行安全判断 ,并采取相应的安控措施。应用此项技术成功地研制了初始段安控电视信息系统 ,提供直观、准确的初始段飞行实况、比对弹道和安全管道等安控信息 ,有效地实现了初始段安控信息的获取。该系统经济、实用、可靠 ,已在发射场推广使用。     

Preparation and kinetic analysis of Li4SiO4 sorbents with different silicon sources for high temperature CO2 capture

Using diatomite and analytical pure SiO2 as silicon sources,Li4SiO4 sorbents for high temperature CO2 capture were prepared through solid-state reaction method.Phase composition was analyzed by X-ray diffraction,and the CO2 absorption capacity and absorptoin-desorption performance were studied by the simultaneous thermal thermogravimetric analyzer(TG-DSC).The results showed that silicon source had an important influence on CO2 absorption properties.The kinetic parameters for the chemisorption and diffusion processes were obtained by the isothermal study for different silicon sources.The results showed that the activation energies for these two processes were estimated to be 105.427 and 35.928 kJ/mol for the sample with analytical pure SiO2(AS).While for the sample with diatomite(DS),the activation energies for these two processes were estimated to be 78.500 and 20.439 kJ/mol,respectively.