千千媒体库自动巧更新

用千千静听听歌,不管是放本地还是网络的歌都能完美显示歌词,效果真是爽。但我每次在朋友那拷来新歌加进电脑时,都要在千千静听重新添加歌曲才能更新。如何能自动更新千千静听的媒体库呢？     

拟态路由器TCP代理设计实现与形式化验证研究

拟态路由器基于拟态防御的动态异构冗余架构进行设计,对于未知漏洞后门具有良好的防御能力。协议代理在拟态路由器中处于内外联络的枢纽位置,协议代理的安全性和功能正确性对于拟态路由器有着重要意义。本文设计实现了拟态路由器的TCP协议代理,并采用形式化方法,对其安全性和功能正确性进行了验证。TCP协议代理嗅探邻居和主执行体之间的TCP报文,模拟邻居和从执行体建立TCP连接,并向上层应用层协议代理提供程序接口。基于分离逻辑与组合思想,采用Verifast定理证明器,对TCP协议代理的低级属性,包括指针安全使用、无内存泄露、无死代码等,进行了验证;同时,还对TCP协议代理的各主要功能模块的部分高级属性进行了形式化验证。搭建了包含3个执行体的拟态路由器实验环境,对实现结果进行了实际测试,结果表明所实现的TCP代理实现了预期功能。TCP协议代理实现总计1611行C代码,其中形式化验证所需人工引导定理检查器书写的证明共计588行。实际开发过程中,书写代码实现与书写人工证明所需的时间约为1:1。本文对TCP协议代理的实现与形式化验证工作证明了将形式化验证引入拟态路由器的关键组件开发中是确实可行的,且证明代价可以接受。     

考虑配电网静态电压稳定性的微电网优化配置

考虑到风机、光伏两种分布式电源出力在时间上具有互补的特征,利用储能装置功率双向流动的特点,将可再生能源和储能装置以微电网的形式接入配电网实现可再生能源的高比例接入。对现有的配电网静态电压稳定性指标进行改进,以配电网的静态电压稳定性和运行经济性为目标研究微电网系统的定容选址问题。采用基于K-means++方法的多场景技术处理可再生能源出力不确定性问题,针对配电网不同地区的可再生能源出力特点,计算出风光储三种装置不同的最佳容量配置比例。对平衡优化器(equilibrium optimizer, EO)算法进行改进,利用Tent映射产生的混沌序列代替随机生成的初始种群,根据拥挤度和非支配排序实现多目标问题寻优。最后,在由三种地形组成的IEEE 33节点系统和PG&E-69系统中验证了所提模型和算法的有效性。     

运用光线追迹算法的高温物体视觉三维测量

对于高温下的视觉三维测量,如何削弱高温辐射以及成像畸变对构件测量产生的影响,在航空航天和汽车制造等领域 具有极其重要的意义。 基于黑体辐射理论分析了物体在不同温度下的辐射特性,确定了成像光谱范围,建立了高温双目立体视 觉测量模型,运用有限元建模仿真与光线追迹算法相结合的方法分析光线在高温场中传播的偏折规律,并分析了温度和光线波 长对光线偏折量的影响。 最后,通过搭建双目立体视觉测量系统,使用 CMOS 相机、窄带滤光片和平行光源组成的测量系统削 弱高温辐射光的干扰,对分析结果进行实验验证。 实验结果表明,测量系统能够在高温下获得清晰的图像特征;光线追迹算法 分析的结果和实验数据有很好的一致性;相较于常温测量结果,800 ℃ 以下视觉测量结果的误差小于 0. 28 mm,球间距测量标 准差小于 0. 11 mm,能够满足构件在高温环境下的测量需求。     

热反应扩散时间对钒铬共渗层显微形貌及性能的影响

近年来,铬钒共渗层由于具有优良的综合性能被逐渐关注并广泛研究与应用,但已有的报道对其显微形貌尤其是界面结构以及性能的研究较少。采用热反应扩散法对Cr12钢进行铬钒共渗处理,利用光学显微镜(OM)、扫描电镜(SEM)、X射线能谱仪(EDS)、X射线衍射仪(XRD)对渗层的显微结构进行了分析。重点讨论了热反应扩散时间对渗层厚度、显微硬度、物相组成以及膜基结合力的影响;分析了主要元素沿渗层到基体方向的变化趋势和特点。结果表明:随着渗入时间的延长,所得渗层的厚度为2.0~8.2μm,渗层连续、均匀较致密。铬钒共渗层的物相组成主要为VC、Cr7C3和(Cr,Fe)7C3,反应过程中各物相对应的衍射峰强度会发生相应的变化。渗层的显微硬度值为1 683.80HV0.3~1 948.57HV0.3,明显高于空白基体的显微硬度值;划痕测试结果表明铬钒共渗层和基体的界面结合良好,结合力为55~64N。     

安全互动

Q 我闪存盘中了一种名为1KB计算机病毒,结果闪存盘里面所有的文件夹都变成了1KB的快捷方式。闪存盘里面保存有很多重要的文件,可是使用什么样的方法都无法找到这些文件。请问我应该怎么办才可以清除这个病毒,同时找回闪存盘里面那些重要的个人文件呢？     

严防恶意木马锁主页（Trojan．Win32．StartPage．aeyf）

近日,卡巴斯基实验室发现一恶意程序——锁主页,主要行为就是将用户浏览器的主页锁定为某个导航网站,以此提高某导航网站的流量。不仅如此,该木马还会修改某款安全辅助软件的配置文件,将其配置文件中要锁定的主页修改为该导航网站,使得浏览器主页被此安全辅助软件牢牢锁死,无法恢复。     

气象信息网络安全风险评估

针对气象信息网络事故的随机性,复杂性和不确定的特点,以及在气象信息网络安全风险评估选取评估指标过程中存在的主观性,通过采用粗糙集改进的属性约简算法对用于评估的指标集进行约简,从而剔除其中的对最终结果不造成影响的指标,并且利用相对约简建立用于气象信息网络安全风险评估的层次指标体系,应用模糊层次分析法对选定的气象信息网络进行安全风险评估,比单纯的依靠专家打分法更具有科学依据和数据支持。     

捣固机摩擦片在应用过程中的问题处理

近年来，随着国际国内市场对焦炭需求量的增大和对焦炭品质的提高，使捣固焦炉迅速发展。捣固机是捣固焦工艺的关键设备，捣固机摩擦片出现问题直接影响提锤高度，降低煤饼的堆密度和强度，以致造成煤饼倒塌事故。目前国产捣固机的摩擦片故障率较高、更换频繁，影响了捣固效率和焦炭质量，因此摩擦片的质量及使用寿命倍受关注。     

菱锶矿加工碳酸锶焙烧过程的研究

本文介绍菱锶矿热分解法生产碳酸锶的关键—般烧;以及对煅烧过程中存在的问题作一些探讨。