安全互动

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

融合社交关系与地理信息的兴趣点推荐模型

基于LBSN的兴趣点推荐存在用户签到矩阵稀疏、推荐精度不高、上下文信息利用不充分等问题,提出一种融合社交信任的矩阵分解算法TGMF（Trust-Geo?Matrix?Factorization）来缓解以上问题。利用BPR模型优化矩阵分解的过程,改进偏序关系的生成策略。把信任影响和相似度计算相结合,提高推荐精度。融合两种模型得到用户的最终偏好列表。把偏好列表中的top-[k]个兴趣点推荐给用户。实验结果表明,在真实数据集Gowalla和Foursquare上,TGMF算法在准确率和召回率两个指标上均优于传统的兴趣点推荐算法。     

均匀与非均匀发光面亮度测量的探讨

对于发光面光亮度的测量,物象间的距离是影响其测量误差的因素之一。本文试对均匀与非均匀发光面光亮度测量中距离因素的影响作一探讨,供同行参考。一、均匀发光面的情形所谓均匀发光面,指的是发光面内不存在光亮度为零的区域。设被测目标发光部份的亮度为B,目标经过物镜聚焦成像,其像平面的光照度E为:     

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

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

有线电视前端机房特殊故障两例

1 DS1频道突然无图像 紧急排查:测试DS1的AV信号源良好;用场强仪测有线前端总输出口的二分配监测口,DS1的信号电平正常,用电视机在此收看观察,仍然没有图像.测混合器的-20 dB监测口,也是有场强但图像微弱.断开DS1调制器输出,测调制器输出场强电平正常,从它的-20 dB口用电视机收看,图像声音正常.更换调制器及其输出电缆,总输出DS1仍然无图像.想到前端有线电视信号中还有调频广播频道、股票信息频道、视频点歌频道、数字电视频道等,而数字电视占用频道较多(Z20～Z35),必须逐个排查整个前端,当我们在混合器断开数字电视的输入信号时模拟频道一切正常,DS1频道场强及图像声音也正常,可以认定是数字信号干扰了模拟DS1频道.测试数字信号输出,发现多了一个不应该存在的DS1频道,它的场强电平为93 dB,很高.由于数字电视信号直接从南通光缆传送过来,联系南通,他们查出是一个调制器频率错误引起的问题,对其进行处理后,网络恢复正常.     

美国空军关注无人战斗机

在过去的两年里,无人战斗机的研制已经有了重大进展。未来三年内将实现首批无人战斗机的试飞,何时服役还是个疑问。无人机装备导弹已是现代战场的一个特征。虽然无人机在实现最基本的巡逻用途外又增加了打击功能,但由于在真实飞行中不具备自主能力及气动性能,所以严格来说,还不     

盐城：突检新墙材产品质量

为了解掌握全市新型墙材企业的生产和质量管理情况．抓大扶优．为建筑市场提供更多优质的新墙材产品．5月中旬．盐城市墙改办联合盐城市产品质量监督检验所．对全市1家板材生产企业（已通过省级新墙材认定）、4家加气混凝土砌块生产企业（已通过省级新墙材认定）、17家砖瓦生产企业（其中通过省级新墙材认定的13家）、25家普通混凝土小型空心砌块生产企业（其中通过省级新墙材认定的15家）进行了突击检查．对产品进行现场封样抽检．     

数据驱动的光纤传感网络隐蔽信息检测系统

隐蔽信息是网络信息安全领域内的难点问题,为准确检测光纤传感网络隐蔽信息,降低检测过程能耗,设计基于数据驱动的光纤传感网络隐蔽信息检测系统.采用数据包采集模块采集光纤传感网络数据信息,协议分析模块分析协议类型对数据进行分类与滤波处理.数据驱动模块判断不同类型数据缺失点,填补缺失数据,利用数据驱动模型确定数据特征参数,根据...     

基于多尺度CNN特征及RAE-KELM的浮选加药状态识别

针对浮选加药状态在线检测困难、识别效率低和主观性强等问题,提出了一种基于多尺度卷积神经网络(CNN)特征及行列自编码核极限学习机(RAE-KELM)的浮选加药状态识别方法.首先,对浮选泡沫图像进行非下采样Shearlet多尺度分解,用CNN提取每个尺度图像的深度特征并进行多尺度特征融合;然后,构建RAE-KELM,将用...     

拟态路由器BGP代理的设计实现与形式化验证

为确保拟态路由器中协议代理等“拟态括号”关键组件的安全性和功能正确性,设计实现了边界网关协议（BGP）代理,并采用形式化方法对BGP代理的安全性和功能正确性进行了验证。BGP代理通过监听邻居路由器与主执行体之间的BGP会话报文,模拟邻居路由器与从执行体展开BGP会话,实现各执行体的BGP状态一致。采用VeriFast定理证明器,编写基于分离逻辑的形式化规约,证明程序不会出现空指针引用等内存安全问题,并验证了BGP代理各功能模块实现的高级属性符合功能规约。BGP代理实现与验证代码量之比约为1.8:1,程序设计实现和程序验证所耗费的时间之比约为1:3。经过形式化验证的BGP代理处理100 000条BGP路由所花费的时间为0.16 s,约为未经过验证的BGP代理的7倍。研究工作为应用形式化方法证明拟态防御设备与系统中关键组件的安全性和功能正确性提供了参考。