用于数据库新兴应用程序的逻辑

逻辑与数据库及信息系统之间的关系是广泛和长期存在的。对于数据库理论家而言，逻辑是一个统一的框架。在该框架内可以理解数据模型和查询语言的语义学；允许对它们的可表达性进行比较；并且应用高度开发的数学逻辑工具给出深入的理解。随着数据库系统管理的信息类型日益丰富．数据库和信息系统的逻辑价值也就更加突出。异构和分布式数据源包括了从遗传序列到具有丰富时态的结构；从结合文本与数据的半结构文件到有关复杂组织协同进程的信息。     

含PGK启动子慢病毒表达质粒的构建与鉴定

为了构建一个含有人源PGK1(human phosphoglycerate kinase 1)启动子的慢病毒表达载体 pL-PGK-GFP.采用PCR从人组织中扩增PGK1基因的启动子部分,再用酶切-连接的方法将扩增的启动子区片段亚克隆入慢病毒表达质粒pL-EGFP中,再用测序、酶切和瞬时表达的方法进行鉴定.结果是下游的eGFP基因在PGK1启动子驱动下,在293FT细胞中表达绿色荧光蛋白报告基因,这表明成功构建了慢病毒表达质粒pL-PGK-GFP.扩增的537bp PGK1启动子片段具有一定的启动效率,能在HIV来源的慢病毒载体中驱动下游目的基因的表达.     

CGMYJ高强灌浆料在框架柱钢套加固施工中的应用

对框架柱采用钢套高强化学浆液灌浆加固施工以满足结构加层新增荷载要求及规范要求。     

几类边友好图

证明n-荷兰风车和Dn,4是边友好图,并且给出梯图Ln是边友好图的充要条件以及一阶网图F（1,n）是边友好图的充分条件.     

铜膜制备过程中辉光等离子体的双探针诊断

采用Langmuir双探针技术对氩气环境下射频磁控溅射铜薄膜过程中产生的辉光等离子体进行了实时诊断.结果表明,在一定的射频功率下,电子温度随气压的增大呈指数衰减的趋势变化;在一定的反应气压下,电子温度和电子密度随射频功率的增大均呈线性增加的趋势.电子的运动速度数量级为106 m/s.比离子的运动速度大3个数量级.     

随机Kuramoto-Sivashinsky格点方程的后向紧随机吸引子

本文主要研究非自治随机Kuramoto-Sivashinsky格点方程.在外力是后向缓增的情况下，首先通过对解的估计，证明了Kuramoto-Sivashinsky格点方程在空间?~2上存在随机吸收集，从而推出后向一致吸收集的存在性.其次，证明了格点方程在吸收集上是后向渐近紧的.最后再利用吸引子的存在性定理，证明了非自治随机Kuramoto-Sivashinsky格点方程在空间?~2上存在后向紧随机吸引子.     

风廓线雷达在降水条件下水平风场的反演研究

风廓线雷达利用湍流信号进行水平风场反演时，雷达回波信号中的功率谱数据包含大气湍流、地物、降水粒子等，其中降水粒子对水平风场造成的干扰尤为严重。若用没有剔除杂波的功率谱反演水平风场，会导致水平风场的真实度较低。本文首先用插值法和中值滤波法抑制杂波干扰，再用分段法确定平均噪声，然后根据两峰之间的最低点对降水时段的双峰功率谱进行湍流谱和降水谱的分离，继而利用分离出来的湍流谱信号反演水平风场，最后选取青海大学风廓线雷达2021年8月27日和2022年4月27日两场降水数据进行分析。结果表明：用分离出的湍流谱信号反演的水平风场较分离前一致性提高，分离湍流谱信号的方法可行，且用智能天气传感器进行验证，验证结果较好。     

息半夏种质资源遗传多样性的ISSR分析

对信阳息县道地药材息半夏种质资源遗传多样性进行研究，利用ISSR技术对24份半夏进行扩增。共挑选出了8条扩增条带清晰的引物，并检测到117条明显的条带，多态性条带为110条，平均多态性信息指数(PIC)为0.850 8,平均观测等位基因数(N_a)为1.927 9,平均有效等位基因数(N_e)为1.481 1,平均Nei氏基因多样性(H)为0.292 7,平均香农信息指数(I)为0.448 1。利用UPGMA方法进行聚类分析，24份半夏在遗传相似系数0.590 1处被分为3个类群。结果表明，24份半夏种质资源具有较高的遗传多样性。     

非线性模型与边坡蠕变观测数据的统计预报分析

基于对边坡蠕变过程的先验认识,借鉴澳大利亚联邦科学和工业组织数学统计部DvidA.Ratkousky在生物生长规律研究中取得的成果,将S形生长模型和渐近回归模型引入边坡蠕变观测数据处理,能更准确地反映边坡蠕变规律;研究了非线性模型构造、参数估计及优化模型的评价等技术问题参7     

大连市大气中VOCs非靶标筛查与其臭氧生成潜势研究

为了更全面地识别大气中挥发性有机物(VOCs),通过建立VOCs高分辨谱库、优化匹配指数阈值、综合使用电子轰击和化学电离获取分子离子峰等步骤，采用气相色谱-静电场轨道阱高分辨质谱(GC-Orbitrap/MS)建立了环境空气中VOCs的非靶标筛查方法.结果表明，在大连市植物源和交通源采样点环境空气样品中共识别出244种化合物，其中148种的定性水平符合1级或2a级.对识别出的VOCs进行定量与半定量分析，发现交通源和植物源采样点样品的φ(TVOCs)平均值分别为(21.02±7.12)×10^-9和(15.96±4.20)×10^-9.应用最大增量反应活性(MIR)法评估了VOCs的臭氧生成潜势(OFP),芳香烃和含氧挥发性有机物对两类采样点样品OFP的贡献率均较高，筛查出了一些以往受关注较少的VOCs,包含这部分VOCs后估算的OFP可增加11%以上.