等时降线问题的求解

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

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

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

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).     

排气消声器模态分析及降噪性能优化

汽车排气系统的振动和噪声是影响乘坐舒适性的因素之一。为研究排气消声器结构模态和声腔模态对消声器降噪性能的影响规律,建立声学有限元模型计算壳体结构模态和声腔模态,并分析各自振型模态和固有频率之间的关系。结果表明:在低频率范围内,壳体结构模态和声腔模态的固有频率发生耦合共振,导致降噪效果不佳;增加消声器外壳壁厚可提升结构固有频率,降低排气系统振动和辐射噪声水平。     

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

利用分子模拟方法对共价有机骨架 (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 中电导率的实测值. 模拟结果可为此类体系的实际应用提供理论基础.     

实验动物行业兽医现状分析

实验动物行业中,兽医体现在实验动物相关工作中的每一个环节,包括实验动物的日常管理、动物实验的设计、实验过程中动物健康保障和护理、实验动物福利的监督和管理、动物实验技术的应用、实验动物取材、施行安死术等。通过参阅相关文献资料,结合自身工作总结,就目前实验动物兽医现状进行分析,供各位同仁以参考。     

基于放电检测和机器视觉技术的火花塞缺陷检测系统

为了减少传统人眼目测检测造成的误差,提高火花塞的缺陷检测效率,设计了1种基于放电检测技术和机器视觉技术的火花塞缺陷检测系统.火花塞缺陷检测系统由工控机、NI DAQ数据采集卡、IGBT驱动板、IGBT模块、点火线圈、分压模块和工业相机构成.利用脉宽调制技术和电磁感应原理,对火花塞施加电压,通过抓拍点火线圈电压输出下火花塞放电火花的位置信息,检测火花塞陶瓷件是否存在缺陷.试验结果表明:该火花塞缺陷检测系统输出的放电高电压安全可测,检测精度更是高达95％,满足了火花塞缺陷检测的实际应用需求.     

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

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

电化学机械加工对轴/轴承类零件表面质量影响研究

零件的表面质量对其使用性能具有决定性影响.由于加工机理不同,不同的加工方法对表面质量的影响也不相同.为研究电化学机械加工(electrochemical mechanical finishing,ECMF)方法对轴/轴承类零件表面质量的影响,文章在经过改装的普通车床上进行油石磨削加工和ECMF加工实验,对比了两种加工方法对轴类零件的轮廓算术平均偏差Ra、轮廓最大高度Rz、轮廓单元平均宽度Rsm以及轮廓支承长度率Rmr(c)的影响,并分析了原因.结果表明,ECMF加工是一种有效的加工轴/轴承类零件的方法,在提高加工效率的同时,还可大幅提升零件的表面质量,进而提高零件的使用性能.