甘肃省智慧城市评价体系研究

建设具有西北特色的甘肃省智慧城市,提升当地群众的获得感和满意度,提升城市整体的治理能力和服务水平具有重要意义.根据智慧城市的相关要求,研究建立甘肃省智慧城市评价体系.根据2019年的《甘肃省统计年鉴》选取了符合智慧城市的7个一级指标和25个二级指标,然后利用因子分析法计算出了 14个地区的各个一级指标的综合得分和排名,利用系统聚类法将14个地区分成4个级别加以评价,为甘肃省智慧城市建设与发展提供新思路.     

腺相关病毒介导锌指核酸酶体外切除HIV-1基因组研究

人类免疫缺陷病毒1型(Human Immunodeficiency Virus type 1, HIV-1)能够整合到宿主细胞基因组并通过基因沉默的方式逃避高效抗逆转录病毒疗法(Highly Active Antietroviral Therapy, HAART),而高效特异性的基因编辑工具的出现，有望成功切除HIV-1前病毒基因组。重组腺相关病毒(AAV)是基因治疗的重要载体系统，为了获得能够高效感染T细胞的基因编辑工具递送系统，本研究通过比较过表达增强绿色荧光蛋白的血清型2、血清型6、血清型DJ的重组腺相关病毒，筛选出T细胞系的偏好血清型为6型。通过比较CMV启动子、SFFV启动子，筛选出T细胞系的偏好启动子为SFFV启动子。最后，我们通过制备过表达靶向HIV-1长末端重复序列(Long Terminal Region, LTR)的锌指核酸酶(Zinc Finger Nuclease, ZFN)的AAV6递送载体系统，感染模拟HIV-1阳性表达的细胞系Ya, T7E1检测证实HIV-1前病毒基因组被特异性切除，流式细胞仪检测证实切除效率约为17.1%,测序分析进一步证实靶向HIV-...     

探讨新课改下高等数学与初等数学教学的衔接

在高中新课改下,传统的高等数学教学暴露出了很多问题,本文从教学内容、教师教学方法、学生学习方法入手,对教学衔接问题进行了探讨,并给出相应的改进方法。     

以时间性和评价性为坐标的形容词分类

从语义方面讨论形容词性质、状态、变化三种情状在以时间性和评价性为坐标的分类中呈现的特点。研究得出,形容词的语义特征受评价的客体的语义特征、评价的主客观性、形容词的时间性等因素制约。实现具体的语境下的表意功能,这几个要素缺一不可;不同语境下的同一个形容词,它的时间性和评价性也不尽相同。     

抽象空间非线性发展方程周期解的存在唯一性

本文把L－拟上下解方法引入有序Banach空间中非线性发展方程u′（t）＋Au（t）=f（t,u（t）,u（t））（t∈R）的ω一周期解的研究,利用正算子半群的特征和混合单调迭代方法,获得了其ω一周期解的存在唯一性定理．所得结果概括和推广了常微分方程与偏微分方程中的部分现有结论．