基于混合代码表示的源代码脆弱性检测

软件脆弱性对网络与信息安全产生了极大的威胁,而脆弱性的根源在于软件源代码。因为现有的传统静态检测工具和基于深度学习的检测方法没有完整地表示代码特征,并且简单地使用词嵌入方法转换代码表示,所以检测结果准确率低,误报率高或漏报率高。因此,提出了一种基于混合代码表示的源代码脆弱性检测方法来解决代码表示不完整的问题,并提升检测性能。首先将源代码编译为中间表示（IR）,并提取程序依赖图;然后基于数据流和控制流分析进行程序切片来得到结构化的特征,同时使用doc2vec嵌入节点语句得到非结构化的特征;接着使用图神经网络（GNN）对混合特征进行学习;最后使用训练好的GNN进行预测和分类。为了验证所提方法的有效性,在软件保证参考数据集（SARD）和真实世界数据集上进行了实验评估,检测结果的F1值分别达到了95.3%和89.6%。实验结果表明,所提方法有较好的脆弱性检测能力。     

整体式与分布式双层隔振系统性能对比研究

为改善整体式双层隔振系统中间质量因实际工程空间尺寸、质量以及加工精度限制导致刚性相对弱、质量偏心大和弹性效应明显而引起的隔振效果降低问题,采用中间质量为分布式双层隔振系统是一种处理措施。本文通过偏心激励下的非对称双层隔振系统理论建模,对比研究在同等条件下整体式统和分布式双层隔振系统隔振效果。研究结果表明分布式双层隔振系统在中高频隔振效果明显优于整体式双层隔振系统,且在小于整体式质量比时仍能获得相当的隔振效果,对工程应用具有一定指导价值。     

基于动词属性的模板化自动代码生成

介绍了一种自动代码生成的方法.提出了以动词为中心,基于属性的语义处理方法理论.在此思想理论的指导下,建立了相应的知识库和语义处理规则库,并详细研究了受限自然语言语句中词语的语义处理过程.最后将受限自然语言理解应用自动代码生成中去,通过对已经规范化的受限汉语语句中的各个动词进行分类并赋予其属性概念,依据知识库和规则库,对受限语句进行语义分析,将之转换为中间语言,并结合可定制的模板方法,在程序生成引擎中自动生成代码.     

连铸中间包等离子体加热装置控制系统

等离子体加热装置体积小、热效率高、无环境污染,应用于连铸中间包加热中可取得显著经济效益。介绍了这一装置及其控制系统的构成与特点。     

汉英机译系统英文生成中特殊动词短语的处理研究

主要讨论汉英两种语言特殊动词短语表示方式的不同,包括动词短语的拆分、变形和辅助成分的确定。在分析模块给出的中间语言信息不够详尽的情况下,需要生成模块针对性地作进一步处理,才能得到规范准确的译文。生成模块中一个详尽的词典非常重要,提出的生成策略就是在一个完备的词典的基础上通过规则来实现的。     

宏观调控已无中间路线可走

近期国务院公布了第六批取消和调整的314项行政审批项目。这其中有两条引起了市场关注,一是上市公司回购股份核准被取消,二是商品房预售许可审批权下放。先说第一点,实际上这对选股思路有启发。8月初证监部门负责人曾公开表示监管部门支持和鼓励有条件、有潜力的上市公司回购本公司股份,8月底开始有上市公司积极响应,当然     

一种接近最小热条件的精馏塔优化分析

建立了一种每块板上都允许存在中间换热器的接近最小热条件的复杂精馏塔模型,根据精馏过程的火用损最小,优化了回流比和塔内换热负荷。对于影响精馏过程用能的因素:理论板数、进料位置、进料热状况进行了分析,得出了,要设计一个节能的精馏塔如何选择合适的理论板数、进料位置及进料的热状况的方法。并比较分析了该塔和具有相同理论板数的传统简单塔的传质推动力,发现在这种塔的整个塔内的传质推动力比较平均,而整个精馏过程的火用损比简单塔的小。     

高性能计算机总线变换器输出阻抗优化设计

针对中间母线架构分布式供电的高性能计算机电源稳定性问题,详细分析了三种不同控制方法总线变换器的输出阻抗特性,给出了负载点变换器输入阻抗低频值和总线变换器输出阻抗峰值的计算公式。建立了由一个总线变换器和两个负载点变换器组成的实验电路,对总线变换器输出阻抗进行了优化设计,并实际测量了输入和输出阻抗,验证了理论分析的正确性。实验和应用结果表明,输出阻抗优化设计可以有效解决高性能计算机电源稳定性问题。     

精密滑动式注塑技术

加拿大StackTeck早前发表了一项名为“精密滑动式注塑技术(Compact Slide Action Mold)”并已取得相关的专利。有别於传统的滑动式注塑技术．新技术有效降低模具的体积，以及减少突出於模具外的组件数目。此外，新技术能有效减低开模中间的闭塞物，从而减少润滑液的使用及染污，并免去凸轮及滑块定位器的使用。     

制约空压机长周期运行的因素及处理措施

通过对引进C150MX3型空压机近几年来的运行和故障情况的分析，得出制约空压机长周期运行的3个因素：冷却器结垢、扩压器腐蚀和二级振动值高。分析了引起故障的原因，并采取了相应措施，实现空压机长周期稳定运行。