差分隐私在双向异质频谱拍卖方案中的研究

基于双向异质频谱拍卖模型设计了具有隐私保护的频谱拍卖方案DPDA,在双向异质的频谱拍卖模型中,为了提高频谱拍卖的高效性和收益最大化,通常假设拍卖者是可信的,在此基础上的提交的所有买卖双方信息都将以明文状态提交给拍卖者,这将极大地增加了拍卖过程中个人隐私泄露的风险.DPDA方案有机结合了差分隐私机制和Diffie-Hellman算法使得该方案在原有模型的基础上达到了保护用户个人隐私的目的,并做了安全分析,证明了该方案的安全性,通过仿真实验结果表明该方案具有较好的频谱收益和隐私安全性.     

基于作战环的不同节点攻击策略下的作战网络效能评估

基于作战环思想, 以作战网络抽象模型为基础, 围绕作战环的分类、定义、形式化描述、数学模型等基本问题开展了理论研究, 进一步丰富了作战环理论体系。同时, 以能否快速有效打击对方目标实体为根本依据, 建立了基于目标节点打击率和基于目标节点打击效率的作战网络效能评估指标。通过仿真实验, 将作战环相关理论运用于不同节点攻击策略下的作战网络效能评估, 为实际作战体系对抗中双方的攻击与防护提供应用指导, 也为进一步开展基于作战环的作战网络应用研究提供参考借鉴。     

强嵌入在群作用下的遗传性质

有限生成群G粗拟作用在一个度量空间X上,如果X具有有限渐近维,且拟稳定子是可强嵌入的,则群G是可强嵌入的.     

2017—2019 年北京地区实验动物质量抽检结果分析

摘要:目的 比对分析 2017—2019 年北京地区实验动物微生物及遗传质量监测结果,为实验动物产业发展提供参考。 方法 按照国家和地方现行实验动物检测标准,对北京地区实验动物生产单位进行抽检,并发布检测报告。按照报告数据,对此阶段小鼠、大鼠、豚鼠、地鼠、兔、犬、猴和小型猪共 8 个品种的实验动物按照品种、等级、单位等进行分类,分析质量问题,并与 2014—2016 年同期实验动物质量比对,分析变化趋势。 结果 2017—2019 年分别抽检动物 144、131 和 135 批次,检出不合格批次分别为 30、15 和 17 批。 不合格主要因素为兔、犬及猪免疫不达标(20 批) ,病原感染 20 批,未发现遗传变异。 与 2014—2016 年同期相比,未检出遗传问题相同,免疫不达标状况好转,但病原感染出现上升。 结论 通过质量分析比对,能够为实验动物产业健康发展提供数据支持。     

陕西5种外来入侵植物新纪录

现报道陕西5种外来入侵植物新纪录,即北美车前(Plantago virginica L.)、细叶旱芹(Cyclospermum leptophyllum(Persoon)Sprague ex Britton&P.Wilson)、裂叶月见草(Oenothera laciniata Hill)、匙叶合冠鼠麴草(Gamochaeta pensylvanica(Willd.)Cabrera)以及柳叶马鞭草(Verbena bonariensis L.),凭证标本保存于陕西理工大学植物标本馆(HZTC).     

全球慢性肾病防治药物研究进展

 慢性肾病（chronic kidney disease，CKD）具有病因复杂、治疗难度大等特点，已成为全球性的公共卫生问题，其影响了全球约10%的人群，并可导致更高的心血管疾病和死亡的发生风险等。CKD防治的关键环节之一是阻止或延缓CKD进展。总结了CKD的流行病学、风险因素、研发投入和防治药物，以详细了解CKD的现状和防治新进展。     

共价有机骨架/碳纳米管复合材料中锂离子吸附与传输特性的分子模拟

利用分子模拟方法对共价有机骨架 (covalent organic framework, COF)/碳纳米管(carbon nanotube, CNT) 复合材料 COF@CNT 中锂离子 (Li$^{+})$ 的吸附与传输特性开展研究, 明确了 Li$^{+}$ 的吸附位点与吸附顺序, 得到了相应的吸附能, 并观察 COF@CNT 的表观形貌变化. 当达到饱和吸附状态时, COF@CNT 的体积变化率仅为 0.25, 平均电压保持在 2.00 V 以上, 而理论容量则高达 1 402.47 mAh/g. 此外, Li$^{+}$ 在 COF@CNT 内部的电导率大于其在单纯 CNT 中电导率的实测值. 模拟结果可为此类体系的实际应用提供理论基础.     

动力总成悬置设计对整车NVH性能影响分析

某车型在开发过程中,需要对整车NVH性能进行提升,利用仿真计算与实车测试相结合的手段,对动力总成悬置系统进行优化设计,有效提升车辆在怠速工况、加速工况及乘坐舒适性等方面的性能表现,该解决问题的方法和思路对于车辆NVH性能的设计有显著的指导意义.     

基于层次分析法的科研单位学科服务评价模式

根据层次分析法的原理,结合科研单位学科服务的特点,构建了基于层次分析法的科研单位学科服务评价模式,包括人员素质、资源保障、环境保障、服务能力、制度保障5个一级指标以及16个二级指标,该评价模式能够全面反映科研单位学科服务的质量与水平,发现学科服务的优势和不足,有助于科研单位图书馆采取针对性的措施改进学科服务.     

弹簧压并状态下悬架减振器绕流涡旋特性分析

为研究汽车行驶过程中减振器弹簧压并状态下翼子板内流场特性的变化,将该状态下的减振器简化为三维变截面圆柱模型,并建立变截面圆柱绕流三维流场模型,利用Transition SST四方程转捩模型模拟低、中、高3种车速对大、小圆柱绕流涡旋特性的影响.结果表明:绕流后尾涡的大小、形态、上升角均受圆柱直径、雷诺数及边界条件的影响,在变截面处验证“下洗”运动对N区边缘涡生长的直接作用及对L区涡旋分布的干扰作用;3种流速下适合绕流涡旋振动压电能量回收的最优夹角分别为±10°,±15°,±20°;在有界的高雷诺数流场下对变截面圆柱绕流涡旋重新分区,发现新的涡旋连接方式.