面向Web信息系统安全威胁和风险评估分析

将Web信息系统所面临的安全威胁按照威胁所属的类型进行分类,并根据每种威胁的危害程度、发生的概率以及威胁发生后采取措施进行补救的概率等方面对这些威胁进行分级,用模糊综合评价法,构建了一个安全分析的模型,并提出一个通用的Web信息系统安全的分析框架,对Web信息系统进行安全评估分析。     

基于黑盒遗传算法的电力系统网络安全漏洞挖掘方法

针对当前电力系统网络安全挖掘方法误检率和漏检率较高的问题,提出基于黑盒遗传算法的电力系统网络安全漏洞挖掘方法.对电力系统网络态势进行全方位感知,得出电力系统网络整体安全态势情况,引入黑盒遗传算法进行黑盒模糊测试,选择目标函数并生成测试参数,将优化样本传输至模糊测试模块,通过日志监控测试系统实时记录异常情况.当模糊测试达到预设目标时停止测试,并将电力系统网络安全漏洞报告输出.结果表明,所提算法误检率较低,证明了所提算法可靠性较强.     

基于蚁群优化聚类的网络入侵检测研究

随着计算机网络特别是因特网技术的发展,网络安全已变得越来越重要.入侵检测作为一种主动防御的安全技术正成为实现网络安全的另一个重要技术手段和第二道防御措施.分析了基于聚类分析的入侵检测技术,在对入侵检测和数据挖掘理论分析基础上,提出基于蚁群优化聚类的入侵检测算法,详细阐述了算法的基本原理和过程,计算机仿真实验结果表明,该算法能够检测新型未知入侵,并能有效提高入侵检测的检测率、降低误检率,并可用于实际环境下数据集的入侵检测.     

网络入侵检测与防护算法系统的实现

针对网络入侵给互联网带来的安全隐患,提出一种入侵检测与防护算法,并设计了相应的系统模块。首先,提出了一种入侵检测与防护算法,并给出了具体步骤;其次,结合部分功能模块设计实现了局域网安全系统。所提出的算法与系统能够很好地保护计算机网络和信息系统,从而免受多种已知和未知攻击类型的网络威胁。     

基于认知无线传感器网络的能效优化频谱检测机制研究

针对认知传感器网络中频谱资源匮乏的问题,提出一种认知传感器网络中基于动态频谱检测的联合能效优化机制,构建一种基于动态筛选机制的协作频谱检测模型,对频谱检测时间进行动态调整,避免不必要的频谱检测能耗;并引入信源端信息的失真度约束,将该问题转化成为检测率和误检率约束下的非线性最大最小值优化问题,对其进行求解,最终得到一种认知传感器网络的频谱检测能效优化方法.     

基于新增haar特征和改进AdaBoost的人脸检测算法

为了提高base haar特征和原始AdaBoost算法的检测率并降低其误检率,提出一种改进型人脸检测算法。该算法采用新增haar-like特征,改进弱分类器选取方式和权重更新方式的AdaBoost算法,构建分类性能强大的级联分类器实现对人脸的有效检测。实验对比证明,与原始AdaBoost算法相比,新增haar-like特征方法检测率提高了1.1%,误检率降低了2.45%;改进AdaBoost算法检测率提高了2%,误检率降低了5.11%;同时新增haar-like特征并改进AdaBoost算法方法检测率提高了4.22%,误检率降低了7.56%。     

重大危险源数字化普查信息系统设计分析

重大危险源资料的标准化、数字化是实现资源共享和优化配置,提升安全管理水平的重要技术途径.以Vc＋＋为主编语言、SQL为后台支持数据库的重大危险源普查信息系统,采用通用化技术与个性化设计相结合的技术路线,在分析重大危险源动态特性和安全管理信息需求的基础上,设计了包含了5个功能菜单和多类型基础数据的企业版和管理版2种版本,并设置了信息录入标准模板、分类管理、统计分析和多类型输出等系列功能.应用实践表明,该软件为重大危险源安全管理的标准化和数字化提供了重要技术手段.     

基于改进人工蜂群优化K- means的入侵检测模型

在SD-WSN网络环境下,针对传统的入侵检测技术对不同种类的入侵者检测率低、检测速率慢等问题,提出了一种基于改进人工蜂群优化的K-means入侵检测模型。该模型首先筛选出SD-WSN网络所需的流量特征并对原始数据集进行预处理;其次,对传统的人工蜂群算法进行适应度函数的改进,加快模型的收敛速度,避免局部最优;再利用改进的人工蜂群算法对K-means算法的初始聚类中心进行优化选择,并对数据集进行训练形成入侵检测模型。利用该模型实现了对SD-WSN网络的控制器等网络实体的异常检测。实验结果表明,基于改进人工蜂群优化的K-means入侵检测模型较传统模型相比,检测率提高5%以上,误检率降低至4.5%以下,表现出良好的检测效果。     

