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

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

多优化目标视角下高铁站到发线运用计划编制

在给定列车运行图和车站候车厅布局的前提下,研究高速铁路车站到发线运用问题。以股道和道岔的相容性约束作为前提,分析检票口附近固定座位数量和检票口与站台的通道距离,以增强车站作业计划稳定性、列车站内走行距离最短和最大化满足候车厅布局为3个优化目标,建立了到发线运用的0-1整数规划模型。针对模型特点,采用Lingo编程进行求解,最后通过某客运站为例证明该模型的有效性。结果表明,该模型能准确描述实际问题,适用于大型高铁站的股道分配问题。     

混响室条件下环境场强测量位置选取准则

针对在混响室条件下进行辐射敏感度测试时电磁环境场强难以度量的问题,分析了混响室内电场强度的统计特性,理论推导了有损混响室内场强空间相关系数表达式,并通过仿真分析验证了表达式的正确性。根据表达式得出有损混响室内相对距离大于半波长的两点间场强相互独立的结论,并由此推断出,混响室内环境场强测试位置与受试设备(EUT)距离应大于0.5倍波长,且应以此作为测量位置选取准则。采用仿真计算与实验验证相结合的方法分析了相对误差随测试点与EUT间相对距离的变化规律,对该准则进行了验证,结果表明,当测试点与EUT相对距离大于0.5时,相对误差能够保证在1.5 dB以内,可应用于实际混响室环境场强测试。     

通过Pt-载体作用制备高热稳定的CH4重整催化剂

使用三效催化剂是国六天然气车(NGVs)尾气实现高效净化的有效手段，增强甲烷(CH₄)重整反应是提高三效催化剂对CH₄转化活性的有利途径之一。国六天然气车排放法规对催化剂的耐久里程提出了更高的要求，这就要求该CH₄重整催化剂必须具有优异的热稳定性。本文分别以铈锆复合物、二氧化铈(CeO₂)和二氧化锆(ZrO₂)为载体，通过不同的金属-载体相互作用制备三种热稳定性不同的Pt催化剂。结果显示，以CeO₂为载体制备的Pt催化剂对CH₄蒸气重整反应显示出优异的活性和热稳定性，这是由于Pt与CeO₂发生强相互作用，老化过程中Pt发生再分散，最终Pt在CeO₂表面生成热力学稳定的Pt²⁺,因此老化后Pt还能保持较高的分散性。以铈锆复合物为载体制备的Pt催化剂，由于电子转移生成以PtO₂为主的铂物种，经老化后发生一定程度的分解和团聚，Pt分散度下降，活性降低。而...     

高效液相色谱-串联质谱法同时测定玩具中5种PBT物质的含量

提出了高效液相色谱-串联质谱法同时测定玩具中5种持久性、生物累积性和毒性(PBT)物质含量的方法。按照ISO 8124-3:2020对玩具中的涂层、塑料及纺织物进行取样和处理，分取1 g,加入10 mL甲苯。密封，于常温超声萃取30 min。取上层清液过0.45μm滤膜，滤液用高效液相色谱-串联质谱仪分析。在色谱分析中，以Agilent Poroshell HPH-C₁₈色谱柱为固定相，以不同体积比的甲醇-0.1%(体积分数)乙酸溶液的混合溶液为流动相进行梯度洗脱分离。在质谱分析中，采用电喷雾离子源正离子(ESI⁺)模式和多反应监测(MRM)模式扫描，外标法定量。结果显示，5种PBT物质的质量浓度在0.005～0.2 mg·L^-1内和峰面积呈线性关系，检出限(3S/N)为0.010～0.078 mg·kg^-1。按照标准加入法进行回收试验，回收率为85.7%～105%,测定值的相对标准偏差(n=6)均不大于7.0%。     

融合分段编码与仿射机制的相似案例匹配方法

相似案例匹配任务旨在判断2篇裁判文书所描述的案件是否相似,通常被看作裁判文书的文本匹配问题,在司法审判过程中具有重要的应用。现有深度学习模型大多将案例长文本编码为单一向量表示,模型很难从长文本中学习到裁判文书之间的细微差异。考虑到案例文本各部分的内容较为固定,本文提出将案例长文本拆分为多个片断并分别编码,以便获取不同部分的细微特征;同时,采用可学习仿射变换改进相似度打分模块,使模型学习到了更多细微的差异,进一步提高了案例匹配的性能。在CAIL2019-SCM数据集上的实验结果表明,本文提出方法与现有方法相比准确率提升了1.89%。     

车用爪极发电机的不同部件对气动噪声的影响

为了明确车用爪极发电机在高转速下不同部件对气动噪声的影响，对车用爪极发电机的气动噪声进行了数值模拟研究，并进行了车用爪极发电机的空载声功率实验，验证了数值模拟的准确性；采用有无前后风扇、爪极，采用圆柱包络体代替爪极方案确定各阶次噪声的来源，明确了前后风扇、爪极对不同阶次噪声的贡献水平。结果表明：在高转速下偶极子是主要噪声源类型；前风扇主要影响8,10,12和16阶次气动噪声，去除前风扇12,16阶次噪声分别降低了6.54 dB(A)和9.04 dB(A);后风扇主要影响6,8和10阶次噪声，去除后风扇噪声分别降低了11.75,2.42,7.38 dB(A);有无爪极对气动噪声影响较小，但采用圆柱包络体代替爪极对气流流动会产生影响，使8阶次噪声有一定变化，这也表明前后风扇是气动噪声产生的重要源头。