检索结果-内蒙古大学图书馆

清华大学学报（自然科学版） 2011年第10期51卷 1312-1317页

作者：韩心慧龚晓锐诸葛建伟邹磊邹维北京大学计算机科学技术研究所北京100871 北京大学互联网安全技术北京市重点实验室北京100871 清华大学信息网络工程研究中心北京100084

针对目前互联网安全的主要威胁之一网页木马,基于网页木马的树状链接结构特征,引入频繁子树挖掘算法,对前期积累的4万多个恶意网页木马场景进行子树模式挖掘,提取了35个网页木马场景共同子树结构特征,利用这些特征在网页木马动态分析过... 详细信息

针对目前互联网安全的主要威胁之一网页木马,基于网页木马的树状链接结构特征,引入频繁子树挖掘算法,对前期积累的4万多个恶意网页木马场景进行子树模式挖掘,提取了35个网页木马场景共同子树结构特征,利用这些特征在网页木马动态分析过程中辅助检测。实验表明:在加入基于子树特征的检测方法判定的网页木马中,动态检测方法有近20%的漏报。因此,基于子树特征的检测方法有效地提高了动态检测的检测能力和效率,同时挖掘出的典型子树模式提供了网页木马分类和溯源的依据。

关键词：网页木马频繁子树动态分析数据挖掘

来源：评论

学校读者我要写书评

暂无评论

特定消谐脉宽调制开关角度的实解个数

引用

中国矿业大学学报 2011年第5期40卷 766-773页

作者：杨克虎袁如意项勇郁文生中国矿业大学(北京)机电与信息工程学院北京100083 中国科学院自动化研究所综合信息中心北京100190 奥大利亚迪肯大学工程学院维多利亚吉朗3217 华东师范大学上海高可信计算重点实验室上海200062

为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等式约束的多项式方程组,提出了一种基于半代数系统机器证明算法的实解分类方法.给出了N=3时的单相和三相逆... 详细信息

为了解决特定消谐脉宽调制技术中开关角度非线性超越方程组的实解个数问题,利用三角函数倍角公式将非线性超越方程组转化为带不等式约束的多项式方程组,提出了一种基于半代数系统机器证明算法的实解分类方法.给出了N=3时的单相和三相逆变器以及N=4时的单相逆变器开关角度实解个数的完全分类,同时首次得到了分类边界点的解析解.理论推导和实验仿真结果表明:该方法能够从理论上给出调制比和实解个数之间的变化关系,对于开关角度的求解以及提高逆变器的消谐效果具有重要的指导意义.

关键词：特定消谐半代数系统脉宽调制逆变器

来源：评论

学校读者我要写书评

暂无评论

基于线阵CCD的光谱仪定标研究

引用

仪器仪表学报 2011年第3期32卷 546-550页

作者：谢印忠庄松林张保洲上海理工大学光电信息与计算机工程学院上海200093 临沂大学信息学院临沂276005 北京师范大学天文系北京市应用光学重点实验室北京100875

光谱仪是一种基本光谱检测和分析仪器,以线阵CCD为探测核心是设备微型化的重要手段,CCD各光敏像元输出信号与待测光谱波长及光谱辐射通量之间对应关系成为定标的主要内容。研究了常规线性拟合方法,应用校准结果测量发现有时误差较大,利... 详细信息

光谱仪是一种基本光谱检测和分析仪器,以线阵CCD为探测核心是设备微型化的重要手段,CCD各光敏像元输出信号与待测光谱波长及光谱辐射通量之间对应关系成为定标的主要内容。研究了常规线性拟合方法,应用校准结果测量发现有时误差较大,利用低压汞灯特征谱线为基准,采用最小二乘法曲线拟合完成波长定标,计算出拟合曲线的3阶校正参数;利用辐射标准灯完成光谱辐射定标,解决了光束经过光学系统传输损耗及线阵CCD光谱响应灵敏度测量的困难,并对定标方案进行了数学推导证明。对大量实验数据进行分析表明,该定标方法是切实可行的,并成功应用到微型光谱仪器的生产过程。

关键词：光学测量线阵CCD 定标最小二乘法

来源：评论

学校读者我要写书评

暂无评论

基于数据场的概率神经网络算法

引用

电子学报 2011年第8期39卷 1739-1745页

