基于语法与语义分析的代码搜索结果优化

通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的.代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜索内容相关的代码,为程序开发人员提供帮助.但现有的代码搜索引擎没有在搜索结果中区别API的实现代码与使用代码,搜索结果存在冗余,导致用户无法快速有效地找到提供有用信息的代码片段.为了使用户更好更快地找到代码搜索目标,阐述了应用语法与语义分析技术从区分API实现代码和使用代码、相似代码聚类、搜索结果摘要3个方面对代码搜索结果进行优化的方法,给出了一个代码搜索引擎的实现,并在实例研究中展示了该方法的有效性.     

字符串分析研究进展

随着软件应用范围的不断扩大,尤其是数据库软件和Web软件的广泛应用,字符串变量在软件程序中扮演的角色日益重要与此同时,针对字符串变量的程序分析技术——字符串分析,也取得了长足的发展,并在软件工程中的很多领域中得到了成功的应用.字符串分析的基本应用模式是首先使用字符串值分析获得字符串变量的所有可能取值,然后使用字符串约束求解判断这些变量的取值是否满足一定约束,从而对程序进行正确性验证.为了使得字符串分析能够应用在安全分析和软件维护应用中,研究人员对字符串分析进行了扩展,进一步分析字符串变量的数据来源.综述了字符串分析技术的研究进展,提出了字符串分析的问题构型,介绍了这一领域现在的主要研究内容:字符串值分析、字符串约束求解、字符串数据来源分析以及字符串分析在软件工程中的应用.     

全密封智能环保型棒磨机磨矿试验研究

采用方铅矿纯矿物在全密封智能环保型棒磨机中进行磨矿试验,考察磨罐内钢棒填充率、钢棒直径装填级配、磨机转速率、磨矿时间和矿浆浓度等因素对磨矿效率的影响,确定最佳磨矿条件。结果表明,全密封智能环保型棒磨机操作便利,简单可行,磨矿效果好。在该磨机中介质填充率为45%,钢棒装填级配为2∶1∶1∶1,磨机转速率为65%,矿浆浓度为60%,磨矿时间为7min时,磨矿效率最佳,合格粒级产品产率可达到74.12%。     

河南省公路交通与区域经济发展耦合协调性研究

公路交通与区域经济系统在多方位、多层次存在着互动作用,两系统互动关系研究有利于促进两者协调发展。构建公路交通与区域经济系统耦合协调发展评价指标体系,利用耦合协调模型对河南省各地区公路交通与经济系统耦合协调发展状况进行了定量分析。研究表明：全省的交通与区域经济耦合协调度地区分布与区域经济发展水平存在很大的空间对应关系,河南省多数地区公路交通系统与区域经济系统协调度处于濒临失调或轻度失调状态。应加大河南省整体经济发展和交通建设投资力度促进河南省公路交通系统与区域经济耦合协调水平得到稳步提升。     

开炼机与密炼机动态硫化制备NBR／PVC热塑性弹性体的研究

对比并讨论了采用开炼机动态硫化与采用密炼机动态硫化制备的NBR／PVC热塑性弹性体的物理机械性能、流变性能、形态结构,通过对试验结果的分析,认为动态硫化应以采用高剪切、高温密炼机为宜。     

异质信息网络分析与应用综述

实际系统往往由大量类型各异、彼此交互的组件构成.目前,大多数工作将这些交互系统建模为同质信息网络,并未考虑不同类型对象的复杂异质交互关系,因而造成大量信息损失.近年来,越来越多的研究者将这些交互数据建模为由不同类型节点和边构成的异质信息网络,从而利用网络中全面的结构信息和丰富的语义信息进行更精准的知识发现.特别是随着大...     

罩式炉内罩失效原因分析与改进

针对邯钢罩式退火炉内罩使用不足两年就出现表面点状锈蚀、筒体底部裂纹、吊装环失效、冷却变形等缺陷,从内罩结构、工作环境、工作介质、焊接状况等方面分析了原因。提出了增加内罩壳体下部、冷却水槽、吊装环肋板厚度,加高焊缝高度,统一内罩各部分材质,提高罩式炉工作介质质量,做好预防性维修等改进措施。实施后,延长了罩式炉使用寿命,降低了生产成本。     

渤海某油田F井旁路管腐蚀失效研究

目的：旁路管腐蚀现象在渤海油田时有发生,以渤海某油田F井为例,研究该油田旁路管腐蚀机理,指导该油田旁路管选材,确定该油田的防腐方向与措施。方法基于对管材腐蚀的初步分析,通过扫描电子显微镜、拉伸强度试验机、X射线衍射仪等仪器,对F井已发生腐蚀的旁路管进行理化性能分析、金相显微分析、腐蚀产物 XRD 分析以及腐蚀产物能谱分析。结果化学成分方面,1#、2#、3#旁路管的原化学成分均满足API Spec 5CT的要求;力学性能方面,1#旁路管抗拉强度和屈服强度略低于标准要求,2#、3#旁路管的力学性能均满足API Spec 5CT的要求;腐蚀产物方面,1#、2#、3#旁路管腐蚀产物主要由 Fe、C、O、S、Ca、Mn 组成,以铁的氧化物为主,硫化物次之,其中 C、O、Ca元素应来源于环境介质,少量的Ti元素可能来源于周围的接触金属。对于腐蚀所生成化合物,1#旁路管主要为铁氧化物,其中所含的 Ca2Fe2O5来源于地层中的沙土或矿石;2#旁路管外壁腐蚀产物为典型铁锈成分,以铁的氧化物为主,存在少量 FeO(OH),该物质不稳定,在空气中暴露后易形成铁的氧化物。结论 F井旁路管腐蚀属于冲刷腐蚀和电偶腐蚀。     

音视频信源编码领域标准比对分析及对策研究

对音视频信源编码领域进行了深入研究,总结了该领域国内外标准的总体发展情况,归纳出这些领域国内外的标准体系,并在此基础上进行国内外标准体系的比对分析.同时,分析比对国内外标准的实际差异及差异产生的原因;提出了该领域的国际标准化策略建议.     

煤层气集输管道管材的分析对比

从管材进场，现场布管，焊接，吹扫试压，管沟回填，后期运行等方面入手，针对无缝钢管与聚乙烯管的性能及应用施工进行了比对分析，指出PE管材具有显著优势，能有效节约人力物力，降低施工难度并减少投资。