检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

面向内部威胁检测的用户跨域行为模式挖掘

计算机学报 2016年第8期39卷 1555-1569页

作者：文雨王伟平孟丹中国科学院信息工程研究所北京100093

内部用户行为分析是系统安全领域中一个重要的研究问题.近期的工作主要集中在用户单域行为的单一模式分析技术,同时依赖于领域知识和用户背景,不适用于多检测域场景.文中提出一种新的用户跨域行为模式分析方法.该方法能够分析用户行为... 详细信息

内部用户行为分析是系统安全领域中一个重要的研究问题.近期的工作主要集中在用户单域行为的单一模式分析技术,同时依赖于领域知识和用户背景,不适用于多检测域场景.文中提出一种新的用户跨域行为模式分析方法.该方法能够分析用户行为的多元模式.此外,该方法是完全数据驱动的方法,不需要依赖相关领域知识和用户背景属性.最后作者基于文中的用户行为模式分析方法设计了一种面向内部攻击的检测方法.在实验中,作者使用文中方法分析了真实场景中的5种用户审计日志,实验结果验证了文中分析方法在多检测域场景中分析用户行为多元模式的有效性,同时文中检测方法优于两种已有方法:单域检测方法和基于单一行为模式的检测方法.

关键词：内部威胁多检测域用户跨域行为分析非负矩阵分解高斯混合模型机器学习

在线全文

学校读者我要写书评

暂无评论

基于懒符号执行的软件脆弱性路径求解算法

计算机学报 2015年第11期38卷 2290-2300页

作者：秦晓军周林陈左宁甘水滔江南计算技术研究所江苏无锡214083

为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题,提出了动静态分析结合的脆弱性挖掘框架,并针对循环爆炸问题设计了基于懒符号执行的路径求解算法,该路径求解算法应用最短路径、条件约束集概率和可达路径数量... 详细信息

为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题,提出了动静态分析结合的脆弱性挖掘框架,并针对循环爆炸问题设计了基于懒符号执行的路径求解算法,该路径求解算法应用最短路径、条件约束集概率和可达路径数量3种静态信息制导符号执行,提高了路径选择的准确率,能较快地逼近脆弱点,并利用懒符号执行技术自动识别循环结构,通过推迟变量实例化等方法,有效地缓解了循环结构的路径组合爆炸问题,最终生成到达脆弱点集的数据包.对coreutils6.10命令包的实验结果表明,与现有的方法 KLEE、Otter和SAGE相比,该文提出的方法可以有效地对具有较多分支的程序进行分析,当测试程序越大其优势越明显.

关键词：软件脆弱性静态分析懒符号执行条件约束集概率

快速加热循环热处理细化TiAl基合金的显微组织研究

在线全文

学校读者我要写书评

暂无评论

稀有金属材料与工程 2002年第3期31卷 192-196页

作者：彭超群黄伯云贺跃辉中南大学粉末冶金国家重点实验室湖南长沙410083

在研究Ti Al二元相图及合金元素的影响、TiAl基合金显微组织类型与连续冷却转变、热处理实践及效果的基础上 ,提出了快速加热循环热处理新工艺 ,该工艺的特点是 :加热速度快 ,单相区保温 ,保温时间短 ,冷却速度相对较慢。分析了该工艺... 详细信息

在研究Ti Al二元相图及合金元素的影响、TiAl基合金显微组织类型与连续冷却转变、热处理实践及效果的基础上 ,提出了快速加热循环热处理新工艺 ,该工艺的特点是 :加热速度快 ,单相区保温 ,保温时间短 ,冷却速度相对较慢。分析了该工艺的优点和缺点。

关键词： TiAl基合金显微组织快速加热连续冷却循环热处理

基于凸集投影法和复数小波包域的遥感图像上采样研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2011年第3期34卷 482-488页

作者：张砚李先颖满益云清华大学计算机科学与技术系北京100084 中华测绘技术服务公司北京100088 北京空间机电研究所北京100076

造成遥感图像降质的因素很多,包括大气影响、光学模糊、相对运动、传感器因素和下采样等.文中针对遥感图像的特点,改进通常用于多帧图像超分辨率技术中的凸集投影法,应用于单帧遥感图像的上采样,然后对其输出结果使用贝叶斯方法进行调... 详细信息

造成遥感图像降质的因素很多,包括大气影响、光学模糊、相对运动、传感器因素和下采样等.文中针对遥感图像的特点,改进通常用于多帧图像超分辨率技术中的凸集投影法,应用于单帧遥感图像的上采样,然后对其输出结果使用贝叶斯方法进行调制传递函数(MTF)的自适应估计,并在复数小波包变换域中做进一步的去模糊和降噪处理,从而实现单帧遥感图像的上采样.实验结果表明:基于凸集投影法和复数小波包域的综合方法,能快速有效地对遥感图像进行上采样,尤其对方向性纹理效果明显.

关键词：遥感图像上采样凸集投影法复数小波包变换贝叶斯估计

基于PME重尾分布服务时间的M/G/1模型排队性能研究

在线全文

学校读者我要写书评

暂无评论

计算机学报 2005年第12期28卷 2103-2108页

作者：于秦毛玉明电子科技大学通信与信息工程学院成都610054

通信网络的业务源普遍存在着自相似性(或称为长相关性),传统的假定业务到达间隔服从负指数分布的Poisson模型或其改进形式已不再适用.但在利用M/G/1模型对自相似业务源进行排队分析时,由于重尾分布服务时间的LST变换无闭合形式,进行排... 详细信息