作者：李春芳刘连忠陆震北京航空航天大学自动化科学与电气工程学院北京100191 河北体育学院网络中心河北石家庄050041 北京航空航天大学计算机学院北京100191 北京航空航天大学网络技术北京市重点实验室北京100191

提出基于数据场高斯势约简概率神经网络结构,基本思路:引入数据场估计训练集各类概率密度,选择局部极大密度估计样本构造网络;对初始网络迭代训练,依次扩展各类具有最大密度估计值的误分样本至模式层并调整权重参数,直至满足指定精度.... 详细信息

提出基于数据场高斯势约简概率神经网络结构,基本思路:引入数据场估计训练集各类概率密度,选择局部极大密度估计样本构造网络;对初始网络迭代训练,依次扩展各类具有最大密度估计值的误分样本至模式层并调整权重参数,直至满足指定精度.采用增量密度计算,保证快速迭代和高概率收敛.基于重采样技术进一步提升泛化精度.实验表明,提出的算法解释精练、拟合优度适中、计算高效.

关键词：概率神经网络数据场 Parzen窗重采样

来源：评论

学校读者我要写书评

暂无评论

一类积分不等式的机器判定

引用

中国科学：信息科学 2011年第1期41卷 48-65页

作者：杨路郁文生袁如意华东师范大学软件学院上海高可信计算重点实验室上海200062 中国科学院成都计算机应用研究所自动推理实验室成都610041 中国科学院自动化研究所综合信息系统研究中心北京100190

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表... 详细信息

将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数可以是任意多个,并且多项式的系数是与变元个数相关的变系数.这些特点与杨路等人最近提出的几个公开问题密切相关,是比较有代表性的一类齐次对称多项式.然后利用Timofte关于对称多项式不等式判定的降维方法,结合不等式证明软件BOTTEMA及差分代换方法,给出对应的一类Tarski模型外的齐次对称多项式不等式的机器判定算法,从而实现原积分不等式的机器判定.当给定的积分不等式及齐次对称多项式不等式不成立时,可给出具体不成立的数值反例.应用例子表明问题的广泛性及算法的有效性.

关键词：积分不等式对称多项式不等式 Timofte降维法差分代换机器判定不等式证明软件-BOTTEMA

来源：评论

学校读者我要写书评

暂无评论

极值负荷及其出现时刻的概率化预测

引用

中国电机工程学报 2011年第22期31卷 64-72页

作者：陈新宇康重庆陈敏杰电力系统及发电设备控制和仿真国家重点实验室(清华大学电机系) 北京市海淀区100084 麻省理工学院电气工程与计算机科学系美国马萨诸塞州剑桥市02139

极值负荷的幅值与出现时刻是决定调度运行计划的重要依据,而其预测精度往往不尽如人意。实现概率化的预测,是规避极值负荷预测不准确所带来的风险的有效途径。以最高负荷为例,深入剖析了极值负荷的多峰特性,分析了幅值与出现时刻的统计... 详细信息

极值负荷的幅值与出现时刻是决定调度运行计划的重要依据,而其预测精度往往不尽如人意。实现概率化的预测,是规避极值负荷预测不准确所带来的风险的有效途径。以最高负荷为例,深入剖析了极值负荷的多峰特性,分析了幅值与出现时刻的统计规律,建立了日落时刻与晚高峰出现时间之间的回归模型;基于日间极值负荷增量的分类统计,预测下一天的各个子高峰幅值的概率分布(probabilistic density function,PDF),运用序列运算理论计算日最高负荷幅值的概率分布,最终根据全概率公式,实现了日最高负荷出现时刻的概率性预测方法。中国北方某城市的实际预测表明,所提出的概率化预测方法可以有效地解决极值负荷预测问题。

关键词：电力系统短期负荷预测母线负荷预测序列运算理论极值负荷出现时刻

来源：评论

学校读者我要写书评

暂无评论

小波分析和决策树在低饱和度气层识别中的应用

引用

地球物理学进展 2011年第1期26卷 240-245页

作者：贺旭李雄炎周金煜于红岩中国石油大学(北京) 计算机科学与技术系北京102249 中国石油大学(北京) 油气资源与探测国家重点实验室北京102249 地球探测与信息技术北京市重点实验室中国石油大学(北京)北京102249 长庆油田公司勘探开发研究院陕西西安710021

