基于契约的程序动态分析技术研究

在当今信息社会中，程序质量是一个具有重要意义的热点问题．基于契约的程序设计是提高程序质量的重要且有效的技术，但是形式化契约的制定是一件十分困难的工作．因此软件质量保证问题一直是令人困扰的难题．本文介绍契约式程序设计的基本概念与方法，并在此基础上，提出利用契约进行程序动态分析的主要思路及其基本过程并给出简单实例，从一种新的维度来思考保障软件质量的方法。     

论休闲垂钓与生态环境保护

休闲垂钓是现代渔业、制造业、旅游服务业等一、二、三产业的交叉融合,具有积极的生态学意义。文章从经济学、生态学角度讨论了休闲垂钓与生态环境保护的关系,提出了关于休闲垂钓生态可持续发展的路径思考。     

特征选择的和声模糊聚类研究与应用

采取了3种必要的措施提高了聚类质量：考虑到各维数据特征属性对聚类效果影响不同,采用了基于统计方法的维度加权的方法进行特征选择;对于和声搜索算法的调音概率进行了改进,将改进的和声搜索算法和模糊聚类相结合用于快速寻找最优的聚类中心;循环测试各种中心数情况下的聚类质量以获得最佳的类中心数。该算法被应用于并行计算性能分析中,用于识别并行程序运行时各处理器运行性能瓶颈的类别。实验结果表明该算法较其他算法更优,这样的性能分析方法可以提高并行程序的运行效率。     

Modulating absorption band of triangular silver nanoplates in aqueous solvent and on substrates using tannin as reducing agent

Triangular silver nanoplates in aqueous solvent and on the surface of quartz substrate have been synthesized by seed-mediated growth approach in the presence of tannin. It was found that both the amount of tannin and the small triangular silver nanoplate seeds added to the growth solution are the key factors to modulation absorption band of triangular silver nanoplates. The optical in-plane dipole surface plasmon resonance (SPR) bands of these Ag nanoplates can be tuned from 608 nm to 980 nm via tannin deoxidization method. The formation mechanism of triangular silver nanoplates was proposed. The tannin deoxidization method realizes a convenient modulation of the absorption band of Ag nanostructures within the visible near-infrared (IR) region both in aqueous solvent and on substrates under mild conditions.     

网络办公自动化系统开发分析

计算机网络已成为全球信息产业的基石,高度发达的计算机网络技术为实现网络办公无纸化办公提供了便利的条件,本文针对网络办公软件开发的几种常用技术及系统结构进行了探讨。     

过热器减温水调节阀振动及易泄露分析及解决方案

我厂减温水调节阀目前存在2方面问题:1)阀门在一定开度区间振动明显;2)阀杆处易泄露。高温高压阀门泄露会对附近设备和人员造成较大伤害。通过计算分析,找到问题产生原因为阀门选型不合理。经过改进最终解决问题,提高了设备的安全性。     

热压烧结制备Li3/8Sr7/16Ta3/4Hf1/4O3钙钛矿型固体电解质

采用热压烧结制备了Li_3/8Sr_7/16Ta_3/4Hf_1/4O₃钙钛矿型固体电解质, 研究了不同烧结方式对样品性能的影响。通过X射线衍射仪表征材料的晶体结构, 扫描电子显微镜观察组织形貌, 交流阻抗仪测试电化学性能。结果表明:样品为立方KTaO₃相, 热压烧结成功合成了钙钛矿结构固体电解质, 相对于常压烧结, 热压烧结制备的样品孔隙更少, 晶粒之间结合更加紧密, 致密度高达94.0%, 离子电导率为4.33×10-4S·cm(T=298K).      

水压诱发裂缝拉伸与剪切破裂的理论模型研究

 基于断裂力学理论,分别研究水压诱发的拉伸与剪切破坏特征。在水压诱发拉伸破坏方面,建立考虑井筒影响的地应力与水压耦合下的射孔尖端裂缝应力强度因子计算方程,推演该条件下拉剪复合应力状态下的断裂准则以及临界水压和启裂角的计算式。运用该方法从理论上分析了井筒周围存在对称的2条裂纹时,启裂水压和角度受射孔倾角、射孔长度、井筒半径及主应力差的影响。研究结果表明,依据推演的拉剪复合型断裂准则计算得到的射孔启裂水压和角度与试验结果吻合良好。参数分析表明：随着射孔长度或井筒半径的增加,临界水压减小。在水压诱发剪切破坏方面,则根据裂纹面的应力状态,分别推导裂纹处于压剪闭合状态和压剪不闭合状态下,水压诱发剪切破坏的断裂准则,并考虑非奇异应力对剪切断裂的影响,进一步推导压剪闭合应力状态下发生剪切破坏的临界水压计算公式。     

基于渗透检测的网络安全运维框架设计与实现

高效发现所运维网络及其应用的安全隐患,并及时部署相应的安全防护手段是网络安全运维的关键.针对日益频发的网络安全威胁,本文提出了一种便捷、规范且可扩展的网络安全运维框架,并设计开发了相应的运维工具.该框架能够充分利用最新的网络安全漏洞情报,定制化地对所管理网络资产开展漏洞扫描,进而及早确认漏洞分布情况,能较大程度地提高网络安全运维的效率.通过针对某校园网进行测试,所设计开发的工具表现出较高准确性和效率.     

某大容量高参数机组锅炉末级过热器管失效分析

某600 MW超临界锅炉末级过热器发生爆管,采用化学分析、金相观察、扫描电镜、能谱分析等手段对爆管段进行了分析.结果表明,本次爆管性质为长时过热爆管,其主要原因为管段长时超温运行后,脆性的σ相等析出物导致管段脆化所致.建议通过内窥镜、割管等手段查找管子内部及联箱入口是否存在有局部异物堵塞情况,在该管壁上方调整温度测点位置或增加温度测点数量,加强对管段局部超温的监测,并严格控制锅炉运行温度,避免超温运行.