通信网络的业务源普遍存在着自相似性(或称为长相关性),传统的假定业务到达间隔服从负指数分布的Poisson模型或其改进形式已不再适用.但在利用M/G/1模型对自相似业务源进行排队分析时,由于重尾分布服务时间的LST变换无闭合形式,进行排队性能分析非常困难.该文通过引入一类混合指数分布证明此类分布服从Pareto重尾分布,并得到相应的LST变换闭合形式及服务时间渐进级数,同时将形状参数γ=3/2时的服务时间及其LST变换推广到更一般的情形,从而较为有效地解决了重尾分布的信源排队等待时间分析问题.

关键词： PME分布iLST变换 M/G/1模型排队性能

在线全文

学校读者我要写书评

暂无评论

深水浮式海洋平台水动力性能计算研究

大连理工大学学报 2011年第6期51卷 837-845页

作者：王言英大连理工大学船舶工程学院辽宁大连116024

在以边界元方法(BEM)和计算流体力学方法(CFD)构建的软件平台基础上,实现了有关深水浮式海洋平台设计中诸多水动力性能计算,包括波浪中的运动响应与荷载计算、砰击荷载预报、气隙校验、立管动力响应分析、系泊与动力定位系统评价,以及... 详细信息

在以边界元方法(BEM)和计算流体力学方法(CFD)构建的软件平台基础上,实现了有关深水浮式海洋平台设计中诸多水动力性能计算,包括波浪中的运动响应与荷载计算、砰击荷载预报、气隙校验、立管动力响应分析、系泊与动力定位系统评价,以及出入水问题的解与工程应用等.所有算例计算表明,计算或预报结果具有工程应用精度,可以为工程设计提供参考.

关键词：设计波运动响应波浪荷载砰击气隙立管系泊系统动力定位出入水问题

在线全文

学校读者我要写书评

暂无评论

GIS中孤岛和内点快速归属算法

计算机学报 2005年第3期28卷 343-349页

作者：章孝灿黄智才蒋亨显潘云鹤浙江大学空间信息技术研究所杭州310027浙江大学人工智能研究所杭州310027 浙江大学空间信息技术研究所杭州310027 浙江大学人工智能研究所杭州310027

针对GIS拓扑数据结构的建立,该文提出了一种快速进行内点和孤岛归属的算法.算法首先利用“面积法”实现外多边形的识别并获得外多边形左极点,然后利用“改进的射线法”将识别后的外多边形左极点和内点向左侧引出射线,并获得与弧段的交点... 详细信息

针对GIS拓扑数据结构的建立,该文提出了一种快速进行内点和孤岛归属的算法.算法首先利用“面积法”实现外多边形的识别并获得外多边形左极点,然后利用“改进的射线法”将识别后的外多边形左极点和内点向左侧引出射线,并获得与弧段的交点,最后利用弧段的特征获得外多边形和内点的归属关系.由于该算法充分利用了弧段的特征,从而避免了多边形的组织和弧段的重复处理以及非直接包含关系的判断,保证了海量数据生成拓扑数据结构的效率.同时文章还对归属中的退化问题提出了解决方案.算法的实际应用表明,该算法具有较高的效率和较强的实用性.

关键词：地理信息系统拓扑孤岛内点

在线全文

学校读者我要写书评

暂无评论

一种基于旋转体的摄像机定位方法

计算机学报 2008年第3期31卷 493-501页

作者：王挺王越超姚辰中国科学院沈阳自动化研究所机器人学国家重点实验室沈阳110016

基于旋转体的摄像机定位是单目合作目标定位领域中的涉及较少并且较为困难的一个问题,传统的基于点基元、直线基元及曲线基元的定位方法在用于旋转体定位过程中都存在相应的问题.文中设计了一种由4个相切椭圆构成的几何模型,该模型环绕... 详细信息

基于旋转体的摄像机定位是单目合作目标定位领域中的涉及较少并且较为困难的一个问题,传统的基于点基元、直线基元及曲线基元的定位方法在用于旋转体定位过程中都存在相应的问题.文中设计了一种由4个相切椭圆构成的几何模型,该模型环绕于圆柱体表面,利用二次曲线的投影仍然是二次曲线的特性和椭圆的相应性质能够得到唯一确定模型位置的3个坐标点,从而将旋转体定位问题转化为P3P问题.在对P3P的解模式区域进行分析后,推导了根据模型上可视曲线的弯曲情况来确定P3P问题解模式的判别方法,并给出证明过程.仿真实验表明了这种模型定位方法的有效性.最后利用这个模型引导机械手完成目标定位的实验.

关键词：旋转体 P3P问题多解现象唯一解

在线全文

学校读者我要写书评

暂无评论

一种新的业务过程管理模型

计算机学报 2008年第1期31卷 104-111页

作者：李向宁郝克刚赵克西安电子科技大学电子装备结构教育部重点实验室西安710071 西北大学信息科学与技术学院西安710069

通过对工作流本质的探讨和对WfMC工作流参考模型的分析,提出了在分解业务过程控制逻辑与应用逻辑的基础上,进一步将控制逻辑分解为路由逻辑与资源管理逻辑的思想.提出了描述资源管理逻辑的资源管理模型.基于资源管理模型提出一种新的过... 详细信息

通过对工作流本质的探讨和对WfMC工作流参考模型的分析,提出了在分解业务过程控制逻辑与应用逻辑的基础上,进一步将控制逻辑分解为路由逻辑与资源管理逻辑的思想.提出了描述资源管理逻辑的资源管理模型.基于资源管理模型提出一种新的过程管理模型BRM,给出了基于BRM的业务过程管理系统的系统框架和功能模块.与WfMC工作流参考模型的对比表明:BRM模块更清晰,柔性更突出,分解粒度更小.

关键词：工作流业务过程管理过程模型资源管理