用焓法有限元解相变问题的离散化方法

为了消除应用焓法进行含有相变的有限元传热计算结果呈台阶形的现象,本文作者提出“焓计算单元”和“固相分数”的概念,并将几种一维有限元实施方案的计算结果与精确解对比,说明采用所提出的概念,可以使有限元计算得出更为合理的结果。     

Liénard方程极限环的电子计算机计算分析

本文提供了用电子计算机计算分析和绘制Ｌｉｅｎａｒｄ方程极限环的方法及其ＢＡＳＩＣ 语言程序,并利用此方法构造了具有三个极限环的两个Ｌｉｅｎａｒｄ方程,绘制了极限环 图形,指明了Ｃ．Ｃ．Ｐｕｇｈ猜想中极限环的存在性与特征函数的二阶导数Ｆ（Ｚ）的变号 有相当的关系。     

微型计算机中西文表格自动处理软件的算法设计

本文讨论了在微机中西文表格自动处理技术中一些特殊功能的算法设计,分析了设计思想,提供了部份实用算法,并对某些算法的时间复杂度进行了评述。这些算法均已在本校研制的“IBM-PC/XT微型机中西文数据库管理系统”的表格自动处理软件中实现,并已应用于百多家企、事业单位的计算机管理系统中。     

蒸发盐沉积若干问题的实验研究

在实验研究的基础上,本文探讨了广泛分布于我国境内蒸发盐的沉积机理,论述了硫酸钠亚型不同组分卤水的演化、矿物形成条件及析盐序列等,指出钾盐沉积出现的可能性。实验证明钾盐沉积物的形成,不一定达到国内外某些学者认为的“干湖”阶段,从而发展了成钾理论。文中阐明了介稳平衡和稳定平衡的不同性质,在卤水组分和温度相同的条件下,析盐的种类和组合关系不同。在蒸发盐矿床形成过程中,两类平衡所起的作用不同,盐类矿物沉积阶段主要处于介稳平衡状态。     

Earthshaker: A mobile rescue robot for emergencies and disasters through teleoperation and autonomous navigation

To deal with emergencies and disasters without rescue workers being exposed to dangerous environments, this paper presents a mobile rescue robot, Earthshaker. As a combination of a tracked chassis and a six-degree-of-freedom robotic arm, as well as miscellaneous sensors and controllers, Earthshaker is capable of traversing diverse terrains and fulfilling dexterous manipulation. Specifically, Earthshaker has a unique swing arm—dozer blade structure that can help clear up cumbersome obstacles and stabilize the robot on stairs, a multimodal teleoperation system that can adapt to different transmission conditions, a depth camera-aided robotic arm and gripper that can realize semiautonomous manipulation and a LiDAR aided base that can achieve autonomous navigation in unknown areas. It was these special systems that supported Earthshaker to win the first Advanced Technology & Engineering Challenge (A-TEC) championships, standing out of 40 robots from the world and showing the efficacy of system integration and the advanced control philosophy behind it.     

Structure of the human CLC-7/Ostm1 complex reveals a novel state

CLC-7 functions as a Cl?/H+ exchanger in lysosomes. Defects in CLC-7 and its β-subunit, Ostm1, result in osteopetrosis and neurodegeneration. Here, we present the cryogenic electron microscopy (cryo-EM) structure of the human CLC-7/Ostm1 complex (HsCLC-7/Ostm1) at a resolution of 3.6 ?. Our structure reveals a new state of the CLC-7/Ostm1 heterotetramer, in which the cytoplasmic domain of CLC-7 is absent, likely due to high flexibility. The disordered cytoplasmic domain is probably not able to restrain CLC-7 subunits and thus allow their relative movements. The movements result in an approximately half smaller interface between the CLC-7 transmembrane domains than that in a previously reported CLC-7/Ostm1 structure with a well-folded cytoplasmic domain. Key interactions involving multiple osteopetrosis-related residues are affected by the interface change.     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。     

基于轻量化深度学习网络的数字仪表识别

数字式仪表常用于变电站、工厂等生产环境,是一种直观的设备监测仪器。然而当前数字式仪表的读取方式还依赖于人工巡检,手动记录等,这些传统的巡检方式来监测设备的运行状态大大降低了巡检效率。为了实现传统行业的数字化转型,本文提出基于轻量化深度学习的数字仪表识别方法,通过改进的YOLOv5的目标检测框架,针对数字仪表目标区域在整张图片大小不一致的情况,提出对于感兴趣区域（ROI）的迭代目标检测方法,首次检测将感兴趣区域进行检测并切割统一到相同的尺度,随后迭代检测网络针对感兴趣区域内的字符进行检测并分类,以达到精确读数的目的。为提升多尺度检测性能,本文采用Res2Net模块主干网络中的的残差模块。采用GIoU取代通用的IoU作为位置损失函数加速模型训练效果的收敛。实验表明,改进后的框架实现了99.62%的准确率和99.55%的召回率,相比基线网络分别提升了12.72%和5.85%。通过将框架在边缘计算平台上的终端部署,在实际生产中取代了人工巡检,实现了商业化运行。     

测长仪器数字化微机化改造中的精度保证

本文介绍了测长仪器数字化微机化改造中的精度保证方法:标尺倾斜调整法和计算机软件补偿法。作者将这些方法应用于万能工具显微镜的改造中,获得了满意的效果。该方法简单有效,而且亦适用于新测长仪器的制造。文中还对测长标尺的制造提出了“标尺刻度间距的公差带应正向单向布置”的指导性意见。     

江西樟树四特酒香味成分的GC／MS分析

通过对四特酒进行化学处理、分类收集组分,采用GC/MS联用技术对各组分进行分离与定性定量测定,分离出130多个色谱峰,鉴定出65个化合物.