等时降线问题的求解

考虑了给定下降时间函数的下降曲线的求解问题.将质点沿光滑曲线从一定高度下滑所需时间的问题转化为积分方程求解的问题，并对积分方程进行阿贝尔积分变换，再利用积分换序方法给出了求解公式，最后证明了等时降线问题的解是一条倒摆线.     

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

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

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

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

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

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

船舶浅水航行下沉量数值计算

为求解船舶航行中的下沉量,采用NURBS技术对船体进行曲面重构,并应用基于Rankine源格林函数的一阶面元法构造数学模型,然后结合两者得出船舶下沉量的计算方法.以标准船型KCS为例进行验证,计算值与实验值的最大和最小相对误差分别为-10.32％和-1.84％,与实验情况基本相符,说明该算法具有可行性.     

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 中电导率的实测值. 模拟结果可为此类体系的实际应用提供理论基础.     

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

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