一类非齐次A-调和方程很弱解的唯一性

通过运用扰动向量场的Hodge分解理论来构造适当的检验函数,得到非齐次A-调和方程Dirichlet问题-divA(x,(△)u)=f(x)在Grand-Sobolev空间很弱解的唯一性理论.     

质酸金的合成及性质研究

为获得透明质酸新的功能,对其进行结构修饰.以氯金酸、透明质酸钠为原料合成质酸金.通过元素分析、冷场扫描电子显微镜、傅里叶变换红外光谱和核磁共振分析对其结构进行了表征,对肺癌细胞A549、肝癌细胞BEL7402增殖影响进行了研究.结果表明,在高剂量下对肝癌细胞BEL7402的增殖有明显的抑制活性,对肺癌细胞A549的增殖有边缘抑制活性.     

独立学院大学生创业观的塑造

针对独立学院创业教育的现状、优势和存在的问题,提出在大学生创业观上必须正确处理好自身条件与社会需求、个人就业观与家庭期望、学校创业教育与个人专业学习三大关系。     

大应变轧制技术制备细晶AZ31镁合金板材

晶粒细化可以改善镁合金的强度和延性,通过控制轧制工艺可以控制变形组织.文中研究了不同轧制道次变形量对AZ31镁合金组织和性能的影响.实验结果表明:随着轧制道次变形量的增加,轧制应变速率增加,镁合金发生了动态再结晶,获得细小的晶粒组织,板材的硬度增加;但是,当轧制道次变形量增加到一定值之后,板材的表面出现宏观裂纹;采用大的道次轧制应变技术,可以减少轧制道次,制备晶粒尺寸为2～5μm的细晶镁合金板材.     

竖向地震加速度对堤坝抗震性能影响分析

将堤坝地震动力响应的有限元效值分析方法与坝坡地震滑移量的Newmark估算方法相结合,通过效值计算探讨了水平与竖向加速度组合作用下堤坝的抗震稳定性．首先以堤坝地震动力响应的二维平面应变有限元分析为基础,按照Makdisi与Seed所建议的计算方法估算堤坝安全系效的变化过程,依此对地震过程中堤坝的瞬态稳定性进行评价．对瞬时安全系效小于1的时段,采用Newmark方法估算滑坡体的可能滑移量,进而由此评判堤坝的抗震安全性．最后,针对一座高度为100m的堤坝,分别采用正弦波和实际El-Centro地震加速度记录作为激励,通过具体效值计算讨论了竖向地震加速度对堤坝抗震稳定性的影响．研究表明竖向加速度对堤坝瞬态稳定性及地震滑移量均具有显著影响,在堤坝抗震设计中应合理地予以考虑．     

A genome-wide association study in Han Chinese identifies new susceptibility loci for ankylosing spondylitis

To identify susceptibility loci for ankylosing spondylitis, we performed a two-stage genome-wide association study in Han Chinese. In the discovery stage, we analyzed 1,356,350 autosomal SNPs in 1,837 individuals with ankylosing spondylitis and 4,231 controls; in the validation stage, we analyzed 30 suggestive SNPs in an additional 2,100 affected individuals and 3,496 controls. We identified two new susceptibility loci between EDIL3 and HAPLN1 at 5q14.3 (rs4552569; P = 8.77 × 10(-10)) and within ANO6 at 12q12 (rs17095830; P = 1.63 × 10(-8)). We also confirmed previously reported associations in Europeans within the major histocompatibility complex (MHC) region (top SNP, rs13202464; P < 5 × 10(-324)) and at 2p15 (rs10865331; P = 1.98 × 10(-8)). We show that rs13202464 within the MHC region mainly represents the risk effect of HLA-B*27 variants (including HLA-B*2704, HLA-B*2705 and HLA-B*2715) in Chinese. The two newly discovered loci implicate genes related to bone formation and cartilage development, suggesting their potential involvement in the etiology of ankylosing spondylitis.     

Generating semi-algebraic invariants for non-autonomous polynomial hybrid systems

Hybrid systems are dynamical systems with interacting discrete computation and continuous physical processes, which have become more common, more indispensable, and more complicated in our modern life. Particularly, many of them are safety-critical, and therefore are required to meet a critical safety standard. Invariant generation plays a central role in the verification and synthesis of hybrid systems. In the previous work, the fourth author and his coauthors gave a necessary and sufficient condition for a semi-algebraic set being an invariant of a polynomial autonomous dynamical system, which gave a confirmative answer to the open problem. In addition, based on which a complete algorithm for generating all semi-algebraic invariants of a given polynomial autonomous hybrid system with the given shape was proposed. This paper considers how to extend their work to non-autonomous dynamical and hybrid systems. Non-autonomous dynamical and hybrid systems are with inputs, which are very common in practice; in contrast, autonomous ones are without inputs. Furthermore, the authors present a sound and complete algorithm to verify semi-algebraic invariants for non-autonomous polynomial hybrid systems. Based on which, the authors propose a sound and complete algorithm to generate all invariants with a pre-defined template.     

浅谈中小型图书馆的网站建设

图书馆网站是图书馆重要的信息服务平台和宣传窗口。针对当前中小型图书馆网站建设过程中的信息更新不及时、栏目设置不合理、网络咨询不深入等问题,提出了相应的建设策略。     

Improved area-difference-based recovery information placement

<正> In mobile computing systems,message logging can be used to provide fault tolerance for mobilehosts.Due to the mobility of mobile hosts,their recovery information,including logged messages andcheckpoints,may spread throughout mobile support stations.During recovery,there will be a considerablecost for the collection of recovery information.To speed up recovery and to reduce the failure-freeoverhead,an improved area-difference-based scheme is proposed.It tries to keep recovery informationevenly spreading over an area.Only part of recovery information needs to be migrated for controlling thedistribution of recovery information.To reduce the migration cost,a light-weight migration is also proposed.In the performance study,we give an analysis of the probability that the light-weight migrationtakes place.