特殊的成藏条件和低幅度构造圈闭致使柴达木盆地三湖地区第四系存在大量的低饱和度气藏.储层物性较差,储层厚度偏薄,受围岩和测井仪器分辨率的限制,难以准确划分储层;高泥质含量、高束缚水饱和度、高地层水矿化度和粘土矿物的影响,致使... 详细信息

特殊的成藏条件和低幅度构造圈闭致使柴达木盆地三湖地区第四系存在大量的低饱和度气藏.储层物性较差,储层厚度偏薄,受围岩和测井仪器分辨率的限制,难以准确划分储层;高泥质含量、高束缚水饱和度、高地层水矿化度和粘土矿物的影响,致使测井曲线在低饱和度气层表现出许多模糊性,使低饱和度气层的识别显得尤为困难.针对这一问题,文章采用小波分析对测井曲线进行重构,以提高测井曲线纵向分辨率,并与成像测井资料进行对比分析,利用提高分辨率之后的测井曲线对储层进行准确划分;同时使用决策树建立低饱和度气层的预测模型,根据决策树学习过程的透明性、学习结果可理解性,并综合储层实际特征,对预测模型进行修正,达到准确识别低饱和度气层的目的 .实际应用表明小波分析技术和决策树方法有效地解决了研究工区储层难以划分和低饱和度气层识别困难的问题.

关键词：小波分析纵向分辨率储层划分决策树低饱和度气层预测模型识别

来源：评论

学校读者我要写书评

暂无评论

面向古建动画自动生成的中文自然语言处理

引用

网络安全技术与应用 2011年第9期 52-55页

作者：孙凯北京工业大学计算机学院北京市多媒体与智能软件重点实验室北京100124

本文提出了一个面向古代建筑领域的自然语言处理的系统模型,它被用于古建筑动画自动生成系统之中,承担着从简单中文描述到古建筑领域语义结果的计算工作。该模型分为三部分,分别为预处理过程,一般语义计算和面向古建筑领域的语义计算。... 详细信息

本文提出了一个面向古代建筑领域的自然语言处理的系统模型,它被用于古建筑动画自动生成系统之中,承担着从简单中文描述到古建筑领域语义结果的计算工作。该模型分为三部分,分别为预处理过程,一般语义计算和面向古建筑领域的语义计算。通过调用Stanford大学的中文分词、语法分析程序完成分词、语法分析任务,使用Prolog语言完成一般语义计算,最终计算出古建筑构件以及它的搭建顺序、尺寸和位置,即所谓的面向古建筑领域的语义计算。

关键词：动画自动生成古代建筑自然语言处理

来源：评论

学校读者我要写书评

暂无评论

一种软件再生系统的模型分析

引用

数学的实践与认识 2011年第20期41卷 84-91页

作者：高清华北京城市学院电子与信息工程学部北京100083 北京理工大学计算机科学与技术学院北京100081 北京理工大学软件安全工程技术北京市重点实验室北京100081

对用补充变量的方法建立的软件再生系统各状态之间转移概率服从一般分布的数学模型,用Matlab软件进行仿真实验,从而证明该模型的可靠性.

关键词：软件再生模型建立渐进稳定可靠性

来源：评论

学校读者我要写书评

暂无评论

H.264 DS算法在TMS320C6455 DSP上的优化实现

H.264 DS算法在TMS320C6455 DSP上的优化实现

引用

“智慧城市和绿色IT”2011年通信与信息技术新进展——第八届中国通信学会学术年会

作者：程德明李哲乔淑娟北京航空航天大学计算机学院数字媒体北京市重点实验室

针对C6455 DSP的硬件特点,充分利用其上扩展的定点运算指令,单指令多数据流(single instruction multipledata,SIMD)指令集,在C6455 DSP上用分别用TI公司提供的IMGLIB库和线性汇编语言两种方法实现了钻石搜索(diamond search,DS)算法;... 详细信息

针对C6455 DSP的硬件特点,充分利用其上扩展的定点运算指令,单指令多数据流(single instruction multipledata,SIMD)指令集,在C6455 DSP上用分别用TI公司提供的IMGLIB库和线性汇编语言两种方法实现了钻石搜索(diamond search,DS)算法;然后将这两种实现的钻石搜索算法与纯C语言实现进行了对比测试,测试结果表明,与纯C实现的算法相比,两种算法消耗的指令周期数分别减少了18%、40%。

关键词：运动估计钻石搜索线性汇编 TMS320C6455

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：