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

基于双向异质频谱拍卖模型设计了具有隐私保护的频谱拍卖方案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的现状和防治新进展。     

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

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

新形势下科技人才培养评价体系应有新变化

 过去十几年来，中国在科技领域取得了有目共睹的成绩。但近几年间，国际关系的动荡对中国的科技工作提出了新的警示和要求。放眼未来，为实现建设世界科技强国的目标，中国的科技人才培养评价体系应有新变化：应服务于建立更为完善和独立的科学教育体系，在部分顶尖研究型大学与科研机构致力于打造国际化、全英文的教学科研环境，形成支持中国科学家更多参与国际科学交流活动的体制机制。相信这些提升中国科研“软实力”的举措会对中国科技领域的长期健康发展提供重要支持。     

微粒受介电泳效应的动力学建模和仿真

Velocity-Verlet或ODE算法分析微粒的运动特征，涉及的偏微分方程存在求解困难、运算量大和使用效率低的难点.采用COMSOL Multiphysics 5.3a有限元软件，通过AC/DC模块中的边界条件设定可快速求解Laplace方程，为介电泳力的求解提供先决条件.后期根据软件提供的粒子追踪模块，将介电泳力、斯托克斯拖曳力、排斥力和浮力内联进粒子追踪模块的应力参数表中，设定固定的时间步长和范围对介电泳芯片的粒子受力运动问题进行了仿真.结果表明，该方法可以有效模拟微粒受介电泳效应的运动行为，并且与Velocity-Verlet或ODE算法模拟结果相似，能有效降低计算程序的繁琐程度，提高动态模拟的人机可视化效果.     

用于联盟链的布隆过滤器优化

布隆过滤器常用于联盟链Hyperledger Fabric状态数据库LevelDB的读性能优化，但布隆过滤器本身存在误报现象，且LevelDB只能对布隆过滤器进行统一配置而无法自适应调整。为此，提出一种单元化的部分计数式布隆过滤器（partial counting Bloom filter,PCBF）构造方案，设计可并行计算的元素插入与查询机制并结合双重哈希及非加密哈希来实现快速插入与查询；基于开启过滤器单元与访问次数构建排序字符串表优先级，使用时间片轮询算法对过滤器单元进行自适应调整，实现了资源的合理分配。实验结果表明： PCBF具有较高的插入效率，并能减少20%左右的误报数量，适用于联盟链的高并发场景。