一种三维刚架—桁架静力分析有限元程序

介绍了三维刚架计算原理以及作者所编制的一种应用于ＰＣ微机的有限元程序．本程序用＂ＦＯＲＴＲＡＮ＂语言编写,采用半动态一维存储．引入了单元整体形函数矩阵,简化了单元非结点载荷与结点载荷的转换过程．可用于计算三维及二维刚架或桁架在多种载荷条件下的位移及杆端内力并可绘出结构的有限元模型、支承、受载及变形状况．通过一系列算例验证了程序的正确性．     

我国爆炸品分级标准的研究制订及特点分析

文章阐述了研究制订“爆炸品分级程序”等两项国家标准的意义,过程和标准的主要特点,并提出加快实施标准的若干建议。     

半导体设备运动控制系统接口设计

在多自由度纳米级运动平台的运动控制系统架构中,运动控制器和电机驱动器之间增加了运动控制系统接口的设计,用于实现光纤接口和模拟量控制接口的转换,从而完成运动平台的驱动控制。运动控制系统接口的设计主要针对光纤接口的运动控制器及常用的模拟量控制伺服或线性驱动器,适用性强。主要描述了运动控制系统接口的功能与构成、硬件设计、现场可编程逻辑门阵列（FPGA）程序设计。     

基于双重信息检索的Bash代码注释生成方法

Bash是Linux默认的shell命令语言.它在Linux系统的开发和维护中起到重要作用.对不熟悉Bash语言的开发人员来说,理解Bash代码的目的和功能具有一定的挑战性.针对Bash代码注释自动生成问题提出了一种基于双重信息检索的方法 ExplainBash.该方法基于语义相似度和词法相似度进行双重检索,从而生成高质量代码注释.其中,语义相似度基于CodeBERT和BERT-whitening操作训练出代码语义表示,并基于欧式距离来实现;词法相似度基于代码词元构成的集合,并基于编辑距离来实现.以NL2Bash研究中共享的语料库为基础,进一步合并NLC2CMD竞赛共享的数据以构造高质量语料库.随后,选择了来自代码注释自动生成领域的9种基准方法,这些基准方法覆盖了基于信息检索的方法和基于深度学习的方法.实证研究和人本研究的结果验证了ExplainBash方法的有效性.然后设计了消融实验,对ExplainBash方法内设定(例如检索策略、BERT-whitening操作等)的合理性进行了分析.最后,基于所提方法开发出一个浏览器插件,以方便用户对Bash代码的理解.     

二进制代码安全分析综述

近几十年来,计算机硬件性能和软件规模技术已不同以往,其承载了人类社会生活生产的方方面面.计算机技术的飞速发展,也带来了人们对程序安全问题的关注.由于市面上存在着较多的遗留软件,这些软件无人维护且缺乏源代码支持,其安全性令人担忧,而二进制分析技术被用来解决该类软件问题.二进制分析技术根据其检测方式不同可分为:基于静态的二进制代码分析技术、基于动态的二进制代码分析技术和动静态混合的二进制代码分析技术.本文调研了近年来的二进制代码安全分析领域上相关研究,分别详细阐述了这3类技术中的主要方法,并对其关键技术进行详细介绍.     

基于MINA框架的社区食堂智慧餐饮系统

社区食堂作为民生建设的一部分而受到国家的大力关注和支持。社区食堂在实际的运营中存在很多问题,例如食物浪费严重、就餐排队无序、卫生情况差等。因此,以社区食堂信息化建设为研究背景,针对如何保证社区食堂的服务质量,提高就餐人员的用餐体验,设计了一个依托微信平台的社区食堂智慧餐饮系统。     

IoT设备程序同源性智能检测技术综述

IoT设备与各行业的深度融合方兴日盛,使得IoT程序快速开发的需求不断增长。开发者习惯于集成第三方库或常用代码。不幸的是,若这些代码中隐藏着潜在的漏洞,那他们也会被扩散到不同的程序中,为其大规模扩散创造了条件。这也是造成近年来IoT设备群体性安全事件频发的重要原因之一。为了降低危害,发现具备相似漏洞的程序并进行相关的处置是一个有效的方法。同源性分析作为挖掘程序间关联关系的重要手段之一,可高效地实现程序漏洞的智能溯源取证。结合机器学习和深度学习技术,它表现出解决大规模程序安全性检测的巨大潜力。然而,IoT设备的软硬件特点仍使得该技术的使用面临挑战。当前已有诸多方案在IoT设备程序的同源性智能检测方面取得了进展。因此,本文将系统性回顾近年来相关技术研究的成果,将他们分为相似性分析和创作者归属技术。首先,我们介绍了两种方式的数据来源。接着,检测过程中涉及的特征选择、特征表示以及相对应的检测方法也被依次介绍。进一步的,本文不仅比较和总结了方案的特点和局限性,还对他们在不同类型IoT设备程序的适配性进行了对比分析。最后,文章针对IoT程序分析提出了一些研究建议。作者希望本综述可为研究者阐明这些工作的核心技术点,并为他们在IoT设备上的进一步应用提供启发。     

基于程序模块化建模的智慧电站一体化平台构建

为实现在智慧电站高度一体化融合的同时,提高电站报警响应时效性和准确性,开展基于程序模块化建模的智慧电站一体化平台构建。通过电子式互感器选型、全站智能组件装置整合等硬件设计和基于程序模块化建模的三维一体化信息模型构建、电站门禁管理与人员轨迹跟踪、电站危险源识别与动态预警等软件设计,提出一种全新的智慧电站一体化平台。通过将新的平台应用到某电站火电厂中,验证了该平台能够实现对电站异常故障问题的快速响应,并保证误报警次数始终为0,在促进智慧电站安全性不断提升的同时,实现高度一体化融合。     

《电池》微信订阅小程序上线

为方便读者订阅2022年《电池》杂志,丰富订阅方式和渠道,本刊现已开通微信订阅小程序服务功能。欢迎广大读者扫描小程序二维码,或微信搜索“电池订阅”进入小程序进行订阅。