基于MIC-SSA-SVM的时间敏感网络配置可行性检测

时间敏感网络(TSN)通过精准的时钟同步、高精度的流量调度和智能化的网络管控机制实现多业务流混合传输.高效的网络配置检测技术是网络安全稳定运行的关键保障,它可以快速检测网络配置是否可行,降低网络运维成本,提高网络使用效率.为了提高TSN网络配置检测的效率,本文提出一种基于特征优选和麻雀搜索算法优化支持向量机的算法模型(MIC-SSA-SVM).文中首先采用最大信息系数(MIC)来评估特征的相关性,进行特征优选.接着,选择SSA来对SVM的惩罚因子C与核参数g进行优化,并利用优化后的SVM算法模型实现TSN网络配置可行性检测.实验结果表明,相比于现有算法,所提出的模型在检测TSN网络配置可行性方面更加高效,分类准确率能达到97.6%.而且模型收敛速度快,寻优能力强.     

一种改进的视频兴趣区目标捕获算法研究

对于视频兴趣区的目标捕获技术提出了一种基于颜色梯度的背景差方法,通过结合阴影去除和连通域分析捕获兴趣目标。实验结果表明：该方法能有效解决光照突变等干扰,较好捕获兴趣区目标,减小误检率。对所实验的6个视频进行分析,在最多同时出现5个目标的视频检测中取得了92．8％的准确率、2％的误检率,且基本满足实时性。     

Banach代数中的行列式理论

探讨了 Banach 代数中的行列式理论.给出了具有单位元的迹 Banach 代数具有行列式的充要条件.     

非织造布滤料性能及过滤过程的研究进展

对近年来非织造布滤料的研究进展做了简要综述,介绍了内部结构的研究及表征、过滤性能及其影响因素、过滤过程的计算机模拟,指出进一步发展所需要解决的问题。     

Towards Excellence in Science Chinese Academy of Sciences

<正>May 26,2014,BeijingScience is a human enterprise in the pursuit of knowledge.The scientific revolution that occurred in the 17th Century initiated the advances of modern science.The scientific knowledge system created by human beings,the tremendous productivity brought about by science,and the spirit,methodologies and norms formulated in scientific practice since the 17~(th)Century have long become essential elements of     

SCIENCE CHINA Technological Sciences SUBJECT INDEX TO VOLUME 57(2014)

<正>~~     

单面约束系统的微分变分原理与运动方程

研究单面约束力学系统的微分变分原理和运动方程。方法利用Ｄ＇Ａｌｅｍｂｅｒｔ原理建立Ｄ＇Ａｌｅｍｂｅｒｔ－Ｌａｇｒａｎｇｅ原理．Ｊｏｕｒｄａｉｎ原理和Ｇａｕｓｓ原理,结果与结论得到系统的微分变分原理和带乘子的Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ形式,Ｎｉｅｌｓｅｎ形式和Ａｐｐｅｌｌ形式的运动方程。     

q-树的重构性

q 是一个正整数,所谓 q-树的图是递归定义的:最小的 q-树是完全图 K_q,一个 n+1阶的 q-树是通过在 n 阶 q-树上加上一个新点并连接这点与 n 阶 q-树中任意 q 个互相邻接的点而获得,其中 n≥q.1-树我们通常称为树.在本文中,证明了对任意正整数 q,q-树是可重构的.     

β-环糊精-毛细管区带电泳分离扑尔敏对映体

采用毛细管区带电泳模式,以β-环糊精为手性选择剂分离了药物扑尔敏的光学对映体.考察了在不同背景电解质 pH 值尤其是较低 pH 值下环糊精浓度对对映体表观淌度差的影响,并研究了有机改性剂尿素在分离中的作用.     

层状球形夹杂复合材料的弹性模量

利用层状球形夹杂在无限大基体中的局部化关系及平均应力场理论,给出了一种方法来分析含 n 种层状球形夹杂所构成复合材料的弹性模量.对于文献给出的空心玻璃球和高分子基构成的复合材料,该理论的预测与实验吻合很好.当表层稍失时,该理论退化为传统的 Mori-Tanaka平均应力场理论.     

CVD涂层硬质合金刀具的失效机理

通过系统的实验研究和理论分析,揭示了 CVD(化学气相沉积)涂层硬质合金刀具在磨损和破损状态下的不同的失效机理,并在机理分析的基础上,阐明了涂层硬质合金刀具对于切削条件的特殊适应性.     

特征关系与工艺决策

从并行工程的原理出发,提出了一个基于特征的并行 CAPP 系统.在特征建模的基础上,系统能够推理特征之间的关系,产生零件的特征向量图;利用加工知识库,通过动态规则匹配,系统可以确定特征的加工方法、加工参数及其加工顺序;通过优化确定最佳的工艺计划.